Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest530075.903

Tests

NameStatusTypeTime(s)
testncirc43Success0.397
testncirc63Success0.815
testncirc83Success1.821
testncirc103Success13.320
testndata43Success0.089
testndata63Success0.749
testndata83Success2.054
testndata103Success16.634
testn9symmlSuccess0.176
testnC17Success0.048
testnC432Success0.213
testnb1Success0.054
testnc8Success0.090
testnccSuccess0.070
testncm42aSuccess0.066
testncmbSuccess0.109
testnmuxSuccess0.092
testnmyadderSuccess0.158
testaloul1011Success0.066
testaloul1015Success0.071
testaloul1020Success0.071
testaloul1516Success0.124
testaloul1520Success0.091
testaloul1525Success0.107
testaloul2021Success0.298
testaloul2025Success0.142
testaloul2030Success0.174
testaloul3031Success1.578
testaloul3035Success0.391
testaloul3040Success0.453
testaloul3536Success3.180
testaloul3540Success0.570
testaloul3545Success0.711
testaloul4041Success5.905
testaloul4045Success0.889
testaloul4050Success1.216
testaloul5051Success17.150
testaloul5055Success1.977
testaloul5060Success2.339
testPN34Success0.114
testPN4Success0.096
testPN45Success0.096
testPN5Success0.098
testPN56Success0.097
testPN6Success0.098
testPN67Success0.099
testPN7Success0.099
testPN78Success0.098
testPN8Success0.101
testPN89Success0.101
testPN9Success0.105
testPN910Success0.100
testPN10Success0.108
Properties »
System.out »