Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.CounterPBConstrWithClauseLearningOnCNFTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithClauseLearningOnCNFTest10300366.283

Tests

NameStatusTypeTime(s)
testPropagationSuccess0.280
testPropagation2Success0.005
testAim50SAT1Success0.199
testAim50SAT2Success0.039
testAim50SAT3Success0.027
testAim50SAT4Success0.069
testAim50SAT5Success0.110
testAim50SAT6Success0.045
testAim50SAT7Success0.031
testAim50SAT8Success0.013
testAim50SAT9Success0.037
testAim50SAT10Success0.017
testAim50SAT11Success0.027
testAim50SAT12Success0.024
testAim50SAT13Success0.092
testAim50SAT14Success0.029
testAim50SAT15Success0.025
testAim50SAT16Success0.023
testAim50UNSAT1Success0.012
testAim50UNSAT2Success0.009
testAim50UNSAT3Success0.012
testAim50UNSAT4Success0.009
testAim50UNSAT5Success0.010
testAim50UNSAT6Success0.012
testAim50UNSAT7Success0.013
testAim50UNSAT8Success0.009
testIi1Success0.023
testIi2Success0.043
testIi3Success0.079
testIi4Success0.152
testIi5Success0.098
testIi6Success0.334
testIi7Success0.250
testIi8Success0.329
testIi9Success0.161
testIi10Success0.495
testIi11Success0.153
testIi12Success0.297
testIi13Success0.392
testIi14Success0.281
testIi15Success2.669
testIi16Success2.126
testIi17Success2.251
testIi18Success1.391
testIi20Success12.116
testIi21Success1.605
testIi22Success2.082
testIi23Success1.942
testIi24Success2.517
testJNH1Success0.114
testJNH2Success0.089
testJNH3Success0.724
testJNH4Success0.147
testJNH5Success0.205
testJNH6Success0.450
testJNH7Success0.080
testJNH8Success0.146
testJNH9Success0.225
testJNH10Success0.192
testJNH11Success0.480
testJNH12Success0.087
testJNH13Success0.155
testJNH14Success0.112
testJNH15Success0.287
testJNH16Success3.458
testJNH17Success0.122
testJNH18Success0.227
testJNH19Success0.300
testJNH20Success0.187
testJNH21Success0.177
testJNH22Success0.130
testJNH23Success0.495
testJNH24Success0.510
testJNH25Success0.225
testJNH26Success0.362
testJNH27Success0.059
testJNH28Success0.236
testJNH29Success0.135
testJNH30Success0.091
testJNH31Success0.179
testJNH32Success0.586
testJNH33Success0.101
testJNH34Success0.267
testJNH35Success0.114
testJNH36Success0.227
testJNH37Success0.571
testJNH38Success0.111
testJNH39Success0.308
testJNH40Success0.764
testJNH41Success0.455
testJNH42Success0.093
testJNH43Success0.404
testJNH44Success0.084
testJNH45Success0.251
testJNH46Success1.080
testJNH47Success0.065
testJNH48Success0.263
testJNH49Success0.093
testJNH50Success0.060
testHole6Success0.303
testHole7Success1.744
testHole8Success19.987
testHole9Success294.903
Properties »