| Problem | aspcud-1.4 | p2cudf | packup-minisat+ | packup-msuncore | packup-pbo |
|---|---|---|---|---|---|
| randf17677.cudf | -105,-551,-31,-63 50.6913 |
-105,-551,-31,-63 14.0949 |
-105,-551,-31,-63 8.02478 |
-105,-551,-31,-63 8.69768 |
-105,-551,-31,-63 6.39203 |
| huge2.cudf | FAIL 300.031 |
FAIL 289.394 |
FAIL 299.938 |
FAIL 298.818 |
FAIL 298.717 |
| 9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | -109,-2226,-73,-12 299.669 |
-31,-2274,-26,-2 22.8375 |
-31,-2274,-26,-2 56.8794 |
-31,-2274,-26,-2 256.602 |
-31,-2274,-26,-2 41.4517 |
| rand7141b1.cudf | -145,-578,-70,-44 248.875 |
-145,-578,-70,-44 187.937 |
-145,-578,-70,-44 73.3708 |
-145,-578,-70,-44 60.8078 |
-145,-578,-70,-44 78.1771 |
| rand14ba69.cudf | -120,-567,-36,-82 18.7551 |
-120,-567,-36,-82 23.7664 |
-120,-567,-36,-82 10.8863 |
-120,-567,-36,-82 13.007 |
-120,-567,-36,-82 5.2372 |
| 1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | -27,-2277,-23,-1 200.73 |
-27,-2277,-23,-1 22.3136 |
-27,-2277,-23,-1 58.8361 |
-27,-2277,-23,-1 261.597 |
-27,-2277,-23,-1 33.4099 |
| rand81406f.cudf | -66,-612,-28,-31 28.3927 |
-66,-612,-28,-31 62.8634 |
-66,-612,-28,-31 35.0607 |
-66,-612,-28,-31 65.4121 |
-66,-612,-28,-31 25.7901 |
| rand359ca0.cudf | -65,-2,-31,-34 1.10883 |
-65,-2,-31,-34 5.2442 |
-65,-2,-31,-34 6.46902 |
-65,-2,-31,-34 2.6476 |
-65,-2,-31,-34 1.24381 |
| rand8cc693.cudf | -339,-609,-97,-137 299.765 |
-328,-585,-101,-131 290.074 |
-327,-560,-116,-129 90.2413 |
-327,-641,-115,-129 299.005 |
-327,-560,-116,-129 277.499 |
| rand951a14.cudf | -126,-1,-96,-30 1.08283 |
-126,-1,-96,-30 5.47117 |
-126,-1,-96,-30 5.10722 |
-126,-1,-96,-30 4.10837 |
-126,-1,-96,-30 0.965853 |
| rand6d933e.cudf | -88,-2,-58,-29 1.11383 |
-88,-2,-58,-29 4.90725 |
-88,-2,-58,-29 3.82342 |
-88,-2,-58,-29 3.2945 |
-88,-2,-58,-29 1.06584 |
| rand8d117b.cudf | -157,-1,-96,-61 1.07284 |
-157,-1,-96,-61 5.57415 |
-157,-1,-96,-61 5.33919 |
-157,-1,-96,-61 4.18236 |
-157,-1,-96,-61 1.3188 |
| huge1.cudf | FAIL 300.076 |
FAIL 287.743 |
FAIL 299.951 |
FAIL 298.737 |
FAIL 298.854 |
| huge3.cudf | FAIL 300.052 |
FAIL 289.561 |
FAIL 299.998 |
FAIL 298.46 |
FAIL 298.881 |
| rand878003.cudf | -197,-579,-77,-91 299.845 |
-193,-569,-78,-87 128.486 |
-193,-569,-78,-87 110.397 |
FAIL 298.38 |
-193,-569,-78,-87 296.393 |
| randba6b5b.cudf | -78,-2,-52,-25 1.16982 |
-78,-2,-52,-25 5.21521 |
-78,-2,-52,-25 6.98994 |
-78,-2,-52,-25 2.42663 |
-78,-2,-52,-25 1.05484 |
| rande4fcd8.cudf | -106,-545,-32,-71 299.875 |
-99,-547,-28,-70 24.0413 |
-99,-547,-28,-70 14.0289 |
-99,-547,-28,-70 15.2207 |
-99,-547,-28,-70 13.439 |
| rand1bff33.cudf | -40,-1,-23,-17 1.12283 |
-40,-1,-23,-17 5.73013 |
-40,-1,-23,-17 5.62714 |
-40,-1,-23,-17 1.71174 |
-40,-1,-23,-17 0.951855 |
| rand847939.cudf | -203,-534,-68,-117 299.973 |
-179,-540,-61,-108 290.209 |
-179,-540,-60,-109 22.3446 |
-179,-540,-60,-109 11.2393 |
-179,-540,-60,-109 24.9002 |
| rand908403.cudf | -127,-544,-50,-69 12.1172 |
-127,-544,-50,-69 6.546 |
-127,-544,-50,-69 8.58869 |
-127,-544,-50,-69 13.26 |
-127,-544,-50,-69 5.08123 |
| randadea40.cudf | -116,-1,-95,-21 1.13683 |
-116,-1,-95,-21 5.9161 |
-116,-1,-95,-21 5.82211 |
-116,-1,-95,-21 3.22651 |
-116,-1,-95,-21 1.9497 |
| rand0695fb.cudf | -170,-552,-84,-54 11.2003 |
-170,-552,-84,-54 278.72 |
-170,-552,-84,-54 31.5022 |
-170,-552,-84,-54 60.9267 |
-170,-552,-84,-54 16.9794 |
| randa223c3.cudf | -193,-540,-70,-61 21.6687 |
-193,-540,-70,-61 122.121 |
-193,-540,-70,-61 27.7578 |
-193,-540,-70,-61 94.6896 |
-193,-540,-70,-61 19.523 |
| rand6b4d6e.cudf | -182,-600,-46,-91 299.698 |
-174,-568,-44,-88 161.185 |
-174,-568,-44,-88 59.008 |
-174,-568,-44,-88 76.6763 |
-174,-568,-44,-88 115.455 |
| rand7fec8c.cudf | -69,-1,-30,-39 1.08983 |
-69,-1,-30,-39 5.45217 |
-69,-1,-30,-39 4.13737 |
-69,-1,-30,-39 2.25366 |
-69,-1,-30,-39 0.950855 |
| small2.cudf | -2,0,0,-2 0.085986 |
-2,0,0,-2 3.17252 |
-2,0,0,-2 0.239963 |
-2,0,0,-2 0.216967 |
-2,0,0,-2 0.603908 |
| large3.cudf | -2,0,0,-2 128.785 |
FAIL 284.862 |
-2,-1,0,-2 300.035 |
-2,0,0,-2 299.389 |
FAIL 298.71 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | -21,-659,-18,-3 1.43878 |
-21,-659,-18,-3 5.41118 |
-21,-659,-18,-3 8.74167 |
-21,-659,-18,-3 13.6599 |
-21,-659,-18,-3 3.52846 |
| 218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | -109,-2226,-73,-12 299.676 |
-31,-2274,-26,-2 21.0548 |
-31,-2274,-26,-2 52.1561 |
-31,-2274,-26,-2 260.236 |
-31,-2274,-26,-2 37.1614 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | -21,-437,-16,-5 1.3188 |
-21,-437,-16,-5 5.30419 |
-21,-437,-16,-5 7.50186 |
-21,-437,-16,-5 6.11207 |
-21,-437,-16,-5 2.55561 |
| small1.cudf | -2,0,0,-2 0.168974 |
-2,0,0,-2 2.71459 |
-2,0,0,-2 0.397939 |
FAIL 0.811876 |
-2,0,0,-2 1.00685 |
| randf61f65.cudf | -131,-518,-31,-78 31.0763 |
-131,-518,-31,-78 12.5701 |
-131,-518,-31,-78 7.64084 |
-131,-518,-31,-78 11.9522 |
-131,-518,-31,-78 6.83296 |
| small3.cudf | -2,0,0,-2 0.123981 |
-2,0,0,-2 3.57046 |
-2,0,0,-2 0.38994 |
-2,0,0,-2 0.101984 |
-2,0,0,-2 0.623905 |
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | -21,-659,-18,-3 1.44878 |
-21,-659,-18,-3 5.37518 |
-21,-659,-18,-3 7.8748 |
-21,-659,-18,-3 11.2213 |
-21,-659,-18,-3 2.75558 |
| randec88d5.cudf | -195,-574,-90,-68 299.812 |
-195,-561,-96,-67 294.202 |
-195,-561,-93,-67 46.6869 |
-195,-584,-95,-67 299.172 |
-195,-561,-93,-67 149.618 |
| rand2fb7ab.cudf | -193,-1,-117,-76 1.05784 |
-193,-1,-117,-76 6.16806 |
-193,-1,-117,-76 5.81212 |
-193,-1,-117,-76 5.85611 |
-193,-1,-117,-76 1.27481 |
| randc10393.cudf | -129,-497,-45,-52 130.784 |
-129,-497,-45,-52 285.695 |
-129,-497,-45,-52 18.5362 |
-129,-497,-45,-52 11.2503 |
-129,-497,-45,-52 9.66853 |
| randf7a7e4.cudf | -425,-1,-403,-22 1.11083 |
-425,-1,-403,-22 5.40218 |
-425,-1,-403,-22 4.02539 |
-425,-1,-403,-22 11.4293 |
-425,-1,-403,-22 0.864868 |
| rand7902a8.cudf | -179,-575,-38,-85 162.862 |
-179,-575,-38,-85 39.1221 |
-179,-575,-38,-85 43.0515 |
-179,-635,-38,-85 298.831 |
-179,-575,-38,-85 39.8879 |
| rand2d2fd0.cudf | -137,-508,-34,-82 48.9816 |
-137,-508,-34,-82 14.0979 |
-137,-508,-34,-82 9.2106 |
-137,-508,-34,-82 10.4264 |
-137,-508,-34,-82 8.80966 |
| 7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | -113,-2200,-32,-10 299.786 |
-27,-2274,-23,-1 17.7983 |
-27,-2274,-23,-1 61.2667 |
-27,-2274,-23,-1 216.912 |
-27,-2274,-23,-1 43.6204 |
| rand2fe899.cudf | -175,-441,-122,-35 299.926 |
-175,-441,-122,-36 287.396 |
-175,-441,-119,-38 16.3655 |
-175,-441,-119,-38 14.4178 |
-175,-441,-119,-38 21.0788 |
| randa651ed.cudf | -145,-542,-46,-87 300 |
-143,-540,-46,-87 290.75 |
-143,-540,-44,-87 12.838 |
-143,-540,-44,-87 9.32558 |
-143,-540,-44,-87 11.7812 |
| 58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | -91,-2177,-37,-11 98.662 |
-91,-2177,-37,-11 22.1326 |
-91,-2177,-37,-11 60.5448 |
-91,-2177,-37,-11 255.804 |
-91,-2177,-37,-11 71.0772 |
| randeb343c.cudf | -95,-1,-54,-41 1.12483 |
-95,-1,-54,-41 5.84011 |
-95,-1,-54,-41 4.86026 |
-95,-1,-54,-41 2.76758 |
-95,-1,-54,-41 0.974851 |
| rand3dec28.cudf | -114,-607,-41,-52 21.4267 |
-114,-607,-41,-52 17.6073 |
-114,-607,-41,-52 27.3358 |
-114,-607,-41,-52 72.7289 |
-114,-607,-41,-52 30.3687 |
| rand7b4167.cudf | -85,-520,-52,-30 73.5638 |
-85,-520,-52,-30 58.7561 |
-85,-520,-52,-30 7.43887 |
-85,-520,-52,-30 8.07477 |
-85,-520,-52,-30 5.42217 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | -21,-659,-18,-3 1.47978 |
-21,-659,-18,-3 5.36019 |
-21,-659,-18,-3 7.69583 |
-21,-659,-18,-3 11.4023 |
-21,-659,-18,-3 2.56161 |
| randa45895.cudf | FAIL 1.19082 |
FAIL 3.9434 |
FAIL 1.11983 |
FAIL 2.02769 |
FAIL 1.00885 |
| rand49d73b.cudf | -131,-514,-56,-65 35.5576 |
-131,-514,-56,-65 18.3412 |
-131,-514,-56,-65 10.7464 |
-131,-514,-56,-65 10.7374 |
-131,-514,-56,-65 9.55855 |
| rand4d6b1c.cudf | -116,-549,-42,-70 299.926 |
-113,-550,-40,-72 40.5868 |
-113,-550,-40,-72 40.2109 |
-113,-550,-40,-72 13.8409 |
-113,-550,-40,-72 63.6893 |
| randd8bf6a.cudf | -73,-527,-43,-28 14.1368 |
-73,-527,-43,-28 6.48901 |
-73,-527,-43,-28 7.07592 |
-73,-527,-43,-28 8.29474 |
-73,-527,-43,-28 4.82127 |
| randfa4522.cudf | 0,-624,0,0 4.08338 |
0,-624,0,0 7.8928 |
0,-624,0,0 6.06008 |
0,-624,0,0 51.8761 |
0,-624,0,0 3.9384 |
| randaaa8ea.cudf | -82,-1,-65,-17 1.10483 |
-82,-1,-65,-17 5.13322 |
-82,-1,-65,-17 3.9494 |
-82,-1,-65,-17 3.02854 |
-82,-1,-65,-17 1.14183 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | -70,-2142,-19,-6 184.004 |
-70,-2142,-19,-6 19.0181 |
-70,-2142,-19,-6 57.1993 |
-70,-2142,-19,-6 197.042 |
-70,-2142,-19,-6 49.8644 |
| 2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | -42,-2259,-33,-4 299.855 |
-31,-2268,-26,-2 19.624 |
-31,-2268,-26,-2 56.9173 |
-31,-2268,-26,-2 258.122 |
-31,-2268,-26,-2 32.4091 |
| 8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | -113,-2200,-32,-10 299.694 |
-27,-2274,-23,-1 17.5533 |
-27,-2274,-23,-1 55.7625 |
-27,-2274,-23,-1 217.131 |
-27,-2274,-23,-1 47.1908 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | -28,-253,-24,-1 1.24181 |
-28,-253,-24,-1 5.86611 |
-28,-253,-24,-1 10.3824 |
-28,-253,-24,-1 6.43502 |
-28,-253,-24,-1 3.74043 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | -16,-2152,-13,-2 80.6137 |
-16,-2152,-13,-2 16.3355 |
-16,-2152,-13,-2 48.3466 |
-16,-2152,-13,-2 235.637 |
-16,-2152,-13,-2 36.9704 |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | -76,-862,-61,-3 300.001 |
-60,-875,-54,-2 25.0752 |
-60,-875,-54,-2 29.4655 |
-60,-875,-54,-2 21.3847 |
-60,-875,-54,-2 48.0507 |
| 688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | -33,-2275,-24,-3 299.741 |
-27,-2277,-23,-1 18.6922 |
-27,-2277,-23,-1 52.9479 |
-27,-2277,-23,-1 216.051 |
-27,-2277,-23,-1 37.1154 |
| randbe9acf.cudf | -110,-1,-72,-38 1.25681 |
-110,-1,-72,-38 5.47717 |
-110,-1,-72,-38 6.17806 |
-110,-1,-72,-38 3.07653 |
-110,-1,-72,-38 1.11383 |
| randf406d5.cudf | FAIL 1.3198 |
FAIL 8.22937 |
FAIL 1.24381 |
FAIL 1.3298 |
FAIL 1.00385 |
| 7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | -91,-2177,-37,-11 97.6721 |
-91,-2177,-37,-11 19.0121 |
-91,-2177,-37,-11 56.4824 |
-91,-2177,-37,-11 206.615 |
-91,-2177,-37,-11 62.1086 |
| rand50a937.cudf | -255,-525,-35,-201 284.72 |
-255,-525,-37,-200 290.737 |
-255,-525,-35,-201 13.4919 |
-255,-525,-35,-201 16.3715 |
-255,-525,-35,-201 11.0903 |
| rand06f749.cudf | -181,-512,-30,-120 26.7259 |
-181,-512,-32,-119 290.519 |
-181,-512,-30,-120 13.298 |
-181,-512,-30,-120 9.34858 |
-181,-512,-30,-120 29.6455 |
| rand5c1800.cudf | -70,-1,-52,-18 1.05784 |
-70,-1,-52,-18 5.2662 |
-70,-1,-52,-18 4.5743 |
-70,-1,-52,-18 2.53661 |
-70,-1,-52,-18 1.05484 |
| rand13b58e.cudf | -238,-3,-184,-52 1.09983 |
-238,-3,-184,-52 6.00409 |
-238,-3,-184,-52 4.73228 |
-238,-3,-184,-52 5.9441 |
-238,-3,-184,-52 1.21881 |
| randa9ba44.cudf | -55,-1,-35,-20 1.09383 |
-55,-1,-35,-20 5.70613 |
-55,-1,-35,-20 4.32934 |
-55,-1,-35,-20 2.40863 |
-55,-1,-35,-20 0.939857 |
| rand655e63.cudf | -136,-574,-56,-47 28.9496 |
-136,-574,-56,-47 143.574 |
-136,-574,-56,-47 38.4841 |
-136,-613,-60,-47 298.666 |
-136,-574,-56,-47 28.5787 |
| rand95e48b.cudf | -210,-488,-46,-114 300.021 |
-189,-506,-49,-109 286.202 |
-189,-502,-48,-110 32.2051 |
-189,-502,-48,-110 16.0476 |
-189,-502,-48,-110 116.204 |
| rand5619c8.cudf | -146,-1,-58,-88 1.11083 |
-146,-1,-58,-88 5.2412 |
-146,-1,-58,-88 5.35919 |
-146,-1,-58,-88 3.78642 |
-146,-1,-58,-88 1.06684 |
| e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | -109,-2226,-73,-12 299.707 |
-31,-2274,-26,-2 20.042 |
-31,-2274,-26,-2 59.122 |
-31,-2274,-26,-2 213.214 |
-31,-2274,-26,-2 28.7276 |
| rand332173.cudf | -214,-602,-45,-108 299.776 |
-202,-569,-41,-103 261.52 |
-202,-569,-41,-103 69.1165 |
-202,-666,-36,-108 298.887 |
-202,-569,-41,-103 58.5901 |
| rand08759d.cudf | -109,-1,-27,-82 1.22681 |
-109,-1,-27,-82 5.69613 |
-109,-1,-27,-82 7.2009 |
-109,-1,-27,-82 3.08253 |
-109,-1,-27,-82 1.19682 |
| rand61b840.cudf | -247,-1,-139,-108 1.11983 |
-247,-1,-139,-108 5.59215 |
-247,-1,-139,-108 7.10892 |
-247,-1,-139,-108 7.9108 |
-247,-1,-139,-108 1.72574 |
| randc192b7.cudf | -192,-3,-86,-106 1.06284 |
-192,-3,-86,-106 5.77712 |
-192,-3,-86,-106 5.65214 |
-192,-3,-86,-106 6.02408 |
-192,-3,-86,-106 1.02484 |
| randaafcce.cudf | -141,-600,-77,-58 6.86896 |
-141,-600,-77,-58 287.496 |
-141,-600,-77,-58 23.9504 |
-141,-600,-77,-58 74.2587 |
-141,-600,-77,-58 13.142 |
| randea6106.cudf | -97,-2,-61,-36 1.22281 |
-97,-2,-61,-36 5.71013 |
-97,-2,-61,-36 5.47217 |
-97,-2,-61,-36 2.83757 |
-97,-2,-61,-36 1.68174 |
| large1.cudf | -2,0,0,-2 83.4983 |
FAIL 283.254 |
-2,-1,0,-2 300.012 |
-2,0,0,-2 299.296 |
FAIL 298.828 |
| rand394916.cudf | FAIL 1.23981 |
FAIL 3.9654 |
FAIL 1.13083 |
FAIL 3.12152 |
FAIL 0.947855 |
| large2.cudf | -2,0,0,-2 78.0131 |
FAIL 283.834 |
-2,-1,0,-2 299.956 |
-2,0,0,-2 199.401 |
FAIL 298.696 |
| randa870aa.cudf | -145,-512,-42,-72 33.3929 |
-145,-512,-42,-72 10.7334 |
-145,-512,-42,-72 8.83866 |
-145,-512,-42,-72 12.838 |
-145,-512,-42,-72 7.47886 |
| rand835640.cudf | -105,-591,-42,-44 12.3041 |
-105,-591,-42,-44 41.4357 |
-105,-591,-42,-44 24.1083 |
-105,-591,-42,-44 56.6924 |
-105,-591,-42,-44 18.8261 |
| rand0aa5c1.cudf | -151,-545,-59,-85 43.9873 |
-151,-545,-59,-85 18.4222 |
-151,-545,-59,-85 9.24059 |
-151,-545,-59,-85 12.2831 |
-151,-545,-59,-85 6.30404 |