Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.WatchedPBConstrWithClauseLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithClauseLearningOnCNFTest10300171.373

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.113
testPropagation2Success0.002
testAim50SAT1Success0.072
testAim50SAT2Success0.039
testAim50SAT3Success0.012
testAim50SAT4Success0.035
testAim50SAT5Success0.032
testAim50SAT6Success0.034
testAim50SAT7Success0.019
testAim50SAT8Success0.013
testAim50SAT9Success0.010
testAim50SAT10Success0.013
testAim50SAT11Success0.012
testAim50SAT12Success0.019
testAim50SAT13Success0.033
testAim50SAT14Success0.013
testAim50SAT15Success0.013
testAim50SAT16Success0.015
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.009
testAim50UNSAT3Success0.005
testAim50UNSAT4Success0.004
testAim50UNSAT5Success0.006
testAim50UNSAT6Success0.006
testAim50UNSAT7Success0.007
testAim50UNSAT8Success0.009
testIi1Success0.006
testIi2Success0.037
testIi3Success0.082
testIi4Success0.236
testIi5Success0.116
testIi6Success0.338
testIi7Success0.745
testIi8Success1.202
testIi9Success0.256
testIi10Success0.906
testIi11Success0.251
testIi12Success0.876
testIi13Success0.239
testIi14Success0.773
testIi15Success4.225
testIi16Success5.058
testIi17Success5.686
testIi18Success2.490
testIi20Success2.225
testIi21Success2.692
testIi22Success1.520
testIi23Success2.614
testIi24Success1.365
testJNH1Success0.037
testJNH2Success0.033
testJNH3Success0.074
testJNH4Success0.037
testJNH5Success0.041
testJNH6Success0.096
testJNH7Success0.035
testJNH8Success0.039
testJNH9Success0.042
testJNH10Success0.039
testJNH11Success0.056
testJNH12Success0.039
testJNH13Success0.034
testJNH14Success0.034
testJNH15Success0.087
testJNH16Success0.349
testJNH17Success0.033
testJNH18Success0.069
testJNH19Success0.040
testJNH20Success0.050
testJNH21Success0.035
testJNH22Success0.032
testJNH23Success0.060
testJNH24Success0.072
testJNH25Success0.041
testJNH26Success0.067
testJNH27Success0.044
testJNH28Success0.058
testJNH29Success0.053
testJNH30Success0.033
testJNH31Success0.075
testJNH32Success0.087
testJNH33Success0.040
testJNH34Success0.037
testJNH35Success0.039
testJNH36Success0.052
testJNH37Success0.036
testJNH38Success0.030
testJNH39Success0.090
testJNH40Success0.079
testJNH41Success0.050
testJNH42Success0.030
testJNH43Success0.051
testJNH44Success0.030
testJNH45Success0.044
testJNH46Success0.177
testJNH47Success0.039
testJNH48Success0.062
testJNH49Success0.031
testJNH50Success0.028
testHole6Success0.081
testHole7Success0.495
testHole8Success9.812
testHole9Success123.577
Properties »