Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithClauseCardConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseCardConstrLearningTest530060.586

Tests

NameStatusTypeTime(s)
testncirc43Success0.374
testncirc63Success1.255
testncirc83Success2.176
testncirc103Success6.884
testndata43Success0.090
testndata63Success1.024
testndata83Success2.091
testndata103Success6.436
testn9symmlSuccess0.186
testnC17Success0.050
testnC432Success0.217
testnb1Success0.058
testnc8Success0.094
testnccSuccess0.065
testncm42aSuccess0.061
testncmbSuccess0.111
testnmuxSuccess0.095
testnmyadderSuccess0.159
testaloul1011Success0.068
testaloul1015Success0.074
testaloul1020Success0.074
testaloul1516Success0.127
testaloul1520Success0.091
testaloul1525Success0.108
testaloul2021Success0.297
testaloul2025Success0.144
testaloul2030Success0.175
testaloul3031Success1.589
testaloul3035Success0.394
testaloul3040Success0.453
testaloul3536Success3.203
testaloul3540Success0.570
testaloul3545Success0.708
testaloul4041Success5.984
testaloul4045Success0.896
testaloul4050Success1.214
testaloul5051Success17.179
testaloul5055Success1.994
testaloul5060Success2.346
testPN34Success0.112
testPN4Success0.099
testPN45Success0.098
testPN5Success0.099
testPN56Success0.099
testPN6Success0.099
testPN67Success0.101
testPN7Success0.100
testPN78Success0.103
testPN8Success0.103
testPN89Success0.102
testPN9Success0.106
testPN910Success0.103
testPN10Success0.112
Properties »
System.out »