Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.CounterPBConstrWithClauseLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseLearningOnCNFTest10300157.135

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.119
testPropagation2Success0.002
testAim50SAT1Success0.103
testAim50SAT2Success0.031
testAim50SAT3Success0.016
testAim50SAT4Success0.028
testAim50SAT5Success0.037
testAim50SAT6Success0.028
testAim50SAT7Success0.023
testAim50SAT8Success0.013
testAim50SAT9Success0.010
testAim50SAT10Success0.013
testAim50SAT11Success0.015
testAim50SAT12Success0.025
testAim50SAT13Success0.037
testAim50SAT14Success0.015
testAim50SAT15Success0.016
testAim50SAT16Success0.015
testAim50UNSAT1Success0.005
testAim50UNSAT2Success0.006
testAim50UNSAT3Success0.006
testAim50UNSAT4Success0.006
testAim50UNSAT5Success0.005
testAim50UNSAT6Success0.006
testAim50UNSAT7Success0.007
testAim50UNSAT8Success0.010
testIi1Success0.018
testIi2Success0.035
testIi3Success0.086
testIi4Success0.240
testIi5Success0.139
testIi6Success0.376
testIi7Success0.744
testIi8Success1.286
testIi9Success0.276
testIi10Success0.954
testIi11Success0.270
testIi12Success1.210
testIi13Success0.259
testIi14Success0.766
testIi15Success4.304
testIi16Success6.762
testIi17Success5.789
testIi18Success2.725
testIi20Success4.468
testIi21Success2.780
testIi22Success1.562
testIi23Success2.799
testIi24Success1.888
testJNH1Success0.055
testJNH2Success0.060
testJNH3Success0.208
testJNH4Success0.069
testJNH5Success0.093
testJNH6Success0.204
testJNH7Success0.051
testJNH8Success0.100
testJNH9Success0.083
testJNH10Success0.064
testJNH11Success0.181
testJNH12Success0.046
testJNH13Success0.072
testJNH14Success0.053
testJNH15Success0.077
testJNH16Success0.835
testJNH17Success0.153
testJNH18Success0.366
testJNH19Success0.129
testJNH20Success0.195
testJNH21Success0.068
testJNH22Success0.051
testJNH23Success0.188
testJNH24Success0.179
testJNH25Success0.066
testJNH26Success0.219
testJNH27Success0.112
testJNH28Success0.207
testJNH29Success0.143
testJNH30Success0.051
testJNH31Success0.072
testJNH32Success0.356
testJNH33Success0.086
testJNH34Success0.062
testJNH35Success0.069
testJNH36Success0.132
testJNH37Success0.063
testJNH38Success0.048
testJNH39Success0.139
testJNH40Success0.321
testJNH41Success0.107
testJNH42Success0.040
testJNH43Success0.138
testJNH44Success0.037
testJNH45Success0.080
testJNH46Success0.426
testJNH47Success0.060
testJNH48Success0.190
testJNH49Success0.059
testJNH50Success0.032
testHole6Success0.107
testHole7Success0.624
testHole8Success6.739
testHole9Success102.368
Properties »