| CounterPBConstrWithPBConstrLearningOnCNFTestCounterPBConstrWithPBConstrLearningOnCNFTest |
103
103
|
2
2
|
0
0
|
678.611678,611 |
0.9805825498,1% |
0.98058254
|
| M2MiniLearningCBTestM2MiniLearningCBTest |
101
101
|
1
1
|
0
0
|
357.58405357,584 |
0.99009999% |
0.990099
|
| M2MiniActiveLearningTestM2MiniActiveLearningTest |
101
101
|
1
1
|
0
0
|
330.95596330,956 |
0.99009999% |
0.990099
|
| M2CardMaxYannTestM2CardMaxYannTest |
101
101
|
1
1
|
0
0
|
358.02194358,022 |
0.99009999% |
0.990099
|
| M2MiniLearningTestM2MiniLearningTest |
101
101
|
1
1
|
0
0
|
332.91284332,913 |
0.99009999% |
0.990099
|
| M2CardMinYannTestM2CardMinYannTest |
101
101
|
1
1
|
0
0
|
342.288342,288 |
0.99009999% |
0.990099
|
| M2BackjumpingTestM2BackjumpingTest |
101
101
|
1
1
|
0
0
|
465.91904465,919 |
0.99009999% |
0.990099
|
| M2AtLeastTestM2AtLeastTest |
101
101
|
1
1
|
0
0
|
364.99588364,996 |
0.99009999% |
0.990099
|
| M2MiniLearning2TestM2MiniLearning2Test |
101
101
|
1
1
|
0
0
|
330.81284330,813 |
0.99009999% |
0.990099
|
| WatchedPBConstrWithPBConstrLearningOnCNFTestWatchedPBConstrWithPBConstrLearningOnCNFTest |
103
103
|
1
1
|
0
0
|
403.715403,715 |
0.9902912499% |
0.99029124
|
| M2MiniLearning23TestM2MiniLearning23Test |
101
101
|
0
0
|
0
0
|
65.0270565,027 |
1.0100% |
1.0
|
| CounterPBConstrWithClauseLearningOnCNFTestCounterPBConstrWithClauseLearningOnCNFTest |
103
103
|
0
0
|
0
0
|
71.8971,89 |
1.0100% |
1.0
|
| M2Mini3SATTestM2Mini3SATTest |
101
101
|
0
0
|
0
0
|
243.85399243,854 |
1.0100% |
1.0
|
| M2RelsatTestM2RelsatTest |
101
101
|
0
0
|
0
0
|
110.95103110,951 |
1.0100% |
1.0
|
| M2MiniSATTestM2MiniSATTest |
101
101
|
0
0
|
0
0
|
88.4660688,466 |
1.0100% |
1.0
|
| VarOrderTestVarOrderTest |
9
9
|
0
0
|
0
0
|
0.1130000050,113 |
1.0100% |
1.0
|
| WatchedPBConstrWithClauseLearningOnCNFTestWatchedPBConstrWithClauseLearningOnCNFTest |
103
103
|
0
0
|
0
0
|
76.04896576,049 |
1.0100% |
1.0
|
