Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.CounterPBConstrWithCBClauseCardConstrLearningTest

NameTestsErrorsFailuresTime(s)
CounterPBConstrWithCBClauseCardConstrLearningTest530066.341

Tests

NameStatusTypeTime(s)
testncirc43Success0.529
testncirc63Success0.701
testncirc83Success2.057
testncirc103Success6.646
testndata43Success0.110
testndata63Success0.512
testndata83Success2.042
testndata103Success13.329
testn9symmlSuccess0.194
testnC17Success0.051
testnC432Success0.221
testnb1Success0.060
testnc8Success0.096
testnccSuccess0.069
testncm42aSuccess0.064
testncmbSuccess0.115
testnmuxSuccess0.096
testnmyadderSuccess0.164
testaloul1011Success0.069
testaloul1015Success0.079
testaloul1020Success0.074
testaloul1516Success0.127
testaloul1520Success0.093
testaloul1525Success0.112
testaloul2021Success0.296
testaloul2025Success0.147
testaloul2030Success0.176
testaloul3031Success1.584
testaloul3035Success0.395
testaloul3040Success0.476
testaloul3536Success3.191
testaloul3540Success0.573
testaloul3545Success0.720
testaloul4041Success5.958
testaloul4045Success0.901
testaloul4050Success1.252
testaloul5051Success17.168
testaloul5055Success2.043
testaloul5060Success2.351
testPN34Success0.114
testPN4Success0.100
testPN45Success0.102
testPN5Success0.101
testPN56Success0.101
testPN6Success0.102
testPN67Success0.103
testPN7Success0.105
testPN78Success0.103
testPN8Success0.105
testPN89Success0.103
testPN9Success0.109
testPN910Success0.106
testPN10Success0.109
Properties »
System.out »