Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest5300344.844

Tests

NameStatusTypeTime(s)
testncirc43Success0.380
testncirc63Success0.661
testncirc83Success1.990
testncirc103Success6.360
testndata43Success0.091
testndata63Success0.540
testndata83Success6.050
testndata103Success288.601
testn9symmlSuccess0.177
testnC17Success0.048
testnC432Success0.218
testnb1Success0.057
testnc8Success0.092
testnccSuccess0.066
testncm42aSuccess0.061
testncmbSuccess0.111
testnmuxSuccess0.094
testnmyadderSuccess0.159
testaloul1011Success0.067
testaloul1015Success0.072
testaloul1020Success0.074
testaloul1516Success0.124
testaloul1520Success0.092
testaloul1525Success0.106
testaloul2021Success0.294
testaloul2025Success0.143
testaloul2030Success0.174
testaloul3031Success1.593
testaloul3035Success0.397
testaloul3040Success0.458
testaloul3536Success3.164
testaloul3540Success0.582
testaloul3545Success0.730
testaloul4041Success5.936
testaloul4045Success0.910
testaloul4050Success1.222
testaloul5051Success17.123
testaloul5055Success1.994
testaloul5060Success2.321
testPN34Success0.113
testPN4Success0.099
testPN45Success0.099
testPN5Success0.100
testPN56Success0.101
testPN6Success0.100
testPN67Success0.110
testPN7Success0.105
testPN78Success0.105
testPN8Success0.104
testPN89Success0.103
testPN9Success0.108
testPN910Success0.119
testPN10Success0.110
Properties »
System.out »