| CounterPBConstrWithClauseLearningTestCounterPBConstrWithClauseLearningTest |
53
53
|
21
21
|
0
0
|
6478.9716478,971 |
0.603773660,4% |
0.6037736
|
| WatchedPBConstrWithClauseLearningTestWatchedPBConstrWithClauseLearningTest |
53
53
|
21
21
|
0
0
|
6483.75936483,759 |
0.603773660,4% |
0.6037736
|
| PuebloWatchedPBConstrWithClauseLearningTestPuebloWatchedPBConstrWithClauseLearningTest |
53
53
|
21
21
|
0
0
|
6481.36576481,366 |
0.603773660,4% |
0.6037736
|
| CounterCardConstrOnRandomCardProblemsTestCounterCardConstrOnRandomCardProblemsTest |
32
32
|
1
1
|
0
0
|
341.90094341,901 |
0.9687596,9% |
0.96875
|
| WatchedPBConstrOnRandomCardProblemsTestWatchedPBConstrOnRandomCardProblemsTest |
32
32
|
1
1
|
0
0
|
387.28296387,283 |
0.9687596,9% |
0.96875
|
| PuebloWatchedPBConstrOnRandomCardProblemsTestPuebloWatchedPBConstrOnRandomCardProblemsTest |
32
32
|
1
1
|
0
0
|
384.3399384,34 |
0.9687596,9% |
0.96875
|
| CounterPBConstrOnRandomCardProblemsTestCounterPBConstrOnRandomCardProblemsTest |
32
32
|
1
1
|
0
0
|
412.90387412,904 |
0.9687596,9% |
0.96875
|
| WatchedCardConstrOnRandomCardProblemsTestWatchedCardConstrOnRandomCardProblemsTest |
32
32
|
1
1
|
0
0
|
342.528342,528 |
0.9687596,9% |
0.96875
|
| MyCounterCardConstrOnRandomCardProblemsTestMyCounterCardConstrOnRandomCardProblemsTest |
32
32
|
1
1
|
0
0
|
341.44495341,445 |
0.9687596,9% |
0.96875
|
| PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTestPuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest |
53
53
|
1
1
|
0
0
|
376.5349376,535 |
0.981132198,1% |
0.9811321
|
| CounterPBConstrWithClauseCardConstrLearningTestCounterPBConstrWithClauseCardConstrLearningTest |
53
53
|
0
0
|
0
0
|
69.04401469,044 |
1.0100% |
1.0
|
| CounterPBConstrWithCBClauseCardConstrLearningTestCounterPBConstrWithCBClauseCardConstrLearningTest |
53
53
|
0
0
|
0
0
|
75.77499475,775 |
1.0100% |
1.0
|
| WatchedPBConstrWithPBConstrLearningTestWatchedPBConstrWithPBConstrLearningTest |
53
53
|
0
0
|
0
0
|
119.873119,873 |
1.0100% |
1.0
|
| CounterPBConstrWithClauseAtLeastConstrLearningTestCounterPBConstrWithClauseAtLeastConstrLearningTest |
53
53
|
0
0
|
0
0
|
66.78666,786 |
1.0100% |
1.0
|
| PuebloWatchedPBConstrWithPBConstrLearningTestPuebloWatchedPBConstrWithPBConstrLearningTest |
53
53
|
0
0
|
0
0
|
77.4577,45 |
1.0100% |
1.0
|
| LitTestLitTest |
5
5
|
0
0
|
0
0
|
0.0369999970,037 |
1.0100% |
1.0
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTestCounterPBWithClauseCardConstrLearningReduceToClauseTest |
53
53
|
0
0
|
0
0
|
70.3189970,319 |
1.0100% |
1.0
|
| CounterPBConstrWithPBConstrLearningTestCounterPBConstrWithPBConstrLearningTest |
53
53
|
0
0
|
0
0
|
95.6329895,633 |
1.0100% |
1.0
|
| PuebloWatchedPBClauseCardConstrWithPBConstrLearningTestPuebloWatchedPBClauseCardConstrWithPBConstrLearningTest |
53
53
|
0
0
|
0
0
|
100.927100,927 |
1.0100% |
1.0
|
