| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| rand992.cudf | [-102,-559,-27,-284] score:1 trace|run result time:7.19 |
[-102,-559,-27,-284] score:1 trace|run result time:16.82 |
[-102,-559,-27,-284] score:1 trace|run result time:30.69 |
[-102,-559,-27,-284] score:1 trace|run result time:26.81 |
[-102,-559,-27,-284] score:1 trace|run result time:138.97 |
[-102,-559,-27,-284] score:1 trace|run result time:36.17 |
| rand933.cudf | [-12,-415,-9,-312] score:1 trace|run result time:8.83 |
[-12,-415,-9,-312] score:1 trace|run result time:13.81 |
[-12,-415,-9,-312] score:1 trace|run result time:18.44 |
[-12,-415,-9,-312] score:1 trace|run result time:22.21 |
[-12,-415,-9,-312] score:1 trace|run result time:27.18 |
[-12,-415,-9,-312] score:1 trace|run result time:21.17 |
| rand929.cudf | [0,-24,-1,-16] score:1 trace|run result time:1.98 |
[0,-24,-1,-16] score:1 trace|run result time:1.77 |
[0,-24,-1,-16] score:1 trace|run result time:3.81 |
[0,-24,-1,-16] score:1 trace|run result time:6.32 |
[0,-24,-1,-16] score:1 trace|run result time:3.22 |
[0,-24,-1,-16] score:1 trace|run result time:2.83 |
| rand83.cudf | [-16,-419,-8,-307] score:1 trace|run result time:6.77 |
[-16,-419,-8,-307] score:1 trace|run result time:13.73 |
[-16,-419,-8,-307] score:1 trace|run result time:19.12 |
[-16,-419,-8,-307] score:1 trace|run result time:21.07 |
[-16,-419,-8,-307] score:1 trace|run result time:27.69 |
[-16,-419,-8,-307] score:1 trace|run result time:20.51 |
| rand733.cudf | [-31,-26,-3,-46] score:1 trace|run result time:2.04 |
[-31,-26,-3,-46] score:1 trace|run result time:1.94 |
[-31,-26,-3,-46] score:1 trace|run result time:3.81 |
[-31,-26,-3,-46] score:1 trace|run result time:5.83 |
[-31,-26,-3,-46] score:1 trace|run result time:3.90 |
[-31,-26,-3,-46] score:1 trace|run result time:3.82 |
| rand692.cudf | [-94,-22,-7,-19] score:1 trace|run result time:2.25 |
[-94,-22,-7,-19] score:1 trace|run result time:1.91 |
[-94,-22,-7,-19] score:1 trace|run result time:3.73 |
[-94,-22,-7,-19] score:1 trace|run result time:5.45 |
[-94,-22,-7,-19] score:1 trace|run result time:3.93 |
[-94,-22,-7,-19] score:1 trace|run result time:4.12 |
| rand662.cudf | [-30,-406,-13,-289] score:1 trace|run result time:5.93 |
[-30,-406,-13,-289] score:1 trace|run result time:13.76 |
[-30,-406,-13,-289] score:1 trace|run result time:18.47 |
[-30,-406,-13,-289] score:1 trace|run result time:20.56 |
[-30,-406,-13,-289] score:1 trace|run result time:28.93 |
[-30,-406,-13,-289] score:1 trace|run result time:21.08 |
| rand66.cudf | [-40,-31,-17,-26] score:1 trace|run result time:2.15 |
[-40,-31,-17,-26] score:1 trace|run result time:1.89 |
[-40,-31,-17,-26] score:1 trace|run result time:3.63 |
[-40,-31,-17,-26] score:1 trace|run result time:5.17 |
[-40,-31,-17,-26] score:1 trace|run result time:3.89 |
[-40,-31,-17,-26] score:1 trace|run result time:3.78 |
| rand59.cudf | [-109,-10,-19,-37] score:1 trace|run result time:2.15 |
[-109,-10,-19,-37] score:1 trace|run result time:1.88 |
[-109,-10,-19,-37] score:1 trace|run result time:3.90 |
[-109,-10,-19,-37] score:1 trace|run result time:5.94 |
[-109,-10,-19,-37] score:1 trace|run result time:3.79 |
[-109,-10,-19,-37] score:1 trace|run result time:4.14 |
| rand512.cudf | [-13,-24,-4,-69] score:1 trace|run result time:2.26 |
[-13,-24,-4,-69] score:1 trace|run result time:2.06 |
[-13,-24,-4,-69] score:1 trace|run result time:3.97 |
[-13,-24,-4,-69] score:1 trace|run result time:5.32 |
[-13,-24,-4,-69] score:1 trace|run result time:3.88 |
[-13,-24,-4,-69] score:1 trace|run result time:3.86 |
| rand461.cudf | [-21,-420,-11,-310] score:1 trace|run result time:7.08 |
[-21,-420,-11,-310] score:1 trace|run result time:13.97 |
[-21,-420,-11,-310] score:1 trace|run result time:21.55 |
[-21,-420,-11,-310] score:1 trace|run result time:22.33 |
[-21,-420,-11,-310] score:1 trace|run result time:70.68 |
[-21,-420,-11,-310] score:1 trace|run result time:38.63 |
| rand455.cudf | [-36,-24,-11,-63] score:1 trace|run result time:2.29 |
[-36,-24,-11,-63] score:1 trace|run result time:1.92 |
[-36,-24,-11,-63] score:1 trace|run result time:3.85 |
[-36,-24,-11,-63] score:1 trace|run result time:5.52 |
[-36,-24,-11,-63] score:1 trace|run result time:3.99 |
[-36,-24,-11,-63] score:1 trace|run result time:3.81 |
| rand440.cudf | [-20,-405,-15,-314] score:1 trace|run result time:6.89 |
[-20,-405,-15,-314] score:1 trace|run result time:14.13 |
[-20,-405,-15,-314] score:1 trace|run result time:19.60 |
[-20,-405,-15,-314] score:1 trace|run result time:18.31 |
[-20,-405,-15,-314] score:1 trace|run result time:103.70 |
[-20,-405,-15,-314] score:1 trace|run result time:31.90 |
| rand434.cudf | [-38,-27,-6,-90] score:1 trace|run result time:2.25 |
[-38,-27,-6,-90] score:1 trace|run result time:2.00 |
[-38,-27,-6,-90] score:1 trace|run result time:3.90 |
[-38,-27,-6,-90] score:1 trace|run result time:5.74 |
[-38,-27,-6,-90] score:1 trace|run result time:5.44 |
[-38,-27,-6,-90] score:1 trace|run result time:6.30 |
| rand399.cudf | [-20,-22,-4,-26] score:1 trace|run result time:2.20 |
[-20,-22,-4,-26] score:1 trace|run result time:1.89 |
[-20,-22,-4,-26] score:1 trace|run result time:3.76 |
[-20,-22,-4,-26] score:1 trace|run result time:5.51 |
[-20,-22,-4,-26] score:1 trace|run result time:4.00 |
[-20,-22,-4,-26] score:1 trace|run result time:3.67 |
| rand390.cudf | [-44,-416,-39,-299] score:1 trace|run result time:6.15 |
[-44,-416,-39,-299] score:1 trace|run result time:14.09 |
[-44,-416,-39,-299] score:1 trace|run result time:17.81 |
[-44,-416,-39,-299] score:1 trace|run result time:27.63 |
[-44,-416,-39,-299] score:1 trace|run result time:34.85 |
[-44,-416,-39,-299] score:1 trace|run result time:21.38 |
| rand282.cudf | [-9,-418,-11,-321] score:1 trace|run result time:7.39 |
[-9,-418,-11,-321] score:1 trace|run result time:13.90 |
[-9,-418,-11,-321] score:1 trace|run result time:19.13 |
[-9,-418,-11,-321] score:1 trace|run result time:21.25 |
[-9,-418,-11,-321] score:1 trace|run result time:29.57 |
[-9,-418,-11,-321] score:1 trace|run result time:22.06 |
| rand252.cudf | [0,-420,-8,-300] score:1 trace|run result time:5.06 |
[0,-420,-8,-300] score:1 trace|run result time:8.29 |
[0,-420,-8,-300] score:1 trace|run result time:31.89 |
[0,-420,-8,-300] score:1 trace|run result time:21.13 |
[0,-420,-8,-300] score:1 trace|run result time:19.12 |
[0,-420,-8,-300] score:1 trace|run result time:16.28 |
| rand21.cudf | [-17,-176,-10,-368] score:1 trace|run result time:6.68 |
[-17,-176,-10,-368] score:1 trace|run result time:9.87 |
[-17,-176,-10,-368] score:1 trace|run result time:18.74 |
[-17,-176,-10,-368] score:1 trace|run result time:19.94 |
[-17,-176,-10,-368] score:1 trace|run result time:86.29 |
[-17,-176,-10,-368] score:1 trace|run result time:33.04 |
| rand192.cudf | [-13,-412,-11,-387] score:1 trace|run result time:7.04 |
[-13,-412,-11,-387] score:1 trace|run result time:14.32 |
[-13,-412,-11,-387] score:1 trace|run result time:19.41 |
[-13,-412,-11,-387] score:1 trace|run result time:18.99 |
[-13,-412,-11,-387] score:1 trace|run result time:72.75 |
[-13,-412,-11,-387] score:1 trace|run result time:33.10 |
| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf | [0,-65,-22,-320] score:1 trace|run result time:6.74 |
[0,-65,-22,-320] score:1 trace|run result time:9.04 |
[0,-65,-22,-320] score:1 trace|run result time:16.86 |
[0,-65,-22,-320] score:1 trace|run result time:23.45 |
[0,-65,-22,-320] score:1 trace|run result time:22.09 |
[0,-65,-22,-320] score:1 trace|run result time:22.17 |
| fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf | [0,-162,-15,-298] score:1 trace|run result time:3.27 |
[0,-162,-15,-298] score:1 trace|run result time:3.07 |
[0,-162,-15,-298] score:1 trace|run result time:10.14 |
[0,-162,-15,-298] score:1 trace|run result time:7.95 |
[0,-162,-15,-298] score:1 trace|run result time:6.18 |
[0,-162,-15,-298] score:1 trace|run result time:6.28 |
| fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf | [0,-87,-11,-192] score:1 trace|run result time:2.66 |
[0,-87,-11,-192] score:1 trace|run result time:2.08 |
[0,-87,-11,-192] score:1 trace|run result time:10.40 |
[0,-87,-11,-192] score:1 trace|run result time:10.34 |
[0,-87,-11,-192] score:1 trace|run result time:6.61 |
[0,-87,-11,-192] score:1 trace|run result time:8.96 |
| f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf | [0,-23,-1,-137] score:1 trace|run result time:2.50 |
[0,-23,-1,-137] score:1 trace|run result time:1.65 |
[0,-23,-1,-137] score:1 trace|run result time:6.03 |
[0,-23,-1,-137] score:1 trace|run result time:7.96 |
[0,-23,-1,-137] score:1 trace|run result time:4.05 |
[0,-23,-1,-137] score:1 trace|run result time:3.72 |
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | [0,-17,-3,-58] score:1 trace|run result time:1.63 |
[0,-17,-3,-58] score:1 trace|run result time:1.48 |
[0,-17,-3,-58] score:1 trace|run result time:3.96 |
[0,-17,-3,-58] score:1 trace|run result time:6.40 |
[0,-17,-3,-58] score:1 trace|run result time:3.12 |
[0,-17,-3,-58] score:1 trace|run result time:2.80 |
| ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf | [-4,-48,-1,-111] score:1 trace|run result time:3.37 |
[-4,-48,-1,-111] score:1 trace|run result time:2.83 |
[-4,-48,-1,-111] score:1 trace|run result time:4.79 |
[-4,-48,-1,-111] score:1 trace|run result time:8.02 |
[-4,-48,-1,-111] score:1 trace|run result time:8.72 |
[-4,-48,-1,-111] score:1 trace|run result time:7.84 |
| ec32fc68-7254-11e0-8436-00163e1e087d.cudf | [0,-44,-2,-124] score:1 trace|run result time:2.23 |
[0,-44,-2,-124] score:1 trace|run result time:1.95 |
[0,-44,-2,-124] score:1 trace|run result time:5.40 |
[0,-44,-2,-124] score:1 trace|run result time:8.29 |
[0,-44,-2,-124] score:1 trace|run result time:4.84 |
[0,-44,-2,-124] score:1 trace|run result time:5.03 |
| e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf | [0,-195,-19,-384] score:1 trace|run result time:8.84 |
[0,-195,-19,-384] score:1 trace|run result time:12.12 |
[0,-195,-19,-384] score:1 trace|run result time:19.08 |
[0,-195,-19,-384] score:1 trace|run result time:28.05 |
[0,-195,-19,-384] score:1 trace|run result time:169.81 |
[0,-195,-19,-384] score:1 trace|run result time:26.47 |
| e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf | [0,-23,-1,-137] score:1 trace|run result time:2.51 |
[0,-23,-1,-137] score:1 trace|run result time:1.74 |
[0,-23,-1,-137] score:1 trace|run result time:5.89 |
[0,-23,-1,-137] score:1 trace|run result time:8.16 |
[0,-23,-1,-137] score:1 trace|run result time:4.00 |
[0,-23,-1,-137] score:1 trace|run result time:3.72 |
| e381ba7e-a192-11e0-8647-00163e1e087d.cudf | [0,-234,-15,-248] score:1 trace|run result time:67.37 |
[0,-234,-15,-248] score:1 trace|run result time:6.72 |
[0,-234,-15,-248] score:1 trace|run result time:284.97 |
[0,-234,-15,-248] score:1 trace|run result time:175.38 |
[0,-234,-15,-248] score:1 trace|run result time:8.00 |
[0,-234,-15,-248] score:1 trace|run result time:9.12 |
| e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf | [-4,-47,-1,-101] score:1 trace|run result time:3.42 |
[-4,-47,-1,-101] score:1 trace|run result time:2.71 |
[-4,-47,-1,-101] score:1 trace|run result time:4.60 |
[-4,-47,-1,-101] score:1 trace|run result time:7.52 |
[-4,-47,-1,-101] score:1 trace|run result time:8.69 |
[-4,-47,-1,-101] score:1 trace|run result time:7.75 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | [0,-10,-3,-50] score:1 trace|run result time:1.54 |
[0,-10,-3,-50] score:1 trace|run result time:1.29 |
[0,-10,-3,-50] score:1 trace|run result time:3.20 |
[0,-10,-3,-50] score:1 trace|run result time:5.52 |
[0,-10,-3,-50] score:1 trace|run result time:2.68 |
[0,-10,-3,-50] score:1 trace|run result time:2.52 |
| deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf | [0,-87,-11,-192] score:1 trace|run result time:2.67 |
[0,-87,-11,-192] score:1 trace|run result time:2.07 |
[0,-87,-11,-192] score:1 trace|run result time:10.31 |
[0,-87,-11,-192] score:1 trace|run result time:10.52 |
[0,-87,-11,-192] score:1 trace|run result time:6.56 |
[0,-87,-11,-192] score:1 trace|run result time:8.81 |
| dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf | [0,-65,-23,-301] score:1 trace|run result time:4.97 |
[0,-65,-23,-301] score:1 trace|run result time:7.68 |
[0,-65,-23,-301] score:1 trace|run result time:14.39 |
[0,-65,-23,-301] score:1 trace|run result time:17.42 |
[0,-65,-23,-301] score:1 trace|run result time:17.39 |
[0,-65,-23,-301] score:1 trace|run result time:21.03 |
| dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf | [0,-25,-2,-148] score:1 trace|run result time:2.64 |
[0,-25,-2,-148] score:1 trace|run result time:1.92 |
[0,-25,-2,-148] score:1 trace|run result time:7.08 |
[0,-25,-2,-148] score:1 trace|run result time:10.48 |
[0,-25,-2,-148] score:1 trace|run result time:4.15 |
[0,-25,-2,-148] score:1 trace|run result time:4.08 |
| d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf | [0,-25,-2,-148] score:1 trace|run result time:2.63 |
[0,-25,-2,-148] score:1 trace|run result time:1.88 |
[0,-25,-2,-148] score:1 trace|run result time:7.10 |
[0,-25,-2,-148] score:1 trace|run result time:10.58 |
[0,-25,-2,-148] score:1 trace|run result time:4.20 |
[0,-25,-2,-148] score:1 trace|run result time:4.08 |
| d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf | [0,-65,-23,-301] score:1 trace|run result time:4.93 |
[0,-65,-23,-301] score:1 trace|run result time:7.78 |
[0,-65,-23,-301] score:1 trace|run result time:14.34 |
[0,-65,-23,-301] score:1 trace|run result time:17.49 |
[0,-65,-23,-301] score:1 trace|run result time:17.58 |
[0,-65,-23,-301] score:1 trace|run result time:21.03 |
| d0cc7514-c730-11df-a040-00163e3d3b7c.cudf | [0,-123,-28,-290] score:1 trace|run result time:8.99 |
[0,-123,-28,-290] score:1 trace|run result time:9.44 |
[0,-123,-28,-290] score:1 trace|run result time:18.11 |
[0,-123,-28,-290] score:1 trace|run result time:29.28 |
[0,-123,-28,-290] score:1 trace|run result time:42.42 |
[0,-123,-28,-290] score:1 trace|run result time:27.52 |
| d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf | [0,-25,-2,-148] score:1 trace|run result time:2.64 |
[0,-25,-2,-148] score:1 trace|run result time:1.88 |
[0,-25,-2,-148] score:1 trace|run result time:7.14 |
[0,-25,-2,-148] score:1 trace|run result time:10.67 |
[0,-25,-2,-148] score:1 trace|run result time:4.19 |
[0,-25,-2,-148] score:1 trace|run result time:4.08 |
| cff22854-9512-11e0-8001-00163e1e087d.cudf | [0,-234,-15,-248] score:1 trace|run result time:68.33 |
[0,-234,-15,-248] score:1 trace|run result time:6.68 |
[0,-234,-15,-248] score:1 trace|run result time:285.03 |
[0,-234,-15,-248] score:1 trace|run result time:176.28 |
[0,-234,-15,-248] score:1 trace|run result time:7.91 |
[0,-234,-15,-248] score:1 trace|run result time:9.26 |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | [0,0,0,0] score:1 trace|run result time:0.86 |
[0,0,0,0] score:1 trace|run result time:0.78 |
[0,0,0,0] score:1 trace|run result time:1.91 |
FAIL score:12 trace|run time:300.00 |
[0,0,0,0] score:1 trace|run result time:0.47 |
[0,0,0,0] score:1 trace|run result time:0.53 |
| caefdef6-3477-11e0-84ef-00163e3d3b7c.cudf | [0,-25,-2,-148] score:1 trace|run result time:2.76 |
[0,-25,-2,-148] score:1 trace|run result time:1.90 |
[0,-25,-2,-148] score:1 trace|run result time:7.09 |
[0,-25,-2,-148] score:1 trace|run result time:10.47 |
[0,-25,-2,-148] score:1 trace|run result time:4.11 |
[0,-25,-2,-148] score:1 trace|run result time:4.11 |
| ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf | [0,-87,-11,-192] score:1 trace|run result time:2.69 |
[0,-87,-11,-192] score:1 trace|run result time:2.06 |
[0,-87,-11,-192] score:1 trace|run result time:10.38 |
[0,-87,-11,-192] score:1 trace|run result time:10.36 |
[0,-87,-11,-192] score:1 trace|run result time:6.55 |
[0,-87,-11,-192] score:1 trace|run result time:8.81 |
| c2164c84-b015-11df-8b50-00163e46d37a.cudf | [0,-3,0,-45] score:1 trace|run result time:1.71 |
[0,-3,0,-45] score:1 trace|run result time:1.60 |
[0,-3,0,-45] score:1 trace|run result time:3.14 |
[0,-3,0,-45] score:1 trace|run result time:5.70 |
[0,-3,0,-45] score:1 trace|run result time:2.68 |
[0,-3,0,-45] score:1 trace|run result time:2.51 |
| bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf | [0,-87,-11,-192] score:1 trace|run result time:2.68 |
[0,-87,-11,-192] score:1 trace|run result time:2.04 |
[0,-87,-11,-192] score:1 trace|run result time:10.28 |
[0,-87,-11,-192] score:1 trace|run result time:10.55 |
[0,-87,-11,-192] score:1 trace|run result time:6.53 |
[0,-87,-11,-192] score:1 trace|run result time:8.79 |
| b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf | [-4,-48,-1,-111] score:1 trace|run result time:3.37 |
[-4,-48,-1,-111] score:1 trace|run result time:2.87 |
[-4,-48,-1,-111] score:1 trace|run result time:4.75 |
[-4,-48,-1,-111] score:1 trace|run result time:7.98 |
[-4,-48,-1,-111] score:1 trace|run result time:8.66 |
[-4,-48,-1,-111] score:1 trace|run result time:7.62 |
| adf7b774-9af8-11df-bc37-00163e46d37a.cudf | [0,-163,-15,-298] score:1 trace|run result time:3.23 |
[0,-163,-15,-298] score:1 trace|run result time:3.22 |
[0,-163,-15,-298] score:1 trace|run result time:10.65 |
[0,-163,-15,-298] score:1 trace|run result time:7.89 |
[0,-163,-15,-298] score:1 trace|run result time:6.23 |
[0,-163,-15,-298] score:1 trace|run result time:6.22 |
| ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf | [-2,-406,-8,-303] score:1 trace|run result time:6.41 |
[-2,-406,-8,-303] score:1 trace|run result time:13.22 |
[-2,-406,-8,-303] score:1 trace|run result time:11.71 |
[-2,-406,-8,-303] score:1 trace|run result time:18.29 |
[-2,-406,-8,-303] score:1 trace|run result time:32.12 |
[-2,-406,-8,-303] score:1 trace|run result time:21.59 |
| a754ac72-95cc-11e0-9181-00163e1e087d.cudf | [0,-234,-15,-248] score:1 trace|run result time:67.95 |
[0,-234,-15,-248] score:1 trace|run result time:6.75 |
[0,-234,-15,-248] score:1 trace|run result time:285.16 |
[0,-234,-15,-248] score:1 trace|run result time:175.18 |
[0,-234,-15,-248] score:1 trace|run result time:7.80 |
[0,-234,-15,-248] score:1 trace|run result time:9.07 |
| 978532fa-c730-11df-b070-00163e3d3b7c.cudf | [0,-123,-28,-290] score:1 trace|run result time:9.34 |
[0,-123,-28,-290] score:1 trace|run result time:11.18 |
[0,-123,-28,-290] score:1 trace|run result time:19.62 |
[0,-123,-28,-290] score:1 trace|run result time:28.25 |
[0,-123,-28,-290] score:1 trace|run result time:42.60 |
[0,-123,-28,-290] score:1 trace|run result time:25.70 |
| 8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf | [-2,-406,-8,-303] score:1 trace|run result time:6.28 |
[-2,-406,-8,-303] score:1 trace|run result time:13.23 |
[-2,-406,-8,-303] score:1 trace|run result time:11.58 |
[-2,-406,-8,-303] score:1 trace|run result time:17.89 |
[-2,-406,-8,-303] score:1 trace|run result time:32.17 |
[-2,-406,-8,-303] score:1 trace|run result time:21.62 |
| 8afdd89e-51b8-11e0-acd7-00163e1e087d.cudf | [-4,-48,-1,-111] score:1 trace|run result time:3.36 |
[-4,-48,-1,-111] score:1 trace|run result time:2.86 |
[-4,-48,-1,-111] score:1 trace|run result time:4.77 |
[-4,-48,-1,-111] score:1 trace|run result time:7.96 |
[-4,-48,-1,-111] score:1 trace|run result time:8.81 |
[-4,-48,-1,-111] score:1 trace|run result time:7.55 |
| 8680dd8a-8600-11e0-b285-00163e1e087d.cudf | [0,-396,-7,-228] score:1 trace|run result time:5.32 |
[0,-396,-7,-228] score:1 trace|run result time:10.61 |
[0,-396,-7,-228] score:1 trace|run result time:13.46 |
[0,-396,-7,-228] score:1 trace|run result time:14.24 |
[0,-396,-7,-228] score:1 trace|run result time:21.72 |
[0,-396,-7,-228] score:1 trace|run result time:20.07 |
| 8222799a-9af8-11df-8b50-00163e46d37a.cudf | [0,-211,-20,-267] score:1 trace|run result time:2.93 |
[0,-211,-20,-267] score:1 trace|run result time:3.12 |
[0,-211,-20,-267] score:1 trace|run result time:9.16 |
[0,-211,-20,-267] score:1 trace|run result time:8.29 |
[0,-211,-20,-267] score:1 trace|run result time:6.18 |
[0,-211,-20,-267] score:1 trace|run result time:6.18 |
| 80e3fda2-9501-11e0-8001-00163e1e087d.cudf | [0,-234,-15,-248] score:1 trace|run result time:67.96 |
[0,-234,-15,-248] score:1 trace|run result time:6.73 |
[0,-234,-15,-248] score:1 trace|run result time:284.92 |
[0,-234,-15,-248] score:1 trace|run result time:176.12 |
[0,-234,-15,-248] score:1 trace|run result time:7.90 |
[0,-234,-15,-248] score:1 trace|run result time:9.13 |
| 80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf | [0,-211,-20,-267] score:1 trace|run result time:2.97 |
[0,-211,-20,-267] score:1 trace|run result time:3.08 |
[0,-211,-20,-267] score:1 trace|run result time:9.22 |
[0,-211,-20,-267] score:1 trace|run result time:8.05 |
[0,-211,-20,-267] score:1 trace|run result time:6.27 |
[0,-211,-20,-267] score:1 trace|run result time:6.21 |
| 7f80e4f0-4fe9-11e0-acd7-00163e1e087d.cudf | [-4,-47,-1,-101] score:1 trace|run result time:3.54 |
[-4,-47,-1,-101] score:1 trace|run result time:2.65 |
[-4,-47,-1,-101] score:1 trace|run result time:4.66 |
[-4,-47,-1,-101] score:1 trace|run result time:7.86 |
[-4,-47,-1,-101] score:1 trace|run result time:8.50 |
[-4,-47,-1,-101] score:1 trace|run result time:7.69 |
| 7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf | [-4,-48,-1,-111] score:1 trace|run result time:3.39 |
[-4,-48,-1,-111] score:1 trace|run result time:2.75 |
[-4,-48,-1,-111] score:1 trace|run result time:4.76 |
[-4,-48,-1,-111] score:1 trace|run result time:8.13 |
[-4,-48,-1,-111] score:1 trace|run result time:8.81 |
[-4,-48,-1,-111] score:1 trace|run result time:7.59 |
| 7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf | [0,-211,-20,-267] score:1 trace|run result time:2.95 |
[0,-211,-20,-267] score:1 trace|run result time:3.14 |
[0,-211,-20,-267] score:1 trace|run result time:9.33 |
[0,-211,-20,-267] score:1 trace|run result time:8.31 |
[0,-211,-20,-267] score:1 trace|run result time:6.16 |
[0,-211,-20,-267] score:1 trace|run result time:6.24 |
| 6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf | [0,-123,-28,-290] score:1 trace|run result time:9.27 |
[0,-123,-28,-290] score:1 trace|run result time:11.21 |
[0,-123,-28,-290] score:1 trace|run result time:19.69 |
[0,-123,-28,-290] score:1 trace|run result time:27.75 |
[0,-123,-28,-290] score:1 trace|run result time:42.46 |
[0,-123,-28,-290] score:1 trace|run result time:25.79 |
| 56e31304-c17a-11df-b070-00163e3d3b7c.cudf | [0,-333,-17,-311] score:1 trace|run result time:4.82 |
[0,-333,-17,-311] score:1 trace|run result time:10.80 |
[0,-333,-17,-311] score:1 trace|run result time:17.59 |
[0,-333,-17,-314] score:6 trace|run result time:284.69 |
[0,-333,-17,-311] score:1 trace|run result time:21.28 |
[0,-333,-17,-311] score:1 trace|run result time:17.75 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | [0,-4,0,-155] score:1 trace|run result time:3.98 |
[0,-4,0,-155] score:1 trace|run result time:6.10 |
[0,-4,0,-155] score:1 trace|run result time:9.42 |
[0,-4,0,-155] score:1 trace|run result time:8.04 |
[0,-4,0,-155] score:1 trace|run result time:38.35 |
[0,-4,0,-155] score:1 trace|run result time:11.46 |
| 5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf | [0,-123,-28,-290] score:1 trace|run result time:9.04 |
[0,-123,-28,-290] score:1 trace|run result time:9.49 |
[0,-123,-28,-290] score:1 trace|run result time:18.13 |
[0,-123,-28,-290] score:1 trace|run result time:29.69 |
[0,-123,-28,-290] score:1 trace|run result time:43.48 |
[0,-123,-28,-290] score:1 trace|run result time:27.53 |
| 4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf | FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
| 4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf | [0,-333,-17,-311] score:1 trace|run result time:4.80 |
[0,-333,-17,-311] score:1 trace|run result time:10.82 |
[0,-333,-17,-311] score:1 trace|run result time:17.56 |
[0,-333,-17,-314] score:6 trace|run result time:284.65 |
[0,-333,-17,-311] score:1 trace|run result time:21.27 |
[0,-333,-17,-311] score:1 trace|run result time:17.73 |
| 4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf | [0,-65,-23,-301] score:1 trace|run result time:5.05 |
[0,-65,-23,-301] score:1 trace|run result time:7.77 |
[0,-65,-23,-301] score:1 trace|run result time:14.36 |
[0,-65,-23,-301] score:1 trace|run result time:17.28 |
[0,-65,-23,-301] score:1 trace|run result time:17.45 |
[0,-65,-23,-301] score:1 trace|run result time:21.13 |
| 4a69cf16-c731-11df-9182-00163e3d3b7c.cudf | [0,-123,-28,-290] score:1 trace|run result time:9.06 |
[0,-123,-28,-290] score:1 trace|run result time:9.58 |
[0,-123,-28,-290] score:1 trace|run result time:17.99 |
[0,-123,-28,-290] score:1 trace|run result time:29.39 |
[0,-123,-28,-290] score:1 trace|run result time:42.73 |
[0,-123,-28,-290] score:1 trace|run result time:27.49 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | [0,0,0,0] score:1 trace|run result time:0.96 |
[0,0,0,0] score:1 trace|run result time:0.88 |
[0,0,0,0] score:1 trace|run result time:2.16 |
FAIL score:12 trace|run time:300.00 |
[0,0,0,0] score:1 trace|run result time:0.53 |
[0,0,0,0] score:1 trace|run result time:0.58 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | [0,0,0,-116] score:1 trace|run result time:4.28 |
[0,0,0,-116] score:1 trace|run result time:6.03 |
[0,0,0,-116] score:1 trace|run result time:15.85 |
[0,0,0,-116] score:1 trace|run result time:7.17 |
[0,0,0,-116] score:1 trace|run result time:10.98 |
[0,0,0,-116] score:1 trace|run result time:10.14 |
| 33bb2fbc-9512-11e0-9181-00163e1e087d.cudf | [0,-234,-15,-248] score:1 trace|run result time:67.51 |
[0,-234,-15,-248] score:1 trace|run result time:6.73 |
[0,-234,-15,-248] score:1 trace|run result time:285.25 |
[0,-234,-15,-248] score:1 trace|run result time:175.18 |
[0,-234,-15,-248] score:1 trace|run result time:7.97 |
[0,-234,-15,-248] score:1 trace|run result time:9.14 |
| 301cbe92-a79c-11e0-9181-00163e1e087d.cudf | FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
FAIL score:12 trace|run time:300.00 |
| 2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf | [0,-78,-20,-289] score:1 trace|run result time:3.92 |
[0,-78,-20,-289] score:1 trace|run result time:5.97 |
[0,-78,-20,-289] score:1 trace|run result time:28.00 |
[0,-78,-20,-289] score:1 trace|run result time:20.96 |
[0,-78,-20,-289] score:1 trace|run result time:13.54 |
[0,-78,-20,-289] score:1 trace|run result time:15.40 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | [0,-17,-3,-58] score:1 trace|run result time:1.62 |
[0,-17,-3,-58] score:1 trace|run result time:1.47 |
[0,-17,-3,-58] score:1 trace|run result time:3.90 |
[0,-17,-3,-58] score:1 trace|run result time:6.36 |
[0,-17,-3,-58] score:1 trace|run result time:3.10 |
[0,-17,-3,-58] score:1 trace|run result time:2.79 |
| 27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf | [0,-124,-25,-300] score:1 trace|run result time:8.63 |
[0,-124,-25,-300] score:1 trace|run result time:11.20 |
[0,-124,-25,-300] score:1 trace|run result time:20.59 |
[0,-124,-25,-300] score:1 trace|run result time:28.55 |
[0,-124,-25,-300] score:1 trace|run result time:44.91 |
[0,-124,-25,-300] score:1 trace|run result time:27.84 |
| 26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf | [0,-65,-23,-301] score:1 trace|run result time:4.92 |
[0,-65,-23,-301] score:1 trace|run result time:7.67 |
[0,-65,-23,-301] score:1 trace|run result time:14.28 |
[0,-65,-23,-301] score:1 trace|run result time:17.18 |
[0,-65,-23,-301] score:1 trace|run result time:17.43 |
[0,-65,-23,-301] score:1 trace|run result time:20.83 |
| 1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf | [0,-65,-22,-320] score:1 trace|run result time:6.67 |
[0,-65,-22,-320] score:1 trace|run result time:9.02 |
[0,-65,-22,-320] score:1 trace|run result time:16.55 |
[0,-65,-22,-320] score:1 trace|run result time:25.19 |
[0,-65,-22,-320] score:1 trace|run result time:21.65 |
[0,-65,-22,-320] score:1 trace|run result time:22.15 |
| 19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf | [0,-87,-11,-192] score:1 trace|run result time:2.68 |
[0,-87,-11,-192] score:1 trace|run result time:2.05 |
[0,-87,-11,-192] score:1 trace|run result time:10.35 |
[0,-87,-11,-192] score:1 trace|run result time:10.44 |
[0,-87,-11,-192] score:1 trace|run result time:6.54 |
[0,-87,-11,-192] score:1 trace|run result time:8.73 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | [0,-17,-3,-58] score:1 trace|run result time:1.63 |
[0,-17,-3,-58] score:1 trace|run result time:1.44 |
[0,-17,-3,-58] score:1 trace|run result time:3.92 |
[0,-17,-3,-58] score:1 trace|run result time:6.34 |
[0,-17,-3,-58] score:1 trace|run result time:3.10 |
[0,-17,-3,-58] score:1 trace|run result time:2.77 |
| 0207e19a-9b1c-11df-af69-00163e46d37a.cudf | [0,-162,-15,-298] score:1 trace|run result time:3.19 |
[0,-162,-15,-298] score:1 trace|run result time:2.99 |
[0,-162,-15,-298] score:1 trace|run result time:10.08 |
[0,-162,-15,-298] score:1 trace|run result time:7.84 |
[0,-162,-15,-298] score:1 trace|run result time:6.14 |
[0,-162,-15,-298] score:1 trace|run result time:6.26 |
| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| rand953.cudf | [-43,-442,-54,-320] score:5 trace|run result time:290.14 |
[-43,-442,-54,-318] score:1 trace|run result time:26.60 |
[-43,-442,-54,-322] score:6 trace|run result time:285.00 |
[-43,-442,-54,-319] score:4 trace|run result time:286.23 |
[-43,-442,-54,-318] score:1 trace|run result time:270.37 |
[-43,-442,-54,-318] score:1 trace|run result time:126.74 |
| rand946.cudf | [-63,-186,-23,-742] score:3 trace|run result time:290.06 |
[-63,-186,-23,-741] score:1 trace|run result time:28.75 |
[-63,-186,-23,-742] score:3 trace|run result time:284.91 |
[-63,-186,-23,-741] score:1 trace|run result time:286.07 |
[-63,-186,-23,-1479] score:5 trace|run result time:296.80 |
[-63,-186,-23,-1479] score:5 trace|run result time:298.66 |
| rand917.cudf | [-46,-271,-26,-785] score:3 trace|run result time:290.15 |
[-46,-271,-26,-781] score:1 trace|run result time:31.27 |
[-46,-271,-26,-789] score:4 trace|run result time:285.27 |
[-46,-271,-26,-784] score:2 trace|run result time:286.19 |
[-46,-271,-26,-1618] score:5 trace|run result time:298.09 |
[-46,-271,-26,-1618] score:5 trace|run result time:298.82 |
| rand90.cudf | [-35,-374,-44,-528] score:1 trace|run result time:290.06 |
[-35,-374,-44,-528] score:1 trace|run result time:30.20 |
[-35,-374,-44,-529] score:4 trace|run result time:284.86 |
[-35,-374,-44,-529] score:4 trace|run result time:285.98 |
[-35,-374,-44,-1278] score:6 trace|run result time:297.95 |
[-35,-374,-44,-528] score:1 trace|run result time:250.51 |
| rand790.cudf | [-375,-110,-39,-260] score:1 trace|run result time:290.15 |
[-375,-110,-39,-260] score:1 trace|run result time:14.24 |
[-375,-110,-39,-260] score:1 trace|run result time:284.82 |
[-375,-110,-39,-261] score:5 trace|run result time:286.09 |
NOTSOL score:18 trace|run result time:300.00 |
[-375,-110,-39,-260] score:1 trace|run result time:65.54 |
| rand519.cudf | [-61,-182,-22,-765] score:3 trace|run result time:290.13 |
[-61,-182,-22,-763] score:1 trace|run result time:29.01 |
[-61,-182,-22,-763] score:1 trace|run result time:284.86 |
[-61,-182,-22,-765] score:3 trace|run result time:286.20 |
[-61,-182,-22,-1386] score:5 trace|run result time:298.12 |
[-61,-182,-22,-1386] score:5 trace|run result time:298.88 |
| rand496.cudf | [-57,-281,-23,-705] score:4 trace|run result time:290.14 |
[-57,-281,-23,-701] score:1 trace|run result time:30.80 |
[-57,-281,-23,-703] score:2 trace|run result time:284.91 |
[-57,-281,-23,-703] score:2 trace|run result time:286.01 |
[-57,-281,-23,-1568] score:5 trace|run result time:298.21 |
[-57,-281,-23,-1568] score:5 trace|run result time:298.71 |
| rand314.cudf | [-57,-313,-32,-701] score:3 trace|run result time:290.08 |
[-57,-313,-32,-698] score:1 trace|run result time:34.34 |
[-57,-313,-32,-699] score:2 trace|run result time:284.61 |
[-57,-313,-32,-702] score:4 trace|run result time:286.03 |
[-57,-313,-32,-1207] score:5 trace|run result time:298.39 |
[-57,-313,-32,-1207] score:5 trace|run result time:298.48 |
| rand230.cudf | [-96,-369,-41,-458] score:1 trace|run result time:290.11 |
[-96,-369,-41,-458] score:1 trace|run result time:28.52 |
[-96,-370,-41,-458] score:6 trace|run result time:284.95 |
[-96,-369,-41,-462] score:4 trace|run result time:286.14 |
[-96,-369,-41,-1302] score:5 trace|run result time:298.20 |
[-96,-369,-41,-458] score:1 trace|run result time:212.72 |
| rand176.cudf | [-184,-96,-40,-884] score:5 trace|run result time:290.13 |
[-184,-96,-40,-881] score:1 trace|run result time:22.46 |
[-184,-96,-40,-882] score:3 trace|run result time:284.99 |
[-184,-96,-40,-882] score:3 trace|run result time:286.18 |
[-184,-96,-40,-1500] score:6 trace|run result time:298.33 |
[-184,-96,-40,-881] score:1 trace|run result time:169.41 |
| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| rand576.cudf | [-68,-414,-59,-285] score:3 trace|run result time:290.08 |
[-68,-414,-59,-284] score:1 trace|run result time:23.69 |
[-68,-414,-59,-285] score:3 trace|run result time:284.87 |
[-68,-414,-59,-285] score:3 trace|run result time:285.95 |
[-68,-414,-59,-1002] score:6 trace|run result time:298.42 |
[-68,-414,-59,-284] score:1 trace|run result time:73.90 |
| rand50.cudf | [-94,-267,-46,-622] score:3 trace|run result time:290.10 |
[-94,-267,-46,-619] score:1 trace|run result time:24.78 |
[-94,-267,-46,-622] score:3 trace|run result time:284.95 |
[-94,-267,-46,-622] score:3 trace|run result time:286.05 |
[-94,-267,-46,-1134] score:6 trace|run result time:298.12 |
[-94,-267,-46,-619] score:1 trace|run result time:143.79 |
| rand477.cudf | [-77,-130,-52,-859] score:4 trace|run result time:290.12 |
[-77,-130,-52,-851] score:1 trace|run result time:21.65 |
[-77,-130,-52,-852] score:2 trace|run result time:284.86 |
[-77,-130,-52,-857] score:3 trace|run result time:286.03 |
[-77,-130,-52,-1581] score:6 trace|run result time:298.43 |
[-77,-130,-52,-1573] score:5 trace|run result time:298.79 |
| rand450.cudf | [-55,-288,-34,-646] score:4 trace|run result time:290.13 |
[-55,-288,-34,-639] score:1 trace|run result time:26.89 |
[-55,-288,-34,-643] score:3 trace|run result time:284.85 |
[-55,-288,-34,-640] score:2 trace|run result time:285.97 |
[-55,-288,-34,-1282] score:6 trace|run result time:297.81 |
[-55,-288,-34,-1262] score:5 trace|run result time:298.69 |
| rand439.cudf | [-77,-531,-70,-156] score:5 trace|run result time:290.13 |
[-77,-531,-70,-155] score:1 trace|run result time:23.78 |
[-77,-531,-70,-157] score:6 trace|run result time:284.89 |
[-77,-531,-70,-155] score:1 trace|run result time:254.00 |
[-77,-531,-70,-155] score:1 trace|run result time:182.07 |
[-77,-531,-70,-155] score:1 trace|run result time:58.98 |
| rand348.cudf | [-60,-437,-53,-250] score:4 trace|run result time:290.07 |
[-60,-437,-53,-249] score:1 trace|run result time:23.86 |
[-60,-437,-53,-252] score:6 trace|run result time:284.83 |
[-60,-437,-53,-251] score:5 trace|run result time:285.94 |
[-60,-437,-53,-249] score:1 trace|run result time:159.64 |
[-60,-437,-53,-249] score:1 trace|run result time:152.53 |
| rand343.cudf | [-47,-307,-35,-698] score:4 trace|run result time:290.17 |
[-47,-307,-35,-689] score:1 trace|run result time:28.98 |
[-47,-307,-35,-694] score:2 trace|run result time:284.81 |
[-47,-307,-35,-695] score:3 trace|run result time:285.92 |
[-47,-307,-35,-1543] score:5 trace|run result time:298.43 |
[-47,-307,-35,-1543] score:5 trace|run result time:298.82 |
| rand314.cudf | [-88,-178,-27,-796] score:4 trace|run result time:290.11 |
[-88,-178,-27,-788] score:1 trace|run result time:27.31 |
[-88,-178,-27,-790] score:2 trace|run result time:284.83 |
[-88,-178,-27,-790] score:2 trace|run result time:285.56 |
[-88,-178,-27,-1349] score:5 trace|run result time:298.33 |
[-88,-178,-27,-1353] score:6 trace|run result time:298.51 |
| rand208.cudf | [-56,-310,-38,-708] score:3 trace|run result time:290.12 |
[-56,-310,-38,-700] score:1 trace|run result time:30.81 |
[-56,-310,-38,-703] score:2 trace|run result time:284.89 |
[-56,-310,-38,-709] score:4 trace|run result time:286.05 |
[-56,-310,-38,-1539] score:6 trace|run result time:298.35 |
[-56,-310,-38,-1503] score:5 trace|run result time:298.73 |
| rand149.cudf | [-41,-393,-54,-341] score:4 trace|run result time:290.07 |
[-41,-393,-54,-340] score:1 trace|run result time:24.36 |
[-41,-393,-54,-343] score:5 trace|run result time:284.94 |
[-41,-393,-54,-344] score:6 trace|run result time:285.94 |
[-41,-393,-54,-340] score:1 trace|run result time:269.82 |
[-41,-393,-54,-340] score:1 trace|run result time:135.46 |
| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| rand797.cudf | [-306,-134,-42,-306] score:5 trace|run result time:290.09 |
[-306,-134,-42,-303] score:1 trace|run result time:8.54 |
[-306,-134,-42,-303] score:1 trace|run result time:284.84 |
[-306,-134,-42,-303] score:1 trace|run result time:284.85 |
[-306,-134,-42,-303] score:1 trace|run result time:97.51 |
[-306,-134,-42,-625] score:6 trace|run result time:298.81 |
| rand598.cudf | [-34,-716,-71,-92] score:1 trace|run result time:217.57 |
[-34,-716,-71,-92] score:1 trace|run result time:17.23 |
[-34,-716,-71,-92] score:1 trace|run result time:41.67 |
[-34,-716,-71,-92] score:1 trace|run result time:31.91 |
[-34,-716,-71,-92] score:1 trace|run result time:98.39 |
[-34,-716,-71,-92] score:1 trace|run result time:28.30 |
| rand58.cudf | [-107,-287,-35,-361] score:1 trace|run result time:290.05 |
[-107,-287,-35,-361] score:1 trace|run result time:11.41 |
[-107,-287,-35,-361] score:1 trace|run result time:284.86 |
[-107,-287,-35,-361] score:1 trace|run result time:284.53 |
[-107,-287,-35,-361] score:1 trace|run result time:81.22 |
[-107,-287,-35,-361] score:1 trace|run result time:83.51 |
| rand461.cudf | [-331,-60,-36,-376] score:6 trace|run result time:290.09 |
[-331,-60,-36,-375] score:1 trace|run result time:7.94 |
[-331,-60,-36,-375] score:1 trace|run result time:284.84 |
[-331,-60,-36,-375] score:1 trace|run result time:284.94 |
[-331,-60,-36,-375] score:1 trace|run result time:61.06 |
[-331,-60,-36,-375] score:1 trace|run result time:47.31 |
| rand408.cudf | [-358,-54,-36,-337] score:1 trace|run result time:290.07 |
[-358,-54,-36,-337] score:1 trace|run result time:7.07 |
[-358,-54,-36,-337] score:1 trace|run result time:284.89 |
[-358,-54,-36,-337] score:1 trace|run result time:284.91 |
[-358,-54,-36,-337] score:1 trace|run result time:74.07 |
[-358,-54,-36,-337] score:1 trace|run result time:108.41 |
| rand399.cudf | [-42,-698,-66,-74] score:1 trace|run result time:174.51 |
[-42,-698,-66,-74] score:1 trace|run result time:16.75 |
[-42,-698,-66,-74] score:1 trace|run result time:56.01 |
[-42,-698,-66,-74] score:1 trace|run result time:26.73 |
[-42,-698,-66,-74] score:1 trace|run result time:53.03 |
[-42,-698,-66,-74] score:1 trace|run result time:27.52 |
| rand285.cudf | [-39,-445,-45,-208] score:1 trace|run result time:225.86 |
[-39,-445,-45,-208] score:1 trace|run result time:13.83 |
[-39,-445,-45,-208] score:1 trace|run result time:284.79 |
[-39,-445,-45,-208] score:1 trace|run result time:284.89 |
[-39,-445,-45,-208] score:1 trace|run result time:65.75 |
[-39,-445,-45,-208] score:1 trace|run result time:30.61 |
| rand250.cudf | [-28,-463,-51,-215] score:1 trace|run result time:156.29 |
[-28,-463,-51,-215] score:1 trace|run result time:13.66 |
[-28,-463,-51,-215] score:1 trace|run result time:263.37 |
[-28,-463,-51,-215] score:1 trace|run result time:176.45 |
[-28,-463,-51,-215] score:1 trace|run result time:72.76 |
[-28,-463,-51,-215] score:1 trace|run result time:35.62 |
| rand214.cudf | [-297,-228,-39,-203] score:1 trace|run result time:290.09 |
[-297,-228,-39,-203] score:1 trace|run result time:9.37 |
[-297,-228,-39,-203] score:1 trace|run result time:190.71 |
[-297,-228,-39,-203] score:1 trace|run result time:154.70 |
[-297,-228,-39,-203] score:1 trace|run result time:78.63 |
[-297,-228,-39,-203] score:1 trace|run result time:28.81 |
| rand115.cudf | [-93,-418,-47,-214] score:1 trace|run result time:172.88 |
[-93,-418,-47,-214] score:1 trace|run result time:12.83 |
[-93,-418,-47,-214] score:1 trace|run result time:284.95 |
[-93,-418,-47,-214] score:1 trace|run result time:284.86 |
[-93,-418,-47,-214] score:1 trace|run result time:67.34 |
[-93,-418,-47,-214] score:1 trace|run result time:54.53 |
| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| rand574.cudf | [-56,-449,-36,-163] score:1 trace|run result time:290.11 |
[-56,-449,-36,-163] score:1 trace|run result time:5.60 |
[-56,-449,-36,-163] score:1 trace|run result time:284.96 |
[-56,-449,-36,-163] score:1 trace|run result time:284.25 |
[-56,-449,-36,-163] score:1 trace|run result time:11.32 |
[-56,-449,-36,-163] score:1 trace|run result time:15.59 |
| rand528.cudf | [-80,-88,-26,-400] score:1 trace|run result time:12.62 |
[-80,-88,-26,-400] score:1 trace|run result time:3.93 |
[-80,-88,-26,-400] score:1 trace|run result time:16.16 |
[-80,-88,-26,-400] score:1 trace|run result time:39.59 |
[-80,-88,-26,-400] score:1 trace|run result time:15.72 |
[-80,-88,-26,-400] score:1 trace|run result time:14.22 |
| rand491.cudf | [-400,-81,-30,-140] score:1 trace|run result time:3.97 |
[-400,-81,-30,-140] score:1 trace|run result time:3.09 |
[-400,-81,-30,-140] score:1 trace|run result time:13.44 |
[-400,-81,-30,-140] score:1 trace|run result time:15.40 |
[-400,-81,-30,-140] score:1 trace|run result time:10.48 |
[-400,-81,-30,-140] score:1 trace|run result time:15.86 |
| rand485.cudf | [-380,-41,-29,-246] score:1 trace|run result time:3.25 |
[-380,-41,-29,-246] score:1 trace|run result time:2.84 |
[-380,-41,-29,-246] score:1 trace|run result time:9.49 |
[-380,-41,-29,-246] score:1 trace|run result time:10.91 |
[-380,-41,-29,-246] score:1 trace|run result time:10.11 |
[-380,-41,-29,-246] score:1 trace|run result time:9.36 |
| rand376.cudf | [-45,-430,-40,-141] score:1 trace|run result time:290.05 |
[-45,-430,-40,-141] score:1 trace|run result time:6.26 |
[-45,-430,-40,-141] score:1 trace|run result time:285.02 |
[-45,-430,-40,-141] score:1 trace|run result time:284.22 |
[-45,-430,-40,-141] score:1 trace|run result time:9.61 |
[-45,-430,-40,-141] score:1 trace|run result time:17.05 |
| rand347.cudf | [-324,-39,-19,-381] score:1 trace|run result time:217.51 |
[-324,-39,-19,-381] score:1 trace|run result time:3.37 |
[-324,-39,-19,-381] score:1 trace|run result time:285.01 |
[-324,-39,-19,-382] score:6 trace|run result time:284.21 |
[-324,-39,-19,-381] score:1 trace|run result time:9.77 |
[-324,-39,-19,-381] score:1 trace|run result time:19.25 |
| rand315.cudf | [-425,-88,-30,-133] score:1 trace|run result time:28.61 |
[-425,-88,-30,-133] score:1 trace|run result time:2.72 |
[-425,-88,-30,-133] score:1 trace|run result time:112.54 |
[-425,-88,-30,-133] score:1 trace|run result time:49.63 |
[-425,-88,-30,-133] score:1 trace|run result time:8.50 |
[-425,-88,-30,-133] score:1 trace|run result time:10.95 |
| rand230.cudf | [-141,-253,-26,-272] score:1 trace|run result time:256.27 |
[-141,-253,-26,-272] score:1 trace|run result time:4.66 |
[-141,-253,-26,-272] score:1 trace|run result time:285.08 |
[-141,-253,-26,-272] score:1 trace|run result time:284.68 |
[-141,-253,-26,-272] score:1 trace|run result time:12.28 |
[-141,-253,-26,-272] score:1 trace|run result time:12.51 |
| rand214.cudf | [-155,-358,-24,-149] score:1 trace|run result time:12.06 |
[-155,-358,-24,-149] score:1 trace|run result time:4.92 |
[-155,-358,-24,-149] score:1 trace|run result time:37.14 |
[-155,-358,-24,-149] score:1 trace|run result time:21.48 |
[-155,-358,-24,-149] score:1 trace|run result time:11.63 |
[-155,-358,-24,-149] score:1 trace|run result time:10.35 |
| rand125.cudf | [-53,-330,-33,-290] score:1 trace|run result time:12.44 |
[-53,-330,-33,-290] score:1 trace|run result time:5.63 |
[-53,-330,-33,-290] score:1 trace|run result time:69.00 |
[-53,-330,-33,-290] score:1 trace|run result time:56.83 |
[-53,-330,-33,-290] score:1 trace|run result time:17.21 |
[-53,-330,-33,-290] score:1 trace|run result time:17.90 |
| Problem | aspcud-trendy-1.5 | aspuncud-trendy-1.3 | gj-trendy-solver-1.0 | p2cudf-trendy-1.13 | packup2hy4tr-0.6 | packup2mp4tr-0.6 |
|---|---|---|---|---|---|---|
| rand885.cudf | [-47,0,-9,-160] score:1 trace|run result time:58.38 |
[-47,0,-9,-160] score:1 trace|run result time:0.87 |
[-47,0,-9,-160] score:1 trace|run result time:25.16 |
[-47,0,-9,-160] score:1 trace|run result time:15.03 |
[-47,0,-9,-160] score:1 trace|run result time:1.68 |
[-47,0,-9,-160] score:1 trace|run result time:1.68 |
| rand77.cudf | [-108,0,-5,-130] score:1 trace|run result time:61.31 |
[-108,0,-5,-130] score:1 trace|run result time:0.64 |
[-108,0,-5,-130] score:1 trace|run result time:30.15 |
[-108,0,-5,-130] score:1 trace|run result time:26.16 |
[-108,0,-5,-130] score:1 trace|run result time:1.59 |
[-108,0,-5,-130] score:1 trace|run result time:1.67 |
| rand7.cudf | [-359,0,-14,-90] score:1 trace|run result time:290.03 |
[-359,0,-14,-90] score:1 trace|run result time:0.76 |
[-359,0,-14,-90] score:1 trace|run result time:285.09 |
[-359,0,-14,-90] score:1 trace|run result time:283.95 |
[-359,0,-14,-90] score:1 trace|run result time:23.36 |
[-359,0,-14,-90] score:1 trace|run result time:9.27 |
| rand600.cudf | [-171,0,-16,-140] score:1 trace|run result time:1.04 |
[-171,0,-16,-140] score:1 trace|run result time:0.82 |
[-171,0,-16,-140] score:1 trace|run result time:2.28 |
[-171,0,-16,-140] score:1 trace|run result time:4.69 |
[-171,0,-16,-140] score:1 trace|run result time:1.86 |
[-171,0,-16,-140] score:1 trace|run result time:1.51 |
| rand586.cudf | [-48,0,-6,-176] score:1 trace|run result time:3.40 |
[-48,0,-6,-176] score:1 trace|run result time:0.86 |
[-48,0,-6,-176] score:1 trace|run result time:4.65 |
[-48,0,-6,-176] score:1 trace|run result time:7.32 |
[-48,0,-6,-176] score:1 trace|run result time:1.96 |
[-48,0,-6,-176] score:1 trace|run result time:1.99 |
| rand529.cudf | [-96,0,-8,-134] score:1 trace|run result time:290.05 |
[-96,0,-8,-134] score:1 trace|run result time:0.81 |
[-96,0,-8,-134] score:1 trace|run result time:255.31 |
[-96,0,-8,-134] score:1 trace|run result time:127.84 |
[-96,0,-8,-134] score:1 trace|run result time:4.07 |
[-96,0,-8,-134] score:1 trace|run result time:3.89 |
| rand461.cudf | [-319,0,-24,-91] score:1 trace|run result time:2.03 |
[-319,0,-24,-91] score:1 trace|run result time:0.76 |
[-319,0,-24,-91] score:1 trace|run result time:4.41 |
[-319,0,-24,-91] score:1 trace|run result time:6.75 |
[-319,0,-24,-91] score:1 trace|run result time:1.44 |
[-319,0,-24,-91] score:1 trace|run result time:1.43 |
| rand298.cudf | [-48,0,-2,-239] score:1 trace|run result time:32.12 |
[-48,0,-2,-239] score:1 trace|run result time:0.97 |
[-48,0,-2,-239] score:1 trace|run result time:75.44 |
[-48,0,-2,-239] score:1 trace|run result time:57.81 |
[-48,0,-2,-239] score:1 trace|run result time:1.50 |
[-48,0,-2,-239] score:1 trace|run result time:1.64 |
| rand144.cudf | [-41,0,-8,-185] score:1 trace|run result time:74.19 |
[-41,0,-8,-185] score:1 trace|run result time:0.91 |
[-41,0,-8,-185] score:1 trace|run result time:29.87 |
[-41,0,-8,-185] score:1 trace|run result time:23.05 |
[-41,0,-8,-185] score:1 trace|run result time:1.67 |
[-41,0,-8,-185] score:1 trace|run result time:1.55 |
| rand0.cudf | [-115,0,-8,-134] score:1 trace|run result time:290.12 |
[-115,0,-8,-134] score:1 trace|run result time:0.80 |
[-115,0,-8,-134] score:1 trace|run result time:154.07 |
[-115,0,-8,-134] score:1 trace|run result time:174.94 |
[-115,0,-8,-134] score:1 trace|run result time:3.78 |
[-115,0,-8,-134] score:1 trace|run result time:3.45 |