Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.WatchedPBConstrWithClauseLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithClauseLearningOnCNFTest10300244.193

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.281
testPropagation2Success0.005
testAim50SAT1Success0.195
testAim50SAT2Success0.043
testAim50SAT3Success0.026
testAim50SAT4Success0.077
testAim50SAT5Success0.112
testAim50SAT6Success0.054
testAim50SAT7Success0.038
testAim50SAT8Success0.015
testAim50SAT9Success0.035
testAim50SAT10Success0.017
testAim50SAT11Success0.045
testAim50SAT12Success0.029
testAim50SAT13Success0.089
testAim50SAT14Success0.029
testAim50SAT15Success0.035
testAim50SAT16Success0.023
testAim50UNSAT1Success0.009
testAim50UNSAT2Success0.010
testAim50UNSAT3Success0.013
testAim50UNSAT4Success0.010
testAim50UNSAT5Success0.012
testAim50UNSAT6Success0.015
testAim50UNSAT7Success0.012
testAim50UNSAT8Success0.010
testIi1Success0.013
testIi2Success0.042
testIi3Success0.078
testIi4Success0.146
testIi5Success0.101
testIi6Success0.364
testIi7Success0.243
testIi8Success0.340
testIi9Success0.116
testIi10Success0.540
testIi11Success0.145
testIi12Success0.287
testIi13Success0.137
testIi14Success0.538
testIi15Success1.937
testIi16Success1.641
testIi17Success1.799
testIi18Success1.076
testIi20Success1.651
testIi21Success1.137
testIi22Success1.359
testIi23Success1.170
testIi24Success0.477
testJNH1Success0.064
testJNH2Success0.059
testJNH3Success0.488
testJNH4Success0.082
testJNH5Success0.099
testJNH6Success0.140
testJNH7Success0.057
testJNH8Success0.067
testJNH9Success0.073
testJNH10Success0.090
testJNH11Success0.340
testJNH12Success0.064
testJNH13Success0.079
testJNH14Success0.069
testJNH15Success0.108
testJNH16Success1.225
testJNH17Success0.063
testJNH18Success0.181
testJNH19Success0.105
testJNH20Success0.084
testJNH21Success0.080
testJNH22Success0.065
testJNH23Success0.136
testJNH24Success0.169
testJNH25Success0.199
testJNH26Success0.140
testJNH27Success0.046
testJNH28Success0.109
testJNH29Success0.048
testJNH30Success0.056
testJNH31Success0.081
testJNH32Success0.216
testJNH33Success0.072
testJNH34Success0.233
testJNH35Success0.065
testJNH36Success0.117
testJNH37Success0.111
testJNH38Success0.072
testJNH39Success0.120
testJNH40Success0.398
testJNH41Success0.223
testJNH42Success0.056
testJNH43Success0.144
testJNH44Success0.052
testJNH45Success0.099
testJNH46Success0.418
testJNH47Success0.047
testJNH48Success0.115
testJNH49Success0.058
testJNH50Success0.045
testHole6Success0.229
testHole7Success1.499
testHole8Success15.786
testHole9Success202.671
Properties »