Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.PuebloWatchedPBConstrWithPBConstrLearningTest

NameTestsErrorsFailuresTime(s)
PuebloWatchedPBConstrWithPBConstrLearningTest530062.212

Tests

NameStatusTypeTime(s)
testncirc43Success0.385
testncirc63Success0.732
testncirc83Success2.229
testncirc103Success8.256
testndata43Success0.094
testndata63Success0.543
testndata83Success2.473
testndata103Success6.639
testn9symmlSuccess0.190
testnC17Success0.045
testnC432Success0.231
testnb1Success0.053
testnc8Success0.093
testnccSuccess0.064
testncm42aSuccess0.060
testncmbSuccess0.113
testnmuxSuccess0.095
testnmyadderSuccess0.168
testaloul1011Success0.065
testaloul1015Success0.070
testaloul1020Success0.071
testaloul1516Success0.124
testaloul1520Success0.090
testaloul1525Success0.107
testaloul2021Success0.300
testaloul2025Success0.143
testaloul2030Success0.187
testaloul3031Success1.619
testaloul3035Success0.401
testaloul3040Success0.465
testaloul3536Success3.226
testaloul3540Success0.592
testaloul3545Success0.732
testaloul4041Success6.056
testaloul4045Success0.969
testaloul4050Success1.234
testaloul5051Success17.411
testaloul5055Success2.044
testaloul5060Success2.392
testPN34Success0.111
testPN4Success0.095
testPN45Success0.099
testPN5Success0.097
testPN56Success0.099
testPN6Success0.098
testPN67Success0.098
testPN7Success0.100
testPN78Success0.099
testPN8Success0.103
testPN89Success0.100
testPN9Success0.103
testPN910Success0.104
testPN10Success0.107
Properties »
System.out »