Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.PuebloWatchedPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
PuebloWatchedPBConstrWithPBConstrLearningTest5300384.554

Tests

NameStatusTypeTime(s)
testncirc43Success0.559
testncirc63Success1.185
testncirc83Success4.942
testncirc103Success304.034
testndata43Success0.078
testndata63Success1.156
testndata83Success10.643
testndata103Success41.832
testn9symmlSuccess0.287
testnC17Success0.002
testnC432Success0.406
testnb1Success0.004
testnc8Success0.065
testnccSuccess0.035
testncm42aSuccess0.019
testncmbSuccess0.093
testnmuxSuccess0.065
testnmyadderSuccess0.286
testaloul1011Success0.015
testaloul1015Success0.021
testaloul1020Success0.032
testaloul1516Success0.046
testaloul1520Success0.070
testaloul1525Success0.079
testaloul2021Success0.128
testaloul2025Success0.136
testaloul2030Success0.188
testaloul3031Success0.478
testaloul3035Success0.506
testaloul3040Success0.609
testaloul3536Success0.818
testaloul3540Success0.822
testaloul3545Success1.020
testaloul4041Success1.355
testaloul4045Success1.289
testaloul4050Success1.672
testaloul5051Success3.136
testaloul5055Success2.900
testaloul5060Success3.437
testPN34Success0.002
testPN4Success0.002
testPN45Success0.002
testPN5Success0.002
testPN56Success0.003
testPN6Success0.003
testPN67Success0.003
testPN7Success0.005
testPN78Success0.004
testPN8Success0.005
testPN89Success0.005
testPN9Success0.007
testPN910Success0.006
testPN10Success0.009
Properties »