Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBWithClauseCardConstrLearningReduceToClauseTest

NameTestsErrorsFailuresTime(s)
CounterPBWithClauseCardConstrLearningReduceToClauseTest5300177.820

Tests

NameStatusTypeTime(s)
testncirc43Success0.567
testncirc63Success1.645
testncirc83Success6.707
testncirc103Success28.365
testndata43Success0.088
testndata63Success1.251
testndata83Success6.634
testndata103Success114.111
testn9symmlSuccess0.272
testnC17Success0.002
testnC432Success0.372
testnb1Success0.004
testnc8Success0.060
testnccSuccess0.034
testncm42aSuccess0.018
testncmbSuccess0.086
testnmuxSuccess0.060
testnmyadderSuccess0.247
testaloul1011Success0.029
testaloul1015Success0.018
testaloul1020Success0.030
testaloul1516Success0.040
testaloul1520Success0.052
testaloul1525Success0.082
testaloul2021Success0.107
testaloul2025Success0.126
testaloul2030Success0.177
testaloul3031Success0.409
testaloul3035Success0.474
testaloul3040Success0.574
testaloul3536Success0.711
testaloul3540Success0.778
testaloul3545Success0.983
testaloul4041Success1.146
testaloul4045Success1.239
testaloul4050Success1.596
testaloul5051Success2.584
testaloul5055Success2.760
testaloul5060Success3.281
testPN34Success0.002
testPN4Success0.002
testPN45Success0.002
testPN5Success0.002
testPN56Success0.002
testPN6Success0.003
testPN67Success0.004
testPN7Success0.004
testPN78Success0.004
testPN8Success0.005
testPN89Success0.005
testPN9Success0.006
testPN910Success0.006
testPN10Success0.009
Properties »