| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnccCounterPBConstrWithClauseAtLeastConstrLearningTest.testncc |
1
PASS
|
0.0740,074 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN56CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN56 |
1
PASS
|
0.1050,105 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN5CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN5 |
1
PASS
|
0.1080,108 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnc8CounterPBConstrWithClauseAtLeastConstrLearningTest.testnc8 |
1
PASS
|
0.1030,103 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN45CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN45 |
1
PASS
|
0.1060,106 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnb1CounterPBConstrWithClauseAtLeastConstrLearningTest.testnb1 |
1
PASS
|
0.0640,064 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN4CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN4 |
1
PASS
|
0.1040,104 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnC432CounterPBConstrWithClauseAtLeastConstrLearningTest.testnC432 |
1
PASS
|
0.2380,238 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN78CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN78 |
1
PASS
|
0.110,11 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnC17CounterPBConstrWithClauseAtLeastConstrLearningTest.testnC17 |
1
PASS
|
0.0540,054 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN7CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN7 |
1
PASS
|
0.110,11 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testn9symmlCounterPBConstrWithClauseAtLeastConstrLearningTest.testn9symml |
1
PASS
|
0.1920,192 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN67CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN67 |
1
PASS
|
0.1050,105 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata103CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata103 |
1
PASS
|
7.2277,227 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN6CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN6 |
1
PASS
|
0.1070,107 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata83CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata83 |
1
PASS
|
2.192,19 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata63CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata63 |
1
PASS
|
0.6190,619 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata43CounterPBConstrWithClauseAtLeastConstrLearningTest.testndata43 |
1
PASS
|
0.1030,103 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc103CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc103 |
1
PASS
|
6.7176,717 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc83CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc83 |
1
PASS
|
2.2942,294 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN34CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN34 |
1
PASS
|
0.1170,117 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc63CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc63 |
1
PASS
|
0.8370,837 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc43CounterPBConstrWithClauseAtLeastConstrLearningTest.testncirc43 |
1
PASS
|
0.4940,494 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN9CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN9 |
1
PASS
|
0.1120,112 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN910CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN910 |
1
PASS
|
0.1110,111 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN8CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN8 |
1
PASS
|
0.1110,111 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN89CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN89 |
1
PASS
|
0.1060,106 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN10CounterPBConstrWithClauseAtLeastConstrLearningTest.testPN10 |
1
PASS
|
0.1150,115 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul5060CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul5060 |
1
PASS
|
2.592,59 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul4050CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul4050 |
1
PASS
|
1.3711,371 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul4045CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul4045 |
1
PASS
|
0.9990,999 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul5055CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul5055 |
1
PASS
|
2.2272,227 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul5051CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul5051 |
1
PASS
|
20.20120,201 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3540CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3540 |
1
PASS
|
0.640,64 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3536CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3536 |
1
PASS
|
3.723,72 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul4041CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul4041 |
1
PASS
|
6.9286,928 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3545CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3545 |
1
PASS
|
0.8040,804 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul2030CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul2030 |
1
PASS
|
0.1970,197 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3031CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3031 |
1
PASS
|
1.8381,838 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3035CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3035 |
1
PASS
|
0.4380,438 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3040CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul3040 |
1
PASS
|
0.5130,513 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1520CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1520 |
1
PASS
|
0.1040,104 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1525CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1525 |
1
PASS
|
0.1230,123 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul2021CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul2021 |
1
PASS
|
0.3410,341 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul2025CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul2025 |
1
PASS
|
0.1640,164 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1011CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1011 |
1
PASS
|
0.0760,076 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1015CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1015 |
1
PASS
|
0.0830,083 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1020CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1020 |
1
PASS
|
0.0820,082 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1516CounterPBConstrWithClauseAtLeastConstrLearningTest.testaloul1516 |
1
PASS
|
0.1410,141 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testncm42aCounterPBConstrWithClauseAtLeastConstrLearningTest.testncm42a |
1
PASS
|
0.0680,068 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testncmbCounterPBConstrWithClauseAtLeastConstrLearningTest.testncmb |
1
PASS
|
0.1270,127 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnmuxCounterPBConstrWithClauseAtLeastConstrLearningTest.testnmux |
1
PASS
|
0.1030,103 |
|
| CounterPBConstrWithClauseAtLeastConstrLearningTest.testnmyadderCounterPBConstrWithClauseAtLeastConstrLearningTest.testnmyadder |
1
PASS
|
0.1750,175 |
|
