| Problem | aspcud-1.4 | p2cudf | packup-minisat+ | packup-msuncore | packup-pbo |
|---|---|---|---|---|---|
| rand4d6b1c.cudf.bz2 | 0,-688,-186 299.98 |
0,-687,-275 285.157 |
0,-687,-126 13.8929 |
0,-687,-126 14.0249 |
0,-688,-261 299.073 |
| rand50a937.cudf.bz2 | -3,-806,-170 299.939 |
-3,-806,-263 286.653 |
-3,-806,-114 26.7059 |
-3,-806,-114 17.1924 |
-3,-814,-229 298.352 |
| randbe9acf.cudf.bz2 | 0,-111,-72 1.2828 |
0,-111,-72 4.84626 |
0,-111,-72 3.3085 |
0,-111,-72 3.35449 |
0,-111,-72 0.955854 |
| rande4fcd8.cudf.bz2 | 0,-755,-122 8.38772 |
0,-755,-122 13.5289 |
0,-755,-122 3.63445 |
0,-755,-122 13.6479 |
0,-755,-122 15.0757 |
| rand951a14.cudf.bz2 | 0,-127,-96 1.05684 |
0,-127,-96 5.2392 |
0,-127,-96 2.15267 |
0,-127,-96 3.08853 |
0,-127,-96 0.775882 |
| randba6b5b.cudf.bz2 | 0,-80,-54 1.35179 |
0,-80,-54 4.97024 |
0,-80,-54 2.70259 |
0,-80,-54 2.54461 |
0,-80,-54 0.91986 |
| rand61b840.cudf.bz2 | 0,-248,-139 1.20182 |
0,-248,-139 5.31619 |
0,-248,-139 3.23351 |
0,-248,-139 6.01908 |
0,-248,-139 1.01584 |
| rand95e48b.cudf.bz2 | -1,-795,-183 299.836 |
-1,-791,-289 286.362 |
-1,-791,-122 12.4251 |
-1,-791,-122 13.051 |
-1,-796,-239 299.175 |
| randa45895.cudf.bz2 | FAIL 1.17382 |
FAIL 4.22636 |
FAIL 1.04284 |
FAIL 1.3438 |
FAIL 0.878866 |
| randd8bf6a.cudf.bz2 | -1,-632,-166 126.294 |
-1,-632,-166 47.8527 |
-1,-632,-166 4.30835 |
-1,-632,-166 9.8735 |
-1,-632,-166 87.0158 |
| randf61f65.cudf.bz2 | -4,-684,-144 299.948 |
-4,-684,-93 216.029 |
-4,-684,-93 28.3587 |
-4,-684,-93 9.97948 |
-4,-684,-93 298.072 |
| randa9ba44.cudf.bz2 | 0,-56,-35 1.06084 |
0,-56,-35 5.12422 |
0,-56,-35 1.74873 |
0,-56,-35 1.76973 |
0,-56,-35 0.770882 |
| randea6106.cudf.bz2 | -1,-98,-61 1.03684 |
-1,-98,-61 5.36418 |
-1,-98,-61 3.2945 |
-1,-98,-61 2.40663 |
-1,-98,-61 0.803877 |
| rand49d73b.cudf.bz2 | -2,-690,-148 299.941 |
-2,-690,-146 58.8371 |
-2,-690,-146 10.3404 |
-2,-690,-146 11.5182 |
-2,-690,-146 174.672 |
| rand5c1800.cudf.bz2 | 0,-71,-52 1.02784 |
0,-71,-52 4.87026 |
0,-71,-52 1.74173 |
0,-71,-52 2.03969 |
0,-71,-52 0.826874 |
| rand7b4167.cudf.bz2 | 0,-644,-128 124.109 |
0,-644,-128 40.3879 |
0,-644,-128 4.14037 |
0,-644,-128 8.80266 |
0,-644,-128 111.588 |
| randadea40.cudf.bz2 | 0,-117,-95 1.05284 |
0,-117,-95 5.12622 |
0,-117,-95 3.24951 |
0,-117,-95 2.97755 |
0,-117,-95 0.774882 |
| rand14ba69.cudf.bz2 | -2,-676,-131 70.8292 |
-2,-676,-131 131.769 |
-2,-676,-131 4.89825 |
-2,-676,-131 11.6192 |
-2,-679,-246 299.236 |
| rand847939.cudf.bz2 | 0,-728,-124 140.078 |
0,-728,-124 24.3583 |
0,-728,-124 3.68344 |
0,-728,-124 10.5794 |
0,-728,-124 68.9575 |
| randc192b7.cudf.bz2 | 0,-197,-86 1.23681 |
0,-197,-86 4.93025 |
0,-197,-86 2.89756 |
0,-197,-86 3.67644 |
0,-197,-86 0.807877 |
| rand2fb7ab.cudf.bz2 | 0,-194,-117 1.2998 |
0,-194,-117 5.74613 |
0,-194,-117 2.91556 |
0,-194,-117 4.90925 |
0,-194,-117 1.08683 |
| randeb343c.cudf.bz2 | 0,-96,-54 1.05184 |
0,-96,-54 5.64314 |
0,-96,-54 2.5956 |
0,-96,-54 2.42763 |
0,-96,-54 0.716891 |
| randf17677.cudf.bz2 | -1,-746,-111 3.46647 |
-1,-746,-111 9.37258 |
-1,-746,-111 2.53061 |
-1,-746,-111 12.1791 |
-1,-746,-111 6.86796 |
| rand8d117b.cudf.bz2 | 0,-158,-96 1.17582 |
0,-158,-96 5.22921 |
0,-158,-96 2.81357 |
0,-158,-96 4.22636 |
0,-158,-96 0.824874 |
| randa651ed.cudf.bz2 | 0,-707,-125 126.493 |
0,-707,-125 29.8605 |
0,-707,-125 2.99754 |
0,-707,-125 11.7882 |
0,-707,-125 104.738 |
| rand7fec8c.cudf.bz2 | 0,-70,-30 1.03784 |
0,-70,-30 5.12322 |
0,-70,-30 2.58661 |
0,-70,-30 1.81072 |
0,-70,-30 0.744886 |
| rand2d2fd0.cudf.bz2 | -2,-673,-159 172.918 |
-2,-673,-159 151.973 |
-2,-673,-159 6.608 |
-2,-673,-159 11.4123 |
-2,-682,-308 299.284 |
| randaaa8ea.cudf.bz2 | 0,-83,-65 1.03384 |
0,-83,-65 4.88026 |
0,-83,-65 2.55861 |
0,-83,-65 2.30765 |
0,-83,-65 0.756884 |
| randc10393.cudf.bz2 | 0,-650,-118 53.4439 |
0,-650,-118 30.2394 |
0,-650,-118 3.86541 |
0,-650,-118 10.1405 |
0,-650,-118 125.314 |
| randf7a7e4.cudf.bz2 | 0,-426,-403 1.23481 |
0,-426,-403 4.90525 |
0,-426,-403 2.07568 |
0,-426,-403 11.6932 |
0,-426,-403 0.766883 |
| rand1bff33.cudf.bz2 | 0,-41,-23 1.20682 |
0,-41,-23 5.04623 |
0,-41,-23 2.38764 |
0,-41,-23 1.74573 |
0,-41,-23 0.956854 |
| rand908403.cudf.bz2 | -48,-661,-175 43.4154 |
-48,-661,-175 28.0517 |
-48,-661,-175 4.83327 |
-48,-661,-175 17.2384 |
-48,-661,-175 152.422 |
| rand359ca0.cudf.bz2 | 0,-67,-31 1.07084 |
0,-67,-31 5.14422 |
0,-67,-31 2.70159 |
0,-67,-31 1.83072 |
0,-67,-31 0.737887 |
| rand06f749.cudf.bz2 | -1,-741,-192 299.97 |
-1,-739,-130 156.778 |
-1,-739,-130 4.03439 |
-1,-739,-130 9.8285 |
-1,-742,-266 299.324 |
| randf406d5.cudf.bz2 | FAIL 1.50977 |
FAIL 4.01939 |
FAIL 1.15082 |
FAIL 1.19382 |
FAIL 0.98085 |
| randa870aa.cudf.bz2 | -2,-682,-104 159.764 |
-2,-682,-104 72.331 |
-2,-682,-104 12.1492 |
-2,-682,-104 10.0555 |
-2,-682,-104 299.236 |
| rand0aa5c1.cudf.bz2 | -6,-730,-126 47.1388 |
-6,-730,-126 55.0906 |
-6,-730,-126 7.64684 |
-6,-730,-126 11.3723 |
-6,-730,-126 31.4982 |
| rand5619c8.cudf.bz2 | 0,-147,-58 1.06784 |
0,-147,-58 4.68729 |
0,-147,-58 3.17052 |
0,-147,-58 2.88656 |
0,-147,-58 0.846871 |
| rand6d933e.cudf.bz2 | -1,-89,-58 1.05784 |
-1,-89,-58 5.33019 |
-1,-89,-58 2.58461 |
-1,-89,-58 2.32565 |
-1,-89,-58 0.716891 |
| rand2fe899.cudf.bz2 | -3,-638,-166 17.6513 |
-3,-638,-166 27.5918 |
-3,-638,-166 2.91556 |
-3,-638,-166 11.9662 |
-3,-638,-166 56.0185 |
| rand394916.cudf.bz2 | FAIL 1.46378 |
FAIL 3.88941 |
FAIL 1.09283 |
FAIL 1.07284 |
FAIL 0.949855 |
| rand13b58e.cudf.bz2 | 0,-240,-187 1.04484 |
0,-240,-187 4.65929 |
0,-240,-187 2.50262 |
0,-240,-187 5.46617 |
0,-240,-187 0.72289 |
| rand08759d.cudf.bz2 | 0,-110,-27 1.06684 |
0,-110,-27 5.01124 |
0,-110,-27 3.62745 |
0,-110,-27 2.17167 |
0,-110,-27 0.789879 |