Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithClauseAtLeastConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseAtLeastConstrLearningTest530058.728

Tests

NameStatusTypeTime(s)
testncirc43Success0.390
testncirc63Success0.707
testncirc83Success2.066
testncirc103Success6.163
testndata43Success0.090
testndata63Success0.549
testndata83Success1.983
testndata103Success6.579
testn9symmlSuccess0.188
testnC17Success0.047
testnC432Success0.219
testnb1Success0.057
testnc8Success0.093
testnccSuccess0.066
testncm42aSuccess0.062
testncmbSuccess0.116
testnmuxSuccess0.093
testnmyadderSuccess0.161
testaloul1011Success0.068
testaloul1015Success0.073
testaloul1020Success0.073
testaloul1516Success0.123
testaloul1520Success0.092
testaloul1525Success0.108
testaloul2021Success0.296
testaloul2025Success0.145
testaloul2030Success0.177
testaloul3031Success1.573
testaloul3035Success0.389
testaloul3040Success0.456
testaloul3536Success3.196
testaloul3540Success0.572
testaloul3545Success0.706
testaloul4041Success5.946
testaloul4045Success0.895
testaloul4050Success1.211
testaloul5051Success17.195
testaloul5055Success1.986
testaloul5060Success2.347
testPN34Success0.112
testPN4Success0.100
testPN45Success0.100
testPN5Success0.100
testPN56Success0.099
testPN6Success0.100
testPN67Success0.100
testPN7Success0.102
testPN78Success0.100
testPN8Success0.102
testPN89Success0.102
testPN9Success0.106
testPN910Success0.107
testPN10Success0.110
Properties »
System.out »