Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBWithClauseCardConstrLearningReduceToClauseTest

NameTestsErrorsFailuresTime(s)
CounterPBWithClauseCardConstrLearningReduceToClauseTest530060.874

Tests

NameStatusTypeTime(s)
testncirc43Success0.385
testncirc63Success0.745
testncirc83Success2.674
testncirc103Success6.151
testndata43Success0.095
testndata63Success0.594
testndata83Success2.097
testndata103Success8.079
testn9symmlSuccess0.177
testnC17Success0.049
testnC432Success0.216
testnb1Success0.059
testnc8Success0.092
testnccSuccess0.065
testncm42aSuccess0.062
testncmbSuccess0.111
testnmuxSuccess0.093
testnmyadderSuccess0.159
testaloul1011Success0.067
testaloul1015Success0.074
testaloul1020Success0.078
testaloul1516Success0.135
testaloul1520Success0.093
testaloul1525Success0.109
testaloul2021Success0.299
testaloul2025Success0.148
testaloul2030Success0.179
testaloul3031Success1.585
testaloul3035Success0.389
testaloul3040Success0.457
testaloul3536Success3.169
testaloul3540Success0.577
testaloul3545Success0.718
testaloul4041Success5.921
testaloul4045Success0.897
testaloul4050Success1.210
testaloul5051Success17.067
testaloul5055Success1.978
testaloul5060Success2.328
testPN34Success0.115
testPN4Success0.103
testPN45Success0.101
testPN5Success0.101
testPN56Success0.100
testPN6Success0.101
testPN67Success0.104
testPN7Success0.104
testPN78Success0.101
testPN8Success0.104
testPN89Success0.103
testPN9Success0.108
testPN910Success0.104
testPN10Success0.110
Properties »
System.out »