Unit Test Results
Designed for use with
JUnit
and
Ant
.
Package org.sat4j.minisat.constraints
Classes
Name
Tests
Errors
Failures
Time(s)
CounterCardConstrOnRandomCardProblemsTest
32
0
1
351.237
CounterPBConstrOnRandomCardProblemsTest
32
0
1
378.809
CounterPBConstrWithCBClauseCardConstrLearningTest
53
0
1
552.881
CounterPBConstrWithClauseAtLeastConstrLearningTest
53
0
1
610.892
CounterPBConstrWithClauseCardConstrLearningTest
53
0
0
152.352
CounterPBConstrWithClauseLearningTest
53
8
16
5139.562
CounterPBConstrWithPBConstrLearningTest
53
0
0
84.754
CounterPBWithClauseCardConstrLearningReduceToClauseTest
53
0
0
177.820
LitTest
5
0
0
0.088
MyCounterCardConstrOnRandomCardProblemsTest
32
0
1
351.865
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
53
0
1
412.747
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
53
0
1
533.689
PuebloWatchedPBConstrOnRandomCardProblemsTest
32
0
1
481.170
PuebloWatchedPBConstrWithClauseLearningTest
53
12
13
4088.000
PuebloWatchedPBConstrWithPBConstrLearningTest
53
0
0
384.554
WatchedCardConstrOnRandomCardProblemsTest
32
0
1
352.047
WatchedPBConstrOnRandomCardProblemsTest
32
0
1
489.514
WatchedPBConstrWithClauseLearningTest
53
11
13
4100.522
WatchedPBConstrWithPBConstrLearningTest
53
0
1
465.859