. MiSC 2010 Paranoid Track
Category: cudf_set
| Problem | apt-pbo-paranoid-1.0.5 | aspcud-paranoid-1.0 | inescp-1.0 | p2cudf-paranoid-1.6 | ucl-cprel-1.0 | uns-paranoid-0.0002 |
|---|---|---|---|---|---|---|
| small3.cudf | ABORT score:18 trace|stderr |
[0,-2] score:1 trace|stderr result time:17.63 |
FAIL score:12 trace|stderr time:0.56 |
FAIL score:12 trace|stderr time:0.74 |
FAIL score:12 trace|stderr time:0.00 |
[0,-2] score:1 trace|stderr result time:118.50 |
| small2.cudf | ABORT score:18 trace|stderr |
[0,-2] score:1 trace|stderr result time:17.45 |
FAIL score:12 trace|stderr time:0.56 |
FAIL score:12 trace|stderr time:0.99 |
FAIL score:12 trace|stderr time:0.00 |
[0,-2] score:1 trace|stderr result time:30.23 |
| small1.cudf | ABORT score:18 trace|stderr |
[0,-2] score:1 trace|stderr result time:17.42 |
FAIL score:12 trace|stderr time:0.80 |
FAIL score:12 trace|stderr time:0.73 |
FAIL score:12 trace|stderr time:0.00 |
[0,-2] score:1 trace|stderr result time:35.48 |
| large3.cudf | ABORT score:18 trace|stderr |
[0,-2] score:1 trace|stderr result time:159.93 |
FAIL score:12 trace|stderr time:1.10 |
FAIL score:12 trace|stderr time:1.03 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| large2.cudf | ABORT score:18 trace|stderr |
NOTSOL score:24 trace|stderr result time:240.09 |
FAIL score:12 trace|stderr time:1.10 |
FAIL score:12 trace|stderr time:1.08 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| large1.cudf | ABORT score:18 trace|stderr |
NOTSOL score:24 trace|stderr result time:240.09 |
FAIL score:12 trace|stderr time:1.10 |
FAIL score:12 trace|stderr time:1.04 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| huge3.cudf | ABORT score:18 trace|stderr |
NOTSOL score:24 trace|stderr result time:290.10 |
FAIL score:12 trace|stderr time:2.18 |
FAIL score:12 trace|stderr time:3.71 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| huge2.cudf | ABORT score:18 trace|stderr |
NOTSOL score:24 trace|stderr result time:290.11 |
FAIL score:12 trace|stderr time:2.29 |
FAIL score:12 trace|stderr time:3.63 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| huge1.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:1.95 |
FAIL score:12 trace|stderr time:2.29 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
Category: debian-dudf
| Problem | apt-pbo-paranoid-1.0.5 | aspcud-paranoid-1.0 | inescp-1.0 | p2cudf-paranoid-1.6 | ucl-cprel-1.0 | uns-paranoid-0.0002 |
|---|---|---|---|---|---|---|
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | [-18,-21] score:4 trace|stderr result time:10.99 |
[-15,-29] score:1 trace|stderr result time:14.14 |
[-16,-34] score:2 trace|stderr result time:3.62 |
[-16,-34] score:2 trace|stderr result time:5.31 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-14,-40] score:1 trace|stderr result time:19.18 |
[-14,-40] score:1 trace|stderr result time:13.07 |
FAIL score:12 trace|stderr time:0.00 |
[-14,-40] score:1 trace|stderr result time:11.77 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | [-16,-21] score:2 trace|stderr result time:11.10 |
[-15,-23] score:1 trace|stderr result time:15.11 |
[-16,-28] score:3 trace|stderr result time:3.22 |
[-16,-28] score:3 trace|stderr result time:6.65 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | [-45,-72] score:5 trace|stderr result time:17.66 |
[-42,-77] score:1 trace|stderr result time:23.56 |
[-42,-84] score:3 trace|stderr result time:6.40 |
[-42,-84] score:3 trace|stderr result time:12.08 |
FAIL score:12 trace|stderr time:0.00 |
[-42,-77] score:1 trace|stderr result time:1.52 |
| 9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-14,-40] score:1 trace|stderr result time:19.20 |
[-14,-40] score:1 trace|stderr result time:12.70 |
FAIL score:12 trace|stderr time:0.00 |
[-14,-40] score:1 trace|stderr result time:11.75 |
| 8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-11,-36] score:1 trace|stderr result time:18.27 |
[-11,-36] score:1 trace|stderr result time:11.21 |
FAIL score:12 trace|stderr time:0.00 |
[-11,-36] score:1 trace|stderr result time:11.38 |
| 7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-17,-132] score:2 trace|stderr result time:27.59 |
[-17,-132] score:2 trace|stderr result time:12.52 |
FAIL score:12 trace|stderr time:0.00 |
[-17,-131] score:1 trace|stderr result time:10.07 |
| 7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-11,-36] score:1 trace|stderr result time:19.28 |
[-11,-36] score:1 trace|stderr result time:10.82 |
FAIL score:12 trace|stderr time:0.00 |
[-11,-36] score:1 trace|stderr result time:11.35 |
| 688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-11,-36] score:1 trace|stderr result time:18.42 |
[-11,-36] score:1 trace|stderr result time:10.43 |
FAIL score:12 trace|stderr time:0.00 |
[-11,-36] score:1 trace|stderr result time:12.58 |
| 58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-17,-132] score:2 trace|stderr result time:28.52 |
[-17,-132] score:2 trace|stderr result time:12.23 |
FAIL score:12 trace|stderr time:0.00 |
[-17,-131] score:1 trace|stderr result time:10.06 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-11,-90] score:2 trace|stderr result time:22.80 |
[-11,-90] score:2 trace|stderr result time:10.28 |
FAIL score:12 trace|stderr time:0.01 |
[-11,-89] score:1 trace|stderr result time:9.36 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | [-14,-44] score:1 trace|stderr result time:11.33 |
[-14,-44] score:1 trace|stderr result time:18.87 |
[-14,-52] score:4 trace|stderr result time:3.90 |
[-14,-52] score:4 trace|stderr result time:6.92 |
FAIL score:12 trace|stderr time:0.00 |
[-14,-44] score:1 trace|stderr result time:1.70 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-7,-36] score:2 trace|stderr result time:17.48 |
[-7,-36] score:2 trace|stderr result time:9.15 |
FAIL score:12 trace|stderr time:0.00 |
[-7,-35] score:1 trace|stderr result time:9.49 |
| 2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-14,-40] score:1 trace|stderr result time:19.18 |
[-14,-40] score:1 trace|stderr result time:10.88 |
FAIL score:12 trace|stderr time:0.00 |
[-14,-40] score:1 trace|stderr result time:11.18 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | [-18,-21] score:4 trace|stderr result time:10.93 |
[-15,-29] score:1 trace|stderr result time:14.37 |
[-16,-34] score:2 trace|stderr result time:3.67 |
[-16,-34] score:2 trace|stderr result time:5.98 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
| 218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-14,-40] score:1 trace|stderr result time:18.82 |
[-14,-40] score:1 trace|stderr result time:12.31 |
FAIL score:12 trace|stderr time:0.00 |
[-14,-40] score:1 trace|stderr result time:11.83 |
| 1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-11,-36] score:1 trace|stderr result time:18.28 |
[-11,-36] score:1 trace|stderr result time:11.40 |
FAIL score:12 trace|stderr time:0.00 |
[-11,-36] score:1 trace|stderr result time:12.45 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | [-18,-21] score:4 trace|stderr result time:11.75 |
[-15,-29] score:1 trace|stderr result time:14.41 |
[-16,-34] score:2 trace|stderr result time:3.57 |
[-16,-34] score:2 trace|stderr result time:6.07 |
FAIL score:12 trace|stderr time:0.00 |
ABORT score:18 trace|stderr |
Category: difficult
| Problem | apt-pbo-paranoid-1.0.5 | aspcud-paranoid-1.0 | inescp-1.0 | p2cudf-paranoid-1.6 | ucl-cprel-1.0 | uns-paranoid-0.0002 |
|---|---|---|---|---|---|---|
| randf61f65.cudf | NOTSOL score:24 trace|stderr result time:47.21 |
[-16,-294] score:1 trace|stderr result time:38.46 |
[-16,-316] score:3 trace|stderr result time:15.46 |
[-16,-320] score:4 trace|stderr result time:283.94 |
FAIL score:12 trace|stderr time:0.00 |
[-16,-294] score:1 trace|stderr result time:1.84 |
| randf406d5.cudf | NOTSOL score:24 trace|stderr result time:27.97 |
FAIL score:12 trace|stderr time:22.33 |
FAIL score:12 trace|stderr time:7.40 |
FAIL score:12 trace|stderr time:5.13 |
FAIL score:12 trace|stderr time:0.00 |
FAIL score:12 trace|stderr time:1.16 |
| randf17677.cudf | NOTSOL score:24 trace|stderr result time:17.39 |
[-12,-207] score:1 trace|stderr result time:57.66 |
[-12,-224] score:3 trace|stderr result time:13.81 |
[-12,-224] score:3 trace|stderr result time:114.20 |
FAIL score:12 trace|stderr time:0.00 |
[-12,-207] score:1 trace|stderr result time:1.53 |
| rande4fcd8.cudf | NOTSOL score:24 trace|stderr result time:26.15 |
[-16,-153] score:1 trace|stderr result time:60.36 |
[-16,-195] score:3 trace|stderr result time:13.25 |
[-16,-195] score:3 trace|stderr result time:284.49 |
FAIL score:12 trace|stderr time:0.00 |
[-16,-153] score:1 trace|stderr result time:1.86 |
| randd8bf6a.cudf | NOTSOL score:24 trace|stderr result time:21.84 |
[-33,-109] score:1 trace|stderr result time:33.13 |
[-33,-114] score:3 trace|stderr result time:11.36 |
[-33,-114] score:3 trace|stderr result time:12.71 |
FAIL score:12 trace|stderr time:0.00 |
[-33,-109] score:1 trace|stderr result time:1.48 |
| randc10393.cudf | NOTSOL score:24 trace|stderr result time:24.23 |
[-23,-268] score:1 trace|stderr result time:35.29 |
[-23,-280] score:3 trace|stderr result time:15.64 |
[-23,-280] score:3 trace|stderr result time:76.57 |
FAIL score:12 trace|stderr time:0.00 |
[-23,-268] score:1 trace|stderr result time:1.78 |
| randa870aa.cudf | NOTSOL score:24 trace|stderr result time:58.40 |
[-29,-292] score:1 trace|stderr result time:52.95 |
[-29,-299] score:3 trace|stderr result time:15.65 |
[-29,-299] score:3 trace|stderr result time:23.46 |
FAIL score:12 trace|stderr time:0.00 |
[-29,-292] score:1 trace|stderr result time:1.76 |
| randa651ed.cudf | NOTSOL score:24 trace|stderr result time:20.91 |
[-33,-175] score:1 trace|stderr result time:57.23 |
[-33,-189] score:3 trace|stderr result time:12.10 |
[-33,-189] score:3 trace|stderr result time:28.17 |
FAIL score:12 trace|stderr time:0.00 |
[-33,-175] score:1 trace|stderr result time:1.61 |
| randa45895.cudf | NOTSOL score:24 trace|stderr result time:50.97 |
FAIL score:12 trace|stderr time:22.87 |
FAIL score:12 trace|stderr time:7.43 |
FAIL score:12 trace|stderr time:7.19 |
FAIL score:12 trace|stderr time:0.00 |
FAIL score:12 trace|stderr time:1.14 |
| rand95e48b.cudf | NOTSOL score:24 trace|stderr result time:51.20 |
[-28,-311] score:1 trace|stderr result time:138.37 |
[-28,-324] score:3 trace|stderr result time:16.11 |
[-28,-327] score:4 trace|stderr result time:287.28 |
FAIL score:12 trace|stderr time:0.00 |
[-28,-311] score:1 trace|stderr result time:1.70 |
| rand908403.cudf | NOTSOL score:24 trace|stderr result time:59.06 |
[-30,-285] score:1 trace|stderr result time:37.16 |
[-30,-302] score:3 trace|stderr result time:15.54 |
[-30,-302] score:3 trace|stderr result time:284.24 |
FAIL score:12 trace|stderr time:0.00 |
[-30,-285] score:1 trace|stderr result time:1.47 |
| rand847939.cudf | NOTSOL score:24 trace|stderr result time:30.81 |
[-42,-319] score:1 trace|stderr result time:49.68 |
[-42,-332] score:3 trace|stderr result time:19.62 |
[-42,-334] score:4 trace|stderr result time:284.91 |
FAIL score:12 trace|stderr time:0.00 |
[-42,-319] score:1 trace|stderr result time:1.74 |
| rand7b4167.cudf | ABORT score:18 trace|stderr |
[-42,-132] score:1 trace|stderr result time:58.74 |
[-42,-138] score:3 trace|stderr result time:11.44 |
[-42,-138] score:3 trace|stderr result time:29.40 |
FAIL score:12 trace|stderr time:0.00 |
[-42,-132] score:1 trace|stderr result time:1.66 |
| rand50a937.cudf | NOTSOL score:24 trace|stderr result time:82.24 |
[-19,-364] score:1 trace|stderr result time:131.06 |
[-19,-377] score:3 trace|stderr result time:18.92 |
[-19,-385] score:4 trace|stderr result time:286.45 |
FAIL score:12 trace|stderr time:0.00 |
[-19,-364] score:1 trace|stderr result time:1.74 |
| rand4d6b1c.cudf | NOTSOL score:24 trace|stderr result time:18.35 |
[-26,-175] score:1 trace|stderr result time:69.12 |
[-26,-181] score:3 trace|stderr result time:14.52 |
[-26,-181] score:3 trace|stderr result time:22.07 |
FAIL score:12 trace|stderr time:0.00 |
[-26,-175] score:1 trace|stderr result time:1.88 |
| rand49d73b.cudf | NOTSOL score:24 trace|stderr result time:29.38 |
[-42,-230] score:1 trace|stderr result time:248.42 |
[-43,-240] score:3 trace|stderr result time:13.76 |
[-43,-240] score:3 trace|stderr result time:284.65 |
FAIL score:12 trace|stderr time:0.00 |
[-42,-230] score:1 trace|stderr result time:1.72 |
| rand394916.cudf | NOTSOL score:24 trace|stderr result time:31.83 |
FAIL score:12 trace|stderr time:22.34 |
FAIL score:12 trace|stderr time:7.80 |
FAIL score:12 trace|stderr time:5.34 |
FAIL score:12 trace|stderr time:0.00 |
FAIL score:12 trace|stderr time:1.13 |
| rand2fe899.cudf | NOTSOL score:24 trace|stderr result time:49.46 |
[-95,-245] score:1 trace|stderr result time:27.59 |
[-95,-253] score:3 trace|stderr result time:15.18 |
[-95,-253] score:3 trace|stderr result time:9.40 |
FAIL score:12 trace|stderr time:0.00 |
[-95,-245] score:1 trace|stderr result time:1.42 |
| rand2d2fd0.cudf | NOTSOL score:24 trace|stderr result time:23.02 |
[-19,-234] score:1 trace|stderr result time:63.34 |
[-19,-269] score:3 trace|stderr result time:13.81 |
[-19,-278] score:4 trace|stderr result time:286.84 |
FAIL score:12 trace|stderr time:0.00 |
[-19,-234] score:1 trace|stderr result time:1.52 |
| rand14ba69.cudf | NOTSOL score:24 trace|stderr result time:29.87 |
[-19,-249] score:4 trace|stderr result time:247.27 |
[-19,-235] score:2 trace|stderr result time:13.08 |
[-19,-239] score:3 trace|stderr result time:285.33 |
FAIL score:12 trace|stderr time:0.00 |
[-19,-229] score:1 trace|stderr result time:1.71 |
| rand0aa5c1.cudf | NOTSOL score:24 trace|stderr result time:22.41 |
[-45,-190] score:1 trace|stderr result time:44.11 |
[-45,-216] score:3 trace|stderr result time:14.46 |
[-45,-218] score:4 trace|stderr result time:287.17 |
FAIL score:12 trace|stderr time:0.00 |
[-45,-190] score:1 trace|stderr result time:1.60 |
| rand06f749.cudf | NOTSOL score:24 trace|stderr result time:17.01 |
[-18,-222] score:1 trace|stderr result time:36.35 |
[-18,-236] score:3 trace|stderr result time:12.66 |
[-18,-236] score:3 trace|stderr result time:20.61 |
FAIL score:12 trace|stderr time:0.00 |
[-18,-222] score:1 trace|stderr result time:1.52 |
Category: easy
| Problem | apt-pbo-paranoid-1.0.5 | aspcud-paranoid-1.0 | inescp-1.0 | p2cudf-paranoid-1.6 | ucl-cprel-1.0 | uns-paranoid-0.0002 |
|---|---|---|---|---|---|---|
| randf7a7e4.cudf | NOTSOL score:24 trace|stderr result time:8.54 |
[-403,-425] score:1 trace|stderr result time:15.79 |
[-404,-430] score:3 trace|stderr result time:13.95 |
[-404,-430] score:3 trace|stderr result time:5.29 |
FAIL score:12 trace|stderr time:0.00 |
[-403,-425] score:1 trace|stderr result time:0.82 |
| randeb343c.cudf | NOTSOL score:24 trace|stderr result time:7.99 |
[-54,-95] score:1 trace|stderr result time:15.80 |
[-54,-104] score:3 trace|stderr result time:4.92 |
[-54,-104] score:3 trace|stderr result time:5.40 |
FAIL score:12 trace|stderr time:0.01 |
[-54,-95] score:1 trace|stderr result time:0.87 |
| randea6106.cudf | NOTSOL score:24 trace|stderr result time:8.29 |
[-61,-97] score:1 trace|stderr result time:15.75 |
[-61,-111] score:3 trace|stderr result time:4.79 |
[-61,-111] score:3 trace|stderr result time:5.95 |
FAIL score:12 trace|stderr time:0.01 |
[-61,-97] score:1 trace|stderr result time:0.88 |
| randc192b7.cudf | NOTSOL score:24 trace|stderr result time:8.26 |
[-86,-192] score:1 trace|stderr result time:15.71 |
[-86,-200] score:3 trace|stderr result time:6.62 |
[-86,-200] score:3 trace|stderr result time:5.42 |
FAIL score:12 trace|stderr time:0.00 |
[-86,-192] score:1 trace|stderr result time:0.84 |
| randbe9acf.cudf | NOTSOL score:24 trace|stderr result time:8.07 |
[-72,-110] score:1 trace|stderr result time:15.76 |
[-72,-126] score:3 trace|stderr result time:5.28 |
[-72,-126] score:3 trace|stderr result time:5.20 |
FAIL score:12 trace|stderr time:0.01 |
[-72,-110] score:1 trace|stderr result time:0.95 |
| randba6b5b.cudf | NOTSOL score:24 trace|stderr result time:8.16 |
[-50,-78] score:1 trace|stderr result time:15.83 |
[-51,-87] score:3 trace|stderr result time:4.32 |
[-51,-87] score:3 trace|stderr result time:6.56 |
FAIL score:12 trace|stderr time:0.00 |
[-50,-78] score:1 trace|stderr result time:0.84 |
| randadea40.cudf | NOTSOL score:24 trace|stderr result time:8.12 |
[-95,-116] score:1 trace|stderr result time:15.90 |
[-95,-122] score:3 trace|stderr result time:5.49 |
[-95,-122] score:3 trace|stderr result time:5.56 |
FAIL score:12 trace|stderr time:0.00 |
[-95,-116] score:1 trace|stderr result time:0.96 |
| randaaa8ea.cudf | NOTSOL score:24 trace|stderr result time:8.14 |
[-65,-82] score:1 trace|stderr result time:16.13 |
[-65,-90] score:3 trace|stderr result time:4.71 |
[-65,-90] score:3 trace|stderr result time:5.37 |
FAIL score:12 trace|stderr time:0.00 |
[-65,-82] score:1 trace|stderr result time:0.89 |
| randa9ba44.cudf | NOTSOL score:24 trace|stderr result time:7.94 |
[-35,-55] score:1 trace|stderr result time:15.59 |
[-35,-62] score:3 trace|stderr result time:3.85 |
[-35,-62] score:3 trace|stderr result time:5.14 |
FAIL score:12 trace|stderr time:0.01 |
[-35,-55] score:1 trace|stderr result time:0.86 |
| rand951a14.cudf | NOTSOL score:24 trace|stderr result time:8.76 |
[-96,-126] score:1 trace|stderr result time:43.60 |
[-97,-131] score:3 trace|stderr result time:5.58 |
[-97,-131] score:3 trace|stderr result time:6.52 |
FAIL score:12 trace|stderr time:0.00 |
[-96,-126] score:1 trace|stderr result time:0.86 |
| rand8d117b.cudf | NOTSOL score:24 trace|stderr result time:8.30 |
[-96,-157] score:1 trace|stderr result time:15.80 |
[-96,-163] score:3 trace|stderr result time:6.09 |
[-96,-163] score:3 trace|stderr result time:5.54 |
FAIL score:12 trace|stderr time:0.00 |
[-96,-157] score:1 trace|stderr result time:0.86 |
| rand7fec8c.cudf | NOTSOL score:24 trace|stderr result time:8.52 |
[-30,-69] score:1 trace|stderr result time:16.24 |
[-30,-76] score:3 trace|stderr result time:4.14 |
[-30,-76] score:3 trace|stderr result time:6.38 |
FAIL score:12 trace|stderr time:0.01 |
[-30,-69] score:1 trace|stderr result time:0.91 |
| rand6d933e.cudf | NOTSOL score:24 trace|stderr result time:8.23 |
[-58,-88] score:1 trace|stderr result time:17.00 |
[-58,-95] score:3 trace|stderr result time:4.92 |
[-58,-95] score:3 trace|stderr result time:5.93 |
FAIL score:12 trace|stderr time:0.00 |
[-58,-88] score:1 trace|stderr result time:0.86 |
| rand61b840.cudf | NOTSOL score:24 trace|stderr result time:8.27 |
[-139,-247] score:1 trace|stderr result time:15.87 |
[-140,-252] score:3 trace|stderr result time:8.10 |
[-140,-252] score:3 trace|stderr result time:6.74 |
FAIL score:12 trace|stderr time:0.00 |
[-139,-247] score:1 trace|stderr result time:0.89 |
| rand5c1800.cudf | NOTSOL score:24 trace|stderr result time:8.20 |
[-51,-70] score:1 trace|stderr result time:16.53 |
[-51,-75] score:3 trace|stderr result time:4.28 |
[-51,-75] score:3 trace|stderr result time:5.55 |
FAIL score:12 trace|stderr time:0.00 |
[-51,-70] score:1 trace|stderr result time:0.90 |
| rand5619c8.cudf | NOTSOL score:24 trace|stderr result time:8.88 |
[-58,-146] score:1 trace|stderr result time:16.81 |
[-59,-155] score:3 trace|stderr result time:6.08 |
[-59,-155] score:3 trace|stderr result time:6.40 |
FAIL score:12 trace|stderr time:0.00 |
[-58,-146] score:1 trace|stderr result time:0.94 |
| rand359ca0.cudf | NOTSOL score:24 trace|stderr result time:8.65 |
[-30,-65] score:1 trace|stderr result time:16.45 |
[-31,-73] score:3 trace|stderr result time:4.30 |
[-31,-73] score:3 trace|stderr result time:6.34 |
FAIL score:12 trace|stderr time:0.00 |
[-30,-65] score:1 trace|stderr result time:0.96 |
| rand2fb7ab.cudf | NOTSOL score:24 trace|stderr result time:9.22 |
[-117,-193] score:1 trace|stderr result time:18.39 |
[-117,-199] score:3 trace|stderr result time:7.44 |
[-117,-199] score:3 trace|stderr result time:5.43 |
FAIL score:12 trace|stderr time:0.00 |
[-117,-193] score:1 trace|stderr result time:0.84 |
| rand1bff33.cudf | NOTSOL score:24 trace|stderr result time:8.25 |
[-23,-40] score:1 trace|stderr result time:16.26 |
[-24,-49] score:3 trace|stderr result time:3.56 |
[-24,-49] score:3 trace|stderr result time:5.79 |
FAIL score:12 trace|stderr time:0.00 |
[-23,-40] score:1 trace|stderr result time:0.91 |
| rand13b58e.cudf | NOTSOL score:24 trace|stderr result time:9.04 |
[-184,-238] score:1 trace|stderr result time:56.73 |
[-184,-248] score:3 trace|stderr result time:9.33 |
[-184,-248] score:3 trace|stderr result time:5.89 |
FAIL score:12 trace|stderr time:0.00 |
[-184,-238] score:1 trace|stderr result time:0.89 |
| rand08759d.cudf | NOTSOL score:24 trace|stderr result time:9.26 |
[-27,-109] score:1 trace|stderr result time:16.55 |
[-27,-116] score:3 trace|stderr result time:4.68 |
[-27,-116] score:3 trace|stderr result time:5.56 |
FAIL score:12 trace|stderr time:0.01 |
[-27,-109] score:1 trace|stderr result time:0.87 |
Category: impossible
| Problem | apt-pbo-paranoid-1.0.5 | aspcud-paranoid-1.0 | inescp-1.0 | p2cudf-paranoid-1.6 | ucl-cprel-1.0 | uns-paranoid-0.0002 |
|---|---|---|---|---|---|---|
| randfa4522.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[0,-4] score:2 trace|stderr result time:16.29 |
[0,-4] score:2 trace|stderr result time:12.35 |
FAIL score:12 trace|stderr time:0.00 |
[0,0] score:1 trace|stderr result time:2.73 |
| randec88d5.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-85,-226] score:2 trace|stderr result time:52.62 |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:0.00 |
[-79,-209] score:1 trace|stderr result time:5.44 |
| randaafcce.cudf | NOTSOL score:24 trace|stderr result time:207.54 |
ABORT score:18 trace|stderr |
[-72,-165] score:2 trace|stderr result time:41.36 |
[-72,-165] score:2 trace|stderr result time:13.69 |
FAIL score:12 trace|stderr time:0.00 |
[-71,-160] score:1 trace|stderr result time:5.10 |
| randa223c3.cudf | NOTSOL score:24 trace|stderr result time:205.92 |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-38,-302] score:2 trace|stderr result time:93.86 |
FAIL score:12 trace|stderr time:0.00 |
[-38,-293] score:1 trace|stderr result time:33.12 |
| rand8cc693.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:0.01 |
[-64,-410] score:1 trace|stderr result time:8.92 |
| rand878003.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-47,-322] score:2 trace|stderr result time:52.66 |
FAIL score:12 trace|stderr time:0.01 |
[-47,-318] score:1 trace|stderr result time:11.57 |
| rand835640.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-37,-120] score:2 trace|stderr result time:33.93 |
[-37,-120] score:2 trace|stderr result time:17.38 |
FAIL score:12 trace|stderr time:0.00 |
[-37,-114] score:1 trace|stderr result time:6.38 |
| rand81406f.cudf | NOTSOL score:24 trace|stderr result time:154.30 |
ABORT score:18 trace|stderr |
[-16,-108] score:2 trace|stderr result time:32.09 |
[-16,-108] score:2 trace|stderr result time:16.09 |
FAIL score:12 trace|stderr time:0.00 |
[-16,-104] score:1 trace|stderr result time:8.33 |
| rand7902a8.cudf | NOTSOL score:24 trace|stderr result time:150.76 |
ABORT score:18 trace|stderr |
[-27,-219] score:2 trace|stderr result time:50.15 |
[-27,-219] score:2 trace|stderr result time:23.05 |
FAIL score:12 trace|stderr time:0.00 |
[-27,-214] score:1 trace|stderr result time:6.37 |
| rand7141b1.cudf | NOTSOL score:24 trace|stderr result time:154.48 |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:0.01 |
[-46,-280] score:1 trace|stderr result time:13.06 |
| rand6b4d6e.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-34,-252] score:2 trace|stderr result time:59.23 |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:0.00 |
[-34,-248] score:1 trace|stderr result time:9.42 |
| rand655e63.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-43,-168] score:2 trace|stderr result time:42.21 |
[-43,-168] score:2 trace|stderr result time:163.10 |
FAIL score:12 trace|stderr time:0.00 |
[-39,-158] score:1 trace|stderr result time:12.54 |
| rand3dec28.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:19.05 |
FAIL score:12 trace|stderr time:11.30 |
FAIL score:12 trace|stderr time:0.00 |
[-34,-194] score:1 trace|stderr result time:8.54 |
| rand332173.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
FAIL score:12 trace|stderr time:0.01 |
[-22,-231] score:1 trace|stderr result time:13.52 |
| rand0695fb.cudf | ABORT score:18 trace|stderr |
ABORT score:18 trace|stderr |
[-72,-185] score:2 trace|stderr result time:43.19 |
[-72,-185] score:2 trace|stderr result time:21.31 |
FAIL score:12 trace|stderr time:0.00 |
[-72,-180] score:1 trace|stderr result time:6.21 |