Problem | aspcud-1.3 | cudf2msu4user-1.0 | cudf2pbo4user-1.0 | p2cudf-user-1.10 |
---|---|---|---|---|
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | [-21,-659,-18,-3] score:1 trace|run result time:1.42 |
[-21,-659,-18,-3] score:1 trace|run result time:8.32 |
[-21,-659,-18,-3] score:1 trace|run result time:1.74 |
[-21,-659,-18,-3] score:1 trace|run result time:5.11 |
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.11 |
[-31,-2274,-26,-2] score:1 trace|run result time:145.16 |
[-31,-2274,-26,-2] score:1 trace|run result time:46.77 |
[-31,-2274,-26,-2] score:1 trace|run result time:15.16 |
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | [-21,-437,-16,-5] score:1 trace|run result time:1.32 |
[-21,-437,-16,-5] score:1 trace|run result time:4.74 |
[-21,-437,-16,-5] score:1 trace|run result time:3.13 |
[-21,-437,-16,-5] score:1 trace|run result time:5.68 |
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | FAIL score:8 trace|run time:290.11 |
[-60,-875,-54,-2] score:1 trace|run result time:16.11 |
[-60,-875,-54,-2] score:1 trace|run result time:26.15 |
[-60,-875,-54,-2] score:1 trace|run result time:16.72 |
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.10 |
[-31,-2274,-26,-2] score:1 trace|run result time:144.48 |
[-31,-2274,-26,-2] score:1 trace|run result time:47.01 |
[-31,-2274,-26,-2] score:1 trace|run result time:15.56 |
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.07 |
[-27,-2274,-23,-1] score:1 trace|run result time:149.35 |
[-27,-2274,-23,-1] score:1 trace|run result time:28.55 |
[-27,-2274,-23,-1] score:1 trace|run result time:17.64 |
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | [-91,-2177,-37,-11] score:1 trace|run result time:170.49 |
[-91,-2177,-37,-11] score:1 trace|run result time:137.92 |
[-91,-2177,-37,-11] score:1 trace|run result time:56.32 |
[-91,-2177,-37,-11] score:1 trace|run result time:17.17 |
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.07 |
[-27,-2274,-23,-1] score:1 trace|run result time:149.24 |
[-27,-2274,-23,-1] score:1 trace|run result time:28.46 |
[-27,-2274,-23,-1] score:1 trace|run result time:17.70 |
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.13 |
[-27,-2277,-23,-1] score:1 trace|run result time:145.62 |
[-27,-2277,-23,-1] score:1 trace|run result time:21.25 |
[-27,-2277,-23,-1] score:1 trace|run result time:18.37 |
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | [-91,-2177,-37,-11] score:1 trace|run result time:167.27 |
[-91,-2177,-37,-11] score:1 trace|run result time:137.67 |
[-91,-2177,-37,-11] score:1 trace|run result time:55.61 |
[-91,-2177,-37,-11] score:1 trace|run result time:17.99 |
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | FAIL score:8 trace|run time:290.10 |
[-70,-2142,-19,-6] score:1 trace|run result time:134.88 |
[-70,-2142,-19,-6] score:1 trace|run result time:51.03 |
[-70,-2142,-19,-6] score:1 trace|run result time:20.25 |
412959c6-e965-11de-8ebf-00163e6585dd.cudf | [-28,-253,-24,-1] score:1 trace|run result time:1.30 |
[-28,-253,-24,-1] score:1 trace|run result time:3.97 |
[-28,-253,-24,-1] score:1 trace|run result time:3.98 |
[-28,-253,-24,-1] score:1 trace|run result time:4.98 |
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | [-16,-2152,-13,-2] score:1 trace|run result time:53.59 |
[-16,-2152,-13,-2] score:1 trace|run result time:133.03 |
[-16,-2152,-13,-2] score:1 trace|run result time:51.60 |
[-16,-2152,-13,-2] score:1 trace|run result time:13.68 |
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.14 |
[-31,-2268,-26,-2] score:1 trace|run result time:138.38 |
[-31,-2268,-26,-2] score:1 trace|run result time:34.65 |
[-31,-2268,-26,-2] score:1 trace|run result time:15.72 |
29180036-5408-11df-9f57-00163e7a6f5e.cudf | [-21,-659,-18,-3] score:1 trace|run result time:1.41 |
[-21,-659,-18,-3] score:1 trace|run result time:8.22 |
[-21,-659,-18,-3] score:1 trace|run result time:1.76 |
[-21,-659,-18,-3] score:1 trace|run result time:5.33 |
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.04 |
[-31,-2274,-26,-2] score:1 trace|run result time:145.84 |
[-31,-2274,-26,-2] score:1 trace|run result time:46.91 |
[-31,-2274,-26,-2] score:1 trace|run result time:15.52 |
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | FAIL score:8 trace|run time:290.06 |
[-27,-2277,-23,-1] score:1 trace|run result time:144.82 |
[-27,-2277,-23,-1] score:1 trace|run result time:39.63 |
[-27,-2277,-23,-1] score:1 trace|run result time:15.16 |
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | [-21,-659,-18,-3] score:1 trace|run result time:1.42 |
[-21,-659,-18,-3] score:1 trace|run result time:8.15 |
[-21,-659,-18,-3] score:1 trace|run result time:1.71 |
[-21,-659,-18,-3] score:1 trace|run result time:6.24 |
Problem | aspcud-1.3 | cudf2msu4user-1.0 | cudf2pbo4user-1.0 | p2cudf-user-1.10 |
---|---|---|---|---|
randf61f65.cudf | [-131,-518,-31,-78] score:1 trace|run result time:26.51 |
[-131,-518,-31,-78] score:1 trace|run result time:7.50 |
[-131,-518,-31,-78] score:1 trace|run result time:6.96 |
[-131,-518,-31,-78] score:1 trace|run result time:10.80 |
randf406d5.cudf | FAIL score:8 trace|run time:1.40 |
FAIL score:8 trace|run time:0.99 |
FAIL score:8 trace|run time:1.07 |
FAIL score:8 trace|run time:4.39 |
randf17677.cudf | [-105,-551,-31,-63] score:1 trace|run result time:81.27 |
[-105,-551,-31,-63] score:1 trace|run result time:7.00 |
[-105,-551,-31,-63] score:1 trace|run result time:7.23 |
[-105,-551,-31,-63] score:1 trace|run result time:17.57 |
rande4fcd8.cudf | [-99,-547,-28,-70] score:1 trace|run result time:159.77 |
[-99,-547,-28,-70] score:1 trace|run result time:9.04 |
[-99,-547,-28,-70] score:1 trace|run result time:9.79 |
[-99,-547,-28,-70] score:1 trace|run result time:14.86 |
randd8bf6a.cudf | [-73,-527,-43,-28] score:1 trace|run result time:9.34 |
[-73,-527,-43,-28] score:1 trace|run result time:6.59 |
[-73,-527,-43,-28] score:1 trace|run result time:3.02 |
[-73,-527,-43,-28] score:1 trace|run result time:7.30 |
randc10393.cudf | [-129,-497,-45,-52] score:1 trace|run result time:90.51 |
[-129,-497,-45,-52] score:1 trace|run result time:7.64 |
[-129,-497,-45,-52] score:1 trace|run result time:9.97 |
[-129,-497,-45,-52] score:1 trace|run result time:18.51 |
randa870aa.cudf | [-145,-512,-42,-72] score:1 trace|run result time:64.04 |
[-145,-512,-42,-72] score:1 trace|run result time:7.81 |
[-145,-512,-42,-72] score:1 trace|run result time:6.64 |
[-145,-512,-42,-72] score:1 trace|run result time:10.50 |
randa651ed.cudf | FAIL score:8 trace|run time:290.10 |
[-143,-540,-44,-87] score:1 trace|run result time:7.44 |
[-143,-540,-44,-87] score:1 trace|run result time:9.02 |
[-143,-540,-44,-87] score:1 trace|run result time:17.61 |
randa45895.cudf | FAIL score:8 trace|run time:1.29 |
FAIL score:8 trace|run time:1.64 |
FAIL score:8 trace|run time:1.00 |
FAIL score:8 trace|run time:4.33 |
rand95e48b.cudf | FAIL score:8 trace|run time:290.12 |
[-189,-502,-48,-110] score:1 trace|run result time:9.66 |
[-189,-502,-48,-110] score:1 trace|run result time:152.69 |
[-189,-502,-49,-109] score:3 trace|run result time:285.50 |
rand908403.cudf | [-127,-544,-50,-69] score:1 trace|run result time:7.99 |
[-127,-544,-50,-69] score:1 trace|run result time:9.75 |
[-127,-544,-50,-69] score:1 trace|run result time:3.59 |
[-127,-544,-50,-69] score:1 trace|run result time:7.62 |
rand847939.cudf | FAIL score:8 trace|run time:290.05 |
[-179,-540,-60,-109] score:1 trace|run result time:8.68 |
[-179,-540,-60,-109] score:1 trace|run result time:17.63 |
[-179,-540,-60,-109] score:1 trace|run result time:32.30 |
rand7b4167.cudf | [-85,-520,-52,-30] score:1 trace|run result time:29.40 |
[-85,-520,-52,-30] score:1 trace|run result time:6.35 |
[-85,-520,-52,-30] score:1 trace|run result time:3.22 |
[-85,-520,-52,-30] score:1 trace|run result time:10.22 |
rand50a937.cudf | [-255,-525,-35,-201] score:1 trace|run result time:98.52 |
[-255,-525,-35,-201] score:1 trace|run result time:11.52 |
[-255,-525,-35,-201] score:1 trace|run result time:8.06 |
[-255,-525,-35,-201] score:1 trace|run result time:21.76 |
rand4d6b1c.cudf | FAIL score:8 trace|run time:290.08 |
[-113,-550,-40,-72] score:1 trace|run result time:10.37 |
[-113,-550,-40,-72] score:1 trace|run result time:40.74 |
[-113,-550,-40,-72] score:1 trace|run result time:42.01 |
rand49d73b.cudf | [-131,-514,-56,-65] score:1 trace|run result time:104.59 |
[-131,-514,-56,-65] score:1 trace|run result time:8.02 |
[-131,-514,-56,-65] score:1 trace|run result time:7.60 |
[-131,-514,-56,-65] score:1 trace|run result time:20.34 |
rand394916.cudf | FAIL score:8 trace|run time:1.35 |
FAIL score:8 trace|run time:1.86 |
FAIL score:8 trace|run time:1.01 |
FAIL score:8 trace|run time:5.54 |
rand2fe899.cudf | FAIL score:8 trace|run time:290.05 |
[-175,-441,-119,-38] score:1 trace|run result time:8.68 |
[-175,-441,-119,-38] score:1 trace|run result time:15.17 |
[-175,-441,-119,-38] score:1 trace|run result time:23.65 |
rand2d2fd0.cudf | [-137,-508,-34,-82] score:1 trace|run result time:18.78 |
[-137,-508,-34,-82] score:1 trace|run result time:7.81 |
[-137,-508,-34,-82] score:1 trace|run result time:5.52 |
[-137,-508,-34,-82] score:1 trace|run result time:11.39 |
rand14ba69.cudf | [-120,-567,-36,-82] score:1 trace|run result time:25.71 |
[-120,-567,-36,-82] score:1 trace|run result time:9.56 |
[-120,-567,-36,-82] score:1 trace|run result time:4.50 |
[-120,-567,-36,-82] score:1 trace|run result time:8.27 |
rand0aa5c1.cudf | [-151,-545,-59,-85] score:1 trace|run result time:21.65 |
[-151,-545,-59,-85] score:1 trace|run result time:9.02 |
[-151,-545,-59,-85] score:1 trace|run result time:5.66 |
[-151,-545,-59,-85] score:1 trace|run result time:13.98 |
rand06f749.cudf | [-181,-512,-30,-120] score:1 trace|run result time:50.43 |
[-181,-512,-30,-120] score:1 trace|run result time:7.34 |
[-181,-512,-30,-120] score:1 trace|run result time:23.68 |
[-181,-512,-30,-120] score:1 trace|run result time:28.14 |
Problem | aspcud-1.3 | cudf2msu4user-1.0 | cudf2pbo4user-1.0 | p2cudf-user-1.10 |
---|---|---|---|---|
randf7a7e4.cudf | [-425,-1,-403,-22] score:1 trace|run result time:1.16 |
[-425,-1,-403,-22] score:1 trace|run result time:6.58 |
[-425,-1,-403,-22] score:1 trace|run result time:0.97 |
[-425,-1,-403,-22] score:1 trace|run result time:7.04 |
randeb343c.cudf | [-95,-1,-54,-41] score:1 trace|run result time:1.29 |
[-95,-1,-54,-41] score:1 trace|run result time:2.01 |
[-95,-1,-54,-41] score:1 trace|run result time:1.65 |
[-95,-1,-54,-41] score:1 trace|run result time:5.36 |
randea6106.cudf | [-97,-2,-61,-36] score:1 trace|run result time:1.29 |
[-97,-2,-61,-36] score:1 trace|run result time:2.07 |
[-97,-2,-61,-36] score:1 trace|run result time:1.55 |
[-97,-2,-61,-36] score:1 trace|run result time:6.57 |
randc192b7.cudf | [-192,-3,-86,-106] score:1 trace|run result time:1.12 |
[-192,-3,-86,-106] score:1 trace|run result time:3.33 |
[-192,-3,-86,-106] score:1 trace|run result time:1.37 |
[-192,-3,-86,-106] score:1 trace|run result time:6.52 |
randbe9acf.cudf | [-110,-1,-72,-38] score:1 trace|run result time:1.31 |
[-110,-1,-72,-38] score:1 trace|run result time:2.23 |
[-110,-1,-72,-38] score:1 trace|run result time:1.17 |
[-110,-1,-72,-38] score:1 trace|run result time:6.20 |
randba6b5b.cudf | [-78,-2,-52,-25] score:1 trace|run result time:1.23 |
[-78,-2,-52,-25] score:1 trace|run result time:1.82 |
[-78,-2,-52,-25] score:1 trace|run result time:1.06 |
[-78,-2,-52,-25] score:1 trace|run result time:6.69 |
randadea40.cudf | [-116,-1,-95,-21] score:1 trace|run result time:1.20 |
[-116,-1,-95,-21] score:1 trace|run result time:2.36 |
[-116,-1,-95,-21] score:1 trace|run result time:1.23 |
[-116,-1,-95,-21] score:1 trace|run result time:5.12 |
randaaa8ea.cudf | [-82,-1,-65,-17] score:1 trace|run result time:1.17 |
[-82,-1,-65,-17] score:1 trace|run result time:1.91 |
[-82,-1,-65,-17] score:1 trace|run result time:1.13 |
[-82,-1,-65,-17] score:1 trace|run result time:5.09 |
randa9ba44.cudf | [-55,-1,-35,-20] score:1 trace|run result time:1.14 |
[-55,-1,-35,-20] score:1 trace|run result time:1.48 |
[-55,-1,-35,-20] score:1 trace|run result time:0.93 |
[-55,-1,-35,-20] score:1 trace|run result time:6.26 |
rand951a14.cudf | [-126,-1,-96,-30] score:1 trace|run result time:1.13 |
[-126,-1,-96,-30] score:1 trace|run result time:2.41 |
[-126,-1,-96,-30] score:1 trace|run result time:1.12 |
[-126,-1,-96,-30] score:1 trace|run result time:6.30 |
rand8d117b.cudf | [-157,-1,-96,-61] score:1 trace|run result time:1.12 |
[-157,-1,-96,-61] score:1 trace|run result time:2.88 |
[-157,-1,-96,-61] score:1 trace|run result time:1.12 |
[-157,-1,-96,-61] score:1 trace|run result time:6.42 |
rand7fec8c.cudf | [-69,-1,-30,-39] score:1 trace|run result time:1.16 |
[-69,-1,-30,-39] score:1 trace|run result time:1.69 |
[-69,-1,-30,-39] score:1 trace|run result time:0.96 |
[-69,-1,-30,-39] score:1 trace|run result time:6.84 |
rand6d933e.cudf | [-88,-2,-58,-29] score:1 trace|run result time:1.16 |
[-88,-2,-58,-29] score:1 trace|run result time:1.97 |
[-88,-2,-58,-29] score:1 trace|run result time:0.96 |
[-88,-2,-58,-29] score:1 trace|run result time:6.68 |
rand61b840.cudf | [-247,-1,-139,-108] score:1 trace|run result time:1.17 |
[-247,-1,-139,-108] score:1 trace|run result time:4.32 |
[-247,-1,-139,-108] score:1 trace|run result time:1.44 |
[-247,-1,-139,-108] score:1 trace|run result time:6.54 |
rand5c1800.cudf | [-70,-1,-52,-18] score:1 trace|run result time:1.11 |
[-70,-1,-52,-18] score:1 trace|run result time:1.72 |
[-70,-1,-52,-18] score:1 trace|run result time:0.93 |
[-70,-1,-52,-18] score:1 trace|run result time:6.75 |
rand5619c8.cudf | [-146,-1,-58,-88] score:1 trace|run result time:1.16 |
[-146,-1,-58,-88] score:1 trace|run result time:2.74 |
[-146,-1,-58,-88] score:1 trace|run result time:1.11 |
[-146,-1,-58,-88] score:1 trace|run result time:5.28 |
rand359ca0.cudf | [-65,-2,-31,-34] score:1 trace|run result time:1.16 |
[-65,-2,-31,-34] score:1 trace|run result time:1.63 |
[-65,-2,-31,-34] score:1 trace|run result time:1.13 |
[-65,-2,-31,-34] score:1 trace|run result time:5.45 |
rand2fb7ab.cudf | [-193,-1,-117,-76] score:1 trace|run result time:1.11 |
[-193,-1,-117,-76] score:1 trace|run result time:3.28 |
[-193,-1,-117,-76] score:1 trace|run result time:1.20 |
[-193,-1,-117,-76] score:1 trace|run result time:6.78 |
rand1bff33.cudf | [-40,-1,-23,-17] score:1 trace|run result time:1.16 |
[-40,-1,-23,-17] score:1 trace|run result time:1.32 |
[-40,-1,-23,-17] score:1 trace|run result time:1.02 |
[-40,-1,-23,-17] score:1 trace|run result time:6.77 |
rand13b58e.cudf | [-238,-3,-184,-52] score:1 trace|run result time:1.16 |
[-238,-3,-184,-52] score:1 trace|run result time:4.06 |
[-238,-3,-184,-52] score:1 trace|run result time:0.97 |
[-238,-3,-184,-52] score:1 trace|run result time:5.92 |
rand08759d.cudf | [-109,-1,-27,-82] score:1 trace|run result time:1.30 |
[-109,-1,-27,-82] score:1 trace|run result time:2.17 |
[-109,-1,-27,-82] score:1 trace|run result time:1.12 |
[-109,-1,-27,-82] score:1 trace|run result time:5.69 |
Problem | aspcud-1.3 | cudf2msu4user-1.0 | cudf2pbo4user-1.0 | p2cudf-user-1.10 |
---|---|---|---|---|
randfa4522.cudf | [0,-624,0,0] score:1 trace|run result time:4.16 |
[0,-624,0,0] score:1 trace|run result time:27.65 |
[0,-624,0,0] score:1 trace|run result time:4.14 |
[0,-624,0,0] score:1 trace|run result time:8.18 |
randec88d5.cudf | FAIL score:8 trace|run time:290.11 |
[-195,-561,-93,-67] score:1 trace|run result time:41.83 |
[-195,-561,-93,-67] score:1 trace|run result time:141.44 |
[-195,-561,-93,-67] score:1 trace|run result time:126.56 |
randaafcce.cudf | [-141,-600,-77,-58] score:1 trace|run result time:7.11 |
[-141,-600,-77,-58] score:1 trace|run result time:40.79 |
[-141,-600,-77,-58] score:1 trace|run result time:27.78 |
[-141,-600,-77,-58] score:1 trace|run result time:14.74 |
randa223c3.cudf | [-193,-540,-70,-61] score:1 trace|run result time:15.80 |
[-193,-540,-70,-61] score:1 trace|run result time:41.16 |
[-193,-540,-70,-61] score:1 trace|run result time:14.34 |
[-193,-540,-70,-61] score:1 trace|run result time:26.31 |
rand8cc693.cudf | FAIL score:8 trace|run time:290.03 |
[-327,-642,-118,-129] score:3 trace|run result time:290.03 |
[-327,-560,-116,-129] score:1 trace|run result time:218.88 |
[-327,-560,-119,-129] score:2 trace|run result time:286.61 |
rand878003.cudf | FAIL score:8 trace|run time:290.13 |
NOTSOL score:12 trace|run result time:290.02 |
[-193,-569,-78,-87] score:1 trace|run result time:268.25 |
[-193,-569,-78,-87] score:1 trace|run result time:129.13 |
rand835640.cudf | [-105,-591,-42,-44] score:1 trace|run result time:12.85 |
[-105,-591,-42,-44] score:1 trace|run result time:36.13 |
[-105,-591,-42,-44] score:1 trace|run result time:13.91 |
[-105,-591,-42,-44] score:1 trace|run result time:23.80 |
rand81406f.cudf | [-66,-612,-28,-31] score:1 trace|run result time:30.62 |
[-66,-612,-28,-31] score:1 trace|run result time:34.68 |
[-66,-612,-28,-31] score:1 trace|run result time:21.17 |
[-66,-612,-28,-31] score:1 trace|run result time:30.17 |
rand7902a8.cudf | [-179,-575,-38,-85] score:1 trace|run result time:230.21 |
[-179,-575,-38,-85] score:1 trace|run result time:44.51 |
[-179,-575,-38,-85] score:1 trace|run result time:27.21 |
[-179,-575,-38,-85] score:1 trace|run result time:31.50 |
rand7141b1.cudf | [-145,-578,-70,-44] score:1 trace|run result time:117.86 |
[-145,-578,-70,-44] score:1 trace|run result time:40.61 |
[-145,-578,-70,-44] score:1 trace|run result time:74.19 |
[-145,-578,-70,-44] score:1 trace|run result time:89.18 |
rand6b4d6e.cudf | FAIL score:8 trace|run time:290.07 |
[-174,-568,-44,-88] score:1 trace|run result time:40.26 |
[-174,-568,-44,-88] score:1 trace|run result time:101.89 |
[-174,-568,-44,-88] score:1 trace|run result time:101.43 |
rand655e63.cudf | [-136,-574,-56,-47] score:1 trace|run result time:35.11 |
[-136,-574,-56,-47] score:1 trace|run result time:117.11 |
[-136,-574,-56,-47] score:1 trace|run result time:27.97 |
[-136,-574,-56,-47] score:1 trace|run result time:49.72 |
rand3dec28.cudf | [-114,-607,-41,-52] score:1 trace|run result time:17.47 |
[-114,-607,-41,-52] score:1 trace|run result time:38.94 |
[-114,-607,-41,-52] score:1 trace|run result time:16.21 |
[-114,-607,-41,-52] score:1 trace|run result time:14.88 |
rand332173.cudf | FAIL score:8 trace|run time:290.10 |
NOTSOL score:12 trace|run result time:290.01 |
[-202,-569,-41,-103] score:1 trace|run result time:75.54 |
[-202,-569,-41,-103] score:1 trace|run result time:183.43 |
rand0695fb.cudf | [-170,-552,-84,-54] score:1 trace|run result time:9.34 |
[-170,-552,-84,-54] score:1 trace|run result time:38.91 |
[-170,-552,-84,-54] score:1 trace|run result time:20.15 |
[-170,-552,-84,-54] score:1 trace|run result time:18.49 |