. MiSC Paranoid Track
Category: dudf-random
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| rand992.cudf | [-102,-225] score:1 trace|run result time:4.01 |
[-102,-225] score:1 trace|run result time:4.65 |
[-102,-225] score:1 trace|run result time:18.05 |
[-102,-225] score:1 trace|run result time:7.27 |
[-102,-225] score:1 trace|run result time:13.56 |
| rand933.cudf | [-12,-24] score:1 trace|run result time:4.03 |
[-12,-24] score:1 trace|run result time:3.65 |
[-12,-24] score:1 trace|run result time:17.56 |
[-12,-24] score:1 trace|run result time:5.96 |
[-12,-24] score:1 trace|run result time:8.91 |
| rand929.cudf | [0,0] score:1 trace|run result time:1.54 |
[0,0] score:1 trace|run result time:1.50 |
[0,0] score:1 trace|run result time:3.61 |
[0,0] score:1 trace|run result time:4.26 |
[0,0] score:1 trace|run result time:1.32 |
| rand83.cudf | [-16,-25] score:1 trace|run result time:4.00 |
[-16,-25] score:1 trace|run result time:3.56 |
[-16,-25] score:1 trace|run result time:16.61 |
[-16,-25] score:1 trace|run result time:6.58 |
[-16,-25] score:1 trace|run result time:8.53 |
| rand733.cudf | [-31,-60] score:1 trace|run result time:1.59 |
[-31,-60] score:1 trace|run result time:1.52 |
[-31,-60] score:1 trace|run result time:3.58 |
[-31,-60] score:1 trace|run result time:4.29 |
[-31,-60] score:1 trace|run result time:2.44 |
| rand692.cudf | [-94,-98] score:1 trace|run result time:1.59 |
[-94,-98] score:1 trace|run result time:1.48 |
[-94,-98] score:1 trace|run result time:3.52 |
[-94,-98] score:1 trace|run result time:4.20 |
[-94,-98] score:1 trace|run result time:2.39 |
| rand662.cudf | [-30,-42] score:1 trace|run result time:4.16 |
[-30,-42] score:1 trace|run result time:3.74 |
[-30,-42] score:1 trace|run result time:17.49 |
[-30,-42] score:1 trace|run result time:6.65 |
[-30,-42] score:1 trace|run result time:9.59 |
| rand66.cudf | [-40,-56] score:1 trace|run result time:1.56 |
[-40,-56] score:1 trace|run result time:1.50 |
[-40,-56] score:1 trace|run result time:3.51 |
[-40,-56] score:1 trace|run result time:4.11 |
[-40,-56] score:1 trace|run result time:2.39 |
| rand59.cudf | [-109,-119] score:1 trace|run result time:1.59 |
[-109,-119] score:1 trace|run result time:1.49 |
[-109,-119] score:1 trace|run result time:3.54 |
[-109,-119] score:1 trace|run result time:4.22 |
[-109,-119] score:1 trace|run result time:2.35 |
| rand512.cudf | [-13,-32] score:1 trace|run result time:1.55 |
[-13,-32] score:1 trace|run result time:1.50 |
[-13,-32] score:1 trace|run result time:3.56 |
[-13,-32] score:1 trace|run result time:4.11 |
[-13,-32] score:1 trace|run result time:2.41 |
| rand461.cudf | [-21,-31] score:1 trace|run result time:4.34 |
[-21,-31] score:1 trace|run result time:3.72 |
[-21,-31] score:1 trace|run result time:17.47 |
[-21,-31] score:1 trace|run result time:6.22 |
[-21,-31] score:1 trace|run result time:15.08 |
| rand455.cudf | [-36,-81] score:1 trace|run result time:1.58 |
[-36,-81] score:1 trace|run result time:1.53 |
[-36,-81] score:1 trace|run result time:3.69 |
[-36,-81] score:1 trace|run result time:4.36 |
[-36,-81] score:1 trace|run result time:2.94 |
| rand440.cudf | [-20,-51] score:1 trace|run result time:4.22 |
[-20,-51] score:1 trace|run result time:4.01 |
[-20,-51] score:1 trace|run result time:17.76 |
[-20,-51] score:1 trace|run result time:6.92 |
[-20,-51] score:1 trace|run result time:10.47 |
| rand434.cudf | [-38,-100] score:1 trace|run result time:1.58 |
[-38,-100] score:1 trace|run result time:1.55 |
[-38,-100] score:1 trace|run result time:3.68 |
[-38,-100] score:1 trace|run result time:4.47 |
[-38,-100] score:1 trace|run result time:3.49 |
| rand399.cudf | [-20,-30] score:1 trace|run result time:1.57 |
[-20,-30] score:1 trace|run result time:1.50 |
[-20,-30] score:1 trace|run result time:3.60 |
[-20,-30] score:1 trace|run result time:4.13 |
[-20,-30] score:1 trace|run result time:1.90 |
| rand390.cudf | [-44,-56] score:1 trace|run result time:5.08 |
[-44,-56] score:1 trace|run result time:3.66 |
[-44,-56] score:1 trace|run result time:16.33 |
[-44,-56] score:1 trace|run result time:5.99 |
[-44,-56] score:1 trace|run result time:8.43 |
| rand282.cudf | [-9,-31] score:1 trace|run result time:4.11 |
[-9,-31] score:1 trace|run result time:3.82 |
[-9,-31] score:1 trace|run result time:17.70 |
[-9,-31] score:1 trace|run result time:6.55 |
[-9,-31] score:1 trace|run result time:8.55 |
| rand252.cudf | [0,0] score:1 trace|run result time:3.83 |
[0,0] score:1 trace|run result time:3.45 |
[0,0] score:1 trace|run result time:23.52 |
[0,0] score:1 trace|run result time:5.87 |
[0,0] score:1 trace|run result time:7.30 |
| rand21.cudf | [-17,-194] score:1 trace|run result time:4.60 |
[-17,-194] score:1 trace|run result time:6.30 |
[-17,-194] score:1 trace|run result time:16.97 |
[-17,-194] score:1 trace|run result time:7.08 |
[-17,-194] score:1 trace|run result time:14.07 |
| rand192.cudf | [-13,-98] score:1 trace|run result time:4.13 |
[-13,-98] score:1 trace|run result time:4.28 |
[-13,-98] score:1 trace|run result time:18.91 |
[-13,-98] score:1 trace|run result time:7.06 |
[-13,-98] score:1 trace|run result time:11.54 |
Category: dudf-real
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf | [0,-13] score:1 trace|run result time:3.85 |
[0,-13] score:1 trace|run result time:3.35 |
[0,-13] score:1 trace|run result time:13.07 |
[0,-13] score:1 trace|run result time:5.91 |
[0,-13] score:1 trace|run result time:8.56 |
| fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf | [0,0] score:1 trace|run result time:2.07 |
[0,0] score:1 trace|run result time:2.03 |
[0,0] score:1 trace|run result time:6.65 |
[0,0] score:1 trace|run result time:4.41 |
[0,0] score:1 trace|run result time:2.97 |
| fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.80 |
[0,0] score:1 trace|run result time:1.68 |
[0,0] score:1 trace|run result time:5.95 |
[0,0] score:1 trace|run result time:4.83 |
[0,0] score:1 trace|run result time:3.39 |
| f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.60 |
[0,0] score:1 trace|run result time:1.50 |
[0,0] score:1 trace|run result time:3.19 |
[0,0] score:1 trace|run result time:4.56 |
[0,0] score:1 trace|run result time:2.98 |
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | [0,0] score:1 trace|run result time:1.37 |
[0,0] score:1 trace|run result time:1.27 |
[0,0] score:1 trace|run result time:3.49 |
[0,0] score:1 trace|run result time:4.22 |
[0,0] score:1 trace|run result time:2.28 |
| ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf | [-4,-52] score:1 trace|run result time:2.39 |
[-4,-52] score:1 trace|run result time:2.08 |
[-4,-52] score:1 trace|run result time:5.08 |
[-4,-52] score:1 trace|run result time:4.88 |
[-4,-52] score:1 trace|run result time:5.18 |
| ec32fc68-7254-11e0-8436-00163e1e087d.cudf | [0,0] score:1 trace|run result time:1.78 |
[0,0] score:1 trace|run result time:1.63 |
[0,0] score:1 trace|run result time:3.91 |
[0,0] score:1 trace|run result time:4.65 |
[0,0] score:1 trace|run result time:3.17 |
| e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf | [0,-3] score:1 trace|run result time:4.56 |
[0,-3] score:1 trace|run result time:3.34 |
[0,-3] score:1 trace|run result time:14.16 |
[0,-3] score:1 trace|run result time:5.68 |
[0,-3] score:1 trace|run result time:10.04 |
| e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.62 |
[0,0] score:1 trace|run result time:1.50 |
[0,0] score:1 trace|run result time:3.18 |
[0,0] score:1 trace|run result time:4.41 |
[0,0] score:1 trace|run result time:3.01 |
| e381ba7e-a192-11e0-8647-00163e1e087d.cudf | [0,-8] score:1 trace|run result time:2.08 |
[0,-8] score:1 trace|run result time:1.99 |
[0,-8] score:1 trace|run result time:5.62 |
[0,-8] score:1 trace|run result time:4.74 |
[0,-8] score:1 trace|run result time:2.67 |
| e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf | [-4,-52] score:1 trace|run result time:2.37 |
[-4,-52] score:1 trace|run result time:2.08 |
[-4,-52] score:1 trace|run result time:4.82 |
[-4,-52] score:1 trace|run result time:4.72 |
[-4,-52] score:1 trace|run result time:5.13 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | [0,0] score:1 trace|run result time:1.30 |
[0,0] score:1 trace|run result time:1.19 |
[0,0] score:1 trace|run result time:2.97 |
[0,0] score:1 trace|run result time:4.02 |
[0,0] score:1 trace|run result time:2.10 |
| deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.84 |
[0,0] score:1 trace|run result time:1.69 |
[0,0] score:1 trace|run result time:6.00 |
[0,0] score:1 trace|run result time:4.51 |
[0,0] score:1 trace|run result time:3.43 |
| dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:3.30 |
[0,-2] score:1 trace|run result time:2.78 |
[0,-2] score:1 trace|run result time:9.73 |
[0,-2] score:1 trace|run result time:5.80 |
[0,-2] score:1 trace|run result time:8.49 |
| dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.78 |
[0,0] score:1 trace|run result time:1.67 |
[0,0] score:1 trace|run result time:4.16 |
[0,0] score:1 trace|run result time:4.50 |
[0,0] score:1 trace|run result time:3.18 |
| d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.82 |
[0,0] score:1 trace|run result time:1.63 |
[0,0] score:1 trace|run result time:4.15 |
[0,0] score:1 trace|run result time:4.31 |
[0,0] score:1 trace|run result time:3.13 |
| d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:3.24 |
[0,-2] score:1 trace|run result time:2.81 |
[0,-2] score:1 trace|run result time:9.69 |
[0,-2] score:1 trace|run result time:5.21 |
[0,-2] score:1 trace|run result time:8.45 |
| d0cc7514-c730-11df-a040-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:4.52 |
[0,-2] score:1 trace|run result time:3.73 |
[0,-2] score:1 trace|run result time:16.64 |
[0,-2] score:1 trace|run result time:6.27 |
[0,-2] score:1 trace|run result time:9.19 |
| d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.78 |
[0,0] score:1 trace|run result time:1.64 |
[0,0] score:1 trace|run result time:4.10 |
[0,0] score:1 trace|run result time:4.60 |
[0,0] score:1 trace|run result time:3.10 |
| cff22854-9512-11e0-8001-00163e1e087d.cudf | [0,-8] score:1 trace|run result time:2.08 |
[0,-8] score:1 trace|run result time:1.98 |
[0,-8] score:1 trace|run result time:5.64 |
[0,-8] score:1 trace|run result time:4.45 |
[0,-8] score:1 trace|run result time:2.72 |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | [0,0] score:1 trace|run result time:0.80 |
[0,0] score:1 trace|run result time:0.85 |
[0,0] score:1 trace|run result time:1.90 |
FAIL score:10 trace|run time:300.00 |
[0,0] score:1 trace|run result time:0.55 |
| caefdef6-3477-11e0-84ef-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.77 |
[0,0] score:1 trace|run result time:1.67 |
[0,0] score:1 trace|run result time:4.28 |
[0,0] score:1 trace|run result time:4.54 |
[0,0] score:1 trace|run result time:3.17 |
| ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.82 |
[0,0] score:1 trace|run result time:1.68 |
[0,0] score:1 trace|run result time:6.02 |
[0,0] score:1 trace|run result time:4.54 |
[0,0] score:1 trace|run result time:3.43 |
| c2164c84-b015-11df-8b50-00163e46d37a.cudf | [0,0] score:1 trace|run result time:1.48 |
[0,0] score:1 trace|run result time:1.39 |
[0,0] score:1 trace|run result time:2.68 |
[0,0] score:1 trace|run result time:3.80 |
[0,0] score:1 trace|run result time:1.41 |
| bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.94 |
[0,0] score:1 trace|run result time:1.71 |
[0,0] score:1 trace|run result time:6.04 |
[0,0] score:1 trace|run result time:5.34 |
[0,0] score:1 trace|run result time:3.43 |
| b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf | [-4,-52] score:1 trace|run result time:2.40 |
[-4,-52] score:1 trace|run result time:2.29 |
[-4,-52] score:1 trace|run result time:5.10 |
[-4,-52] score:1 trace|run result time:4.52 |
[-4,-52] score:1 trace|run result time:5.22 |
| adf7b774-9af8-11df-bc37-00163e46d37a.cudf | [0,0] score:1 trace|run result time:2.12 |
[0,0] score:1 trace|run result time:2.01 |
[0,0] score:1 trace|run result time:6.54 |
[0,0] score:1 trace|run result time:4.47 |
[0,0] score:1 trace|run result time:3.01 |
| ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf | [-2,-18] score:1 trace|run result time:4.18 |
[-2,-18] score:1 trace|run result time:3.20 |
[-2,-18] score:1 trace|run result time:10.43 |
[-2,-18] score:1 trace|run result time:6.29 |
[-2,-18] score:1 trace|run result time:8.48 |
| a754ac72-95cc-11e0-9181-00163e1e087d.cudf | [0,-8] score:1 trace|run result time:2.05 |
[0,-8] score:1 trace|run result time:1.98 |
[0,-8] score:1 trace|run result time:5.65 |
[0,-8] score:1 trace|run result time:4.70 |
[0,-8] score:1 trace|run result time:2.69 |
| 978532fa-c730-11df-b070-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:4.46 |
[0,-2] score:1 trace|run result time:3.75 |
[0,-2] score:1 trace|run result time:16.91 |
[0,-2] score:1 trace|run result time:6.30 |
[0,-2] score:1 trace|run result time:9.47 |
| 8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf | [-2,-18] score:1 trace|run result time:4.22 |
[-2,-18] score:1 trace|run result time:3.22 |
[-2,-18] score:1 trace|run result time:10.46 |
[-2,-18] score:1 trace|run result time:6.27 |
[-2,-18] score:1 trace|run result time:8.42 |
| 8afdd89e-51b8-11e0-acd7-00163e1e087d.cudf | [-4,-52] score:1 trace|run result time:2.38 |
[-4,-52] score:1 trace|run result time:2.08 |
[-4,-52] score:1 trace|run result time:5.06 |
[-4,-52] score:1 trace|run result time:4.50 |
[-4,-52] score:1 trace|run result time:5.20 |
| 8680dd8a-8600-11e0-b285-00163e1e087d.cudf | [0,-11] score:1 trace|run result time:3.29 |
[0,-11] score:1 trace|run result time:2.83 |
[0,-11] score:1 trace|run result time:8.24 |
[0,-11] score:1 trace|run result time:5.62 |
[0,-11] score:1 trace|run result time:7.47 |
| 8222799a-9af8-11df-8b50-00163e46d37a.cudf | [0,0] score:1 trace|run result time:2.04 |
[0,0] score:1 trace|run result time:1.96 |
[0,0] score:1 trace|run result time:6.13 |
[0,0] score:1 trace|run result time:4.12 |
[0,0] score:1 trace|run result time:2.14 |
| 80e3fda2-9501-11e0-8001-00163e1e087d.cudf | [0,-8] score:1 trace|run result time:2.12 |
[0,-8] score:1 trace|run result time:1.98 |
[0,-8] score:1 trace|run result time:5.66 |
[0,-8] score:1 trace|run result time:4.74 |
[0,-8] score:1 trace|run result time:2.69 |
| 80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf | [0,0] score:1 trace|run result time:2.11 |
[0,0] score:1 trace|run result time:1.96 |
[0,0] score:1 trace|run result time:5.74 |
[0,0] score:1 trace|run result time:4.50 |
[0,0] score:1 trace|run result time:2.19 |
| 7f80e4f0-4fe9-11e0-acd7-00163e1e087d.cudf | [-4,-52] score:1 trace|run result time:2.35 |
[-4,-52] score:1 trace|run result time:2.01 |
[-4,-52] score:1 trace|run result time:5.01 |
[-4,-52] score:1 trace|run result time:4.91 |
[-4,-52] score:1 trace|run result time:5.10 |
| 7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf | [-4,-52] score:1 trace|run result time:2.42 |
[-4,-52] score:1 trace|run result time:2.06 |
[-4,-52] score:1 trace|run result time:5.00 |
[-4,-52] score:1 trace|run result time:5.00 |
[-4,-52] score:1 trace|run result time:5.21 |
| 7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf | [0,0] score:1 trace|run result time:2.04 |
[0,0] score:1 trace|run result time:1.98 |
[0,0] score:1 trace|run result time:5.70 |
[0,0] score:1 trace|run result time:4.34 |
[0,0] score:1 trace|run result time:2.13 |
| 6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:4.58 |
[0,-2] score:1 trace|run result time:3.74 |
[0,-2] score:1 trace|run result time:17.35 |
[0,-2] score:1 trace|run result time:6.32 |
[0,-2] score:1 trace|run result time:9.38 |
| 56e31304-c17a-11df-b070-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:2.92 |
[0,0] score:1 trace|run result time:2.61 |
[0,0] score:1 trace|run result time:9.18 |
[0,0] score:1 trace|run result time:4.60 |
[0,0] score:1 trace|run result time:5.42 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | [0,-83] score:1 trace|run result time:2.25 |
[0,-83] score:1 trace|run result time:2.33 |
[0,-83] score:1 trace|run result time:7.64 |
[0,-83] score:1 trace|run result time:4.09 |
[0,-83] score:1 trace|run result time:1.55 |
| 5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:4.50 |
[0,-2] score:1 trace|run result time:3.73 |
[0,-2] score:1 trace|run result time:16.61 |
[0,-2] score:1 trace|run result time:6.22 |
[0,-2] score:1 trace|run result time:9.23 |
| 4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf | FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
| 4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:2.87 |
[0,0] score:1 trace|run result time:2.58 |
[0,0] score:1 trace|run result time:9.15 |
[0,0] score:1 trace|run result time:4.63 |
[0,0] score:1 trace|run result time:5.41 |
| 4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:3.26 |
[0,-2] score:1 trace|run result time:2.75 |
[0,-2] score:1 trace|run result time:10.05 |
[0,-2] score:1 trace|run result time:5.63 |
[0,-2] score:1 trace|run result time:8.81 |
| 4a69cf16-c731-11df-9182-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:4.47 |
[0,-2] score:1 trace|run result time:3.70 |
[0,-2] score:1 trace|run result time:16.61 |
[0,-2] score:1 trace|run result time:6.48 |
[0,-2] score:1 trace|run result time:9.16 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | [0,0] score:1 trace|run result time:0.92 |
[0,0] score:1 trace|run result time:0.95 |
[0,0] score:1 trace|run result time:2.17 |
FAIL score:10 trace|run time:300.00 |
[0,0] score:1 trace|run result time:0.59 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | [0,-41] score:1 trace|run result time:2.22 |
[0,-41] score:1 trace|run result time:2.32 |
[0,-41] score:1 trace|run result time:7.44 |
[0,-41] score:1 trace|run result time:4.15 |
[0,-41] score:1 trace|run result time:1.66 |
| 33bb2fbc-9512-11e0-9181-00163e1e087d.cudf | [0,-8] score:1 trace|run result time:2.04 |
[0,-8] score:1 trace|run result time:1.97 |
[0,-8] score:1 trace|run result time:5.61 |
[0,-8] score:1 trace|run result time:4.69 |
[0,-8] score:1 trace|run result time:2.68 |
| 301cbe92-a79c-11e0-9181-00163e1e087d.cudf | FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
FAIL score:10 trace|run time:300.00 |
| 2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:2.85 |
[0,0] score:1 trace|run result time:2.58 |
[0,0] score:1 trace|run result time:19.32 |
[0,0] score:1 trace|run result time:5.66 |
[0,0] score:1 trace|run result time:4.50 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | [0,0] score:1 trace|run result time:1.30 |
[0,0] score:1 trace|run result time:1.25 |
[0,0] score:1 trace|run result time:3.49 |
[0,0] score:1 trace|run result time:4.38 |
[0,0] score:1 trace|run result time:2.27 |
| 27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:4.37 |
[0,-2] score:1 trace|run result time:3.60 |
[0,-2] score:1 trace|run result time:17.57 |
[0,-2] score:1 trace|run result time:6.16 |
[0,-2] score:1 trace|run result time:9.51 |
| 26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf | [0,-2] score:1 trace|run result time:3.27 |
[0,-2] score:1 trace|run result time:2.77 |
[0,-2] score:1 trace|run result time:9.69 |
[0,-2] score:1 trace|run result time:5.51 |
[0,-2] score:1 trace|run result time:8.48 |
| 1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf | [0,-13] score:1 trace|run result time:3.82 |
[0,-13] score:1 trace|run result time:3.35 |
[0,-13] score:1 trace|run result time:12.99 |
[0,-13] score:1 trace|run result time:5.79 |
[0,-13] score:1 trace|run result time:8.55 |
| 19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf | [0,0] score:1 trace|run result time:1.80 |
[0,0] score:1 trace|run result time:1.70 |
[0,0] score:1 trace|run result time:5.98 |
[0,0] score:1 trace|run result time:4.52 |
[0,0] score:1 trace|run result time:3.40 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | [0,0] score:1 trace|run result time:1.39 |
[0,0] score:1 trace|run result time:1.26 |
[0,0] score:1 trace|run result time:3.52 |
[0,0] score:1 trace|run result time:5.30 |
[0,0] score:1 trace|run result time:2.30 |
| 0207e19a-9b1c-11df-af69-00163e46d37a.cudf | [0,0] score:1 trace|run result time:2.09 |
[0,0] score:1 trace|run result time:2.03 |
[0,0] score:1 trace|run result time:6.64 |
[0,0] score:1 trace|run result time:4.62 |
[0,0] score:1 trace|run result time:2.96 |
Category: s-e-l-s-s
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| rand953.cudf | [-43,-138] score:1 trace|run result time:4.52 |
[-43,-138] score:1 trace|run result time:4.91 |
[-43,-138] score:1 trace|run result time:24.65 |
[-43,-138] score:1 trace|run result time:7.56 |
[-43,-138] score:1 trace|run result time:8.28 |
| rand946.cudf | [-63,-773] score:3 trace|run result time:290.05 |
[-63,-772] score:1 trace|run result time:13.09 |
[-63,-787] score:5 trace|run result time:284.89 |
[-63,-784] score:4 trace|run result time:285.30 |
[-63,-772] score:1 trace|run result time:43.07 |
| rand917.cudf | [-46,-445] score:1 trace|run result time:82.88 |
[-46,-445] score:1 trace|run result time:10.97 |
[-46,-450] score:5 trace|run result time:284.88 |
[-46,-445] score:1 trace|run result time:249.38 |
[-46,-445] score:1 trace|run result time:38.35 |
| rand90.cudf | [-35,-397] score:1 trace|run result time:10.50 |
[-35,-397] score:1 trace|run result time:10.26 |
[-35,-412] score:5 trace|run result time:284.89 |
[-35,-397] score:1 trace|run result time:17.01 |
[-35,-397] score:1 trace|run result time:17.57 |
| rand790.cudf | [-375,-488] score:1 trace|run result time:4.03 |
[-375,-488] score:1 trace|run result time:5.25 |
[-375,-488] score:1 trace|run result time:19.13 |
[-375,-488] score:1 trace|run result time:7.26 |
[-375,-488] score:1 trace|run result time:10.86 |
| rand519.cudf | [-61,-787] score:3 trace|run result time:290.12 |
[-61,-781] score:1 trace|run result time:13.04 |
[-61,-798] score:5 trace|run result time:284.91 |
[-61,-788] score:4 trace|run result time:285.20 |
[-61,-781] score:1 trace|run result time:249.97 |
| rand496.cudf | [-57,-438] score:1 trace|run result time:10.56 |
[-57,-438] score:1 trace|run result time:11.08 |
[-57,-438] score:1 trace|run result time:117.45 |
[-57,-438] score:1 trace|run result time:26.25 |
[-57,-438] score:1 trace|run result time:26.83 |
| rand314.cudf | [-57,-383] score:1 trace|run result time:59.61 |
[-57,-383] score:1 trace|run result time:10.61 |
[-57,-386] score:5 trace|run result time:284.91 |
[-57,-385] score:4 trace|run result time:285.23 |
[-57,-383] score:1 trace|run result time:72.53 |
| rand230.cudf | [-96,-382] score:1 trace|run result time:5.36 |
[-96,-382] score:1 trace|run result time:7.80 |
[-96,-382] score:1 trace|run result time:50.66 |
[-96,-382] score:1 trace|run result time:24.72 |
[-96,-382] score:1 trace|run result time:18.12 |
| rand176.cudf | [-184,-1057] score:3 trace|run result time:290.07 |
[-184,-1056] score:1 trace|run result time:16.68 |
[-184,-1065] score:5 trace|run result time:284.99 |
[-184,-1061] score:4 trace|run result time:285.86 |
[-184,-1056] score:1 trace|run result time:80.49 |
Category: s-e-l-s
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| rand576.cudf | [-68,-163] score:1 trace|run result time:4.29 |
[-68,-163] score:1 trace|run result time:5.12 |
[-68,-163] score:1 trace|run result time:22.33 |
[-68,-163] score:1 trace|run result time:8.52 |
[-68,-163] score:1 trace|run result time:10.67 |
| rand50.cudf | [-94,-590] score:1 trace|run result time:5.77 |
[-94,-590] score:1 trace|run result time:12.09 |
[-94,-590] score:1 trace|run result time:48.63 |
[-94,-590] score:1 trace|run result time:11.62 |
[-94,-590] score:1 trace|run result time:18.40 |
| rand477.cudf | [-77,-998] score:3 trace|run result time:290.11 |
[-77,-996] score:1 trace|run result time:14.12 |
[-77,-1013] score:5 trace|run result time:284.99 |
[-77,-1001] score:4 trace|run result time:285.19 |
[-77,-996] score:1 trace|run result time:35.28 |
| rand450.cudf | [-55,-414] score:1 trace|run result time:7.64 |
[-55,-414] score:1 trace|run result time:8.99 |
[-55,-414] score:1 trace|run result time:131.45 |
[-55,-414] score:1 trace|run result time:23.02 |
[-55,-414] score:1 trace|run result time:16.41 |
| rand439.cudf | [-77,-215] score:1 trace|run result time:4.44 |
[-77,-215] score:1 trace|run result time:5.25 |
[-77,-215] score:1 trace|run result time:23.31 |
[-77,-215] score:1 trace|run result time:9.04 |
[-77,-215] score:1 trace|run result time:9.57 |
| rand348.cudf | [-60,-154] score:1 trace|run result time:3.91 |
[-60,-154] score:1 trace|run result time:4.68 |
[-60,-154] score:1 trace|run result time:18.37 |
[-60,-154] score:1 trace|run result time:7.27 |
[-60,-154] score:1 trace|run result time:10.08 |
| rand343.cudf | [-47,-444] score:1 trace|run result time:159.17 |
[-47,-444] score:1 trace|run result time:9.86 |
[-47,-460] score:5 trace|run result time:284.86 |
[-47,-444] score:1 trace|run result time:226.32 |
[-47,-444] score:1 trace|run result time:44.49 |
| rand314.cudf | [-88,-870] score:1 trace|run result time:39.05 |
[-88,-870] score:1 trace|run result time:13.92 |
[-88,-879] score:5 trace|run result time:284.89 |
[-88,-870] score:1 trace|run result time:93.71 |
[-88,-870] score:1 trace|run result time:21.06 |
| rand208.cudf | [-56,-456] score:2 trace|run result time:290.09 |
[-56,-454] score:1 trace|run result time:9.89 |
[-56,-460] score:4 trace|run result time:284.87 |
[-56,-456] score:2 trace|run result time:285.26 |
[-56,-1363] score:5 trace|run result time:298.83 |
| rand149.cudf | [-41,-127] score:1 trace|run result time:4.36 |
[-41,-127] score:1 trace|run result time:5.18 |
[-41,-127] score:1 trace|run result time:22.30 |
[-41,-127] score:1 trace|run result time:9.69 |
[-41,-127] score:1 trace|run result time:13.03 |
Category: s-e-l
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| rand797.cudf | [-306,-535] score:1 trace|run result time:4.30 |
[-306,-535] score:1 trace|run result time:4.52 |
[-306,-535] score:1 trace|run result time:20.61 |
[-306,-535] score:1 trace|run result time:9.17 |
[-306,-535] score:1 trace|run result time:7.96 |
| rand598.cudf | [-34,-107] score:1 trace|run result time:2.63 |
[-34,-107] score:1 trace|run result time:2.78 |
[-34,-107] score:1 trace|run result time:6.98 |
[-34,-107] score:1 trace|run result time:5.89 |
[-34,-107] score:1 trace|run result time:6.72 |
| rand58.cudf | [-107,-329] score:1 trace|run result time:15.44 |
[-107,-329] score:1 trace|run result time:4.20 |
[-107,-330] score:5 trace|run result time:284.87 |
[-107,-329] score:1 trace|run result time:206.69 |
[-107,-329] score:1 trace|run result time:21.45 |
| rand461.cudf | [-331,-593] score:1 trace|run result time:290.07 |
[-331,-593] score:1 trace|run result time:4.79 |
[-331,-593] score:1 trace|run result time:284.94 |
[-331,-593] score:1 trace|run result time:284.29 |
[-331,-593] score:1 trace|run result time:25.53 |
| rand408.cudf | [-358,-616] score:1 trace|run result time:2.80 |
[-358,-616] score:1 trace|run result time:4.01 |
[-358,-616] score:1 trace|run result time:12.16 |
[-358,-616] score:1 trace|run result time:7.66 |
[-358,-616] score:1 trace|run result time:8.75 |
| rand399.cudf | [-42,-93] score:1 trace|run result time:2.67 |
[-42,-93] score:1 trace|run result time:2.58 |
[-42,-93] score:1 trace|run result time:7.36 |
[-42,-93] score:1 trace|run result time:5.47 |
[-42,-93] score:1 trace|run result time:5.67 |
| rand285.cudf | [-39,-92] score:1 trace|run result time:2.74 |
[-39,-92] score:1 trace|run result time:2.66 |
[-39,-92] score:1 trace|run result time:6.51 |
[-39,-92] score:1 trace|run result time:5.59 |
[-39,-92] score:1 trace|run result time:5.81 |
| rand250.cudf | [-28,-100] score:1 trace|run result time:2.81 |
[-28,-100] score:1 trace|run result time:2.63 |
[-28,-100] score:1 trace|run result time:6.94 |
[-28,-100] score:1 trace|run result time:5.46 |
[-28,-100] score:1 trace|run result time:8.14 |
| rand214.cudf | [-297,-370] score:1 trace|run result time:2.55 |
[-297,-370] score:1 trace|run result time:2.86 |
[-297,-370] score:1 trace|run result time:6.88 |
[-297,-370] score:1 trace|run result time:5.98 |
[-297,-370] score:1 trace|run result time:5.15 |
| rand115.cudf | [-93,-191] score:1 trace|run result time:2.50 |
[-93,-191] score:1 trace|run result time:3.07 |
[-93,-191] score:1 trace|run result time:8.73 |
[-93,-191] score:1 trace|run result time:6.08 |
[-93,-191] score:1 trace|run result time:5.62 |
Category: s-e
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| rand574.cudf | [-56,-115] score:1 trace|run result time:1.47 |
[-56,-115] score:1 trace|run result time:1.51 |
[-56,-115] score:1 trace|run result time:3.36 |
[-56,-115] score:1 trace|run result time:5.15 |
[-56,-115] score:1 trace|run result time:3.37 |
| rand528.cudf | [-80,-582] score:1 trace|run result time:1.52 |
[-80,-582] score:1 trace|run result time:2.13 |
[-80,-582] score:1 trace|run result time:4.52 |
[-80,-582] score:1 trace|run result time:5.64 |
[-80,-582] score:1 trace|run result time:4.62 |
| rand491.cudf | [-400,-464] score:1 trace|run result time:1.39 |
[-400,-464] score:1 trace|run result time:1.45 |
[-400,-464] score:1 trace|run result time:3.79 |
[-400,-464] score:1 trace|run result time:5.15 |
[-400,-464] score:1 trace|run result time:2.60 |
| rand485.cudf | [-380,-564] score:1 trace|run result time:1.42 |
[-380,-564] score:1 trace|run result time:1.91 |
[-380,-564] score:1 trace|run result time:3.69 |
[-380,-564] score:1 trace|run result time:5.13 |
[-380,-564] score:1 trace|run result time:2.96 |
| rand376.cudf | [-45,-58] score:1 trace|run result time:1.59 |
[-45,-58] score:1 trace|run result time:1.28 |
[-45,-58] score:1 trace|run result time:3.38 |
[-45,-58] score:1 trace|run result time:4.40 |
[-45,-58] score:1 trace|run result time:3.32 |
| rand347.cudf | [-324,-625] score:1 trace|run result time:1.75 |
[-324,-625] score:1 trace|run result time:2.24 |
[-324,-625] score:1 trace|run result time:5.98 |
[-324,-625] score:1 trace|run result time:6.05 |
[-324,-625] score:1 trace|run result time:3.72 |
| rand315.cudf | [-425,-505] score:1 trace|run result time:1.37 |
[-425,-505] score:1 trace|run result time:1.44 |
[-425,-505] score:1 trace|run result time:3.55 |
[-425,-505] score:1 trace|run result time:5.26 |
[-425,-505] score:1 trace|run result time:3.13 |
| rand230.cudf | [-141,-333] score:1 trace|run result time:1.49 |
[-141,-333] score:1 trace|run result time:1.64 |
[-141,-333] score:1 trace|run result time:3.90 |
[-141,-333] score:1 trace|run result time:5.29 |
[-141,-333] score:1 trace|run result time:3.27 |
| rand214.cudf | [-155,-238] score:1 trace|run result time:1.40 |
[-155,-238] score:1 trace|run result time:1.49 |
[-155,-238] score:1 trace|run result time:3.49 |
[-155,-238] score:1 trace|run result time:4.32 |
[-155,-238] score:1 trace|run result time:3.34 |
| rand125.cudf | [-53,-220] score:1 trace|run result time:1.54 |
[-53,-220] score:1 trace|run result time:1.67 |
[-53,-220] score:1 trace|run result time:3.90 |
[-53,-220] score:1 trace|run result time:4.63 |
[-53,-220] score:1 trace|run result time:3.56 |
Category: s
| Problem | aspcud-paranoid-1.5 | aspuncud-paranoid-1.3 | gj-paranoid-solver-1.0 | p2cudf-paranoid-1.13 | packup2mp4pa-0.6 |
|---|---|---|---|---|---|
| rand885.cudf | [-47,-63] score:1 trace|run result time:0.68 |
[-47,-63] score:1 trace|run result time:0.55 |
[-47,-63] score:1 trace|run result time:1.47 |
[-47,-63] score:1 trace|run result time:3.40 |
[-47,-63] score:1 trace|run result time:0.68 |
| rand77.cudf | [-108,-138] score:1 trace|run result time:0.65 |
[-108,-138] score:1 trace|run result time:0.57 |
[-108,-138] score:1 trace|run result time:1.64 |
[-108,-138] score:1 trace|run result time:3.49 |
[-108,-138] score:1 trace|run result time:1.07 |
| rand7.cudf | [-359,-379] score:1 trace|run result time:0.65 |
[-359,-379] score:1 trace|run result time:0.55 |
[-359,-379] score:1 trace|run result time:1.52 |
[-359,-379] score:1 trace|run result time:3.44 |
[-359,-379] score:1 trace|run result time:1.00 |
| rand600.cudf | [-171,-208] score:1 trace|run result time:0.65 |
[-171,-208] score:1 trace|run result time:0.54 |
[-171,-208] score:1 trace|run result time:1.50 |
[-171,-208] score:1 trace|run result time:3.39 |
[-171,-208] score:1 trace|run result time:1.03 |
| rand586.cudf | [-48,-84] score:1 trace|run result time:0.66 |
[-48,-84] score:1 trace|run result time:0.56 |
[-48,-84] score:1 trace|run result time:1.50 |
[-48,-84] score:1 trace|run result time:3.53 |
[-48,-84] score:1 trace|run result time:1.42 |
| rand529.cudf | [-96,-133] score:1 trace|run result time:0.68 |
[-96,-133] score:1 trace|run result time:0.56 |
[-96,-133] score:1 trace|run result time:1.56 |
[-96,-133] score:1 trace|run result time:3.53 |
[-96,-133] score:1 trace|run result time:1.14 |
| rand461.cudf | [-319,-336] score:1 trace|run result time:0.66 |
[-319,-336] score:1 trace|run result time:0.56 |
[-319,-336] score:1 trace|run result time:1.47 |
[-319,-336] score:1 trace|run result time:3.36 |
[-319,-336] score:1 trace|run result time:0.77 |
| rand298.cudf | [-48,-90] score:1 trace|run result time:0.64 |
[-48,-90] score:1 trace|run result time:0.54 |
[-48,-90] score:1 trace|run result time:1.44 |
[-48,-90] score:1 trace|run result time:3.38 |
[-48,-90] score:1 trace|run result time:0.68 |
| rand144.cudf | [-41,-61] score:1 trace|run result time:0.67 |
[-41,-61] score:1 trace|run result time:0.54 |
[-41,-61] score:1 trace|run result time:1.47 |
[-41,-61] score:1 trace|run result time:3.41 |
[-41,-61] score:1 trace|run result time:0.89 |
| rand0.cudf | [-115,-151] score:1 trace|run result time:0.65 |
[-115,-151] score:1 trace|run result time:0.56 |
[-115,-151] score:1 trace|run result time:1.49 |
[-115,-151] score:1 trace|run result time:4.14 |
[-115,-151] score:1 trace|run result time:0.86 |