Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithPBConstrLearningTest530085.899

Tests

NameStatusTypeTime(s)
testncirc43Success0.387
testncirc63Success0.756
testncirc83Success2.483
testncirc103Success12.566
testndata43Success0.105
testndata63Success0.604
testndata83Success2.467
testndata103Success24.615
testn9symmlSuccess0.221
testnC17Success0.051
testnC432Success0.281
testnb1Success0.063
testnc8Success0.108
testnccSuccess0.073
testncm42aSuccess0.067
testncmbSuccess0.145
testnmuxSuccess0.112
testnmyadderSuccess0.203
testaloul1011Success0.073
testaloul1015Success0.080
testaloul1020Success0.080
testaloul1516Success0.133
testaloul1520Success0.101
testaloul1525Success0.120
testaloul2021Success0.316
testaloul2025Success0.161
testaloul2030Success0.197
testaloul3031Success1.652
testaloul3035Success0.428
testaloul3040Success0.500
testaloul3536Success3.279
testaloul3540Success0.623
testaloul3545Success0.785
testaloul4041Success6.144
testaloul4045Success0.979
testaloul4050Success1.287
testaloul5051Success17.501
testaloul5055Success2.126
testaloul5060Success2.482
testPN34Success0.118
testPN4Success0.105
testPN45Success0.103
testPN5Success0.107
testPN56Success0.105
testPN6Success0.105
testPN67Success0.106
testPN7Success0.107
testPN78Success0.106
testPN8Success0.108
testPN89Success0.106
testPN9Success0.110
testPN910Success0.108
testPN10Success0.113
Properties »
System.out »