|
AbstractPigeonHoleWithCardinalityTest
AbstractPigeonHoleWithCardinalityTest
|
-1.0
( - )
|
|
AbstractPseudoBooleanAndPigeonHoleTest
AbstractPseudoBooleanAndPigeonHoleTest
|
-1.0
( - )
|
|
AbstractRandomCardProblemsTest
AbstractRandomCardProblemsTest
|
-1.0
( - )
|
|
CounterCardConstrOnRandomCardProblemsTest
CounterCardConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
CounterPBConstrOnRandomCardProblemsTest
CounterPBConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
CounterPBConstrWithCBClauseCardConstrLearningTest
CounterPBConstrWithCBClauseCardConstrLearningTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseAtLeastConstrLearningTest
CounterPBConstrWithClauseAtLeastConstrLearningTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseCardConstrLearningTest
CounterPBConstrWithClauseCardConstrLearningTest
|
1.0
(100%)
|
|
CounterPBConstrWithClauseLearningTest
CounterPBConstrWithClauseLearningTest
|
0.6037736
(60,4%)
|
|
CounterPBConstrWithPBConstrLearningTest
CounterPBConstrWithPBConstrLearningTest
|
0.9622642
(96,2%)
|
|
CounterPBWithClauseCardConstrLearningReduceToClauseTest
CounterPBWithClauseCardConstrLearningReduceToClauseTest
|
1.0
(100%)
|
|
LitTest
LitTest
|
1.0
(100%)
|
|
MyCounterCardConstrOnRandomCardProblemsTest
MyCounterCardConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest
|
1.0
(100%)
|
|
PuebloWatchedPBConstrOnRandomCardProblemsTest
PuebloWatchedPBConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
PuebloWatchedPBConstrWithClauseLearningTest
PuebloWatchedPBConstrWithClauseLearningTest
|
0.6037736
(60,4%)
|
|
PuebloWatchedPBConstrWithPBConstrLearningTest
PuebloWatchedPBConstrWithPBConstrLearningTest
|
0.9811321
(98,1%)
|
|
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest
|
0.9811321
(98,1%)
|
|
WatchedCardConstrOnRandomCardProblemsTest
WatchedCardConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
WatchedPBConstrOnRandomCardProblemsTest
WatchedPBConstrOnRandomCardProblemsTest
|
0.96875
(96,9%)
|
|
WatchedPBConstrWithClauseLearningTest
WatchedPBConstrWithClauseLearningTest
|
0.6037736
(60,4%)
|
|
WatchedPBConstrWithPBConstrLearningTest
WatchedPBConstrWithPBConstrLearningTest
|
0.9622642
(96,2%)
|