Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
small3.cudf | FAIL score:16 trace|run time:0.09 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.16 |
[0,-2] score:1 trace|run result time:0.13 |
[0,-2] score:1 trace|run result time:0.06 |
[0,-2] score:1 trace|run result time:0.28 |
ABORT score:16 trace|run |
[0,-2] score:1 trace|run result time:1.37 |
small2.cudf | FAIL score:16 trace|run time:0.09 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.16 |
[0,-2] score:1 trace|run result time:0.17 |
[0,-2] score:1 trace|run result time:0.34 |
[0,-2] score:1 trace|run result time:0.17 |
ABORT score:16 trace|run |
[0,-2] score:1 trace|run result time:1.40 |
small1.cudf | FAIL score:16 trace|run time:0.09 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.14 |
[0,-2] score:1 trace|run result time:0.16 |
[0,-2] score:1 trace|run result time:0.18 |
[0,-2] score:1 trace|run result time:0.55 |
ABORT score:16 trace|run |
[0,-2] score:1 trace|run result time:1.54 |
large3.cudf | FAIL score:16 trace|run time:0.17 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.23 |
FAIL score:16 trace|run time:290.09 |
FAIL score:16 trace|run time:290.03 |
FAIL score:16 trace|run time:290.11 |
FAIL score:16 trace|run time:30.75 |
[0,-2] score:1 trace|run result time:211.94 |
large2.cudf | FAIL score:16 trace|run time:0.18 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.22 |
[0,-2] score:1 trace|run result time:171.22 |
FAIL score:16 trace|run time:290.09 |
FAIL score:16 trace|run time:290.03 |
FAIL score:16 trace|run time:30.78 |
FAIL score:16 trace|run time:281.23 |
large1.cudf | FAIL score:16 trace|run time:0.18 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.22 |
[0,-2] score:1 trace|run result time:122.31 |
FAIL score:16 trace|run time:290.08 |
FAIL score:16 trace|run time:290.05 |
FAIL score:16 trace|run time:30.81 |
FAIL score:16 trace|run time:281.27 |
huge3.cudf | FAIL score:16 trace|run time:0.35 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.42 |
FAIL score:16 trace|run time:290.04 |
FAIL score:16 trace|run time:290.02 |
FAIL score:16 trace|run time:290.05 |
FAIL score:16 trace|run time:31.85 |
FAIL score:16 trace|run time:283.17 |
huge2.cudf | FAIL score:16 trace|run time:0.36 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.42 |
FAIL score:16 trace|run time:290.07 |
FAIL score:16 trace|run time:290.08 |
FAIL score:16 trace|run time:290.04 |
FAIL score:16 trace|run time:31.76 |
FAIL score:16 trace|run time:283.43 |
huge1.cudf | FAIL score:16 trace|run time:0.36 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:0.41 |
FAIL score:16 trace|run time:290.02 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:290.05 |
FAIL score:16 trace|run time:31.05 |
FAIL score:16 trace|run time:282.57 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-21,-35] score:5 trace|run result time:7.06 |
[-15,-29] score:1 trace|run result time:1.09 |
[-15,-29] score:1 trace|run result time:1.09 |
[-15,-29] score:1 trace|run result time:1.07 |
ABORT score:16 trace|run |
[-15,-29] score:1 trace|run result time:4.26 |
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:21.15 |
[-14,-40] score:1 trace|run result time:7.86 |
[-14,-40] score:1 trace|run result time:5.48 |
[-14,-40] score:1 trace|run result time:24.89 |
[-18,-39] score:5 trace|run result time:10.75 |
[-14,-40] score:1 trace|run result time:9.14 |
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-21,-35] score:5 trace|run result time:7.16 |
[-15,-23] score:1 trace|run result time:1.00 |
[-15,-23] score:1 trace|run result time:0.91 |
[-15,-23] score:1 trace|run result time:0.90 |
ABORT score:16 trace|run |
[-15,-23] score:1 trace|run result time:3.80 |
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-59,-69] score:5 trace|run result time:28.23 |
[-42,-77] score:1 trace|run result time:1.45 |
[-42,-77] score:1 trace|run result time:2.28 |
[-42,-77] score:1 trace|run result time:2.18 |
ABORT score:16 trace|run |
[-42,-77] score:1 trace|run result time:5.41 |
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:21.40 |
[-14,-40] score:1 trace|run result time:7.84 |
[-14,-40] score:1 trace|run result time:5.48 |
[-14,-40] score:1 trace|run result time:28.41 |
[-18,-39] score:5 trace|run result time:10.82 |
[-14,-40] score:1 trace|run result time:8.83 |
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-27,-41] score:6 trace|run result time:20.82 |
[-11,-36] score:1 trace|run result time:7.68 |
[-11,-36] score:1 trace|run result time:5.12 |
[-11,-36] score:1 trace|run result time:31.01 |
[-15,-35] score:5 trace|run result time:12.60 |
[-11,-36] score:1 trace|run result time:8.40 |
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:18.66 |
[-17,-131] score:1 trace|run result time:6.90 |
[-17,-131] score:1 trace|run result time:10.75 |
[-17,-131] score:1 trace|run result time:27.58 |
[-25,-151] score:5 trace|run result time:33.23 |
[-17,-131] score:1 trace|run result time:7.96 |
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-27,-41] score:6 trace|run result time:21.03 |
[-11,-36] score:1 trace|run result time:7.61 |
[-11,-36] score:1 trace|run result time:5.10 |
[-11,-36] score:1 trace|run result time:27.21 |
[-15,-35] score:5 trace|run result time:12.60 |
[-11,-36] score:1 trace|run result time:8.64 |
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-27,-41] score:6 trace|run result time:21.04 |
[-11,-36] score:1 trace|run result time:7.12 |
[-11,-36] score:1 trace|run result time:5.17 |
[-11,-36] score:1 trace|run result time:13.96 |
[-15,-35] score:5 trace|run result time:12.44 |
[-11,-36] score:1 trace|run result time:8.45 |
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:18.66 |
[-17,-131] score:1 trace|run result time:6.90 |
[-17,-131] score:1 trace|run result time:10.64 |
[-17,-131] score:1 trace|run result time:27.43 |
[-25,-151] score:5 trace|run result time:33.00 |
[-17,-131] score:1 trace|run result time:8.33 |
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:17.56 |
[-11,-89] score:1 trace|run result time:5.20 |
[-11,-89] score:1 trace|run result time:7.74 |
[-11,-89] score:1 trace|run result time:10.37 |
[-11,-89] score:1 trace|run result time:10.25 |
[-11,-89] score:1 trace|run result time:7.74 |
412959c6-e965-11de-8ebf-00163e6585dd.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-29,-43] score:5 trace|run result time:8.46 |
[-14,-44] score:1 trace|run result time:1.22 |
[-14,-44] score:1 trace|run result time:1.25 |
[-14,-44] score:1 trace|run result time:1.09 |
ABORT score:16 trace|run |
[-14,-44] score:1 trace|run result time:4.99 |
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-21,-37] score:6 trace|run result time:17.52 |
[-7,-35] score:1 trace|run result time:7.15 |
[-7,-35] score:1 trace|run result time:4.58 |
[-7,-35] score:1 trace|run result time:8.22 |
[-7,-35] score:1 trace|run result time:8.16 |
[-7,-35] score:1 trace|run result time:7.48 |
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:23.67 |
[-14,-40] score:1 trace|run result time:8.64 |
[-14,-40] score:1 trace|run result time:5.39 |
[-14,-40] score:1 trace|run result time:28.36 |
[-18,-39] score:5 trace|run result time:10.95 |
[-14,-40] score:1 trace|run result time:8.40 |
29180036-5408-11df-9f57-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-21,-35] score:5 trace|run result time:6.99 |
[-15,-29] score:1 trace|run result time:1.10 |
[-15,-29] score:1 trace|run result time:1.20 |
[-15,-29] score:1 trace|run result time:1.07 |
ABORT score:16 trace|run |
[-15,-29] score:1 trace|run result time:4.89 |
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:21.05 |
[-14,-40] score:1 trace|run result time:8.07 |
[-14,-40] score:1 trace|run result time:5.46 |
[-14,-40] score:1 trace|run result time:24.71 |
[-18,-39] score:5 trace|run result time:10.74 |
[-14,-40] score:1 trace|run result time:9.19 |
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-27,-41] score:6 trace|run result time:21.18 |
[-11,-36] score:1 trace|run result time:7.23 |
[-11,-36] score:1 trace|run result time:5.22 |
[-11,-36] score:1 trace|run result time:22.22 |
[-15,-35] score:5 trace|run result time:12.36 |
[-11,-36] score:1 trace|run result time:8.22 |
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-21,-35] score:5 trace|run result time:7.00 |
[-15,-29] score:1 trace|run result time:1.06 |
[-15,-29] score:1 trace|run result time:1.06 |
[-15,-29] score:1 trace|run result time:1.06 |
ABORT score:16 trace|run |
[-15,-29] score:1 trace|run result time:4.36 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
randf61f65.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:12.84 |
[-16,-294] score:1 trace|run result time:1.44 |
[-16,-294] score:1 trace|run result time:3.40 |
[-16,-294] score:1 trace|run result time:2.72 |
[-20,-280] score:5 trace|run result time:33.01 |
[-16,-294] score:1 trace|run result time:6.34 |
randf406d5.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:12.91 |
FAIL score:16 trace|run time:1.39 |
FAIL score:16 trace|run time:0.96 |
FAIL score:16 trace|run time:0.93 |
FAIL score:16 trace|run time:2.90 |
FAIL score:16 trace|run time:5.66 |
randf17677.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:15.37 |
[-12,-207] score:1 trace|run result time:1.38 |
[-12,-207] score:1 trace|run result time:2.46 |
[-12,-207] score:1 trace|run result time:1.87 |
[-15,-187] score:5 trace|run result time:32.92 |
[-12,-207] score:1 trace|run result time:6.73 |
rande4fcd8.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:19.10 |
[-16,-153] score:1 trace|run result time:1.57 |
[-16,-153] score:1 trace|run result time:2.38 |
[-16,-153] score:1 trace|run result time:4.68 |
[-17,-166] score:5 trace|run result time:32.97 |
[-16,-153] score:1 trace|run result time:7.87 |
randd8bf6a.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:14.01 |
[-33,-109] score:1 trace|run result time:1.33 |
[-33,-109] score:1 trace|run result time:1.90 |
[-33,-109] score:1 trace|run result time:1.48 |
[-34,-115] score:5 trace|run result time:33.03 |
[-33,-109] score:1 trace|run result time:4.68 |
randc10393.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:13.98 |
[-23,-268] score:1 trace|run result time:1.43 |
[-23,-268] score:1 trace|run result time:3.30 |
[-23,-268] score:1 trace|run result time:1.93 |
[-26,-261] score:5 trace|run result time:32.98 |
[-23,-268] score:1 trace|run result time:6.24 |
randa870aa.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:15.53 |
[-29,-292] score:1 trace|run result time:1.46 |
[-29,-292] score:1 trace|run result time:3.40 |
[-29,-292] score:1 trace|run result time:2.98 |
[-32,-290] score:5 trace|run result time:32.85 |
[-29,-292] score:1 trace|run result time:6.34 |
randa651ed.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:12.82 |
[-33,-175] score:1 trace|run result time:1.33 |
[-33,-175] score:1 trace|run result time:2.28 |
[-33,-175] score:1 trace|run result time:1.98 |
[-33,-206] score:5 trace|run result time:33.62 |
[-33,-175] score:1 trace|run result time:6.14 |
randa45895.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:15.06 |
FAIL score:16 trace|run time:1.28 |
FAIL score:16 trace|run time:1.60 |
FAIL score:16 trace|run time:1.07 |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:4.04 |
rand95e48b.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:13.62 |
[-28,-311] score:1 trace|run result time:1.70 |
[-28,-311] score:1 trace|run result time:3.76 |
[-28,-311] score:1 trace|run result time:4.70 |
[-34,-280] score:5 trace|run result time:32.95 |
[-28,-311] score:1 trace|run result time:11.21 |
rand908403.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:25.86 |
[-30,-285] score:1 trace|run result time:1.47 |
[-30,-285] score:1 trace|run result time:3.92 |
[-30,-285] score:1 trace|run result time:2.01 |
[-34,-253] score:5 trace|run result time:32.95 |
[-30,-285] score:1 trace|run result time:6.11 |
rand847939.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:37.82 |
[-42,-319] score:1 trace|run result time:1.42 |
[-42,-319] score:1 trace|run result time:3.78 |
[-42,-319] score:1 trace|run result time:2.47 |
[-46,-324] score:5 trace|run result time:32.95 |
[-42,-319] score:1 trace|run result time:5.38 |
rand7b4167.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:16.28 |
[-42,-132] score:1 trace|run result time:1.44 |
[-42,-132] score:1 trace|run result time:2.06 |
[-42,-132] score:1 trace|run result time:2.10 |
[-43,-135] score:5 trace|run result time:32.97 |
[-42,-132] score:1 trace|run result time:6.45 |
rand50a937.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:14.04 |
[-19,-364] score:1 trace|run result time:1.46 |
[-19,-364] score:1 trace|run result time:4.63 |
[-19,-364] score:1 trace|run result time:3.18 |
[-20,-408] score:5 trace|run result time:32.99 |
[-19,-364] score:1 trace|run result time:7.53 |
rand4d6b1c.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:13.73 |
[-26,-175] score:1 trace|run result time:1.64 |
[-26,-175] score:1 trace|run result time:3.06 |
[-26,-175] score:1 trace|run result time:3.67 |
[-30,-214] score:5 trace|run result time:33.07 |
[-26,-175] score:1 trace|run result time:5.53 |
rand49d73b.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:12.76 |
[-42,-230] score:1 trace|run result time:2.01 |
[-42,-230] score:1 trace|run result time:3.06 |
[-42,-230] score:1 trace|run result time:9.28 |
[-44,-245] score:5 trace|run result time:33.49 |
[-42,-230] score:1 trace|run result time:11.15 |
rand394916.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:34.99 |
FAIL score:16 trace|run time:1.33 |
FAIL score:16 trace|run time:0.98 |
FAIL score:16 trace|run time:0.88 |
FAIL score:16 trace|run time:2.85 |
FAIL score:16 trace|run time:5.22 |
rand2fe899.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:46.28 |
[-95,-245] score:1 trace|run result time:1.42 |
[-95,-245] score:1 trace|run result time:3.66 |
[-95,-245] score:1 trace|run result time:1.28 |
[-101,-242] score:5 trace|run result time:32.95 |
[-95,-245] score:1 trace|run result time:5.21 |
rand2d2fd0.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:14.19 |
[-19,-234] score:1 trace|run result time:1.47 |
[-19,-234] score:1 trace|run result time:3.06 |
[-19,-234] score:1 trace|run result time:2.32 |
[-21,-284] score:5 trace|run result time:32.98 |
[-19,-234] score:1 trace|run result time:6.47 |
rand14ba69.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:12.86 |
[-19,-229] score:1 trace|run result time:4.43 |
[-19,-229] score:1 trace|run result time:3.01 |
[-19,-229] score:1 trace|run result time:10.74 |
[-21,-227] score:5 trace|run result time:32.95 |
[-19,-229] score:1 trace|run result time:15.48 |
rand0aa5c1.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:12.73 |
[-45,-190] score:1 trace|run result time:1.43 |
[-45,-190] score:1 trace|run result time:2.78 |
[-45,-190] score:1 trace|run result time:2.16 |
[-46,-191] score:5 trace|run result time:32.97 |
[-45,-190] score:1 trace|run result time:5.30 |
rand06f749.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:13.06 |
[-18,-222] score:1 trace|run result time:1.35 |
[-18,-222] score:1 trace|run result time:2.52 |
[-18,-222] score:1 trace|run result time:1.61 |
[-20,-222] score:5 trace|run result time:32.81 |
[-18,-222] score:1 trace|run result time:5.07 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
randf7a7e4.cudf | [-404,-425] score:6 trace|run result time:6.05 |
ABORT score:16 trace|run |
[-404,-425] score:6 trace|run result time:10.64 |
[-403,-425] score:1 trace|run result time:1.09 |
[-403,-425] score:1 trace|run result time:5.56 |
[-403,-425] score:1 trace|run result time:0.80 |
[-403,-426] score:5 trace|run result time:2.10 |
[-403,-425] score:1 trace|run result time:6.10 |
randeb343c.cudf | [-54,-95] score:1 trace|run result time:6.01 |
ABORT score:16 trace|run |
[-54,-95] score:1 trace|run result time:7.07 |
[-54,-95] score:1 trace|run result time:1.12 |
[-54,-95] score:1 trace|run result time:1.57 |
[-54,-95] score:1 trace|run result time:0.81 |
[-54,-95] score:1 trace|run result time:2.13 |
[-54,-95] score:1 trace|run result time:6.46 |
randea6106.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.89 |
[-61,-97] score:1 trace|run result time:1.10 |
[-61,-97] score:1 trace|run result time:1.62 |
[-61,-97] score:1 trace|run result time:0.88 |
[-61,-97] score:1 trace|run result time:2.08 |
[-61,-97] score:1 trace|run result time:6.73 |
randc192b7.cudf | [-87,-203] score:6 trace|run result time:6.13 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.25 |
[-86,-192] score:1 trace|run result time:1.11 |
[-86,-192] score:1 trace|run result time:2.41 |
[-86,-192] score:1 trace|run result time:0.87 |
[-86,-192] score:1 trace|run result time:2.35 |
[-86,-192] score:1 trace|run result time:4.96 |
randbe9acf.cudf | [-79,-120] score:6 trace|run result time:5.99 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.06 |
[-72,-110] score:1 trace|run result time:1.11 |
[-72,-110] score:1 trace|run result time:1.74 |
[-72,-110] score:1 trace|run result time:0.92 |
[-72,-110] score:1 trace|run result time:2.15 |
[-72,-110] score:1 trace|run result time:4.50 |
randba6b5b.cudf | [-55,-85] score:6 trace|run result time:5.97 |
ABORT score:16 trace|run |
[-55,-85] score:6 trace|run result time:7.19 |
[-50,-78] score:1 trace|run result time:1.09 |
[-50,-78] score:1 trace|run result time:1.42 |
[-50,-78] score:1 trace|run result time:0.87 |
[-52,-78] score:5 trace|run result time:2.12 |
[-50,-78] score:1 trace|run result time:6.47 |
randadea40.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.08 |
[-95,-116] score:1 trace|run result time:1.07 |
[-95,-116] score:1 trace|run result time:1.89 |
[-95,-116] score:1 trace|run result time:0.98 |
[-95,-116] score:1 trace|run result time:2.12 |
[-95,-116] score:1 trace|run result time:6.19 |
randaaa8ea.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.05 |
[-65,-82] score:1 trace|run result time:1.06 |
[-65,-82] score:1 trace|run result time:1.53 |
[-65,-82] score:1 trace|run result time:0.90 |
[-65,-82] score:1 trace|run result time:2.07 |
[-65,-82] score:1 trace|run result time:6.17 |
randa9ba44.cudf | [-35,-55] score:1 trace|run result time:5.96 |
ABORT score:16 trace|run |
[-35,-55] score:1 trace|run result time:7.02 |
[-35,-55] score:1 trace|run result time:1.08 |
[-35,-55] score:1 trace|run result time:1.21 |
[-35,-55] score:1 trace|run result time:0.78 |
[-35,-55] score:1 trace|run result time:2.03 |
[-35,-55] score:1 trace|run result time:4.60 |
rand951a14.cudf | [-97,-126] score:6 trace|run result time:5.93 |
ABORT score:16 trace|run |
[-97,-126] score:6 trace|run result time:7.09 |
[-96,-126] score:1 trace|run result time:1.08 |
[-96,-126] score:1 trace|run result time:1.92 |
[-96,-126] score:1 trace|run result time:0.96 |
[-96,-127] score:5 trace|run result time:2.12 |
[-96,-126] score:1 trace|run result time:6.05 |
rand8d117b.cudf | [-97,-157] score:6 trace|run result time:5.96 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.14 |
[-96,-157] score:1 trace|run result time:1.10 |
[-96,-157] score:1 trace|run result time:2.16 |
[-96,-157] score:1 trace|run result time:0.94 |
[-96,-158] score:5 trace|run result time:2.41 |
[-96,-157] score:1 trace|run result time:5.96 |
rand7fec8c.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.90 |
[-30,-69] score:1 trace|run result time:1.09 |
[-30,-69] score:1 trace|run result time:1.27 |
[-30,-69] score:1 trace|run result time:0.81 |
[-30,-69] score:1 trace|run result time:2.14 |
[-30,-69] score:1 trace|run result time:5.70 |
rand6d933e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.91 |
[-58,-88] score:1 trace|run result time:1.06 |
[-58,-88] score:1 trace|run result time:1.52 |
[-58,-88] score:1 trace|run result time:0.81 |
[-58,-88] score:1 trace|run result time:2.09 |
[-58,-88] score:1 trace|run result time:4.33 |
rand61b840.cudf | [-142,-248] score:6 trace|run result time:6.11 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.15 |
[-139,-247] score:1 trace|run result time:1.14 |
[-139,-247] score:1 trace|run result time:3.26 |
[-139,-247] score:1 trace|run result time:0.90 |
[-139,-247] score:1 trace|run result time:2.62 |
[-139,-247] score:1 trace|run result time:4.58 |
rand5c1800.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:8.62 |
[-51,-70] score:1 trace|run result time:1.10 |
[-51,-70] score:1 trace|run result time:1.36 |
[-51,-70] score:1 trace|run result time:0.80 |
[-52,-70] score:5 trace|run result time:2.12 |
[-51,-70] score:1 trace|run result time:5.28 |
rand5619c8.cudf | [-62,-150] score:6 trace|run result time:6.04 |
ABORT score:16 trace|run |
[-62,-150] score:6 trace|run result time:7.15 |
[-58,-146] score:1 trace|run result time:1.08 |
[-58,-146] score:1 trace|run result time:1.92 |
[-58,-146] score:1 trace|run result time:0.86 |
[-58,-146] score:1 trace|run result time:2.20 |
[-58,-146] score:1 trace|run result time:4.38 |
rand359ca0.cudf | [-66,-99] score:6 trace|run result time:5.96 |
ABORT score:16 trace|run |
[-66,-99] score:6 trace|run result time:7.06 |
[-30,-65] score:1 trace|run result time:1.08 |
[-30,-65] score:1 trace|run result time:1.23 |
[-30,-65] score:1 trace|run result time:0.83 |
[-31,-66] score:5 trace|run result time:2.13 |
[-30,-65] score:1 trace|run result time:5.99 |
rand2fb7ab.cudf | [-127,-208] score:6 trace|run result time:6.01 |
ABORT score:16 trace|run |
[-127,-208] score:6 trace|run result time:7.25 |
[-117,-193] score:1 trace|run result time:1.10 |
[-117,-193] score:1 trace|run result time:2.48 |
[-117,-193] score:1 trace|run result time:0.96 |
[-117,-193] score:1 trace|run result time:12.50 |
[-117,-193] score:1 trace|run result time:6.02 |
rand1bff33.cudf | [-24,-40] score:6 trace|run result time:6.02 |
ABORT score:16 trace|run |
[-24,-40] score:6 trace|run result time:7.01 |
[-23,-40] score:1 trace|run result time:1.12 |
[-23,-40] score:1 trace|run result time:1.05 |
[-23,-40] score:1 trace|run result time:0.91 |
[-23,-41] score:5 trace|run result time:2.46 |
[-23,-40] score:1 trace|run result time:4.66 |
rand13b58e.cudf | [-192,-242] score:6 trace|run result time:5.98 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:7.10 |
[-184,-238] score:1 trace|run result time:1.10 |
[-184,-238] score:1 trace|run result time:3.23 |
[-184,-238] score:1 trace|run result time:0.79 |
[-184,-238] score:1 trace|run result time:2.13 |
[-184,-238] score:1 trace|run result time:5.42 |
rand08759d.cudf | [-32,-120] score:6 trace|run result time:6.15 |
ABORT score:16 trace|run |
[-32,-120] score:6 trace|run result time:7.12 |
[-27,-109] score:1 trace|run result time:1.08 |
[-27,-109] score:1 trace|run result time:1.52 |
[-27,-109] score:1 trace|run result time:0.80 |
[-27,-109] score:1 trace|run result time:2.08 |
[-27,-109] score:1 trace|run result time:5.73 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
randfa4522.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[0,0] score:1 trace|run result time:3.96 |
[0,0] score:1 trace|run result time:2.06 |
[0,0] score:1 trace|run result time:2.54 |
ABORT score:16 trace|run |
[0,-1] score:4 trace|run result time:5.99 |
randec88d5.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-79,-209] score:1 trace|run result time:5.44 |
[-79,-209] score:1 trace|run result time:13.02 |
[-79,-209] score:1 trace|run result time:33.97 |
[-87,-220] score:5 trace|run result time:48.54 |
[-79,-209] score:1 trace|run result time:24.15 |
randaafcce.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-71,-160] score:1 trace|run result time:4.46 |
[-71,-160] score:1 trace|run result time:10.28 |
[-71,-160] score:1 trace|run result time:8.14 |
[-75,-143] score:5 trace|run result time:49.57 |
[-71,-160] score:1 trace|run result time:8.30 |
randa223c3.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-38,-293] score:1 trace|run result time:4.84 |
[-38,-293] score:1 trace|run result time:15.66 |
[-38,-293] score:1 trace|run result time:14.90 |
[-66,-304] score:5 trace|run result time:56.41 |
[-38,-293] score:1 trace|run result time:11.89 |
rand8cc693.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-64,-410] score:1 trace|run result time:10.61 |
[-64,-410] score:1 trace|run result time:247.96 |
[-64,-410] score:1 trace|run result time:30.26 |
ABORT score:16 trace|run |
[-64,-410] score:1 trace|run result time:33.59 |
rand878003.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-47,-318] score:1 trace|run result time:5.03 |
[-47,-318] score:1 trace|run result time:17.17 |
[-47,-318] score:1 trace|run result time:12.56 |
[-55,-234] score:5 trace|run result time:48.89 |
[-47,-318] score:1 trace|run result time:13.91 |
rand835640.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-37,-114] score:1 trace|run result time:4.42 |
[-37,-114] score:1 trace|run result time:7.76 |
[-37,-114] score:1 trace|run result time:8.34 |
[-37,-115] score:5 trace|run result time:48.43 |
[-37,-114] score:1 trace|run result time:7.76 |
rand81406f.cudf | [-111,-548] score:6 trace|run result time:25.44 |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-16,-104] score:1 trace|run result time:4.82 |
[-16,-104] score:1 trace|run result time:6.82 |
[-16,-104] score:1 trace|run result time:6.32 |
[-17,-107] score:5 trace|run result time:49.42 |
[-16,-104] score:1 trace|run result time:8.22 |
rand7902a8.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-27,-214] score:1 trace|run result time:4.46 |
[-27,-214] score:1 trace|run result time:12.36 |
[-27,-214] score:1 trace|run result time:11.34 |
[-47,-223] score:5 trace|run result time:49.00 |
[-27,-214] score:1 trace|run result time:11.48 |
rand7141b1.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-46,-280] score:1 trace|run result time:5.14 |
[-46,-280] score:1 trace|run result time:16.48 |
[-46,-280] score:1 trace|run result time:13.21 |
[-58,-246] score:5 trace|run result time:51.97 |
[-46,-280] score:1 trace|run result time:13.30 |
rand6b4d6e.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-34,-248] score:1 trace|run result time:8.14 |
[-34,-248] score:1 trace|run result time:13.10 |
[-34,-248] score:1 trace|run result time:23.45 |
[-41,-181] score:5 trace|run result time:47.90 |
[-34,-248] score:1 trace|run result time:33.98 |
rand655e63.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-39,-158] score:1 trace|run result time:4.94 |
[-39,-158] score:1 trace|run result time:10.05 |
[-39,-158] score:1 trace|run result time:13.67 |
[-44,-207] score:5 trace|run result time:49.10 |
[-39,-158] score:1 trace|run result time:11.27 |
rand3dec28.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-34,-194] score:1 trace|run result time:4.74 |
[-34,-194] score:1 trace|run result time:11.86 |
[-34,-194] score:1 trace|run result time:13.54 |
[-36,-140] score:5 trace|run result time:49.56 |
[-34,-194] score:1 trace|run result time:11.30 |
rand332173.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-22,-231] score:1 trace|run result time:5.50 |
[-22,-231] score:1 trace|run result time:13.34 |
[-22,-231] score:1 trace|run result time:14.71 |
[-28,-257] score:5 trace|run result time:48.59 |
[-22,-231] score:1 trace|run result time:15.38 |
rand0695fb.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:34.45 |
[-72,-180] score:1 trace|run result time:4.24 |
[-72,-180] score:1 trace|run result time:11.16 |
[-72,-180] score:1 trace|run result time:9.56 |
[-80,-258] score:5 trace|run result time:48.72 |
[-72,-180] score:1 trace|run result time:8.61 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
rand986.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-19,-73] score:1 trace|run result time:3.98 |
[-19,-73] score:1 trace|run result time:5.05 |
[-19,-73] score:1 trace|run result time:3.41 |
[-19,-73] score:1 trace|run result time:34.98 |
[-19,-73] score:1 trace|run result time:6.54 |
rand915.sarge-etch-lenny-squeeze-sid.cudf | [-190,-727] score:6 trace|run result time:17.59 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:55.90 |
[-47,-66] score:1 trace|run result time:4.28 |
[-47,-66] score:1 trace|run result time:5.47 |
[-47,-66] score:1 trace|run result time:3.31 |
[-47,-66] score:1 trace|run result time:5.68 |
[-47,-66] score:1 trace|run result time:6.45 |
rand815.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:88.33 |
[-74,-196] score:1 trace|run result time:4.05 |
[-74,-196] score:1 trace|run result time:11.82 |
[-74,-196] score:1 trace|run result time:9.41 |
[-77,-128] score:5 trace|run result time:35.49 |
[-74,-196] score:1 trace|run result time:8.50 |
rand753.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:32.59 |
[-98,-634] score:1 trace|run result time:66.05 |
[-98,-634] score:1 trace|run result time:30.17 |
[-98,-635] score:4 trace|run result time:290.18 |
[-138,-207] score:5 trace|run result time:35.39 |
[-98,-634] score:1 trace|run result time:175.50 |
rand550.sarge-etch-lenny-squeeze-sid.cudf | [-170,-641] score:6 trace|run result time:17.64 |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-37,-136] score:1 trace|run result time:4.19 |
[-37,-136] score:1 trace|run result time:8.36 |
[-37,-136] score:1 trace|run result time:5.15 |
[-50,-78] score:5 trace|run result time:35.12 |
[-37,-136] score:1 trace|run result time:6.96 |
rand494.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:214.93 |
[-65,-152] score:1 trace|run result time:4.16 |
[-65,-152] score:1 trace|run result time:9.49 |
[-65,-152] score:1 trace|run result time:5.35 |
[-65,-155] score:5 trace|run result time:35.55 |
[-65,-152] score:1 trace|run result time:7.02 |
rand316.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:99.51 |
[-38,-157] score:1 trace|run result time:4.18 |
NOTSOL score:24 trace|run result time:290.05 |
[-38,-157] score:1 trace|run result time:5.34 |
[-38,-164] score:4 trace|run result time:35.57 |
[-38,-157] score:1 trace|run result time:7.55 |
rand180.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-54,-92] score:1 trace|run result time:4.17 |
[-54,-92] score:1 trace|run result time:6.60 |
[-54,-92] score:1 trace|run result time:3.76 |
[-54,-94] score:5 trace|run result time:35.45 |
[-54,-92] score:1 trace|run result time:6.73 |
rand165.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:122.26 |
FAIL score:16 trace|run time:290.03 |
NOTSOL score:24 trace|run result time:290.07 |
[-162,-987] score:1 trace|run result time:290.14 |
[-253,-294] score:3 trace|run result time:35.38 |
[-162,-992] score:2 trace|run result time:290.07 |
rand108.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:72.59 |
[-30,-55] score:1 trace|run result time:4.36 |
[-30,-55] score:1 trace|run result time:4.68 |
[-30,-55] score:1 trace|run result time:2.80 |
[-30,-55] score:1 trace|run result time:6.10 |
[-30,-55] score:1 trace|run result time:7.08 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
rand986.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-19,-73] score:1 trace|run result time:3.76 |
[-19,-73] score:1 trace|run result time:4.85 |
[-19,-73] score:1 trace|run result time:3.28 |
[-19,-73] score:1 trace|run result time:34.78 |
[-19,-73] score:1 trace|run result time:6.20 |
rand915.sarge-etch-lenny-squeeze.cudf | [-198,-694] score:6 trace|run result time:16.97 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:88.47 |
[-47,-66] score:1 trace|run result time:3.40 |
[-47,-66] score:1 trace|run result time:5.18 |
[-47,-66] score:1 trace|run result time:3.32 |
[-47,-66] score:1 trace|run result time:5.47 |
[-47,-66] score:1 trace|run result time:7.30 |
rand815.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-74,-196] score:1 trace|run result time:3.80 |
[-74,-196] score:1 trace|run result time:11.07 |
[-74,-196] score:1 trace|run result time:5.23 |
[-77,-128] score:5 trace|run result time:35.29 |
[-74,-196] score:1 trace|run result time:7.08 |
rand753.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:47.25 |
[-100,-569] score:1 trace|run result time:5.63 |
[-100,-569] score:1 trace|run result time:24.60 |
[-100,-569] score:1 trace|run result time:9.56 |
[-138,-207] score:5 trace|run result time:35.32 |
[-100,-569] score:1 trace|run result time:8.74 |
rand550.sarge-etch-lenny-squeeze.cudf | [-177,-637] score:6 trace|run result time:16.93 |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-37,-136] score:1 trace|run result time:3.88 |
[-37,-136] score:1 trace|run result time:7.73 |
[-37,-136] score:1 trace|run result time:6.86 |
[-50,-78] score:5 trace|run result time:34.79 |
[-37,-136] score:1 trace|run result time:6.48 |
rand494.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-65,-152] score:1 trace|run result time:3.98 |
[-65,-152] score:1 trace|run result time:8.82 |
[-65,-152] score:1 trace|run result time:4.76 |
[-65,-155] score:5 trace|run result time:34.81 |
[-65,-152] score:1 trace|run result time:6.92 |
rand316.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:96.69 |
[-38,-157] score:1 trace|run result time:3.85 |
[-38,-157] score:1 trace|run result time:95.39 |
[-38,-157] score:1 trace|run result time:5.99 |
[-38,-161] score:5 trace|run result time:36.03 |
[-38,-157] score:1 trace|run result time:6.89 |
rand180.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-54,-92] score:1 trace|run result time:3.90 |
[-54,-92] score:1 trace|run result time:6.36 |
[-54,-92] score:1 trace|run result time:3.32 |
[-54,-94] score:5 trace|run result time:34.69 |
[-54,-92] score:1 trace|run result time:6.00 |
rand165.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
FAIL score:16 trace|run time:290.09 |
[-164,-987] score:1 trace|run result time:47.90 |
[-164,-989] score:2 trace|run result time:290.08 |
[-253,-294] score:3 trace|run result time:34.85 |
ABORT score:16 trace|run |
rand108.sarge-etch-lenny-squeeze.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-30,-55] score:1 trace|run result time:4.12 |
[-30,-55] score:1 trace|run result time:4.48 |
[-30,-55] score:1 trace|run result time:2.38 |
[-30,-55] score:1 trace|run result time:5.50 |
[-30,-55] score:1 trace|run result time:7.36 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
rand986.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-23,-76] score:1 trace|run result time:2.72 |
[-23,-76] score:1 trace|run result time:3.45 |
[-23,-76] score:1 trace|run result time:1.94 |
[-23,-76] score:1 trace|run result time:3.53 |
[-23,-76] score:1 trace|run result time:5.08 |
rand915.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:19.12 |
[-47,-66] score:1 trace|run result time:2.58 |
[-47,-66] score:1 trace|run result time:3.59 |
[-47,-66] score:1 trace|run result time:1.77 |
[-47,-66] score:1 trace|run result time:3.42 |
[-47,-66] score:1 trace|run result time:4.98 |
rand815.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:17.75 |
[-78,-121] score:1 trace|run result time:2.83 |
[-78,-121] score:1 trace|run result time:5.69 |
[-78,-121] score:1 trace|run result time:1.55 |
[-78,-130] score:5 trace|run result time:33.32 |
[-78,-121] score:1 trace|run result time:5.48 |
rand753.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:14.51 |
[-117,-369] score:1 trace|run result time:3.50 |
[-117,-369] score:1 trace|run result time:12.37 |
[-117,-369] score:1 trace|run result time:5.42 |
[-124,-243] score:5 trace|run result time:33.17 |
[-117,-369] score:1 trace|run result time:8.65 |
rand550.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-37,-136] score:1 trace|run result time:2.36 |
[-37,-136] score:1 trace|run result time:5.23 |
[-37,-136] score:1 trace|run result time:2.59 |
[-43,-87] score:5 trace|run result time:32.99 |
[-37,-136] score:1 trace|run result time:5.45 |
rand494.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:41.66 |
[-67,-94] score:1 trace|run result time:2.38 |
[-67,-94] score:1 trace|run result time:4.88 |
[-67,-94] score:1 trace|run result time:1.49 |
[-67,-94] score:1 trace|run result time:3.39 |
[-67,-94] score:1 trace|run result time:5.30 |
rand316.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:28.33 |
[-41,-158] score:1 trace|run result time:2.39 |
[-41,-158] score:1 trace|run result time:6.14 |
[-41,-158] score:1 trace|run result time:3.25 |
[-41,-159] score:5 trace|run result time:33.31 |
[-41,-158] score:1 trace|run result time:6.20 |
rand180.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-55,-80] score:1 trace|run result time:2.29 |
[-55,-80] score:1 trace|run result time:4.16 |
[-55,-80] score:1 trace|run result time:1.67 |
[-55,-93] score:5 trace|run result time:33.35 |
[-55,-80] score:1 trace|run result time:5.30 |
rand165.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-254,-289] score:1 trace|run result time:3.00 |
[-254,-289] score:1 trace|run result time:12.42 |
[-254,-289] score:1 trace|run result time:2.26 |
[-254,-290] score:5 trace|run result time:33.20 |
[-254,-289] score:1 trace|run result time:5.46 |
rand108.sarge-etch-lenny.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-30,-55] score:1 trace|run result time:2.13 |
[-30,-55] score:1 trace|run result time:3.01 |
[-30,-55] score:1 trace|run result time:1.68 |
[-30,-55] score:1 trace|run result time:3.30 |
[-30,-55] score:1 trace|run result time:5.66 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
rand986.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:14.90 |
[-31,-81] score:1 trace|run result time:1.30 |
[-31,-81] score:1 trace|run result time:2.01 |
[-31,-81] score:1 trace|run result time:0.94 |
[-31,-81] score:1 trace|run result time:2.10 |
[-31,-81] score:1 trace|run result time:4.54 |
rand915.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:11.52 |
[-47,-66] score:1 trace|run result time:1.37 |
[-47,-66] score:1 trace|run result time:1.99 |
[-47,-66] score:1 trace|run result time:0.83 |
[-47,-66] score:1 trace|run result time:2.16 |
[-47,-66] score:1 trace|run result time:5.98 |
rand815.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:11.18 |
[-80,-128] score:1 trace|run result time:1.28 |
[-80,-128] score:1 trace|run result time:3.25 |
[-80,-128] score:1 trace|run result time:0.95 |
[-80,-129] score:5 trace|run result time:7.41 |
[-80,-128] score:1 trace|run result time:4.60 |
rand753.sarge-etch.cudf | [-164,-347] score:6 trace|run result time:5.99 |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:8.18 |
[-131,-190] score:1 trace|run result time:1.30 |
[-131,-190] score:1 trace|run result time:4.18 |
[-131,-190] score:1 trace|run result time:1.65 |
[-131,-190] score:1 trace|run result time:2.39 |
[-131,-190] score:1 trace|run result time:5.47 |
rand550.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:11.92 |
[-43,-87] score:1 trace|run result time:1.25 |
[-43,-87] score:1 trace|run result time:2.13 |
[-43,-87] score:1 trace|run result time:1.01 |
[-43,-87] score:1 trace|run result time:4.14 |
[-43,-87] score:1 trace|run result time:4.12 |
rand494.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:10.27 |
[-67,-94] score:1 trace|run result time:1.27 |
[-67,-94] score:1 trace|run result time:2.58 |
[-67,-94] score:1 trace|run result time:1.03 |
[-67,-94] score:1 trace|run result time:2.18 |
[-67,-94] score:1 trace|run result time:5.87 |
rand316.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:11.42 |
[-42,-73] score:1 trace|run result time:1.30 |
[-42,-73] score:1 trace|run result time:2.09 |
[-42,-73] score:1 trace|run result time:1.12 |
[-42,-74] score:5 trace|run result time:2.32 |
[-42,-73] score:1 trace|run result time:4.93 |
rand180.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:15.21 |
[-55,-80] score:1 trace|run result time:1.27 |
[-55,-80] score:1 trace|run result time:2.23 |
[-55,-80] score:1 trace|run result time:0.90 |
[-55,-80] score:1 trace|run result time:2.25 |
[-55,-80] score:1 trace|run result time:5.82 |
rand165.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:9.85 |
[-254,-289] score:1 trace|run result time:1.25 |
[-254,-289] score:1 trace|run result time:6.82 |
[-254,-289] score:1 trace|run result time:0.97 |
[-254,-290] score:5 trace|run result time:3.57 |
[-254,-289] score:1 trace|run result time:4.28 |
rand108.sarge-etch.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:11.70 |
[-30,-55] score:1 trace|run result time:1.27 |
[-30,-55] score:1 trace|run result time:1.66 |
[-30,-55] score:1 trace|run result time:1.06 |
[-30,-55] score:1 trace|run result time:2.26 |
[-30,-55] score:1 trace|run result time:4.26 |
Problem | apt-get-paranoid-1.0 | apt-pbo-paranoid-1.0.6 | aptitude-paranoid-1.0 | aspcud-paranoid-1.3 | cudf2msu4paranoid-1.0 | cudf2pbo4paranoid-1.0 | gj-paranoid-solver-0.1 | p2cudf-paranoid-1.9 |
---|---|---|---|---|---|---|---|---|
rand986.sarge.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-447,-474] score:6 trace|run result time:3.87 |
[-36,-68] score:1 trace|run result time:0.55 |
[-36,-68] score:1 trace|run result time:0.60 |
[-36,-68] score:1 trace|run result time:0.40 |
[-36,-68] score:1 trace|run result time:1.08 |
[-36,-68] score:1 trace|run result time:5.26 |
rand915.sarge.cudf | [-48,-66] score:1 trace|run result time:2.64 |
ABORT score:16 trace|run |
[-48,-66] score:1 trace|run result time:3.14 |
[-48,-66] score:1 trace|run result time:0.53 |
[-48,-66] score:1 trace|run result time:0.61 |
[-48,-66] score:1 trace|run result time:0.39 |
[-48,-66] score:1 trace|run result time:1.13 |
[-48,-66] score:1 trace|run result time:5.24 |
rand815.sarge.cudf | [-82,-117] score:1 trace|run result time:2.67 |
ABORT score:16 trace|run |
[-82,-117] score:1 trace|run result time:3.21 |
[-82,-117] score:1 trace|run result time:0.55 |
[-82,-117] score:1 trace|run result time:0.87 |
[-82,-117] score:1 trace|run result time:0.41 |
[-82,-118] score:7 trace|run result time:1.14 |
[-82,-117] score:1 trace|run result time:3.95 |
rand753.sarge.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
[-464,-474] score:6 trace|run result time:3.62 |
[-147,-161] score:1 trace|run result time:0.54 |
[-147,-161] score:1 trace|run result time:1.18 |
[-147,-161] score:1 trace|run result time:0.43 |
[-147,-161] score:1 trace|run result time:1.07 |
[-147,-161] score:1 trace|run result time:4.50 |
rand550.sarge.cudf | [-50,-89] score:1 trace|run result time:2.62 |
ABORT score:16 trace|run |
[-50,-89] score:1 trace|run result time:3.16 |
[-50,-89] score:1 trace|run result time:0.54 |
[-50,-89] score:1 trace|run result time:0.68 |
[-50,-89] score:1 trace|run result time:0.39 |
[-50,-89] score:1 trace|run result time:1.15 |
[-50,-89] score:1 trace|run result time:3.84 |
rand494.sarge.cudf | [-70,-95] score:6 trace|run result time:2.62 |
ABORT score:16 trace|run |
[-70,-95] score:6 trace|run result time:3.18 |
[-68,-94] score:1 trace|run result time:0.54 |
[-68,-94] score:1 trace|run result time:0.74 |
[-68,-94] score:1 trace|run result time:0.36 |
[-68,-94] score:1 trace|run result time:1.13 |
[-68,-94] score:1 trace|run result time:4.66 |
rand316.sarge.cudf | ABORT score:16 trace|run |
ABORT score:16 trace|run |
NOTSOL score:24 trace|run result time:3.86 |
[-42,-73] score:1 trace|run result time:0.55 |
[-42,-73] score:1 trace|run result time:0.65 |
[-42,-73] score:1 trace|run result time:0.41 |
[-42,-74] score:5 trace|run result time:1.08 |
[-42,-73] score:1 trace|run result time:5.91 |
rand180.sarge.cudf | [-55,-80] score:1 trace|run result time:2.65 |
ABORT score:16 trace|run |
[-55,-80] score:1 trace|run result time:3.18 |
[-55,-80] score:1 trace|run result time:0.56 |
[-55,-80] score:1 trace|run result time:0.68 |
[-55,-80] score:1 trace|run result time:0.38 |
[-55,-81] score:7 trace|run result time:1.05 |
[-55,-80] score:1 trace|run result time:3.70 |
rand165.sarge.cudf | [-255,-304] score:6 trace|run result time:2.62 |
ABORT score:16 trace|run |
[-255,-304] score:6 trace|run result time:3.37 |
[-254,-290] score:1 trace|run result time:0.55 |
[-254,-290] score:1 trace|run result time:1.86 |
[-254,-290] score:1 trace|run result time:0.35 |
[-254,-291] score:5 trace|run result time:1.08 |
[-254,-290] score:1 trace|run result time:5.64 |
rand108.sarge.cudf | [-44,-64] score:6 trace|run result time:2.63 |
ABORT score:16 trace|run |
[-44,-64] score:6 trace|run result time:3.20 |
[-30,-55] score:1 trace|run result time:0.53 |
[-30,-55] score:1 trace|run result time:0.54 |
[-30,-55] score:1 trace|run result time:0.36 |
[-30,-55] score:1 trace|run result time:1.14 |
[-30,-55] score:1 trace|run result time:4.72 |