Problem	aspcud-1.4	p2cudf	packup-minisat+	packup-msuncore	packup-pbo
randf17677.cudf	-12,-43,-8,-387 8.02178	-12,-43,-8,-387 36.7414	-12,-43,-8,-387 13.287	-12,-43,-8,-387 15.9336	-12,-43,-8,-387 44.8032
huge2.cudf	FAIL 300.042	FAIL 287.191	FAIL 299.993	FAIL 298.862	FAIL 298.885
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf	-14,-400,-17,-359 21.0018	-14,-400,-17,-359 94.1837	-14,-400,-17,-359 77.2473	-14,-400,-17,-359 109.953	-14,-400,-17,-359 50.3373
rand7141b1.cudf	-46,-105,-24,-348 77.4092	-46,-105,-24,-351 285.75 288.329	-46,-105,-24,-348 73.5948	-46,-105,-24,-348 86.6398	-46,-105,-24,-348 245.996
rand14ba69.cudf	-19,-38,-3,-421 299.94	-19,-38,-3,-422 274.054 278.206	-19,-38,-3,-418 73.2639	-19,-38,-3,-418 17.0574	-19,-38,-3,-421 298.693
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf	-11,-402,-16,-360 32.0481	-11,-402,-16,-360 83.3413	-11,-402,-16,-360 75.0926	-11,-402,-16,-360 108.357	-11,-402,-16,-360 60.9657
rand81406f.cudf	-16,-348,-32,-120 40.1239	-16,-348,-32,-120 101.277	-16,-348,-32,-120 70.9832	-16,-348,-32,-120 108.482	-16,-348,-32,-120 91.0572
rand359ca0.cudf	-30,-1,-9,-107 1.36379	-30,-1,-9,-107 6.25005	-30,-1,-9,-107 2.66559	-30,-1,-9,-107 2.75158	-30,-1,-9,-107 2.37564
rand8cc693.cudf	-64,-103,-23,-476 299.563	-64,-103,-23,-477 214.523	-64,-103,-23,-476 77.0173	-64,-103,-23,-476 107.409	-64,-103,-23,-476 295.018
rand951a14.cudf	-96,0,-19,-71 1.24881	-96,0,-19,-71 6.69398	-96,0,-19,-71 2.77358	-96,0,-19,-71 2.86656	-96,0,-19,-71 1.2898
rand6d933e.cudf	-58,-1,-22,-75 1.3278	-58,-1,-22,-75 6.11907	-58,-1,-22,-75 2.52062	-58,-1,-22,-75 2.70759	-58,-1,-22,-75 1.77673
rand8d117b.cudf	-96,0,-21,-113 1.22981	-96,0,-21,-113 6.68198	-96,0,-21,-113 2.68659	-96,0,-21,-113 3.61945	-96,0,-21,-113 1.24681
huge1.cudf	FAIL 300.029	FAIL 286.831	FAIL 300.036	FAIL 298.772	FAIL 298.776
huge3.cudf	FAIL 300.052	FAIL 287.831	FAIL 299.963	FAIL 298.892	FAIL 298.551
rand878003.cudf	-47,-91,-23,-363 299.747	-47,-91,-23,-365 285.161	-47,-91,-23,-361 75.5545	-47,-91,-23,-361 81.8216	-47,-91,-23,-366 294.797
randba6b5b.cudf	-50,-3,-26,-68 1.34879	-50,-3,-26,-68 6.00709	-50,-3,-26,-68 2.85057	-50,-3,-26,-68 2.6426	-50,-3,-26,-68 1.52077
rande4fcd8.cudf	-16,-36,-3,-503 299.967	-16,-36,-3,-502 282.898	-16,-36,-3,-501 67.1938	-16,-36,-3,-501 22.5876	-16,-36,-3,-502 298.318
rand1bff33.cudf	-23,0,-6,-62 1.22181	-23,0,-6,-62 6.541	-23,0,-6,-62 2.5926	-23,0,-6,-62 2.10468	-23,0,-6,-62 1.84972
rand847939.cudf	-42,-39,-9,-669 299.932	-42,-39,-9,-668 284.717	-42,-39,-9,-666 298.754	-42,-39,-9,-666 31.1023	-42,-39,-9,-670 298.277
rand908403.cudf	-30,-130,-25,-345 9.1816	-30,-130,-25,-345 18.7741	-30,-130,-25,-345 9.77751	-30,-130,-25,-345 17.1064	-30,-130,-25,-345 29.2236
randadea40.cudf	-95,0,-42,-59 1.3138	-95,0,-42,-59 5.73913	-95,0,-42,-59 2.97155	-95,0,-42,-59 2.94755	-95,0,-42,-59 2.07768
rand0695fb.cudf	-72,-111,-18,-371 12.2401	-72,-111,-18,-371 283.752	-72,-111,-18,-371 40.5568	-72,-111,-18,-371 100.469	-72,-111,-18,-371 39.751
randa223c3.cudf	-38,-90,-22,-432 299.637	-38,-90,-22,-432 281.879	-38,-90,-22,-432 82.4115	-38,-90,-22,-432 93.0978	-38,-90,-22,-432 293.964
rand6b4d6e.cudf	-34,-118,-23,-356 39.532	-34,-118,-23,-356 113.501	-34,-118,-23,-356 53.8658	-34,-118,-23,-356 88.0136	-34,-118,-23,-356 119.616
rand7fec8c.cudf	-30,0,-11,-82 1.18982	-30,0,-11,-82 5.74013	-30,0,-11,-82 2.58361	-30,0,-11,-82 2.39464	-30,0,-11,-82 1.38279
small2.cudf	0,0,0,-2 0.173973	0,0,0,-2 3.90241	0,0,0,-2 0.311952	0,0,0,-2 0.220966	0,0,0,-2 0.92086
large3.cudf	0,-1,0,-2 300.036	0,-1,0,-2 281.217	0,-1,0,-2 300.004	FAIL 299.358	0,-1,0,-2 298.516
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf	-15,-17,-3,-64 1.3078	-15,-17,-3,-64 8.10877	-15,-17,-3,-64 6.65599	-15,-17,-3,-64 2.68859	-15,-17,-3,-64 1.9657
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf	-14,-400,-17,-359 21.0948	-14,-400,-17,-359 86.7068	-14,-400,-17,-359 76.6214	-14,-400,-17,-359 105.221	-14,-400,-17,-359 48.8406
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf	-15,-10,-3,-57 1.11983	-15,-10,-3,-57 5.9291	-15,-10,-3,-57 6.74697	-15,-10,-3,-57 2.01169	-15,-10,-3,-57 1.07384
small1.cudf	0,0,0,-2 0.173973	0,0,0,-2 4.18936	0,0,0,-2 0.299954	0,0,0,-2 0.222966	0,0,0,-2 1.19782
randf61f65.cudf	-16,-38,-6,-489 299.944	-16,-38,-6,-483 282.051	-16,-38,-6,-483 298.956	-16,-38,-6,-483 20.031	-16,-38,-6,-484 298.355
small3.cudf	0,0,0,-2 0.117982	0,0,0,-2 2.66359	0,0,0,-2 0.217966	0,0,0,-2 0.201969	0,0,0,-2 0.533918
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf	-15,-17,-3,-64 1.3128	-15,-17,-3,-64 7.50586	-15,-17,-3,-64 7.9188	-15,-17,-3,-64 2.73258	-15,-17,-3,-64 1.41279
randec88d5.cudf	-79,-138,-18,-337 19.779	-79,-138,-18,-337 141.044	-79,-138,-18,-337 51.7331	-79,-138,-18,-337 85.519	-79,-138,-18,-337 157.747
rand2fb7ab.cudf	-117,0,-13,-120 1.27581	-117,0,-13,-120 6.81596	-117,0,-13,-120 2.50362	-117,0,-13,-120 3.59745	-117,0,-13,-120 1.9547
randc10393.cudf	-23,-28,-4,-428 299.927	-23,-28,-4,-428 285	-23,-28,-4,-427 80.1888	-23,-28,-4,-427 15.7506	-23,-28,-4,-429 298.281
randf7a7e4.cudf	-403,0,-25,-44 1.19782	-403,0,-25,-44 5.58515	-403,0,-25,-44 2.82357	-403,0,-25,-44 5.35019	-403,0,-25,-44 1.3338
rand7902a8.cudf	-27,-118,-24,-314 57.5592	-27,-118,-24,-314 219.933	-27,-118,-24,-314 51.0242	-27,-118,-24,-314 76.5104	-27,-118,-24,-314 266.479
rand2d2fd0.cudf	-19,-26,-6,-487 299.908	-19,-26,-6,-488 279.83	-19,-26,-6,-483 298.931	-19,-26,-6,-483 18.4432	-19,-26,-6,-487 298.294
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf	-11,-402,-16,-360 34.1328	-11,-402,-16,-360 73.6348	-11,-402,-16,-360 74.8986	-11,-402,-16,-360 105.983	-11,-402,-16,-360 41.4827
rand2fe899.cudf	-95,-28,-13,-232 3.03954	-95,-28,-13,-232 27.4548	-95,-28,-13,-232 12.829	-95,-28,-13,-232 13.377	-95,-28,-13,-232 15.6676
randa651ed.cudf	-33,-40,-5,-355 16.1945	-33,-40,-5,-355 59.7779	-33,-40,-5,-355 8.96564	-33,-40,-5,-355 15.4866	-33,-40,-5,-355 140.53
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf	-17,-126,-13,-439 13.195	-17,-126,-13,-439 71.0092	-17,-126,-13,-439 53.8108	-17,-126,-13,-439 88.6845	-17,-126,-13,-439 55.0846
randeb343c.cudf	-54,0,-10,-85 1.3458	-54,0,-10,-85 6.66499	-54,0,-10,-85 2.84257	-54,0,-10,-85 2.65759	-54,0,-10,-85 1.81872
rand3dec28.cudf	-34,-161,-32,-310 299.811	-34,-161,-32,-310 191.503	-34,-161,-32,-310 62.5885	-34,-161,-32,-310 87.6157	-34,-161,-32,-310 149.634
rand7b4167.cudf	-42,-36,-11,-237 7.60084	-42,-36,-11,-237 78.738	-42,-36,-11,-237 14.9387	-42,-36,-11,-237 11.2523	-42,-36,-11,-237 26.194
29180036-5408-11df-9f57-00163e7a6f5e.cudf	-15,-17,-3,-64 1.3028	-15,-17,-3,-64 6.79397	-15,-17,-3,-64 8.66068	-15,-17,-3,-64 2.70859	-15,-17,-3,-64 1.57176
randa45895.cudf	FAIL 1.77073	FAIL 4.99124	FAIL 1.53677	FAIL 1.9517	FAIL 1.20782
rand49d73b.cudf	-42,-40,-5,-503 299.941	-42,-40,-5,-502 285.492	-42,-40,-5,-501 94.7116	-42,-40,-5,-501 19.983	-42,-40,-5,-504 297.988
rand4d6b1c.cudf	-26,-33,-3,-346 300.003	-26,-33,-3,-344 280.003	-26,-33,-3,-344 77.9651	-26,-33,-3,-344 12.948	-26,-33,-3,-344 298.428
randd8bf6a.cudf	-33,-40,-6,-251 4.6063	-33,-40,-6,-251 23.1365	-33,-40,-6,-251 12.7211	-33,-40,-6,-251 11.9382	-33,-40,-6,-251 29.6385
randfa4522.cudf	0,-423,-20,-40 6.94094	0,-423,-20,-40 19.938	0,-423,-20,-40 26.8629	0,-423,-20,-40 51.2972	0,-423,-20,-40 18.4032
randaaa8ea.cudf	-65,0,-15,-59 1.39879	-65,0,-15,-59 6.55	-65,0,-15,-59 3.87441	-65,0,-15,-59 2.53261	-65,0,-15,-59 2.11468
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf	-11,-428,-15,-298 18.7911	-11,-428,-15,-298 57.1873	-11,-428,-15,-298 97.4832	-11,-428,-15,-298 99.8728	-11,-428,-15,-298 35.6896
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf	-14,-387,-15,-362 77.8772	-14,-387,-15,-362 73.7738	-14,-387,-15,-362 74.8146	-14,-387,-15,-362 103.775	-14,-387,-15,-362 45.938
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf	-11,-402,-16,-360 34.2628	-11,-402,-16,-360 74.1797	-11,-402,-16,-360 88.0696	-11,-402,-16,-360 103.869	-11,-402,-16,-360 47.1108
412959c6-e965-11de-8ebf-00163e6585dd.cudf	-14,-64,-2,-125 1.57376	-14,-64,-2,-125 8.65368	-14,-64,-2,-125 8.58569	-14,-64,-2,-125 4.19136	-14,-64,-2,-125 3.12852
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf	-7,-432,-15,-293 15.6416	-7,-432,-15,-293 64.7142	-7,-432,-15,-293 68.0467	-7,-432,-15,-293 104.111	-7,-432,-15,-293 47.6388
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf	-42,-82,-29,-155 3.17952	-42,-82,-29,-155 12.2821	-42,-82,-29,-155 19.1121	-42,-82,-29,-155 8.28374	-42,-82,-29,-155 22.2896
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf	-11,-402,-16,-360 62.7685	-11,-402,-16,-360 72.24	-11,-402,-16,-360 70.4403	-11,-402,-16,-360 102.384	-11,-402,-16,-360 39.698
randbe9acf.cudf	-72,0,-13,-97 1.3208	-72,0,-13,-97 5.63414	-72,0,-13,-97 2.71659	-72,0,-13,-97 3.01654	-72,0,-13,-97 1.27381
randf406d5.cudf	FAIL 1.78073	FAIL 5.03323	FAIL 1.40779	FAIL 1.59576	FAIL 1.05784
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf	-17,-126,-13,-439 13.205	-17,-126,-13,-439 64.3432	-17,-126,-13,-439 59.28	-17,-126,-13,-439 86.8438	-17,-126,-13,-439 37.7283
rand50a937.cudf	-19,-39,-2,-617 299.906	-19,-39,-2,-618 290.001	-19,-39,-2,-616 114.423	-19,-39,-2,-616 24.7632	-19,-39,-2,-622 298.759
rand06f749.cudf	-18,-35,-4,-365 7.16291	-18,-35,-4,-365 35.4206	-18,-35,-4,-365 8.95864	-18,-35,-4,-365 13.9469	-18,-35,-4,-365 92.5389
rand5c1800.cudf	-51,-1,-10,-62 1.3438	-51,-1,-10,-62 5.9221	-51,-1,-10,-62 2.67159	-51,-1,-10,-62 2.35164	-51,-1,-10,-62 1.43078
rand13b58e.cudf	-184,-2,-29,-130 1.41778	-184,-2,-29,-130 6.76297	-184,-2,-29,-130 3.2605	-184,-2,-29,-130 10.2172	-184,-2,-29,-130 1.85472
randa9ba44.cudf	-35,0,-14,-62 1.20482	-35,0,-14,-62 5.69813	-35,0,-14,-62 2.85756	-35,0,-14,-62 2.23066	-35,0,-14,-62 1.67174
rand655e63.cudf	-39,-105,-26,-389 79.9618	-39,-105,-26,-389 264.47	-39,-105,-26,-389 89.4194	-39,-105,-26,-389 100.122	-39,-105,-26,-389 293.532
rand95e48b.cudf	-28,-27,-15,-492 299.97	-28,-27,-15,-493 248.068	-28,-27,-15,-486 298.999	-28,-27,-15,-486 18.5672	-28,-27,-15,-495 298.137
rand5619c8.cudf	-58,0,-5,-132 1.34979	-58,0,-5,-132 6.03008	-58,0,-5,-132 2.85457	-58,0,-5,-132 3.2565	-58,0,-5,-132 1.9547
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf	-14,-400,-17,-359 20.9488	-14,-400,-17,-359 97.8331	-14,-400,-17,-359 70.1413	-14,-400,-17,-359 108.344	-14,-400,-17,-359 46.8919
rand332173.cudf	-22,-114,-25,-357 299.702	-22,-114,-25,-362 286.654	-22,-114,-25,-357 82.7154	-22,-114,-25,-357 84.6701	-22,-114,-25,-361 293.996
rand08759d.cudf	-27,0,-7,-126 1.25481	-27,0,-7,-126 6.03708	-27,0,-7,-126 3.3005	-27,0,-7,-126 2.88456	-27,0,-7,-126 1.46278
rand61b840.cudf	-139,0,-12,-146 1.43878	-139,0,-12,-146 7.03493	-139,0,-12,-146 3.10953	-139,0,-12,-146 4.28435	-139,0,-12,-146 3.54246
randc192b7.cudf	-86,0,-18,-178 1.27381	-86,0,-18,-178 5.9301	-86,0,-18,-178 2.71859	-86,0,-18,-178 4.32734	-86,0,-18,-178 2.12268
randaafcce.cudf	-71,-336,-38,-145 299.551	-71,-334,-32,-128 261.155	-71,-334,-32,-128 61.1617	-71,-334,-32,-128 83.9342	-71,-334,-32,-128 274.395
randea6106.cudf	-61,-1,-15,-97 1.51277	-61,-1,-15,-97 10.1485	-61,-1,-15,-97 3.2885	-61,-1,-15,-97 2.95955	-61,-1,-15,-97 3.2585
large1.cudf	FAIL 300.046	FAIL 282.517	FAIL 300.028	FAIL 299.183	FAIL 298.24
rand394916.cudf	FAIL 1.78773	FAIL 5.80412	FAIL 1.52677	FAIL 1.57776	FAIL 1.14882
large2.cudf	0,0,0,-2 71.9531	FAIL 281.632	0,0,0,-2 163.743	0,0,0,-2 51.3892	FAIL 298.314
randa870aa.cudf	-29,-46,-10,-399 47.3148	-29,-46,-10,-400 286.823	-29,-46,-10,-399 20.5719	-29,-46,-10,-399 16.4005	-29,-46,-10,-400 298.517
rand835640.cudf	-37,-158,-23,-255 79.035	-37,-158,-23,-255 169.281	-37,-158,-23,-255 58.2032	-37,-158,-23,-255 82.2905	-37,-158,-23,-257 293.884
rand0aa5c1.cudf	-45,-29,-6,-409 299.947	-45,-29,-6,-409 279.839	-45,-29,-6,-407 105.742	-45,-29,-6,-407 17.1154	-45,-29,-6,-410 298.6