Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithClauseCardConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseCardConstrLearningTest5300152.352

Tests

NameStatusTypeTime(s)
testncirc43Success0.547
testncirc63Success1.693
testncirc83Success6.217
testncirc103Success66.760
testndata43Success0.073
testndata63Success1.073
testndata83Success6.381
testndata103Success50.950
testn9symmlSuccess0.274
testnC17Success0.002
testnC432Success0.373
testnb1Success0.004
testnc8Success0.060
testnccSuccess0.021
testncm42aSuccess0.018
testncmbSuccess0.099
testnmuxSuccess0.060
testnmyadderSuccess0.248
testaloul1011Success0.014
testaloul1015Success0.019
testaloul1020Success0.029
testaloul1516Success0.055
testaloul1520Success0.053
testaloul1525Success0.082
testaloul2021Success0.098
testaloul2025Success0.127
testaloul2030Success0.180
testaloul3031Success0.423
testaloul3035Success0.472
testaloul3040Success0.588
testaloul3536Success0.716
testaloul3540Success0.790
testaloul3545Success0.995
testaloul4041Success1.155
testaloul4045Success1.255
testaloul4050Success1.620
testaloul5051Success2.601
testaloul5055Success2.799
testaloul5060Success3.325
testPN34Success0.001
testPN4Success0.002
testPN45Success0.002
testPN5Success0.002
testPN56Success0.003
testPN6Success0.003
testPN67Success0.003
testPN7Success0.004
testPN78Success0.004
testPN8Success0.005
testPN89Success0.005
testPN9Success0.007
testPN910Success0.006
testPN10Success0.008
Properties »