| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnccCounterPBWithClauseCardConstrLearningReduceToClauseTest.testncc |
1
PASS
|
0.0740,074 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN56CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN56 |
1
PASS
|
0.1030,103 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN5CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN5 |
1
PASS
|
0.1080,108 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnc8CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnc8 |
1
PASS
|
0.1040,104 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN45CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN45 |
1
PASS
|
0.1030,103 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnb1CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnb1 |
1
PASS
|
0.0670,067 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN4CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN4 |
1
PASS
|
0.1070,107 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnC432CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnC432 |
1
PASS
|
0.2390,239 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN78CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN78 |
1
PASS
|
0.1090,109 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnC17CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnC17 |
1
PASS
|
0.0550,055 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN7CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN7 |
1
PASS
|
0.1090,109 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testn9symmlCounterPBWithClauseCardConstrLearningReduceToClauseTest.testn9symml |
1
PASS
|
0.20,2 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN67CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN67 |
1
PASS
|
0.1090,109 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata103CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata103 |
1
PASS
|
9.2329,232 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN6CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN6 |
1
PASS
|
0.1120,112 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata83CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata83 |
1
PASS
|
2.3862,386 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata63CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata63 |
1
PASS
|
0.6910,691 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata43CounterPBWithClauseCardConstrLearningReduceToClauseTest.testndata43 |
1
PASS
|
0.1060,106 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc103CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc103 |
1
PASS
|
6.8586,858 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc83CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc83 |
1
PASS
|
3.143,14 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN34CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN34 |
1
PASS
|
0.120,12 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc63CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc63 |
1
PASS
|
0.9450,945 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc43CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncirc43 |
1
PASS
|
0.4820,482 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN9CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN9 |
1
PASS
|
0.110,11 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN910CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN910 |
1
PASS
|
0.1080,108 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN8CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN8 |
1
PASS
|
0.1090,109 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN89CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN89 |
1
PASS
|
0.1130,113 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN10CounterPBWithClauseCardConstrLearningReduceToClauseTest.testPN10 |
1
PASS
|
0.1160,116 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul5060CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul5060 |
1
PASS
|
2.5642,564 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul4050CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul4050 |
1
PASS
|
1.3611,361 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul4045CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul4045 |
1
PASS
|
0.9970,997 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul5055CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul5055 |
1
PASS
|
2.1982,198 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul5051CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul5051 |
1
PASS
|
20.27620,276 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3540CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3540 |
1
PASS
|
0.6320,632 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3536CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3536 |
1
PASS
|
3.7523,752 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul4041CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul4041 |
1
PASS
|
7.0227,022 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3545CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3545 |
1
PASS
|
0.7980,798 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul2030CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul2030 |
1
PASS
|
0.1970,197 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3031CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3031 |
1
PASS
|
1.8521,852 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3035CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3035 |
1
PASS
|
0.4430,443 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3040CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul3040 |
1
PASS
|
0.5150,515 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1520CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1520 |
1
PASS
|
0.1040,104 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1525CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1525 |
1
PASS
|
0.1210,121 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul2021CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul2021 |
1
PASS
|
0.3460,346 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul2025CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul2025 |
1
PASS
|
0.1640,164 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1011CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1011 |
1
PASS
|
0.0750,075 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1015CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1015 |
1
PASS
|
0.0810,081 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1020CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1020 |
1
PASS
|
0.0820,082 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1516CounterPBWithClauseCardConstrLearningReduceToClauseTest.testaloul1516 |
1
PASS
|
0.1450,145 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncm42aCounterPBWithClauseCardConstrLearningReduceToClauseTest.testncm42a |
1
PASS
|
0.070,07 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testncmbCounterPBWithClauseCardConstrLearningReduceToClauseTest.testncmb |
1
PASS
|
0.1240,124 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnmuxCounterPBWithClauseCardConstrLearningReduceToClauseTest.testnmux |
1
PASS
|
0.1050,105 |
|
| CounterPBWithClauseCardConstrLearningReduceToClauseTest.testnmyadderCounterPBWithClauseCardConstrLearningReduceToClauseTest.testnmyadder |
1
PASS
|
0.180,18 |
|
