| Problem | aspcud-1.4 | p2cudf | packup-minisat+ | packup-msuncore | packup-pbo |
|---|---|---|---|---|---|
| randf17677.cudf | -12,-207 1.3068 |
-12,-207 5.08923 |
-12,-207 1.82872 |
-12,-207 2.95855 |
-12,-207 1.35779 |
| rand1bff33.cudf | -23,-40 1.07184 |
-23,-40 5.21621 |
-23,-40 2.26366 |
-23,-40 1.3478 |
-23,-40 0.72089 |
| 9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | -14,-40 7.67583 |
-14,-40 9.47456 |
-14,-40 23.7114 |
-14,-40 8.17476 |
-14,-40 24.8862 |
| rand7141b1.cudf | -46,-280 5.11122 |
-46,-280 13.197 |
-46,-280 16.5385 |
-46,-280 25.1472 |
-46,-280 8.5347 |
| rand14ba69.cudf | -19,-229 4.83327 |
-19,-229 17.8513 |
-19,-229 19.875 |
-19,-229 3.9484 |
-19,-229 11.0153 |
| 1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | -11,-36 6.29604 |
-11,-36 9.2206 |
-11,-36 16.0366 |
-11,-36 7.62084 |
-11,-36 7.29389 |
| rand81406f.cudf | -16,-104 4.43733 |
-16,-104 8.72467 |
-16,-104 7.54785 |
-16,-104 10.0255 |
-16,-104 4.5753 |
| rand359ca0.cudf | -30,-65 1.02884 |
-30,-65 5.74013 |
-30,-65 1.42978 |
-30,-65 1.63675 |
-30,-65 0.681896 |
| rand8cc693.cudf | -64,-410 10.9773 |
-64,-410 38.7131 |
-64,-410 28.2557 |
abort 298.28 |
-64,-410 24.2933 |
| rand951a14.cudf | -96,-126 1.05084 |
-96,-126 5.67514 |
-96,-126 2.01669 |
-96,-126 2.69059 |
-96,-126 0.776881 |
| rand6d933e.cudf | -58,-88 1.02684 |
-58,-88 5.2372 |
-58,-88 2.14467 |
-58,-88 2.05469 |
-58,-88 0.675897 |
| rand8d117b.cudf | -96,-157 1.03384 |
-96,-157 5.53316 |
-96,-157 2.18167 |
-96,-157 3.03354 |
-96,-157 0.766883 |
| randeb343c.cudf | -54,-95 1.04984 |
-54,-95 5.2432 |
-54,-95 2.18067 |
-54,-95 2.08868 |
-54,-95 0.661899 |
| rand878003.cudf | -47,-318 4.74628 |
-47,-318 15.9926 |
-47,-318 18.4272 |
-47,-318 26.494 |
-47,-318 9.63454 |
| randba6b5b.cudf | -50,-78 1.03484 |
-50,-78 4.91625 |
-50,-78 2.23366 |
-50,-78 1.88171 |
-50,-78 0.675897 |
| rande4fcd8.cudf | -16,-153 1.43778 |
-16,-153 5.86811 |
-16,-153 6.65499 |
-16,-153 3.01454 |
-16,-153 3.84442 |
| randea6106.cudf | -61,-97 1.05484 |
-61,-97 5.11322 |
-61,-97 1.46578 |
-61,-97 2.14767 |
-61,-97 0.682896 |
| rand847939.cudf | -42,-319 1.3358 |
-42,-319 5.65614 |
-42,-319 3.32349 |
-42,-319 4.98224 |
-42,-319 1.63975 |
| rand908403.cudf | -30,-285 1.45078 |
-30,-285 5.62315 |
-30,-285 2.00469 |
-30,-285 5.07823 |
-30,-285 1.54676 |
| randadea40.cudf | -95,-116 1.02684 |
-95,-116 5.35719 |
-95,-116 2.41163 |
-95,-116 2.6066 |
-95,-116 0.770882 |
| rand0695fb.cudf | -72,-180 4.16837 |
-72,-180 9.60854 |
-72,-180 11.5302 |
-72,-180 16.3915 |
-72,-180 9.37657 |
| randa223c3.cudf | -38,-293 4.66429 |
-38,-293 12.4031 |
-38,-293 13.5379 |
-38,-293 23.6814 |
-38,-293 9.42457 |
| rand6b4d6e.cudf | -34,-248 7.8848 |
-34,-248 41.7367 |
-34,-248 13.131 |
-34,-248 19.838 |
-34,-248 15.5536 |
| rand7fec8c.cudf | -30,-69 1.03884 |
-30,-69 5.46617 |
-30,-69 2.16367 |
-30,-69 1.67174 |
-30,-69 0.686895 |
| small2.cudf | 0,-2 0.19097 |
0,-2 2.34764 |
0,-2 0.160975 |
0,-2 0.096985 |
0,-2 0.095985 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | -15,-29 1.03584 |
-15,-29 4.5863 |
-15,-29 3.45148 |
-15,-29 1.42078 |
-15,-29 0.764883 |
| 218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | -14,-40 7.34688 |
-14,-40 9.91949 |
-14,-40 15.9446 |
-14,-40 8.32273 |
-14,-40 22.1406 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | -15,-23 0.966853 |
-15,-23 4.6253 |
-15,-23 2.98155 |
-15,-23 1.14083 |
-15,-23 0.707892 |
| small1.cudf | 0,-2 0.164974 |
0,-2 2.13468 |
0,-2 0.215967 |
0,-2 0.207968 |
0,-2 0.103984 |
| randf61f65.cudf | -16,-294 1.41978 |
-16,-294 5.68713 |
-16,-294 4.5833 |
-16,-294 4.37133 |
-16,-294 1.9677 |
| small3.cudf | 0,-2 0.088986 |
0,-2 1.48077 |
0,-2 0.098984 |
0,-2 0.149977 |
0,-2 0.06299 |
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | -15,-29 1.11383 |
-15,-29 5.2582 |
-15,-29 3.20751 |
-15,-29 1.40179 |
-15,-29 0.739887 |
| randec88d5.cudf | -79,-209 5.37518 |
-79,-209 24.8092 |
-79,-209 11.2913 |
-79,-209 19.2361 |
-79,-209 21.7207 |
| rand2fb7ab.cudf | -117,-193 1.05584 |
-117,-193 5.64414 |
-117,-193 2.18467 |
-117,-193 3.55146 |
-117,-193 0.830873 |
| randc10393.cudf | -23,-268 1.37179 |
-23,-268 11.4441 |
-23,-268 4.03839 |
-23,-268 4.33834 |
-23,-268 1.58776 |
| randf7a7e4.cudf | -403,-425 1.00585 |
-403,-425 5.37118 |
-403,-425 1.85172 |
-403,-425 8.02178 |
-403,-425 0.671897 |
| rand7902a8.cudf | -27,-214 4.72528 |
-27,-214 10.8434 |
-27,-214 11.2723 |
-27,-214 18.2042 |
-27,-214 8.44472 |
| rand2d2fd0.cudf | -19,-234 1.44778 |
-19,-234 11.7101 |
-19,-234 3.15752 |
-19,-234 3.86841 |
-19,-234 2.01369 |
| 7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | -11,-36 7.95579 |
-11,-36 8.64668 |
-11,-36 19.1211 |
-11,-36 7.73682 |
-11,-36 15.4137 |
| rand2fe899.cudf | -95,-245 1.39279 |
-95,-245 5.2762 |
-95,-245 2.30365 |
-95,-245 4.71028 |
-95,-245 1.36679 |
| randa651ed.cudf | -33,-175 1.25781 |
-33,-175 5.77912 |
-33,-175 3.38848 |
-33,-175 2.76858 |
-33,-175 1.50377 |
| 58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | -17,-131 6.65699 |
-17,-131 9.39957 |
-17,-131 18.1812 |
-17,-131 16.0166 |
-17,-131 13.032 |
| rand3dec28.cudf | -34,-194 4.6183 |
-34,-194 11.0143 |
-34,-194 10.4974 |
-34,-194 17.8613 |
-34,-194 9.24459 |
| rand7b4167.cudf | -42,-132 1.37179 |
-42,-132 5.78412 |
-42,-132 2.73858 |
-42,-132 2.39964 |
-42,-132 1.73074 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | -15,-29 1.04384 |
-15,-29 4.99124 |
-15,-29 3.75543 |
-15,-29 1.40779 |
-15,-29 0.765883 |
| randa45895.cudf | FAIL 1.18582 |
FAIL 4.14737 |
FAIL 1.01684 |
FAIL 1.60276 |
FAIL 0.840872 |
| rand49d73b.cudf | -42,-230 1.86472 |
-42,-230 9.73752 |
-42,-230 3.63645 |
-42,-230 3.87341 |
-42,-230 8.80966 |
| rand4d6b1c.cudf | -26,-175 1.73773 |
-26,-175 7.15391 |
-26,-175 3.73043 |
-26,-175 4.14037 |
-26,-175 2.91156 |
| randd8bf6a.cudf | -33,-109 1.36879 |
-33,-109 5.2802 |
-33,-109 1.81872 |
-33,-109 2.25766 |
-33,-109 1.19782 |
| randfa4522.cudf | 0,0 3.88641 |
0,0 6.87296 |
0,0 4.03839 |
0,0 2.58261 |
0,0 2.10568 |
| randaaa8ea.cudf | -65,-82 1.01984 |
-65,-82 5.20521 |
-65,-82 2.19867 |
-65,-82 2.00969 |
-65,-82 0.705892 |
| 2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | -14,-40 9.31458 |
-14,-40 10.1295 |
-14,-40 17.9853 |
-14,-40 8.22975 |
-14,-40 24.5503 |
| 8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | -11,-36 7.92979 |
-11,-36 8.30774 |
-11,-36 17.7583 |
-11,-36 7.77282 |
-11,-36 24.4833 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | -14,-44 1.16182 |
-14,-44 4.84526 |
-14,-44 4.41733 |
-14,-44 1.59876 |
-14,-44 0.85487 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | -7,-35 7.53285 |
-7,-35 8.39672 |
-7,-35 15.5876 |
-7,-35 7.03693 |
-7,-35 6.92195 |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | -42,-77 1.43978 |
-42,-77 5.9381 |
-42,-77 5.8901 |
-42,-77 3.11153 |
-42,-77 1.50777 |
| 688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | -11,-36 6.29404 |
-11,-36 8.95064 |
-11,-36 19.694 |
-11,-36 7.70283 |
-11,-36 21.2118 |
| randbe9acf.cudf | -72,-110 1.06384 |
-72,-110 5.44217 |
-72,-110 2.51862 |
-72,-110 2.39964 |
-72,-110 0.742887 |
| randf406d5.cudf | FAIL 1.2968 |
FAIL 3.52746 |
FAIL 0.921859 |
FAIL 1.09383 |
FAIL 0.85387 |
| 7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | -17,-131 6.65199 |
-17,-131 9.16261 |
-17,-131 17.8513 |
-17,-131 15.8796 |
-17,-131 13.9629 |
| rand50a937.cudf | -19,-364 1.49477 |
-19,-364 5.8871 |
-19,-364 4.17237 |
-19,-364 5.79912 |
-19,-364 2.43363 |
| rand06f749.cudf | -18,-222 1.27181 |
-18,-222 4.98824 |
-18,-222 1.91971 |
-18,-222 3.09553 |
-18,-222 1.22081 |
| rand5c1800.cudf | -51,-70 1.08383 |
-51,-70 5.43117 |
-51,-70 1.44978 |
-51,-70 1.80772 |
-51,-70 0.678896 |
| rand13b58e.cudf | -184,-238 1.03884 |
-184,-238 5.47617 |
-184,-238 2.03369 |
-184,-238 4.68529 |
-184,-238 0.723889 |
| randa9ba44.cudf | -35,-55 1.03384 |
-35,-55 4.92725 |
-35,-55 2.19767 |
-35,-55 1.56676 |
-35,-55 0.682896 |
| rand655e63.cudf | -39,-158 4.5933 |
-39,-158 13.5439 |
-39,-158 15.1297 |
-39,-158 14.8747 |
-39,-158 9.98448 |
| rand95e48b.cudf | -28,-311 1.72174 |
-28,-311 12.7721 |
-28,-311 4.96525 |
-28,-311 4.99624 |
-28,-311 4.89126 |
| rand5619c8.cudf | -58,-146 1.09783 |
-58,-146 5.22421 |
-58,-146 2.15167 |
-58,-146 2.72358 |
-58,-146 0.741887 |
| e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | -14,-40 7.37588 |
-14,-40 10.0065 |
-14,-40 21.2988 |
-14,-40 8.30374 |
-14,-40 29.4625 |
| rand332173.cudf | -22,-231 5.13922 |
-22,-231 18.1282 |
-22,-231 18.3442 |
-22,-231 20.1289 |
-22,-231 10.7294 |
| rand08759d.cudf | -27,-109 1.02784 |
-27,-109 5.79412 |
-27,-109 3.02054 |
-27,-109 2.02769 |
-27,-109 0.682896 |
| rand61b840.cudf | -139,-247 1.08083 |
-139,-247 5.68713 |
-139,-247 2.90156 |
-139,-247 4.41833 |
-139,-247 0.747886 |
| randc192b7.cudf | -86,-192 1.07184 |
-86,-192 5.60515 |
-86,-192 1.9637 |
-86,-192 3.34649 |
-86,-192 0.674897 |
| randaafcce.cudf | -71,-160 4.37633 |
-71,-160 9.14761 |
-71,-160 6.67498 |
-71,-160 15.3677 |
-71,-160 5.43517 |
| rand394916.cudf | FAIL 1.23281 |
FAIL 4.11337 |
FAIL 1.02684 |
FAIL 1.01984 |
FAIL 0.822874 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | -11,-89 5.30719 |
-11,-89 8.65468 |
-11,-89 20.3539 |
-11,-89 11.7572 |
-11,-89 23.1175 |
| randa870aa.cudf | -29,-292 1.3258 |
-29,-292 5.41318 |
-29,-292 3.37249 |
-29,-292 4.36034 |
-29,-292 1.65475 |
| rand835640.cudf | -37,-114 4.41333 |
-37,-114 8.80466 |
-37,-114 12.3211 |
-37,-114 11.1653 |
-37,-114 4.5863 |
| rand0aa5c1.cudf | -45,-190 1.36479 |
-45,-190 5.16621 |
-45,-190 2.70059 |
-45,-190 3.43648 |
-45,-190 1.36479 |