Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.CounterPBConstrWithClauseLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseLearningOnCNFTest1030039.645

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.048
testPropagation2Success0.001
testAim50SAT1Success0.069
testAim50SAT2Success0.015
testAim50SAT3Success0.011
testAim50SAT4Success0.014
testAim50SAT5Success0.015
testAim50SAT6Success0.014
testAim50SAT7Success0.010
testAim50SAT8Success0.008
testAim50SAT9Success0.008
testAim50SAT10Success0.015
testAim50SAT11Success0.009
testAim50SAT12Success0.013
testAim50SAT13Success0.014
testAim50SAT14Success0.010
testAim50SAT15Success0.009
testAim50SAT16Success0.008
testAim50UNSAT1Success0.003
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.004
testAim50UNSAT4Success0.004
testAim50UNSAT5Success0.003
testAim50UNSAT6Success0.003
testAim50UNSAT7Success0.005
testAim50UNSAT8Success0.005
testIi1Success0.014
testIi2Success0.012
testIi3Success0.023
testIi4Success0.043
testIi5Success0.026
testIi6Success0.051
testIi7Success0.076
testIi8Success0.079
testIi9Success0.033
testIi10Success0.111
testIi11Success0.052
testIi12Success0.064
testIi13Success0.033
testIi14Success0.063
testIi15Success0.213
testIi16Success1.005
testIi17Success0.376
testIi18Success0.320
testIi20Success1.377
testIi21Success0.281
testIi22Success0.183
testIi23Success0.315
testIi24Success1.579
testJNH1Success0.031
testJNH2Success0.025
testJNH3Success0.114
testJNH4Success0.041
testJNH5Success0.051
testJNH6Success0.075
testJNH7Success0.025
testJNH8Success0.044
testJNH9Success0.052
testJNH10Success0.033
testJNH11Success0.095
testJNH12Success0.022
testJNH13Success0.029
testJNH14Success0.028
testJNH15Success0.047
testJNH16Success0.405
testJNH17Success0.033
testJNH18Success0.112
testJNH19Success0.039
testJNH20Success0.073
testJNH21Success0.025
testJNH22Success0.026
testJNH23Success0.097
testJNH24Success0.094
testJNH25Success0.035
testJNH26Success0.075
testJNH27Success0.060
testJNH28Success0.072
testJNH29Success0.061
testJNH30Success0.022
testJNH31Success0.042
testJNH32Success0.181
testJNH33Success0.055
testJNH34Success0.035
testJNH35Success0.038
testJNH36Success0.069
testJNH37Success0.055
testJNH38Success0.022
testJNH39Success0.069
testJNH40Success0.167
testJNH41Success0.048
testJNH42Success0.019
testJNH43Success0.075
testJNH44Success0.018
testJNH45Success0.044
testJNH46Success0.229
testJNH47Success0.031
testJNH48Success0.101
testJNH49Success0.021
testJNH50Success0.020
testHole6Success0.058
testHole7Success0.521
testHole8Success5.174
testHole9Success23.922
Properties »
System.out »