. MiSC Trendy Track
Category: cudf_set
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| small3.cudf | FAIL score:14 trace|run time:0.08 |
NOTSOL score:21 trace|run result time:0.51 |
FAIL score:14 trace|run time:0.16 |
[0,0,0,-2] score:1 trace|run result time:0.16 |
[0,0,0,-2] score:1 trace|run result time:0.14 |
[0,0,0,-2] score:1 trace|run result time:0.47 |
[0,-1,0,-2] score:4 trace|run result time:1.44 |
| small2.cudf | FAIL score:14 trace|run time:0.09 |
NOTSOL score:21 trace|run result time:0.50 |
FAIL score:14 trace|run time:0.15 |
[0,0,0,-2] score:1 trace|run result time:0.37 |
[0,0,0,-2] score:1 trace|run result time:0.35 |
[0,0,0,-2] score:1 trace|run result time:0.51 |
[0,0,0,-2] score:1 trace|run result time:1.39 |
| small1.cudf | FAIL score:14 trace|run time:0.08 |
NOTSOL score:21 trace|run result time:0.52 |
FAIL score:14 trace|run time:0.16 |
[0,0,0,-2] score:1 trace|run result time:0.23 |
[0,0,0,-2] score:1 trace|run result time:0.36 |
[0,0,0,-2] score:1 trace|run result time:0.92 |
[0,-1,0,-2] score:4 trace|run result time:1.37 |
| large3.cudf | FAIL score:14 trace|run time:0.16 |
NOTSOL score:21 trace|run result time:1.43 |
FAIL score:14 trace|run time:0.23 |
[0,0,0,-2] score:1 trace|run result time:235.09 |
FAIL score:14 trace|run time:290.02 |
FAIL score:14 trace|run time:290.13 |
[0,-1,0,-2] score:2 trace|run result time:227.66 |
| large2.cudf | FAIL score:14 trace|run time:0.16 |
NOTSOL score:21 trace|run result time:1.49 |
FAIL score:14 trace|run time:0.24 |
[0,0,0,-2] score:1 trace|run result time:82.08 |
[0,0,0,-2] score:1 trace|run result time:257.45 |
FAIL score:14 trace|run time:290.10 |
FAIL score:14 trace|run time:281.36 |
| large1.cudf | FAIL score:14 trace|run time:0.16 |
NOTSOL score:21 trace|run result time:1.48 |
FAIL score:14 trace|run time:0.23 |
FAIL score:14 trace|run time:290.05 |
FAIL score:14 trace|run time:290.03 |
FAIL score:14 trace|run time:290.07 |
FAIL score:14 trace|run time:281.33 |
| huge3.cudf | FAIL score:14 trace|run time:0.35 |
NOTSOL score:21 trace|run result time:6.00 |
FAIL score:14 trace|run time:0.42 |
FAIL score:14 trace|run time:290.11 |
FAIL score:14 trace|run time:290.06 |
FAIL score:14 trace|run time:290.13 |
FAIL score:14 trace|run time:284.06 |
| huge2.cudf | FAIL score:14 trace|run time:0.36 |
NOTSOL score:21 trace|run result time:5.95 |
FAIL score:14 trace|run time:0.42 |
FAIL score:14 trace|run time:290.10 |
FAIL score:14 trace|run time:290.04 |
FAIL score:14 trace|run time:290.13 |
FAIL score:14 trace|run time:284.63 |
| huge1.cudf | FAIL score:14 trace|run time:0.34 |
NOTSOL score:21 trace|run result time:5.86 |
FAIL score:14 trace|run time:0.41 |
FAIL score:14 trace|run time:290.04 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.07 |
FAIL score:14 trace|run time:283.05 |
Category: debian-dudf
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-21,-659,-18,-14] score:5 trace|run result time:7.09 |
[-15,-17,-3,-64] score:1 trace|run result time:1.33 |
[-15,-17,-3,-64] score:1 trace|run result time:1.98 |
[-15,-17,-3,-64] score:1 trace|run result time:2.23 |
[-15,-17,-3,-64] score:1 trace|run result time:7.01 |
| e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:22.81 |
[-14,-400,-17,-359] score:1 trace|run result time:31.32 |
[-14,-400,-17,-359] score:1 trace|run result time:74.80 |
[-14,-400,-17,-359] score:1 trace|run result time:55.34 |
[-14,-400,-17,-359] score:1 trace|run result time:58.20 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-21,-437,-18,-14] score:5 trace|run result time:7.18 |
[-15,-10,-3,-57] score:1 trace|run result time:1.14 |
[-15,-10,-3,-57] score:1 trace|run result time:1.54 |
[-15,-10,-3,-57] score:1 trace|run result time:2.12 |
[-15,-10,-3,-57] score:1 trace|run result time:7.93 |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-59,-877,-90,-10] score:5 trace|run result time:31.09 |
[-42,-82,-29,-155] score:1 trace|run result time:3.74 |
[-42,-82,-29,-155] score:1 trace|run result time:7.06 |
[-42,-82,-29,-155] score:1 trace|run result time:18.63 |
[-42,-82,-29,-155] score:1 trace|run result time:10.28 |
| 9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:22.76 |
[-14,-400,-17,-359] score:1 trace|run result time:31.62 |
[-14,-400,-17,-359] score:1 trace|run result time:74.89 |
[-14,-400,-17,-359] score:1 trace|run result time:59.94 |
[-14,-400,-17,-359] score:1 trace|run result time:58.19 |
| 8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-27,-2274,-27,-14] score:5 trace|run result time:22.74 |
[-11,-402,-16,-360] score:1 trace|run result time:25.47 |
[-11,-402,-16,-360] score:1 trace|run result time:72.35 |
[-11,-402,-16,-360] score:1 trace|run result time:63.73 |
[-11,-402,-16,-360] score:1 trace|run result time:57.25 |
| 7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:19.24 |
[-17,-126,-13,-439] score:1 trace|run result time:14.91 |
[-17,-126,-13,-439] score:1 trace|run result time:60.66 |
[-17,-126,-13,-439] score:1 trace|run result time:52.38 |
[-17,-126,-13,-439] score:1 trace|run result time:47.20 |
| 7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-27,-2274,-27,-14] score:5 trace|run result time:22.82 |
[-11,-402,-16,-360] score:1 trace|run result time:25.91 |
[-11,-402,-16,-360] score:1 trace|run result time:72.41 |
[-11,-402,-16,-360] score:1 trace|run result time:57.49 |
[-11,-402,-16,-360] score:1 trace|run result time:57.17 |
| 688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:21.03 |
[-27,-2277,-27,-14] score:5 trace|run result time:22.90 |
[-11,-402,-16,-360] score:1 trace|run result time:49.38 |
[-11,-402,-16,-360] score:1 trace|run result time:68.88 |
[-11,-402,-16,-360] score:1 trace|run result time:52.27 |
[-11,-402,-16,-360] score:1 trace|run result time:54.98 |
| 58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:19.43 |
[-17,-126,-13,-439] score:1 trace|run result time:14.96 |
[-17,-126,-13,-439] score:1 trace|run result time:60.12 |
[-17,-126,-13,-439] score:1 trace|run result time:52.96 |
[-17,-126,-13,-439] score:1 trace|run result time:47.21 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:19.13 |
NOTSOL score:21 trace|run result time:17.70 |
[-11,-428,-15,-298] score:1 trace|run result time:17.20 |
[-11,-428,-15,-298] score:1 trace|run result time:73.71 |
[-11,-428,-15,-298] score:1 trace|run result time:51.70 |
[-11,-428,-15,-298] score:1 trace|run result time:40.11 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-29,-251,-39,-14] score:5 trace|run result time:8.66 |
[-14,-64,-2,-125] score:1 trace|run result time:1.58 |
[-14,-64,-2,-125] score:1 trace|run result time:3.27 |
[-14,-64,-2,-125] score:1 trace|run result time:2.63 |
[-14,-64,-2,-125] score:1 trace|run result time:5.81 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-21,-2152,-25,-16] score:5 trace|run result time:17.69 |
[-7,-432,-15,-293] score:1 trace|run result time:14.35 |
[-7,-432,-15,-293] score:1 trace|run result time:72.99 |
[-7,-432,-15,-293] score:1 trace|run result time:59.29 |
[-7,-432,-15,-293] score:1 trace|run result time:42.11 |
| 2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:24.58 |
[-14,-387,-15,-362] score:1 trace|run result time:258.87 |
[-14,-387,-15,-362] score:1 trace|run result time:74.08 |
[-14,-387,-15,-362] score:1 trace|run result time:54.28 |
[-14,-387,-15,-362] score:1 trace|run result time:57.06 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-21,-659,-18,-14] score:5 trace|run result time:7.15 |
[-15,-17,-3,-64] score:1 trace|run result time:1.37 |
[-15,-17,-3,-64] score:1 trace|run result time:2.03 |
[-15,-17,-3,-64] score:1 trace|run result time:2.24 |
[-15,-17,-3,-64] score:1 trace|run result time:6.85 |
| 218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:23.10 |
[-14,-400,-17,-359] score:1 trace|run result time:31.65 |
[-14,-400,-17,-359] score:1 trace|run result time:76.22 |
[-14,-400,-17,-359] score:1 trace|run result time:54.74 |
[-14,-400,-17,-359] score:1 trace|run result time:60.22 |
| 1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-27,-2277,-27,-14] score:5 trace|run result time:22.74 |
[-11,-402,-16,-360] score:1 trace|run result time:28.29 |
[-11,-402,-16,-360] score:1 trace|run result time:74.60 |
[-11,-402,-16,-360] score:1 trace|run result time:53.63 |
[-11,-402,-16,-360] score:1 trace|run result time:57.88 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-21,-659,-18,-14] score:5 trace|run result time:7.02 |
[-15,-17,-3,-64] score:1 trace|run result time:1.30 |
[-15,-17,-3,-64] score:1 trace|run result time:1.97 |
[-15,-17,-3,-64] score:1 trace|run result time:2.26 |
[-15,-17,-3,-64] score:1 trace|run result time:5.65 |
Category: difficult
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| randf61f65.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.17 |
NOTSOL score:21 trace|run result time:13.21 |
FAIL score:14 trace|run time:290.03 |
[-16,-38,-6,-483] score:1 trace|run result time:14.59 |
[-16,-38,-6,-487] score:2 trace|run result time:290.11 |
ABORT score:14 trace|run |
| randf406d5.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:204.02 |
NOTSOL score:21 trace|run result time:13.47 |
FAIL score:14 trace|run time:1.89 |
FAIL score:14 trace|run time:1.10 |
FAIL score:14 trace|run time:1.31 |
FAIL score:14 trace|run time:4.10 |
| randf17677.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.12 |
NOTSOL score:21 trace|run result time:15.51 |
[-12,-43,-8,-387] score:1 trace|run result time:7.95 |
[-12,-43,-8,-387] score:1 trace|run result time:11.79 |
[-12,-43,-8,-387] score:1 trace|run result time:59.19 |
[-12,-43,-8,-387] score:1 trace|run result time:28.39 |
| rande4fcd8.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:13.24 |
FAIL score:14 trace|run time:290.04 |
[-16,-36,-3,-501] score:1 trace|run result time:15.88 |
[-16,-36,-3,-503] score:2 trace|run result time:290.11 |
ABORT score:14 trace|run |
| randd8bf6a.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.04 |
NOTSOL score:21 trace|run result time:14.03 |
[-33,-40,-6,-251] score:1 trace|run result time:4.06 |
[-33,-40,-6,-251] score:1 trace|run result time:8.84 |
[-33,-40,-6,-251] score:1 trace|run result time:28.54 |
[-33,-40,-6,-251] score:1 trace|run result time:24.13 |
| randc10393.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:14.14 |
FAIL score:14 trace|run time:290.11 |
[-23,-28,-4,-427] score:1 trace|run result time:11.73 |
[-23,-28,-4,-429] score:2 trace|run result time:290.07 |
[-23,-28,-4,-429] score:2 trace|run result time:287.65 |
| randa870aa.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.14 |
NOTSOL score:21 trace|run result time:15.79 |
[-29,-46,-10,-399] score:1 trace|run result time:36.16 |
[-29,-46,-10,-399] score:1 trace|run result time:12.18 |
[-29,-46,-10,-401] score:4 trace|run result time:290.16 |
[-29,-46,-10,-399] score:1 trace|run result time:261.99 |
| randa651ed.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:215.38 |
NOTSOL score:21 trace|run result time:13.25 |
[-33,-40,-5,-355] score:1 trace|run result time:21.25 |
[-33,-40,-5,-355] score:1 trace|run result time:11.16 |
FAIL score:14 trace|run time:2.86 |
[-33,-40,-5,-355] score:1 trace|run result time:70.06 |
| randa45895.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:15.62 |
FAIL score:14 trace|run time:1.84 |
FAIL score:14 trace|run time:1.42 |
FAIL score:14 trace|run time:1.43 |
FAIL score:14 trace|run time:4.17 |
| rand95e48b.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.05 |
NOTSOL score:21 trace|run result time:14.02 |
FAIL score:14 trace|run time:290.07 |
[-28,-27,-15,-486] score:1 trace|run result time:13.44 |
[-28,-27,-15,-493] score:2 trace|run result time:290.11 |
ABORT score:14 trace|run |
| rand908403.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.10 |
ABORT score:14 trace|run |
[-30,-130,-25,-345] score:1 trace|run result time:6.37 |
[-30,-130,-25,-345] score:1 trace|run result time:12.08 |
[-30,-130,-25,-345] score:1 trace|run result time:32.57 |
[-30,-130,-25,-345] score:1 trace|run result time:22.81 |
| rand847939.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.50 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.03 |
[-42,-39,-9,-666] score:1 trace|run result time:20.71 |
[-42,-39,-9,-676] score:2 trace|run result time:290.07 |
ABORT score:14 trace|run |
| rand7b4167.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.26 |
NOTSOL score:21 trace|run result time:18.13 |
[-42,-36,-11,-237] score:1 trace|run result time:8.38 |
[-42,-36,-11,-237] score:1 trace|run result time:7.70 |
[-42,-36,-11,-237] score:1 trace|run result time:59.55 |
[-42,-36,-11,-237] score:1 trace|run result time:25.65 |
| rand50a937.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:14.48 |
FAIL score:14 trace|run time:290.06 |
[-19,-39,-2,-616] score:1 trace|run result time:16.99 |
[-19,-39,-2,-622] score:2 trace|run result time:290.15 |
ABORT score:14 trace|run |
| rand4d6b1c.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:13.85 |
FAIL score:14 trace|run time:290.08 |
[-26,-33,-3,-344] score:1 trace|run result time:9.55 |
[-26,-33,-3,-344] score:1 trace|run result time:290.13 |
ABORT score:14 trace|run |
| rand49d73b.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:12.90 |
FAIL score:14 trace|run time:290.05 |
[-42,-40,-5,-501] score:1 trace|run result time:14.60 |
[-42,-40,-5,-504] score:2 trace|run result time:290.09 |
ABORT score:14 trace|run |
| rand394916.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.24 |
NOTSOL score:21 trace|run result time:35.71 |
FAIL score:14 trace|run time:1.93 |
FAIL score:14 trace|run time:1.24 |
FAIL score:14 trace|run time:1.27 |
FAIL score:14 trace|run time:5.11 |
| rand2fe899.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:210.60 |
NOTSOL score:21 trace|run result time:92.19 |
[-95,-28,-13,-232] score:1 trace|run result time:3.15 |
[-95,-28,-13,-232] score:1 trace|run result time:9.73 |
[-95,-28,-13,-232] score:1 trace|run result time:16.86 |
[-95,-28,-13,-232] score:1 trace|run result time:82.94 |
| rand2d2fd0.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:10.26 |
NOTSOL score:21 trace|run result time:14.98 |
FAIL score:14 trace|run time:290.08 |
[-19,-26,-6,-483] score:1 trace|run result time:13.02 |
[-19,-26,-6,-488] score:2 trace|run result time:290.16 |
ABORT score:14 trace|run |
| rand14ba69.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:13.10 |
FAIL score:14 trace|run time:290.12 |
[-19,-38,-3,-418] score:1 trace|run result time:12.54 |
[-19,-38,-3,-421] score:2 trace|run result time:290.16 |
ABORT score:14 trace|run |
| rand0aa5c1.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:206.46 |
NOTSOL score:21 trace|run result time:13.47 |
FAIL score:14 trace|run time:290.09 |
[-45,-29,-6,-407] score:1 trace|run result time:11.64 |
[-45,-29,-6,-409] score:2 trace|run result time:290.10 |
[-45,-29,-6,-409] score:2 trace|run result time:290.05 |
| rand06f749.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:211.35 |
NOTSOL score:21 trace|run result time:13.06 |
[-18,-35,-4,-365] score:1 trace|run result time:8.81 |
[-18,-35,-4,-365] score:1 trace|run result time:10.34 |
[-18,-35,-4,-365] score:1 trace|run result time:57.39 |
[-18,-35,-4,-365] score:1 trace|run result time:26.48 |
Category: easy
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| randf7a7e4.cudf | [-404,-1,-41,-21] score:6 trace|run result time:5.94 |
FAIL score:14 trace|run time:5.97 |
[-404,-1,-40,-24] score:5 trace|run result time:11.58 |
[-403,0,-25,-44] score:1 trace|run result time:1.24 |
[-403,0,-25,-44] score:1 trace|run result time:3.76 |
[-403,0,-25,-44] score:1 trace|run result time:1.46 |
[-403,0,-35,-30] score:4 trace|run result time:5.75 |
| randeb343c.cudf | [-54,-1,-45,-41] score:6 trace|run result time:5.96 |
ABORT score:14 trace|run |
[-54,-1,-41,-45] score:5 trace|run result time:7.09 |
[-54,0,-10,-85] score:1 trace|run result time:1.37 |
[-54,0,-10,-85] score:1 trace|run result time:1.86 |
[-54,0,-10,-85] score:1 trace|run result time:2.04 |
[-54,0,-31,-60] score:4 trace|run result time:5.25 |
| randea6106.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:7.89 |
[-61,-1,-15,-97] score:1 trace|run result time:1.58 |
[-61,-1,-15,-97] score:1 trace|run result time:2.12 |
[-61,-1,-15,-97] score:1 trace|run result time:5.42 |
[-61,-2,-43,-52] score:4 trace|run result time:5.99 |
| randc192b7.cudf | [-87,-1,-56,-116] score:5 trace|run result time:6.21 |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:7.34 |
[-86,0,-18,-178] score:1 trace|run result time:1.33 |
[-86,0,-18,-178] score:1 trace|run result time:2.89 |
[-86,0,-18,-178] score:1 trace|run result time:2.33 |
[-86,0,-35,-140] score:4 trace|run result time:5.80 |
| randbe9acf.cudf | [-79,-1,-51,-41] score:5 trace|run result time:5.93 |
FAIL score:14 trace|run time:5.98 |
NOTSOL score:21 trace|run result time:7.12 |
[-72,0,-13,-97] score:1 trace|run result time:1.37 |
[-72,0,-13,-97] score:1 trace|run result time:2.09 |
[-72,0,-13,-97] score:1 trace|run result time:2.29 |
[-72,0,-30,-63] score:4 trace|run result time:6.13 |
| randba6b5b.cudf | [-55,-1,-64,-30] score:6 trace|run result time:5.93 |
ABORT score:14 trace|run |
[-55,-1,-61,-33] score:5 trace|run result time:7.08 |
[-50,-3,-26,-68] score:1 trace|run result time:1.38 |
[-50,-3,-26,-68] score:1 trace|run result time:1.87 |
[-50,-3,-26,-68] score:1 trace|run result time:3.06 |
[-50,-3,-26,-68] score:1 trace|run result time:6.39 |
| randadea40.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:5.92 |
NOTSOL score:21 trace|run result time:7.07 |
[-95,0,-42,-59] score:1 trace|run result time:1.36 |
[-95,0,-42,-59] score:1 trace|run result time:2.09 |
[-95,0,-42,-59] score:1 trace|run result time:2.69 |
[-95,0,-57,-38] score:4 trace|run result time:5.99 |
| randaaa8ea.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:6.02 |
NOTSOL score:21 trace|run result time:7.05 |
[-65,0,-15,-59] score:1 trace|run result time:1.43 |
[-65,0,-15,-59] score:1 trace|run result time:1.76 |
[-65,0,-15,-59] score:1 trace|run result time:3.75 |
[-65,0,-26,-40] score:4 trace|run result time:5.76 |
| randa9ba44.cudf | [-35,-1,-46,-20] score:6 trace|run result time:6.00 |
FAIL score:14 trace|run time:6.00 |
[-35,-1,-44,-25] score:5 trace|run result time:7.02 |
[-35,0,-14,-62] score:1 trace|run result time:1.25 |
[-35,0,-14,-62] score:1 trace|run result time:1.57 |
[-35,0,-14,-62] score:1 trace|run result time:1.82 |
[-35,0,-32,-36] score:4 trace|run result time:5.82 |
| rand951a14.cudf | [-97,-1,-54,-29] score:6 trace|run result time:5.97 |
FAIL score:14 trace|run time:6.00 |
[-97,-1,-50,-34] score:5 trace|run result time:7.07 |
[-96,0,-19,-71] score:1 trace|run result time:1.32 |
[-96,0,-19,-71] score:1 trace|run result time:2.01 |
[-96,0,-19,-71] score:1 trace|run result time:1.44 |
[-96,0,-39,-44] score:4 trace|run result time:5.45 |
| rand8d117b.cudf | [-97,-1,-55,-60] score:5 trace|run result time:5.94 |
FAIL score:14 trace|run time:6.07 |
NOTSOL score:21 trace|run result time:7.16 |
[-96,0,-21,-113] score:1 trace|run result time:1.28 |
[-96,0,-21,-113] score:1 trace|run result time:2.50 |
[-96,0,-21,-113] score:1 trace|run result time:1.56 |
[-96,0,-36,-86] score:4 trace|run result time:5.94 |
| rand7fec8c.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:6.03 |
NOTSOL score:21 trace|run result time:7.92 |
[-30,0,-11,-82] score:1 trace|run result time:1.26 |
[-30,0,-11,-82] score:1 trace|run result time:1.69 |
[-30,0,-11,-82] score:1 trace|run result time:1.74 |
[-30,0,-21,-63] score:4 trace|run result time:5.82 |
| rand6d933e.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:5.96 |
NOTSOL score:21 trace|run result time:7.88 |
[-58,-1,-22,-75] score:1 trace|run result time:1.37 |
[-58,-1,-22,-75] score:1 trace|run result time:1.90 |
[-58,-1,-22,-75] score:1 trace|run result time:1.91 |
[-58,-1,-22,-75] score:1 trace|run result time:6.18 |
| rand61b840.cudf | [-142,-1,-45,-106] score:5 trace|run result time:6.02 |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:7.08 |
[-139,0,-12,-146] score:1 trace|run result time:1.43 |
[-139,0,-12,-146] score:1 trace|run result time:2.85 |
[-139,0,-12,-146] score:1 trace|run result time:3.62 |
[-139,0,-22,-126] score:4 trace|run result time:5.94 |
| rand5c1800.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:8.68 |
[-51,-1,-10,-62] score:1 trace|run result time:1.40 |
[-51,-1,-10,-62] score:1 trace|run result time:1.63 |
[-51,-1,-10,-62] score:1 trace|run result time:1.51 |
[-51,-1,-10,-62] score:1 trace|run result time:5.70 |
| rand5619c8.cudf | [-62,0,-45,-87] score:6 trace|run result time:6.05 |
ABORT score:14 trace|run |
[-62,0,-42,-89] score:5 trace|run result time:7.22 |
[-58,0,-5,-132] score:1 trace|run result time:1.41 |
[-58,0,-5,-132] score:1 trace|run result time:2.27 |
[-58,0,-5,-132] score:1 trace|run result time:2.22 |
[-58,0,-23,-105] score:4 trace|run result time:5.99 |
| rand359ca0.cudf | [-66,-1,-46,-33] score:6 trace|run result time:5.96 |
FAIL score:14 trace|run time:6.10 |
[-66,-1,-43,-63] score:5 trace|run result time:7.19 |
[-30,-1,-9,-107] score:1 trace|run result time:1.44 |
[-30,-1,-9,-107] score:1 trace|run result time:1.96 |
[-30,-1,-9,-107] score:1 trace|run result time:3.14 |
[-30,-1,-9,-107] score:1 trace|run result time:7.16 |
| rand2fb7ab.cudf | [-127,-1,-48,-81] score:6 trace|run result time:6.09 |
ABORT score:14 trace|run |
[-127,-1,-42,-89] score:5 trace|run result time:7.41 |
[-117,0,-13,-120] score:1 trace|run result time:1.34 |
[-117,0,-13,-120] score:1 trace|run result time:2.53 |
[-117,0,-13,-120] score:1 trace|run result time:2.17 |
[-117,0,-27,-98] score:4 trace|run result time:5.62 |
| rand1bff33.cudf | [-24,-1,-41,-16] score:6 trace|run result time:5.97 |
ABORT score:14 trace|run |
[-24,-1,-39,-19] score:5 trace|run result time:7.14 |
[-23,0,-6,-62] score:1 trace|run result time:1.35 |
[-23,0,-6,-62] score:1 trace|run result time:1.53 |
[-23,0,-6,-62] score:1 trace|run result time:2.18 |
[-23,0,-27,-29] score:4 trace|run result time:5.55 |
| rand13b58e.cudf | [-192,-1,-62,-50] score:5 trace|run result time:6.01 |
FAIL score:14 trace|run time:6.14 |
NOTSOL score:21 trace|run result time:7.18 |
[-184,-2,-29,-130] score:1 trace|run result time:1.46 |
[-184,-2,-29,-130] score:1 trace|run result time:3.48 |
[-184,-2,-29,-130] score:1 trace|run result time:2.46 |
[-184,-2,-29,-130] score:1 trace|run result time:6.64 |
| rand08759d.cudf | [-32,-1,-44,-88] score:6 trace|run result time:5.98 |
FAIL score:14 trace|run time:5.93 |
[-32,-1,-40,-96] score:5 trace|run result time:7.11 |
[-27,0,-7,-126] score:1 trace|run result time:1.34 |
[-27,0,-7,-126] score:1 trace|run result time:1.96 |
[-27,0,-7,-126] score:1 trace|run result time:1.71 |
[-27,0,-32,-90] score:4 trace|run result time:5.54 |
Category: impossible
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| randfa4522.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:30.37 |
ABORT score:14 trace|run |
[0,-423,-20,-40] score:1 trace|run result time:7.57 |
[0,-423,-20,-40] score:1 trace|run result time:32.09 |
[0,-423,-20,-40] score:1 trace|run result time:29.31 |
[0,-594,-28,-5] score:4 trace|run result time:8.45 |
| randec88d5.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-79,-138,-18,-337] score:1 trace|run result time:19.13 |
[-79,-138,-18,-337] score:1 trace|run result time:52.56 |
[-79,-138,-18,-337] score:1 trace|run result time:269.51 |
[-79,-138,-18,-337] score:1 trace|run result time:125.10 |
| randaafcce.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:274.14 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.11 |
[-72,-192,-30,-223] score:3 trace|run result time:69.47 |
[-71,-334,-32,-128] score:1 trace|run result time:243.66 |
[-71,-334,-32,-128] score:1 trace|run result time:228.66 |
| randa223c3.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.13 |
[-38,-90,-22,-432] score:1 trace|run result time:61.78 |
[-38,-90,-22,-432] score:1 trace|run result time:290.15 |
ABORT score:14 trace|run |
| rand8cc693.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:29.53 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.05 |
[-64,-103,-23,-476] score:1 trace|run result time:68.58 |
[-64,-103,-23,-476] score:1 trace|run result time:290.24 |
ABORT score:14 trace|run |
| rand878003.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:28.98 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.11 |
[-47,-91,-23,-361] score:1 trace|run result time:52.05 |
[-47,-91,-23,-363] score:2 trace|run result time:290.15 |
ABORT score:14 trace|run |
| rand835640.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:285.93 |
ABORT score:14 trace|run |
[-37,-158,-23,-255] score:1 trace|run result time:35.36 |
[-37,-158,-23,-255] score:1 trace|run result time:49.24 |
[-37,-158,-23,-255] score:1 trace|run result time:290.22 |
[-37,-158,-23,-255] score:1 trace|run result time:105.43 |
| rand81406f.cudf | [-111,-394,-58,-293] score:4 trace|run result time:25.51 |
FAIL score:14 trace|run time:274.61 |
ABORT score:14 trace|run |
[-16,-348,-32,-120] score:1 trace|run result time:89.71 |
ABORT score:14 trace|run |
[-16,-348,-32,-120] score:1 trace|run result time:118.90 |
[-16,-348,-32,-120] score:1 trace|run result time:53.03 |
| rand7902a8.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-27,-118,-24,-314] score:1 trace|run result time:65.11 |
[-27,-118,-24,-314] score:1 trace|run result time:52.57 |
[-27,-118,-24,-314] score:1 trace|run result time:175.29 |
[-27,-120,-23,-317] score:4 trace|run result time:114.26 |
| rand7141b1.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:288.83 |
ABORT score:14 trace|run |
[-46,-105,-24,-348] score:1 trace|run result time:91.39 |
[-46,-105,-24,-348] score:1 trace|run result time:56.42 |
[-46,-105,-24,-348] score:1 trace|run result time:278.22 |
ABORT score:14 trace|run |
| rand6b4d6e.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-34,-118,-23,-356] score:1 trace|run result time:50.69 |
[-34,-118,-23,-356] score:1 trace|run result time:66.04 |
[-34,-118,-23,-356] score:1 trace|run result time:125.92 |
[-34,-118,-23,-356] score:1 trace|run result time:79.96 |
| rand655e63.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:29.36 |
ABORT score:14 trace|run |
[-39,-105,-26,-389] score:1 trace|run result time:120.84 |
NOTSOL score:21 trace|run result time:290.10 |
[-39,-105,-26,-389] score:1 trace|run result time:290.20 |
ABORT score:14 trace|run |
| rand3dec28.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:30.24 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.02 |
[-34,-161,-32,-310] score:1 trace|run result time:60.94 |
[-34,-161,-32,-310] score:1 trace|run result time:251.26 |
[-34,-161,-32,-310] score:1 trace|run result time:101.27 |
| rand332173.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.07 |
[-22,-114,-25,-357] score:1 trace|run result time:55.33 |
[-22,-114,-25,-357] score:1 trace|run result time:290.19 |
ABORT score:14 trace|run |
| rand0695fb.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-72,-111,-18,-371] score:1 trace|run result time:11.81 |
[-72,-111,-18,-371] score:1 trace|run result time:57.43 |
[-72,-111,-18,-371] score:1 trace|run result time:67.96 |
ABORT score:14 trace|run |
Category: sarge-etch-lenny-squeeze-sid
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| rand986.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:262.91 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.12 |
[-19,-596,-76,-128] score:1 trace|run result time:62.12 |
[-19,-596,-76,-129] score:2 trace|run result time:290.12 |
ABORT score:14 trace|run |
| rand915.sarge-etch-lenny-squeeze-sid.cudf | [-190,-528,-113,-404] score:3 trace|run result time:17.48 |
FAIL score:14 trace|run time:270.89 |
NOTSOL score:21 trace|run result time:83.47 |
FAIL score:14 trace|run time:290.07 |
[-47,-431,-49,-264] score:1 trace|run result time:51.24 |
[-47,-431,-49,-268] score:2 trace|run result time:290.21 |
ABORT score:14 trace|run |
| rand815.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:20.87 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.11 |
[-74,-371,-59,-345] score:1 trace|run result time:57.08 |
[-74,-371,-59,-349] score:2 trace|run result time:290.16 |
ABORT score:14 trace|run |
| rand753.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:36.86 |
FAIL score:14 trace|run time:290.09 |
[-98,-259,-27,-704] score:1 trace|run result time:76.16 |
[-98,-259,-27,-714] score:2 trace|run result time:290.22 |
ABORT score:14 trace|run |
| rand550.sarge-etch-lenny-squeeze-sid.cudf | [-170,-540,-112,-328] score:3 trace|run result time:17.91 |
FAIL score:14 trace|run time:245.77 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.14 |
[-37,-434,-55,-291] score:1 trace|run result time:50.11 |
[-37,-434,-55,-295] score:2 trace|run result time:290.17 |
ABORT score:14 trace|run |
| rand494.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.14 |
[-65,-409,-55,-281] score:1 trace|run result time:56.49 |
[-65,-409,-55,-284] score:2 trace|run result time:290.13 |
ABORT score:14 trace|run |
| rand316.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:231.00 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.06 |
[-38,-444,-57,-309] score:1 trace|run result time:51.98 |
[-38,-444,-57,-317] score:2 trace|run result time:290.17 |
ABORT score:14 trace|run |
| rand180.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.11 |
[-55,-441,-57,-275] score:2 trace|run result time:76.42 |
[-54,-570,-76,-116] score:1 trace|run result time:290.15 |
ABORT score:14 trace|run |
| rand165.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.13 |
[-162,-85,-38,-962] score:1 trace|run result time:197.83 |
[-162,-85,-38,-977] score:2 trace|run result time:290.23 |
ABORT score:14 trace|run |
| rand108.sarge-etch-lenny-squeeze-sid.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:245.53 |
NOTSOL score:21 trace|run result time:198.14 |
FAIL score:14 trace|run time:290.08 |
[-31,-452,-51,-302] score:2 trace|run result time:76.04 |
[-30,-582,-80,-121] score:1 trace|run result time:290.14 |
ABORT score:14 trace|run |
Category: sarge-etch-lenny-squeeze
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| rand986.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:258.44 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.06 |
[-19,-597,-76,-128] score:1 trace|run result time:57.98 |
[-19,-597,-76,-132] score:2 trace|run result time:290.15 |
ABORT score:14 trace|run |
| rand915.sarge-etch-lenny-squeeze.cudf | [-198,-524,-105,-366] score:3 trace|run result time:16.70 |
FAIL score:14 trace|run time:256.42 |
NOTSOL score:21 trace|run result time:163.54 |
FAIL score:14 trace|run time:290.09 |
[-47,-433,-51,-249] score:1 trace|run result time:47.86 |
[-47,-433,-51,-253] score:2 trace|run result time:290.17 |
ABORT score:14 trace|run |
| rand815.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:19.53 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.06 |
[-74,-375,-62,-312] score:1 trace|run result time:49.19 |
[-74,-375,-62,-314] score:2 trace|run result time:290.18 |
ABORT score:14 trace|run |
| rand753.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:54.71 |
FAIL score:14 trace|run time:290.05 |
[-100,-290,-49,-589] score:1 trace|run result time:66.98 |
[-100,-290,-49,-599] score:2 trace|run result time:290.13 |
ABORT score:14 trace|run |
| rand550.sarge-etch-lenny-squeeze.cudf | [-177,-535,-106,-316] score:3 trace|run result time:16.97 |
FAIL score:14 trace|run time:242.12 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.13 |
[-37,-437,-56,-283] score:1 trace|run result time:47.09 |
[-37,-437,-56,-286] score:2 trace|run result time:290.18 |
ABORT score:14 trace|run |
| rand494.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.11 |
[-65,-410,-56,-265] score:1 trace|run result time:46.92 |
[-65,-410,-56,-267] score:2 trace|run result time:290.16 |
ABORT score:14 trace|run |
| rand316.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:226.71 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.05 |
[-38,-446,-58,-289] score:1 trace|run result time:48.26 |
[-38,-446,-58,-295] score:2 trace|run result time:290.20 |
ABORT score:14 trace|run |
| rand180.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.06 |
[-54,-571,-76,-110] score:1 trace|run result time:60.29 |
[-54,-571,-76,-116] score:2 trace|run result time:290.21 |
ABORT score:14 trace|run |
| rand165.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.10 |
[-164,-119,-44,-801] score:1 trace|run result time:82.37 |
[-164,-119,-44,-812] score:2 trace|run result time:290.14 |
ABORT score:14 trace|run |
| rand108.sarge-etch-lenny-squeeze.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:241.14 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.06 |
[-30,-583,-80,-117] score:1 trace|run result time:62.51 |
[-30,-583,-80,-120] score:2 trace|run result time:290.19 |
ABORT score:14 trace|run |
Category: sarge-etch-lenny
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| rand986.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-23,-719,-78,-87] score:1 trace|run result time:221.61 |
[-23,-719,-78,-87] score:1 trace|run result time:34.67 |
[-23,-719,-78,-88] score:3 trace|run result time:290.11 |
[-23,-720,-77,-88] score:4 trace|run result time:32.01 |
| rand915.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:26.17 |
[-47,-435,-47,-195] score:1 trace|run result time:107.33 |
[-47,-435,-47,-195] score:1 trace|run result time:26.73 |
[-47,-435,-47,-196] score:3 trace|run result time:290.13 |
ABORT score:14 trace|run |
| rand815.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:12.09 |
ABORT score:14 trace|run |
FAIL score:14 trace|run time:290.11 |
[-78,-426,-50,-204] score:1 trace|run result time:29.26 |
[-78,-426,-50,-207] score:2 trace|run result time:290.11 |
ABORT score:14 trace|run |
| rand753.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:16.23 |
FAIL score:14 trace|run time:290.10 |
[-117,-288,-34,-319] score:1 trace|run result time:29.18 |
[-117,-288,-34,-320] score:2 trace|run result time:290.09 |
ABORT score:14 trace|run |
| rand550.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:11.92 |
ABORT score:14 trace|run |
[-37,-444,-53,-220] score:1 trace|run result time:146.96 |
[-37,-444,-53,-220] score:1 trace|run result time:28.05 |
[-37,-444,-53,-221] score:4 trace|run result time:290.15 |
[-37,-444,-53,-220] score:1 trace|run result time:124.66 |
| rand494.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:85.71 |
[-67,-674,-68,-71] score:1 trace|run result time:110.73 |
[-67,-674,-68,-71] score:1 trace|run result time:33.53 |
[-67,-674,-68,-71] score:1 trace|run result time:189.26 |
[-67,-675,-67,-72] score:4 trace|run result time:58.68 |
| rand316.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:205.15 |
NOTSOL score:21 trace|run result time:74.54 |
FAIL score:14 trace|run time:290.13 |
[-41,-449,-54,-236] score:1 trace|run result time:27.45 |
[-41,-449,-54,-239] score:2 trace|run result time:290.08 |
ABORT score:14 trace|run |
| rand180.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:218.56 |
ABORT score:14 trace|run |
[-55,-688,-78,-67] score:1 trace|run result time:84.83 |
[-55,-688,-78,-67] score:1 trace|run result time:30.33 |
[-55,-688,-78,-67] score:1 trace|run result time:80.44 |
[-55,-689,-77,-68] score:4 trace|run result time:19.98 |
| rand165.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-254,-487,-58,-65] score:1 trace|run result time:103.23 |
[-254,-487,-58,-65] score:1 trace|run result time:28.29 |
[-254,-487,-58,-65] score:1 trace|run result time:83.64 |
[-254,-488,-57,-66] score:4 trace|run result time:23.83 |
| rand108.sarge-etch-lenny.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:11.93 |
ABORT score:14 trace|run |
[-30,-706,-86,-62] score:1 trace|run result time:74.13 |
[-30,-706,-86,-62] score:1 trace|run result time:32.39 |
[-30,-706,-86,-62] score:1 trace|run result time:290.11 |
[-30,-707,-84,-63] score:4 trace|run result time:38.14 |
Category: sarge-etch
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| rand986.sarge-etch.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:16.97 |
[-31,-453,-37,-181] score:1 trace|run result time:149.23 |
[-31,-453,-37,-181] score:1 trace|run result time:12.43 |
[-31,-453,-37,-181] score:1 trace|run result time:290.10 |
[-31,-453,-37,-181] score:1 trace|run result time:286.14 |
| rand915.sarge-etch.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:206.94 |
NOTSOL score:21 trace|run result time:24.23 |
FAIL score:14 trace|run time:290.09 |
[-47,-427,-34,-161] score:1 trace|run result time:12.21 |
[-47,-427,-34,-161] score:1 trace|run result time:290.08 |
[-47,-427,-34,-161] score:1 trace|run result time:287.78 |
| rand815.sarge-etch.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:6.71 |
NOTSOL score:21 trace|run result time:12.07 |
FAIL score:14 trace|run time:290.11 |
[-80,-417,-29,-193] score:1 trace|run result time:12.85 |
[-80,-417,-29,-193] score:1 trace|run result time:290.12 |
[-80,-417,-29,-193] score:1 trace|run result time:287.13 |
| rand753.sarge-etch.cudf | [-164,-590,-77,-91] score:5 trace|run result time:6.03 |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:8.45 |
[-131,-375,-25,-124] score:1 trace|run result time:4.57 |
[-131,-375,-25,-124] score:1 trace|run result time:11.03 |
[-131,-375,-25,-124] score:1 trace|run result time:63.59 |
[-131,-375,-25,-124] score:1 trace|run result time:12.69 |
| rand550.sarge-etch.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:6.76 |
NOTSOL score:21 trace|run result time:25.47 |
[-43,-433,-36,-171] score:1 trace|run result time:255.08 |
[-43,-433,-36,-171] score:1 trace|run result time:12.13 |
[-43,-433,-36,-171] score:1 trace|run result time:290.11 |
ABORT score:14 trace|run |
| rand494.sarge-etch.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:18.69 |
[-67,-410,-31,-175] score:1 trace|run result time:120.89 |
[-67,-410,-31,-175] score:1 trace|run result time:12.64 |
[-67,-410,-31,-175] score:1 trace|run result time:290.11 |
[-67,-410,-31,-183] score:4 trace|run result time:285.42 |
| rand316.sarge-etch.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:196.96 |
NOTSOL score:21 trace|run result time:16.56 |
[-42,-438,-36,-177] score:1 trace|run result time:102.65 |
[-42,-438,-36,-177] score:1 trace|run result time:11.86 |
[-42,-438,-36,-177] score:1 trace|run result time:290.12 |
ABORT score:14 trace|run |
| rand180.sarge-etch.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:46.93 |
FAIL score:14 trace|run time:290.04 |
[-55,-426,-40,-167] score:1 trace|run result time:11.67 |
[-55,-426,-40,-168] score:2 trace|run result time:290.15 |
ABORT score:14 trace|run |
| rand165.sarge-etch.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
NOTSOL score:21 trace|run result time:17.43 |
[-254,-225,-29,-182] score:1 trace|run result time:64.86 |
[-254,-225,-29,-182] score:1 trace|run result time:10.99 |
[-254,-225,-29,-183] score:4 trace|run result time:290.06 |
[-254,-225,-29,-182] score:1 trace|run result time:105.56 |
| rand108.sarge-etch.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:6.84 |
NOTSOL score:21 trace|run result time:23.82 |
[-30,-444,-32,-214] score:1 trace|run result time:42.48 |
[-30,-444,-32,-214] score:1 trace|run result time:13.01 |
[-30,-444,-32,-215] score:4 trace|run result time:290.08 |
[-30,-444,-32,-214] score:1 trace|run result time:49.88 |
Category: sarge
| Problem | apt-get-trendy-1.0 | apt-pbo-trendy-1.0.6 | aptitude-trendy-1.0 | aspcud-trendy-1.3 | cudf2msu4trendy-1.0 | cudf2pbo4trendy-1.0 | p2cudf-trendy-1.9 |
|---|---|---|---|---|---|---|---|
| rand986.sarge.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-447,0,-54,-37] score:4 trace|run result time:4.12 |
FAIL score:14 trace|run time:290.07 |
[-36,0,-4,-246] score:1 trace|run result time:1.56 |
[-36,0,-4,-246] score:1 trace|run result time:290.13 |
[-36,0,-42,-94] score:3 trace|run result time:4.74 |
| rand915.sarge.cudf | [-48,0,-89,-18] score:5 trace|run result time:2.64 |
FAIL score:14 trace|run time:2.92 |
[-48,0,-89,-18] score:5 trace|run result time:3.17 |
[-48,0,-11,-161] score:1 trace|run result time:232.84 |
[-48,0,-11,-161] score:1 trace|run result time:1.19 |
[-48,0,-11,-161] score:1 trace|run result time:239.41 |
[-48,0,-47,-68] score:4 trace|run result time:4.01 |
| rand815.sarge.cudf | [-82,0,-95,-35] score:5 trace|run result time:2.64 |
FAIL score:14 trace|run time:2.90 |
[-82,0,-90,-42] score:4 trace|run result time:3.22 |
FAIL score:14 trace|run time:290.02 |
[-82,0,-12,-184] score:1 trace|run result time:1.34 |
[-82,0,-12,-184] score:1 trace|run result time:290.05 |
[-82,0,-47,-91] score:3 trace|run result time:4.12 |
| rand753.sarge.cudf | ABORT score:14 trace|run |
ABORT score:14 trace|run |
[-464,0,-42,-10] score:5 trace|run result time:3.72 |
[-147,0,-12,-86] score:1 trace|run result time:225.02 |
[-147,0,-12,-86] score:1 trace|run result time:1.14 |
[-147,0,-12,-86] score:1 trace|run result time:290.12 |
[-147,0,-35,-50] score:4 trace|run result time:4.31 |
| rand550.sarge.cudf | [-50,0,-92,-39] score:6 trace|run result time:2.66 |
FAIL score:14 trace|run time:2.92 |
[-50,0,-87,-46] score:5 trace|run result time:3.22 |
[-50,0,-13,-185] score:1 trace|run result time:124.58 |
[-50,0,-13,-185] score:1 trace|run result time:1.29 |
[-50,0,-13,-185] score:1 trace|run result time:136.53 |
[-50,0,-40,-96] score:4 trace|run result time:4.42 |
| rand494.sarge.cudf | [-70,0,-87,-25] score:6 trace|run result time:2.60 |
ABORT score:14 trace|run |
[-70,0,-83,-31] score:5 trace|run result time:3.15 |
[-68,0,-11,-168] score:1 trace|run result time:5.72 |
[-68,0,-11,-168] score:1 trace|run result time:1.26 |
[-68,0,-11,-168] score:1 trace|run result time:28.53 |
[-68,0,-47,-72] score:4 trace|run result time:4.04 |
| rand316.sarge.cudf | ABORT score:14 trace|run |
FAIL score:14 trace|run time:185.76 |
NOTSOL score:21 trace|run result time:4.02 |
[-42,0,-10,-182] score:1 trace|run result time:9.31 |
[-42,0,-10,-182] score:1 trace|run result time:1.30 |
[-42,0,-10,-182] score:1 trace|run result time:236.37 |
[-42,0,-48,-89] score:4 trace|run result time:3.90 |
| rand180.sarge.cudf | [-55,0,-98,-25] score:5 trace|run result time:2.64 |
ABORT score:14 trace|run |
[-55,0,-95,-31] score:4 trace|run result time:3.17 |
FAIL score:14 trace|run time:290.06 |
[-55,0,-16,-177] score:1 trace|run result time:1.30 |
[-55,0,-16,-177] score:1 trace|run result time:290.09 |
[-55,0,-52,-107] score:3 trace|run result time:4.34 |
| rand165.sarge.cudf | [-255,0,-77,-49] score:6 trace|run result time:2.59 |
ABORT score:14 trace|run |
[-255,0,-67,-61] score:5 trace|run result time:3.38 |
[-254,0,-11,-194] score:1 trace|run result time:7.50 |
[-254,0,-11,-194] score:1 trace|run result time:1.95 |
[-254,0,-11,-194] score:1 trace|run result time:60.17 |
[-254,0,-39,-83] score:4 trace|run result time:4.49 |
| rand108.sarge.cudf | [-44,0,-112,-20] score:5 trace|run result time:2.62 |
FAIL score:14 trace|run time:2.97 |
[-42,0,-91,-55] score:4 trace|run result time:3.20 |
FAIL score:14 trace|run time:290.09 |
[-30,0,-4,-213] score:1 trace|run result time:1.45 |
[-30,0,-4,-214] score:2 trace|run result time:290.09 |
[-30,0,-56,-82] score:3 trace|run result time:4.29 |