Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.WatchedPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrWithPBConstrLearningTest530083.197

Tests

NameStatusTypeTime(s)
testncirc43Success0.393
testncirc63Success0.808
testncirc83Success3.565
testncirc103Success19.003
testndata43Success0.113
testndata63Success0.629
testndata83Success2.978
testndata103Success14.241
testn9symmlSuccess0.211
testnC17Success0.046
testnC432Success0.272
testnb1Success0.056
testnc8Success0.101
testnccSuccess0.067
testncm42aSuccess0.069
testncmbSuccess0.127
testnmuxSuccess0.103
testnmyadderSuccess0.185
testaloul1011Success0.070
testaloul1015Success0.073
testaloul1020Success0.075
testaloul1516Success0.128
testaloul1520Success0.096
testaloul1525Success0.115
testaloul2021Success0.310
testaloul2025Success0.150
testaloul2030Success0.186
testaloul3031Success1.624
testaloul3035Success0.412
testaloul3040Success0.476
testaloul3536Success3.298
testaloul3540Success0.600
testaloul3545Success0.745
testaloul4041Success6.097
testaloul4045Success0.940
testaloul4050Success1.271
testaloul5051Success17.578
testaloul5055Success2.106
testaloul5060Success2.428
testPN34Success0.113
testPN4Success0.097
testPN45Success0.097
testPN5Success0.098
testPN56Success0.098
testPN6Success0.101
testPN67Success0.098
testPN7Success0.100
testPN78Success0.099
testPN8Success0.101
testPN89Success0.101
testPN9Success0.103
testPN910Success0.103
testPN10Success0.107
Properties »
System.out »