Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithPBConstrLearningTest530084.754

Tests

NameStatusTypeTime(s)
testncirc43Success0.663
testncirc63Success1.601
testncirc83Success5.052
testncirc103Success27.627
testndata43Success0.085
testndata63Success0.942
testndata83Success5.023
testndata103Success23.665
testn9symmlSuccess0.331
testnC17Success0.003
testnC432Success0.392
testnb1Success0.005
testnc8Success0.080
testnccSuccess0.024
testncm42aSuccess0.020
testncmbSuccess0.125
testnmuxSuccess0.072
testnmyadderSuccess0.285
testaloul1011Success0.019
testaloul1015Success0.020
testaloul1020Success0.048
testaloul1516Success0.047
testaloul1520Success0.056
testaloul1525Success0.093
testaloul2021Success0.125
testaloul2025Success0.136
testaloul2030Success0.188
testaloul3031Success0.466
testaloul3035Success0.504
testaloul3040Success0.612
testaloul3536Success0.814
testaloul3540Success0.826
testaloul3545Success1.025
testaloul4041Success1.320
testaloul4045Success1.297
testaloul4050Success1.679
testaloul5051Success3.011
testaloul5055Success2.912
testaloul5060Success3.441
testPN34Success0.002
testPN4Success0.001
testPN45Success0.002
testPN5Success0.002
testPN56Success0.003
testPN6Success0.003
testPN67Success0.018
testPN7Success0.004
testPN78Success0.004
testPN8Success0.006
testPN89Success0.005
testPN9Success0.007
testPN910Success0.006
testPN10Success0.010
Properties »