CounterPBConstrWithPBConstrLearningTest.testnccCounterPBConstrWithPBConstrLearningTest.testncc |
1
PASS
|
0.0780,078 |
|
CounterPBConstrWithPBConstrLearningTest.testPN56CounterPBConstrWithPBConstrLearningTest.testPN56 |
1
PASS
|
0.1080,108 |
|
CounterPBConstrWithPBConstrLearningTest.testPN5CounterPBConstrWithPBConstrLearningTest.testPN5 |
1
PASS
|
0.1070,107 |
|
CounterPBConstrWithPBConstrLearningTest.testnc8CounterPBConstrWithPBConstrLearningTest.testnc8 |
1
PASS
|
0.1110,111 |
|
CounterPBConstrWithPBConstrLearningTest.testPN45CounterPBConstrWithPBConstrLearningTest.testPN45 |
1
PASS
|
0.110,11 |
|
CounterPBConstrWithPBConstrLearningTest.testnb1CounterPBConstrWithPBConstrLearningTest.testnb1 |
1
PASS
|
0.0690,069 |
|
CounterPBConstrWithPBConstrLearningTest.testPN4CounterPBConstrWithPBConstrLearningTest.testPN4 |
1
PASS
|
0.1090,109 |
|
CounterPBConstrWithPBConstrLearningTest.testnC432CounterPBConstrWithPBConstrLearningTest.testnC432 |
1
PASS
|
0.2780,278 |
|
CounterPBConstrWithPBConstrLearningTest.testPN78CounterPBConstrWithPBConstrLearningTest.testPN78 |
1
PASS
|
0.110,11 |
|
CounterPBConstrWithPBConstrLearningTest.testnC17CounterPBConstrWithPBConstrLearningTest.testnC17 |
1
PASS
|
0.0570,057 |
|
CounterPBConstrWithPBConstrLearningTest.testPN7CounterPBConstrWithPBConstrLearningTest.testPN7 |
1
PASS
|
0.1130,113 |
|
CounterPBConstrWithPBConstrLearningTest.testn9symmlCounterPBConstrWithPBConstrLearningTest.testn9symml |
1
PASS
|
0.2220,222 |
|
CounterPBConstrWithPBConstrLearningTest.testPN67CounterPBConstrWithPBConstrLearningTest.testPN67 |
1
PASS
|
0.1080,108 |
|
CounterPBConstrWithPBConstrLearningTest.testndata103CounterPBConstrWithPBConstrLearningTest.testndata103 |
1
PASS
|
27.82627,826 |
|
CounterPBConstrWithPBConstrLearningTest.testPN6CounterPBConstrWithPBConstrLearningTest.testPN6 |
1
PASS
|
0.1130,113 |
|
CounterPBConstrWithPBConstrLearningTest.testndata83CounterPBConstrWithPBConstrLearningTest.testndata83 |
1
PASS
|
2.3072,307 |
|
CounterPBConstrWithPBConstrLearningTest.testndata63CounterPBConstrWithPBConstrLearningTest.testndata63 |
1
PASS
|
0.5990,599 |
|
CounterPBConstrWithPBConstrLearningTest.testndata43CounterPBConstrWithPBConstrLearningTest.testndata43 |
1
PASS
|
0.1070,107 |
|
CounterPBConstrWithPBConstrLearningTest.testncirc103CounterPBConstrWithPBConstrLearningTest.testncirc103 |
1
PASS
|
13.14913,149 |
|
CounterPBConstrWithPBConstrLearningTest.testncirc83CounterPBConstrWithPBConstrLearningTest.testncirc83 |
1
PASS
|
2.3982,398 |
|
CounterPBConstrWithPBConstrLearningTest.testPN34CounterPBConstrWithPBConstrLearningTest.testPN34 |
1
PASS
|
0.1210,121 |
|
CounterPBConstrWithPBConstrLearningTest.testncirc63CounterPBConstrWithPBConstrLearningTest.testncirc63 |
1
PASS
|
0.8270,827 |
|
CounterPBConstrWithPBConstrLearningTest.testncirc43CounterPBConstrWithPBConstrLearningTest.testncirc43 |
1
PASS
|
0.4790,479 |
|
CounterPBConstrWithPBConstrLearningTest.testPN9CounterPBConstrWithPBConstrLearningTest.testPN9 |
1
PASS
|
0.1190,119 |
|
CounterPBConstrWithPBConstrLearningTest.testPN910CounterPBConstrWithPBConstrLearningTest.testPN910 |
1
PASS
|
0.1130,113 |
|
CounterPBConstrWithPBConstrLearningTest.testPN8CounterPBConstrWithPBConstrLearningTest.testPN8 |
1
PASS
|
0.1170,117 |
|
CounterPBConstrWithPBConstrLearningTest.testPN89CounterPBConstrWithPBConstrLearningTest.testPN89 |
1
PASS
|
0.1110,111 |
|
CounterPBConstrWithPBConstrLearningTest.testPN10CounterPBConstrWithPBConstrLearningTest.testPN10 |
1
PASS
|
0.1210,121 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul5060CounterPBConstrWithPBConstrLearningTest.testaloul5060 |
1
PASS
|
2.732,73 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul4050CounterPBConstrWithPBConstrLearningTest.testaloul4050 |
1
PASS
|
1.4341,434 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul4045CounterPBConstrWithPBConstrLearningTest.testaloul4045 |
1
PASS
|
1.0611,061 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul5055CounterPBConstrWithPBConstrLearningTest.testaloul5055 |
1
PASS
|
2.3472,347 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul5051CounterPBConstrWithPBConstrLearningTest.testaloul5051 |
1
PASS
|
20.56820,568 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul3540CounterPBConstrWithPBConstrLearningTest.testaloul3540 |
1
PASS
|
0.6810,681 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul3536CounterPBConstrWithPBConstrLearningTest.testaloul3536 |
1
PASS
|
3.8393,839 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul4041CounterPBConstrWithPBConstrLearningTest.testaloul4041 |
1
PASS
|
7.1497,149 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul3545CounterPBConstrWithPBConstrLearningTest.testaloul3545 |
1
PASS
|
0.8510,851 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul2030CounterPBConstrWithPBConstrLearningTest.testaloul2030 |
1
PASS
|
0.2140,214 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul3031CounterPBConstrWithPBConstrLearningTest.testaloul3031 |
1
PASS
|
1.9111,911 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul3035CounterPBConstrWithPBConstrLearningTest.testaloul3035 |
1
PASS
|
0.4610,461 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul3040CounterPBConstrWithPBConstrLearningTest.testaloul3040 |
1
PASS
|
0.5470,547 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul1520CounterPBConstrWithPBConstrLearningTest.testaloul1520 |
1
PASS
|
0.1110,111 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul1525CounterPBConstrWithPBConstrLearningTest.testaloul1525 |
1
PASS
|
0.1290,129 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul2021CounterPBConstrWithPBConstrLearningTest.testaloul2021 |
1
PASS
|
0.3620,362 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul2025CounterPBConstrWithPBConstrLearningTest.testaloul2025 |
1
PASS
|
0.1740,174 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul1011CounterPBConstrWithPBConstrLearningTest.testaloul1011 |
1
PASS
|
0.080,08 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul1015CounterPBConstrWithPBConstrLearningTest.testaloul1015 |
1
PASS
|
0.0910,091 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul1020CounterPBConstrWithPBConstrLearningTest.testaloul1020 |
1
PASS
|
0.0870,087 |
|
CounterPBConstrWithPBConstrLearningTest.testaloul1516CounterPBConstrWithPBConstrLearningTest.testaloul1516 |
1
PASS
|
0.160,16 |
|
CounterPBConstrWithPBConstrLearningTest.testncm42aCounterPBConstrWithPBConstrLearningTest.testncm42a |
1
PASS
|
0.0760,076 |
|
CounterPBConstrWithPBConstrLearningTest.testncmbCounterPBConstrWithPBConstrLearningTest.testncmb |
1
PASS
|
0.1510,151 |
|
CounterPBConstrWithPBConstrLearningTest.testnmuxCounterPBConstrWithPBConstrLearningTest.testnmux |
1
PASS
|
0.1170,117 |
|
CounterPBConstrWithPBConstrLearningTest.testnmyadderCounterPBConstrWithPBConstrLearningTest.testnmyadder |
1
PASS
|
0.2150,215 |
|