. User Track
Category: dudf-random
| Problem | aspcud-1.5 | aspuncud-user-1.0 | gj-user-solver-1.0 | p2cudf-user-1.13 |
|---|---|---|---|---|
| rand992.cudf | [0,-67,0,-699,-1616,-1683] score:3 trace|run result time:290.12 |
[0,-45,0,-259,-2217,-2262] score:1 trace|run result time:38.31 |
[0,-45,0,-259,-2409,-2454] score:2 trace|run result time:285.01 |
FAIL score:8 trace|run time:300.00 |
| rand933.cudf | [0,-12,0,-603,-1776,-1788] score:3 trace|run result time:290.11 |
[0,-12,0,-128,-2396,-2408] score:1 trace|run result time:48.16 |
[0,-12,0,-128,-2544,-2556] score:2 trace|run result time:284.78 |
FAIL score:8 trace|run time:300.00 |
| rand929.cudf | [0,0,0,-191,0,0] score:1 trace|run result time:1.72 |
[0,0,0,-191,0,0] score:1 trace|run result time:1.67 |
[0,0,0,-191,0,0] score:1 trace|run result time:8.88 |
FAIL score:8 trace|run time:300.00 |
| rand83.cudf | [-1,-8,0,-199,-2351,-2360] score:1 trace|run result time:23.52 |
[-1,-8,0,-199,-2351,-2360] score:1 trace|run result time:49.17 |
[-1,-8,0,-199,-2483,-2492] score:3 trace|run result time:284.79 |
FAIL score:8 trace|run time:300.00 |
| rand733.cudf | [0,-29,0,-40,-616,-645] score:1 trace|run result time:1.78 |
[0,-29,0,-40,-616,-645] score:1 trace|run result time:3.31 |
[0,-29,0,-40,-964,-993] score:3 trace|run result time:285.21 |
FAIL score:8 trace|run time:300.00 |
| rand692.cudf | [0,-4,0,-23,-578,-582] score:1 trace|run result time:1.79 |
[0,-4,0,-23,-578,-582] score:1 trace|run result time:3.03 |
[0,-4,0,-23,-1077,-1081] score:3 trace|run result time:284.81 |
FAIL score:8 trace|run time:300.00 |
| rand662.cudf | [0,-11,0,-1787,-266,-277] score:3 trace|run result time:290.17 |
[0,-11,0,-201,-2315,-2326] score:1 trace|run result time:47.41 |
[0,-11,0,-201,-2456,-2467] score:2 trace|run result time:285.76 |
FAIL score:8 trace|run time:300.00 |
| rand66.cudf | [0,-12,0,-29,-675,-687] score:1 trace|run result time:1.76 |
[0,-12,0,-29,-675,-687] score:1 trace|run result time:3.26 |
[0,-12,0,-29,-1051,-1063] score:3 trace|run result time:285.07 |
FAIL score:8 trace|run time:300.00 |
| rand59.cudf | [0,-8,0,-24,-622,-630] score:1 trace|run result time:1.74 |
[0,-8,0,-24,-622,-630] score:1 trace|run result time:3.01 |
[0,-8,0,-24,-996,-1004] score:3 trace|run result time:285.19 |
FAIL score:8 trace|run time:300.00 |
| rand512.cudf | [0,-19,0,-26,-518,-537] score:1 trace|run result time:1.70 |
[0,-19,0,-26,-518,-537] score:1 trace|run result time:3.12 |
[0,-19,0,-26,-995,-1014] score:3 trace|run result time:285.39 |
FAIL score:8 trace|run time:300.00 |
| rand461.cudf | [0,-10,0,-1712,-359,-369] score:3 trace|run result time:290.07 |
[0,-10,0,-227,-2148,-2158] score:1 trace|run result time:42.57 |
[0,-10,0,-227,-2412,-2422] score:2 trace|run result time:285.94 |
FAIL score:8 trace|run time:300.00 |
| rand455.cudf | [0,-44,0,-19,-622,-666] score:1 trace|run result time:6.21 |
[0,-44,0,-19,-622,-666] score:1 trace|run result time:3.36 |
[0,-44,0,-19,-1038,-1082] score:3 trace|run result time:285.16 |
FAIL score:8 trace|run time:300.00 |
| rand440.cudf | [0,-19,0,-211,-2152,-2171] score:1 trace|run result time:281.56 |
[0,-19,0,-211,-2152,-2171] score:1 trace|run result time:44.51 |
[0,-19,0,-211,-2427,-2446] score:3 trace|run result time:285.65 |
FAIL score:8 trace|run time:300.00 |
| rand434.cudf | [0,-60,0,-42,-521,-581] score:1 trace|run result time:1.75 |
[0,-60,0,-42,-521,-581] score:1 trace|run result time:3.14 |
[0,-60,0,-42,-1000,-1060] score:3 trace|run result time:285.26 |
FAIL score:8 trace|run time:300.00 |
| rand399.cudf | [0,-10,0,-9,-743,-753] score:1 trace|run result time:1.78 |
[0,-10,0,-9,-743,-753] score:1 trace|run result time:3.55 |
[0,-10,0,-9,-1084,-1094] score:3 trace|run result time:285.70 |
FAIL score:8 trace|run time:300.00 |
| rand390.cudf | [0,-5,0,-130,-2465,-2470] score:2 trace|run result time:290.14 |
[0,-5,0,-130,-2460,-2465] score:1 trace|run result time:47.11 |
[0,-5,0,-130,-2573,-2578] score:3 trace|run result time:286.55 |
FAIL score:8 trace|run time:300.00 |
| rand282.cudf | [0,-25,0,-1822,-219,-244] score:3 trace|run result time:290.09 |
[0,-19,0,-195,-2298,-2317] score:1 trace|run result time:47.59 |
[0,-19,0,-195,-2475,-2494] score:2 trace|run result time:285.44 |
FAIL score:8 trace|run time:300.00 |
| rand252.cudf | [-3,0,0,-2011,0,0] score:1 trace|run result time:6.31 |
[-3,0,0,-2011,0,0] score:1 trace|run result time:3.86 |
[-3,0,0,-2011,0,0] score:1 trace|run result time:177.25 |
FAIL score:8 trace|run time:300.00 |
| rand21.cudf | [0,-6,0,-179,-2215,-2221] score:1 trace|run result time:41.27 |
[0,-6,0,-179,-2215,-2221] score:1 trace|run result time:46.49 |
[0,-6,0,-179,-2442,-2448] score:3 trace|run result time:286.10 |
FAIL score:8 trace|run time:300.00 |
| rand192.cudf | [0,-178,0,-1763,-243,-421] score:3 trace|run result time:290.15 |
[0,-84,0,-211,-2276,-2360] score:1 trace|run result time:47.34 |
[0,-84,0,-222,-2622,-2706] score:2 trace|run result time:284.41 |
FAIL score:8 trace|run time:300.00 |
Category: dudf-real
| Problem | aspcud-1.5 | aspuncud-user-1.0 | gj-user-solver-1.0 | p2cudf-user-1.13 |
|---|---|---|---|---|
| ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf | [0,-7,0,-41,-1660,-1667] score:1 trace|run result time:5.75 |
[0,-7,0,-41,-1660,-1667] score:1 trace|run result time:31.49 |
[0,-7,0,-41,-1799,-1806] score:3 trace|run result time:285.40 |
FAIL score:8 trace|run time:300.00 |
| fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf | [0,0,0,-805,0,0] score:1 trace|run result time:2.26 |
[0,0,0,-805,0,0] score:1 trace|run result time:2.24 |
[0,0,0,-805,0,0] score:1 trace|run result time:29.47 |
FAIL score:8 trace|run time:300.00 |
| fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf | [0,0,0,-1054,0,0] score:1 trace|run result time:2.10 |
[0,0,0,-1054,0,0] score:1 trace|run result time:2.02 |
[0,0,0,-1054,0,0] score:1 trace|run result time:30.31 |
FAIL score:8 trace|run time:300.00 |
| f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf | [0,0,0,-332,0,0] score:1 trace|run result time:1.89 |
[0,0,0,-332,0,0] score:1 trace|run result time:1.72 |
[0,0,0,-332,0,0] score:1 trace|run result time:13.69 |
FAIL score:8 trace|run time:300.00 |
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | [0,0,0,-653,0,0] score:1 trace|run result time:1.48 |
[0,0,0,-653,0,0] score:1 trace|run result time:1.36 |
[0,0,0,-653,0,0] score:1 trace|run result time:13.10 |
FAIL score:8 trace|run time:300.00 |
| ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf | [0,-24,0,-105,-1536,-1560] score:1 trace|run result time:4.45 |
[0,-24,0,-105,-1536,-1560] score:1 trace|run result time:16.76 |
[0,-24,0,-105,-2014,-2038] score:3 trace|run result time:285.01 |
FAIL score:8 trace|run time:300.00 |
| ec32fc68-7254-11e0-8436-00163e1e087d.cudf | [0,0,0,-381,0,0] score:1 trace|run result time:2.07 |
[0,0,0,-381,0,0] score:1 trace|run result time:1.90 |
[0,0,0,-381,0,0] score:1 trace|run result time:17.99 |
FAIL score:8 trace|run time:300.00 |
| e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf | [0,-2,0,-70,-2677,-2679] score:1 trace|run result time:9.21 |
[0,-2,0,-70,-2677,-2679] score:1 trace|run result time:58.43 |
[0,-2,0,-85,-2659,-2661] score:3 trace|run result time:286.28 |
FAIL score:8 trace|run time:300.00 |
| e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf | [0,0,0,-332,0,0] score:1 trace|run result time:1.94 |
[0,0,0,-332,0,0] score:1 trace|run result time:1.77 |
[0,0,0,-332,0,0] score:1 trace|run result time:14.14 |
FAIL score:8 trace|run time:300.00 |
| e381ba7e-a192-11e0-8647-00163e1e087d.cudf | [0,-8,0,-407,-43,-51] score:3 trace|run result time:290.13 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:3.81 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:101.22 |
FAIL score:8 trace|run time:300.00 |
| e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf | [0,-24,0,-104,-1545,-1569] score:2 trace|run result time:290.07 |
[0,-24,0,-104,-1519,-1543] score:1 trace|run result time:15.64 |
[0,-24,0,-104,-1993,-2017] score:3 trace|run result time:285.17 |
FAIL score:8 trace|run time:300.00 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | [0,0,0,-431,0,0] score:1 trace|run result time:1.38 |
[0,0,0,-431,0,0] score:1 trace|run result time:1.33 |
[0,0,0,-431,0,0] score:1 trace|run result time:6.74 |
FAIL score:8 trace|run time:300.00 |
| deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf | [0,0,0,-1054,0,0] score:1 trace|run result time:2.09 |
[0,0,0,-1054,0,0] score:1 trace|run result time:1.95 |
[0,0,0,-1054,0,0] score:1 trace|run result time:29.65 |
FAIL score:8 trace|run time:300.00 |
| dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf | [0,-2,0,-4,-1259,-1261] score:1 trace|run result time:3.61 |
[0,-2,0,-4,-1259,-1261] score:1 trace|run result time:23.92 |
[0,-2,0,-4,-1408,-1410] score:3 trace|run result time:286.89 |
FAIL score:8 trace|run time:300.00 |
| dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf | [0,0,0,-477,0,0] score:1 trace|run result time:2.03 |
[0,0,0,-477,0,0] score:1 trace|run result time:1.90 |
[0,0,0,-477,0,0] score:1 trace|run result time:10.50 |
FAIL score:8 trace|run time:300.00 |
| d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf | [0,0,0,-477,0,0] score:1 trace|run result time:2.03 |
[0,0,0,-477,0,0] score:1 trace|run result time:1.89 |
[0,0,0,-477,0,0] score:1 trace|run result time:10.64 |
FAIL score:8 trace|run time:300.00 |
| d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf | [0,-2,0,-4,-1259,-1261] score:1 trace|run result time:3.60 |
[0,-2,0,-4,-1259,-1261] score:1 trace|run result time:24.03 |
[0,-2,0,-4,-1408,-1410] score:3 trace|run result time:286.91 |
FAIL score:8 trace|run time:300.00 |
| d0cc7514-c730-11df-a040-00163e3d3b7c.cudf | [0,-2,0,-143,-2481,-2483] score:1 trace|run result time:9.20 |
[0,-2,0,-143,-2481,-2483] score:1 trace|run result time:54.10 |
[0,-2,0,-143,-2517,-2519] score:3 trace|run result time:285.85 |
FAIL score:8 trace|run time:300.00 |
| d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf | [0,0,0,-477,0,0] score:1 trace|run result time:2.06 |
[0,0,0,-477,0,0] score:1 trace|run result time:1.90 |
[0,0,0,-477,0,0] score:1 trace|run result time:10.87 |
FAIL score:8 trace|run time:300.00 |
| cff22854-9512-11e0-8001-00163e1e087d.cudf | [0,-8,0,-407,-43,-51] score:3 trace|run result time:290.09 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:3.66 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:101.49 |
FAIL score:8 trace|run time:300.00 |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | [0,0,0,0,0,0] score:1 trace|run result time:0.86 |
[0,0,0,0,0,0] score:1 trace|run result time:0.92 |
[0,0,0,0,0,0] score:1 trace|run result time:234.50 |
FAIL score:8 trace|run time:300.00 |
| caefdef6-3477-11e0-84ef-00163e3d3b7c.cudf | [0,0,0,-477,0,0] score:1 trace|run result time:2.07 |
[0,0,0,-477,0,0] score:1 trace|run result time:1.88 |
[0,0,0,-477,0,0] score:1 trace|run result time:10.64 |
FAIL score:8 trace|run time:300.00 |
| ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf | [0,0,0,-1054,0,0] score:1 trace|run result time:2.13 |
[0,0,0,-1054,0,0] score:1 trace|run result time:1.97 |
[0,0,0,-1054,0,0] score:1 trace|run result time:29.72 |
FAIL score:8 trace|run time:300.00 |
| c2164c84-b015-11df-8b50-00163e46d37a.cudf | [0,0,0,-26,0,0] score:1 trace|run result time:1.61 |
[0,0,0,-26,0,0] score:1 trace|run result time:1.59 |
[0,0,0,-26,0,0] score:1 trace|run result time:6.91 |
FAIL score:8 trace|run time:300.00 |
| bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf | [0,0,0,-1054,0,0] score:1 trace|run result time:2.15 |
[0,0,0,-1054,0,0] score:1 trace|run result time:1.94 |
[0,0,0,-1054,0,0] score:1 trace|run result time:29.55 |
FAIL score:8 trace|run time:300.00 |
| b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf | [0,-24,0,-105,-1536,-1560] score:1 trace|run result time:4.44 |
[0,-24,0,-105,-1536,-1560] score:1 trace|run result time:16.73 |
[0,-24,0,-105,-2014,-2038] score:3 trace|run result time:285.66 |
FAIL score:8 trace|run time:300.00 |
| adf7b774-9af8-11df-bc37-00163e46d37a.cudf | [0,0,0,-805,0,0] score:1 trace|run result time:2.22 |
[0,0,0,-805,0,0] score:1 trace|run result time:2.23 |
[0,0,0,-805,0,0] score:1 trace|run result time:23.27 |
FAIL score:8 trace|run time:300.00 |
| ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf | [0,-4,0,-57,-2639,-2643] score:1 trace|run result time:5.22 |
[0,-4,0,-57,-2639,-2643] score:1 trace|run result time:54.47 |
[0,-4,0,-57,-2659,-2663] score:3 trace|run result time:285.99 |
FAIL score:8 trace|run time:300.00 |
| a754ac72-95cc-11e0-9181-00163e1e087d.cudf | [0,-8,0,-407,-43,-51] score:3 trace|run result time:290.04 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:3.63 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:100.70 |
FAIL score:8 trace|run time:300.00 |
| 978532fa-c730-11df-b070-00163e3d3b7c.cudf | [0,-2,0,-143,-2481,-2483] score:1 trace|run result time:7.90 |
[0,-2,0,-143,-2481,-2483] score:1 trace|run result time:54.23 |
[0,-2,0,-143,-2521,-2523] score:3 trace|run result time:285.07 |
FAIL score:8 trace|run time:300.00 |
| 8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf | [0,-4,0,-57,-2639,-2643] score:1 trace|run result time:4.91 |
[0,-4,0,-57,-2639,-2643] score:1 trace|run result time:53.23 |
[0,-4,0,-57,-2659,-2663] score:3 trace|run result time:285.41 |
FAIL score:8 trace|run time:300.00 |
| 8afdd89e-51b8-11e0-acd7-00163e1e087d.cudf | [0,-24,0,-105,-1536,-1560] score:1 trace|run result time:4.40 |
[0,-24,0,-105,-1536,-1560] score:1 trace|run result time:16.69 |
[0,-24,0,-105,-2014,-2038] score:3 trace|run result time:284.79 |
FAIL score:8 trace|run time:300.00 |
| 8680dd8a-8600-11e0-b285-00163e1e087d.cudf | [0,-11,0,-80,-2306,-2317] score:1 trace|run result time:4.98 |
[0,-11,0,-80,-2306,-2317] score:1 trace|run result time:41.85 |
[0,-11,0,-80,-2437,-2448] score:3 trace|run result time:286.01 |
FAIL score:8 trace|run time:300.00 |
| 8222799a-9af8-11df-8b50-00163e46d37a.cudf | [0,0,0,-745,0,0] score:1 trace|run result time:2.20 |
[0,0,0,-745,0,0] score:1 trace|run result time:2.15 |
[0,0,0,-745,0,0] score:1 trace|run result time:24.29 |
FAIL score:8 trace|run time:300.00 |
| 80e3fda2-9501-11e0-8001-00163e1e087d.cudf | [0,-8,0,-407,-43,-51] score:3 trace|run result time:290.11 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:3.55 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:101.24 |
FAIL score:8 trace|run time:300.00 |
| 80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf | [0,0,0,-746,0,0] score:1 trace|run result time:2.21 |
[0,0,0,-746,0,0] score:1 trace|run result time:2.18 |
[0,0,0,-746,0,0] score:1 trace|run result time:31.36 |
FAIL score:8 trace|run time:300.00 |
| 7f80e4f0-4fe9-11e0-acd7-00163e1e087d.cudf | [0,-24,0,-104,-1543,-1567] score:2 trace|run result time:290.11 |
[0,-24,0,-104,-1519,-1543] score:1 trace|run result time:15.87 |
[0,-24,0,-104,-1995,-2019] score:3 trace|run result time:284.93 |
FAIL score:8 trace|run time:300.00 |
| 7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf | [0,-24,0,-105,-1536,-1560] score:1 trace|run result time:4.44 |
[0,-24,0,-105,-1536,-1560] score:1 trace|run result time:16.77 |
[0,-24,0,-105,-2014,-2038] score:3 trace|run result time:285.90 |
FAIL score:8 trace|run time:300.00 |
| 7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf | [0,0,0,-746,0,0] score:1 trace|run result time:2.19 |
[0,0,0,-746,0,0] score:1 trace|run result time:2.17 |
[0,0,0,-746,0,0] score:1 trace|run result time:31.59 |
FAIL score:8 trace|run time:300.00 |
| 6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf | [0,-2,0,-143,-2481,-2483] score:1 trace|run result time:8.11 |
[0,-2,0,-143,-2481,-2483] score:1 trace|run result time:54.26 |
[0,-2,0,-143,-2521,-2523] score:3 trace|run result time:285.67 |
FAIL score:8 trace|run time:300.00 |
| 56e31304-c17a-11df-b070-00163e3d3b7c.cudf | [0,0,0,-117,-1298,-1298] score:1 trace|run result time:6.60 |
[0,0,0,-117,-1298,-1298] score:1 trace|run result time:17.60 |
[0,0,0,-898,-501,-501] score:3 trace|run result time:284.79 |
FAIL score:8 trace|run time:300.00 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | [0,-86,0,-37,0,-86] score:2 trace|run result time:290.11 |
[0,-83,0,-12,0,-83] score:1 trace|run result time:35.39 |
[0,-107,0,-55,0,-107] score:4 trace|run result time:284.79 |
[0,-90,0,-4,0,-90] score:3 trace|run result time:3.89 |
| 5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf | [0,-2,0,-143,-2481,-2483] score:1 trace|run result time:9.16 |
[0,-2,0,-143,-2481,-2483] score:1 trace|run result time:54.14 |
[0,-2,0,-143,-2517,-2519] score:3 trace|run result time:286.53 |
FAIL score:8 trace|run time:300.00 |
| 4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf | FAIL score:8 trace|run time:300.00 |
FAIL score:8 trace|run time:300.00 |
FAIL score:8 trace|run time:300.00 |
FAIL score:8 trace|run time:300.00 |
| 4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf | [0,0,0,-117,-1298,-1298] score:1 trace|run result time:6.62 |
[0,0,0,-117,-1298,-1298] score:1 trace|run result time:17.39 |
[0,0,0,-898,-501,-501] score:3 trace|run result time:284.71 |
FAIL score:8 trace|run time:300.00 |
| 4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf | [0,-2,0,-4,-1259,-1261] score:1 trace|run result time:3.56 |
[0,-2,0,-4,-1259,-1261] score:1 trace|run result time:23.94 |
[0,-2,0,-4,-1409,-1411] score:3 trace|run result time:285.28 |
FAIL score:8 trace|run time:300.00 |
| 4a69cf16-c731-11df-9182-00163e3d3b7c.cudf | [0,-2,0,-143,-2481,-2483] score:1 trace|run result time:9.09 |
[0,-2,0,-143,-2481,-2483] score:1 trace|run result time:53.76 |
[0,-2,0,-143,-2517,-2519] score:3 trace|run result time:286.37 |
FAIL score:8 trace|run time:300.00 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | [0,0,0,0,0,0] score:1 trace|run result time:0.95 |
[0,0,0,0,0,0] score:1 trace|run result time:1.07 |
[0,0,0,0,0,0] score:1 trace|run result time:233.79 |
FAIL score:8 trace|run time:300.00 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | [0,-42,0,-26,0,-42] score:2 trace|run result time:290.05 |
[0,-41,0,-18,0,-41] score:1 trace|run result time:290.11 |
[0,-66,0,-45,0,-66] score:3 trace|run result time:284.87 |
[0,-75,0,0,0,-75] score:4 trace|run result time:4.55 |
| 33bb2fbc-9512-11e0-9181-00163e1e087d.cudf | [0,-8,0,-407,-43,-51] score:3 trace|run result time:290.15 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:3.53 |
[0,-8,0,-118,-377,-385] score:1 trace|run result time:99.60 |
FAIL score:8 trace|run time:300.00 |
| 301cbe92-a79c-11e0-9181-00163e1e087d.cudf | FAIL score:8 trace|run time:300.00 |
FAIL score:8 trace|run time:300.00 |
FAIL score:8 trace|run time:300.00 |
FAIL score:8 trace|run time:300.00 |
| 2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf | [0,0,0,-1873,0,0] score:1 trace|run result time:3.24 |
[0,0,0,-1873,0,0] score:1 trace|run result time:2.83 |
[0,0,0,-1873,0,0] score:1 trace|run result time:66.50 |
FAIL score:8 trace|run time:300.00 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | [0,0,0,-653,0,0] score:1 trace|run result time:1.45 |
[0,0,0,-653,0,0] score:1 trace|run result time:1.36 |
[0,0,0,-653,0,0] score:1 trace|run result time:12.92 |
FAIL score:8 trace|run time:300.00 |
| 27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf | [0,-2,0,-211,-2356,-2358] score:1 trace|run result time:11.43 |
[0,-2,0,-211,-2356,-2358] score:1 trace|run result time:50.12 |
[0,-2,0,-211,-2428,-2430] score:3 trace|run result time:285.82 |
FAIL score:8 trace|run time:300.00 |
| 26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf | [0,-2,0,-4,-1259,-1261] score:1 trace|run result time:3.52 |
[0,-2,0,-4,-1259,-1261] score:1 trace|run result time:23.56 |
[0,-2,0,-4,-1407,-1409] score:3 trace|run result time:286.14 |
FAIL score:8 trace|run time:300.00 |
| 1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf | [0,-7,0,-41,-1660,-1667] score:1 trace|run result time:5.61 |
[0,-7,0,-41,-1660,-1667] score:1 trace|run result time:30.79 |
[0,-7,0,-41,-1798,-1805] score:3 trace|run result time:285.40 |
FAIL score:8 trace|run time:300.00 |
| 19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf | [0,0,0,-1054,0,0] score:1 trace|run result time:2.10 |
[0,0,0,-1054,0,0] score:1 trace|run result time:1.95 |
[0,0,0,-1054,0,0] score:1 trace|run result time:29.61 |
FAIL score:8 trace|run time:300.00 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | [0,0,0,-653,0,0] score:1 trace|run result time:1.47 |
[0,0,0,-653,0,0] score:1 trace|run result time:1.36 |
[0,0,0,-653,0,0] score:1 trace|run result time:12.97 |
FAIL score:8 trace|run time:300.00 |
| 0207e19a-9b1c-11df-af69-00163e46d37a.cudf | [0,0,0,-805,0,0] score:1 trace|run result time:2.18 |
[0,0,0,-805,0,0] score:1 trace|run result time:2.20 |
[0,0,0,-805,0,0] score:1 trace|run result time:29.00 |
FAIL score:8 trace|run time:300.00 |
Category: user-upgrades
| Problem | aspcud-1.5 | aspuncud-user-1.0 | gj-user-solver-1.0 | p2cudf-user-1.13 |
|---|---|---|---|---|
| rand994.cudf | [0,0,0,-10,-272,-701] score:1 trace|run result time:3.06 |
[0,0,0,-10,-272,-701] score:1 trace|run result time:3.95 |
[0,0,0,-10,-272,-701] score:1 trace|run result time:24.77 |
FAIL score:8 trace|run time:300.00 |
| rand97.cudf | [0,0,0,-11,-142,-732] score:1 trace|run result time:3.10 |
[0,0,0,-11,-142,-732] score:1 trace|run result time:3.72 |
[0,0,0,-11,-142,-732] score:1 trace|run result time:25.31 |
FAIL score:8 trace|run time:300.00 |
| rand924.cudf | [0,0,-3,-12,-282,-698] score:1 trace|run result time:3.20 |
[0,0,-3,-12,-282,-698] score:1 trace|run result time:4.12 |
[0,0,-3,-12,-282,-698] score:1 trace|run result time:17.90 |
FAIL score:8 trace|run time:300.00 |
| rand796.cudf | [0,0,-2,-11,-179,-716] score:1 trace|run result time:3.05 |
[0,0,-2,-11,-179,-716] score:1 trace|run result time:3.80 |
[0,0,-2,-11,-179,-716] score:1 trace|run result time:19.52 |
FAIL score:8 trace|run time:300.00 |
| rand763.cudf | [0,0,0,-16,-130,-741] score:1 trace|run result time:3.17 |
[0,0,0,-16,-130,-741] score:1 trace|run result time:3.66 |
[0,0,0,-16,-130,-741] score:1 trace|run result time:30.73 |
FAIL score:8 trace|run time:300.00 |
| rand740.cudf | [0,0,-3,-11,-195,-703] score:1 trace|run result time:3.05 |
[0,0,-3,-11,-195,-703] score:1 trace|run result time:4.02 |
[0,0,-3,-11,-195,-703] score:1 trace|run result time:19.42 |
FAIL score:8 trace|run time:300.00 |
| rand609.cudf | [0,0,-195,-199,0,-429] score:1 trace|run result time:10.46 |
[0,0,-195,-199,0,-429] score:1 trace|run result time:3.25 |
[0,0,-195,-199,0,-429] score:1 trace|run result time:71.54 |
FAIL score:8 trace|run time:300.00 |
| rand56.cudf | [0,0,-3,-12,-156,-725] score:1 trace|run result time:3.00 |
[0,0,-3,-12,-156,-725] score:1 trace|run result time:3.72 |
[0,0,-3,-12,-156,-725] score:1 trace|run result time:22.38 |
FAIL score:8 trace|run time:300.00 |
| rand533.cudf | [0,0,0,-9,-217,-706] score:1 trace|run result time:3.14 |
[0,0,0,-9,-217,-706] score:1 trace|run result time:3.82 |
[0,0,0,-9,-217,-706] score:1 trace|run result time:27.96 |
FAIL score:8 trace|run time:300.00 |
| rand519.cudf | [0,0,-1,-14,-194,-729] score:1 trace|run result time:3.17 |
[0,0,-1,-14,-194,-729] score:1 trace|run result time:3.80 |
[0,0,-1,-14,-194,-729] score:1 trace|run result time:19.72 |
FAIL score:8 trace|run time:300.00 |
| rand475.cudf | [0,0,0,-14,-155,-746] score:1 trace|run result time:3.19 |
[0,0,0,-14,-155,-746] score:1 trace|run result time:3.86 |
[0,0,0,-14,-155,-746] score:1 trace|run result time:25.96 |
FAIL score:8 trace|run time:300.00 |
| rand438.cudf | [0,0,-2,-6,-289,-704] score:1 trace|run result time:2.93 |
[0,0,-2,-6,-289,-704] score:1 trace|run result time:4.07 |
[0,0,-2,-6,-289,-704] score:1 trace|run result time:18.78 |
FAIL score:8 trace|run time:300.00 |
| rand437.cudf | [0,0,-2,-16,-149,-721] score:1 trace|run result time:3.10 |
[0,0,-2,-16,-149,-721] score:1 trace|run result time:3.64 |
[0,0,-2,-16,-149,-721] score:1 trace|run result time:17.55 |
FAIL score:8 trace|run time:300.00 |
| rand408.cudf | [0,0,-2,-8,-298,-689] score:1 trace|run result time:3.11 |
[0,0,-2,-8,-298,-689] score:1 trace|run result time:4.02 |
[0,0,-2,-8,-298,-689] score:1 trace|run result time:18.10 |
FAIL score:8 trace|run time:300.00 |
| rand375.cudf | [0,0,-3,-16,-134,-736] score:1 trace|run result time:3.14 |
[0,0,-3,-16,-134,-736] score:1 trace|run result time:3.77 |
[0,0,-3,-16,-134,-736] score:1 trace|run result time:20.85 |
FAIL score:8 trace|run time:300.00 |
| rand283.cudf | [0,0,-4,-8,-197,-712] score:1 trace|run result time:3.06 |
[0,0,-4,-8,-197,-712] score:1 trace|run result time:3.74 |
[0,0,-4,-8,-197,-712] score:1 trace|run result time:19.08 |
FAIL score:8 trace|run time:300.00 |
| rand194.cudf | [0,0,-2,-9,-273,-697] score:1 trace|run result time:3.18 |
[0,0,-2,-9,-273,-697] score:1 trace|run result time:3.96 |
[0,0,-2,-9,-273,-697] score:1 trace|run result time:17.97 |
FAIL score:8 trace|run time:300.00 |
| rand18.cudf | [0,0,-2,-10,-194,-715] score:1 trace|run result time:3.21 |
[0,0,-2,-10,-194,-715] score:1 trace|run result time:3.79 |
[0,0,-2,-10,-194,-715] score:1 trace|run result time:19.92 |
FAIL score:8 trace|run time:300.00 |
| rand172.cudf | [0,0,-16,-21,-286,-626] score:1 trace|run result time:3.13 |
[0,0,-16,-21,-286,-626] score:1 trace|run result time:3.34 |
[0,0,-16,-21,-286,-626] score:1 trace|run result time:22.21 |
FAIL score:8 trace|run time:300.00 |
| rand152.cudf | [0,0,-5,-13,-158,-725] score:1 trace|run result time:3.00 |
[0,0,-5,-13,-158,-725] score:1 trace|run result time:3.76 |
[0,0,-5,-13,-158,-725] score:1 trace|run result time:19.24 |
FAIL score:8 trace|run time:300.00 |
| rand105.cudf | [0,0,0,-13,-160,-723] score:1 trace|run result time:2.99 |
[0,0,0,-13,-160,-723] score:1 trace|run result time:3.67 |
[0,0,0,-13,-160,-723] score:1 trace|run result time:25.19 |
FAIL score:8 trace|run time:300.00 |