Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.WatchedPBConstrWithClauseLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithClauseLearningOnCNFTest1030045.123

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.086
testPropagation2Success0.001
testAim50SAT1Success0.034
testAim50SAT2Success0.017
testAim50SAT3Success0.011
testAim50SAT4Success0.014
testAim50SAT5Success0.016
testAim50SAT6Success0.014
testAim50SAT7Success0.011
testAim50SAT8Success0.007
testAim50SAT9Success0.008
testAim50SAT10Success0.007
testAim50SAT11Success0.008
testAim50SAT12Success0.011
testAim50SAT13Success0.013
testAim50SAT14Success0.010
testAim50SAT15Success0.006
testAim50SAT16Success0.006
testAim50UNSAT1Success0.003
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.003
testAim50UNSAT4Success0.003
testAim50UNSAT5Success0.003
testAim50UNSAT6Success0.004
testAim50UNSAT7Success0.005
testAim50UNSAT8Success0.004
testIi1Success0.004
testIi2Success0.011
testIi3Success0.023
testIi4Success0.045
testIi5Success0.027
testIi6Success0.051
testIi7Success0.097
testIi8Success0.081
testIi9Success0.032
testIi10Success0.063
testIi11Success0.034
testIi12Success0.082
testIi13Success0.032
testIi14Success0.062
testIi15Success0.226
testIi16Success0.940
testIi17Success0.308
testIi18Success0.239
testIi20Success0.431
testIi21Success0.182
testIi22Success0.168
testIi23Success0.198
testIi24Success0.459
testJNH1Success0.017
testJNH2Success0.016
testJNH3Success0.034
testJNH4Success0.019
testJNH5Success0.021
testJNH6Success0.032
testJNH7Success0.017
testJNH8Success0.019
testJNH9Success0.020
testJNH10Success0.020
testJNH11Success0.028
testJNH12Success0.017
testJNH13Success0.016
testJNH14Success0.016
testJNH15Success0.018
testJNH16Success0.132
testJNH17Success0.014
testJNH18Success0.033
testJNH19Success0.017
testJNH20Success0.021
testJNH21Success0.015
testJNH22Success0.016
testJNH23Success0.037
testJNH24Success0.031
testJNH25Success0.021
testJNH26Success0.029
testJNH27Success0.021
testJNH28Success0.022
testJNH29Success0.025
testJNH30Success0.016
testJNH31Success0.017
testJNH32Success0.046
testJNH33Success0.015
testJNH34Success0.016
testJNH35Success0.019
testJNH36Success0.027
testJNH37Success0.014
testJNH38Success0.013
testJNH39Success0.025
testJNH40Success0.043
testJNH41Success0.030
testJNH42Success0.014
testJNH43Success0.023
testJNH44Success0.014
testJNH45Success0.019
testJNH46Success0.076
testJNH47Success0.014
testJNH48Success0.039
testJNH49Success0.025
testJNH50Success0.013
testHole6Success0.030
testHole7Success0.213
testHole8Success8.177
testHole9Success31.299
Properties »
System.out »