. MISC 2010 Trendy Track
Category: cudf_set
| Problem | apt-pbo-trendy-1.0.5 | aspcud-trendy-1.2 | inesct-1.0 | p2cudf-trendy-1.6 | uns-trendy-0.0002 |
|---|---|---|---|---|---|
| small3.cudf | ABORT score:15 trace|stderr |
[0,0,0,-2] score:1 trace|stderr result time:69.60 |
FAIL score:10 trace|stderr time:0.62 |
FAIL score:10 trace|stderr time:0.76 |
[0,0,0,-2] score:1 trace|stderr result time:201.02 |
| small2.cudf | ABORT score:15 trace|stderr |
[0,0,0,-2] score:1 trace|stderr result time:68.71 |
FAIL score:10 trace|stderr time:0.88 |
FAIL score:10 trace|stderr time:1.16 |
[0,0,0,-2] score:1 trace|stderr result time:31.41 |
| small1.cudf | ABORT score:15 trace|stderr |
[0,0,0,-2] score:1 trace|stderr result time:68.94 |
FAIL score:10 trace|stderr time:0.61 |
FAIL score:10 trace|stderr time:0.90 |
ABORT score:15 trace|stderr |
| large3.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:1.12 |
FAIL score:10 trace|stderr time:1.60 |
ABORT score:15 trace|stderr |
| large2.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:1.13 |
FAIL score:10 trace|stderr time:1.53 |
ABORT score:15 trace|stderr |
| large1.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:1.12 |
FAIL score:10 trace|stderr time:1.57 |
ABORT score:15 trace|stderr |
| huge3.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:2.25 |
FAIL score:10 trace|stderr time:3.62 |
ABORT score:15 trace|stderr |
| huge2.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:2.31 |
FAIL score:10 trace|stderr time:4.00 |
ABORT score:15 trace|stderr |
| huge1.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:2.34 |
FAIL score:10 trace|stderr time:2.82 |
ABORT score:15 trace|stderr |
Category: debian-dudf
| Problem | apt-pbo-trendy-1.0.5 | aspcud-trendy-1.2 | inesct-1.0 | p2cudf-trendy-1.6 | uns-trendy-0.0002 |
|---|---|---|---|---|---|
| eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf | [-19,-657,-2,-28] score:4 trace|stderr result time:14.42 |
[-15,-17,-6,-58] score:1 trace|stderr result time:43.25 |
[-16,-17,-7,-372] score:2 trace|stderr result time:15.04 |
[-16,-17,-7,-372] score:2 trace|stderr result time:284.85 |
ABORT score:15 trace|stderr |
| e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-14,-537,-36,-896] score:2 trace|stderr result time:286.62 |
[-14,-400,-17,-359] score:1 trace|stderr result time:55.32 |
| e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf | [-17,-435,-2,-30] score:4 trace|stderr result time:12.28 |
[-15,-10,-6,-51] score:1 trace|stderr result time:39.79 |
[-16,-10,-7,-352] score:2 trace|stderr result time:11.21 |
[-16,-10,-7,-352] score:2 trace|stderr result time:284.80 |
ABORT score:15 trace|stderr |
| cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf | ABORT score:15 trace|stderr |
[-42,-82,-47,-128] score:3 trace|stderr result time:55.87 |
[-42,-82,-38,-548] score:2 trace|stderr result time:35.13 |
[-45,-82,-37,-561] score:4 trace|stderr result time:285.15 |
[-42,-82,-29,-155] score:1 trace|stderr result time:6.68 |
| 9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-14,-537,-36,-896] score:2 trace|stderr result time:286.61 |
[-14,-400,-17,-359] score:1 trace|stderr result time:55.66 |
| 8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-11,-473,-39,-791] score:2 trace|stderr result time:286.48 |
[-11,-402,-16,-360] score:1 trace|stderr result time:51.17 |
| 7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-17,-287,-37,-953] score:2 trace|stderr result time:286.47 |
[-17,-126,-13,-439] score:1 trace|stderr result time:26.43 |
| 7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-11,-473,-39,-791] score:2 trace|stderr result time:286.35 |
[-11,-402,-16,-360] score:1 trace|stderr result time:51.35 |
| 688250e8-4bb4-11df-a561-00163e7a6f5e.cudf | FAIL score:10 trace|stderr time:70.31 |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-190,-623,-78,-720] score:2 trace|stderr result time:287.01 |
[-11,-402,-16,-360] score:1 trace|stderr result time:54.31 |
| 58a4a468-38a5-11df-a561-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-17,-287,-37,-953] score:2 trace|stderr result time:287.35 |
[-17,-126,-13,-439] score:1 trace|stderr result time:27.22 |
| 56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-11,-429,-33,-935] score:2 trace|stderr result time:287.41 |
[-11,-428,-15,-298] score:1 trace|stderr result time:46.73 |
| 412959c6-e965-11de-8ebf-00163e6585dd.cudf | [-15,-263,-17,-60] score:5 trace|stderr result time:15.62 |
[-14,-64,-6,-118] score:2 trace|stderr result time:53.71 |
[-14,-64,-8,-502] score:4 trace|stderr result time:20.56 |
[-14,-64,-8,-501] score:3 trace|stderr result time:285.03 |
[-14,-64,-2,-125] score:1 trace|stderr result time:3.06 |
| 3e4f8550-0b33-11df-942d-00163e1d94dc.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-7,-433,-32,-925] score:2 trace|stderr result time:287.20 |
[-7,-432,-15,-293] score:1 trace|stderr result time:48.63 |
| 2f690324-4939-11df-9e6e-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-19,-525,-31,-934] score:2 trace|stderr result time:286.51 |
[-14,-387,-15,-362] score:1 trace|stderr result time:52.22 |
| 29180036-5408-11df-9f57-00163e7a6f5e.cudf | [-19,-657,-2,-28] score:4 trace|stderr result time:14.65 |
[-15,-17,-6,-58] score:1 trace|stderr result time:43.88 |
[-16,-17,-7,-372] score:2 trace|stderr result time:14.82 |
[-16,-17,-7,-372] score:2 trace|stderr result time:284.41 |
ABORT score:15 trace|stderr |
| 218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-14,-537,-36,-896] score:2 trace|stderr result time:286.27 |
[-14,-400,-17,-359] score:1 trace|stderr result time:54.26 |
| 1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-11,-537,-29,-970] score:2 trace|stderr result time:287.16 |
[-11,-402,-16,-360] score:1 trace|stderr result time:49.68 |
| 103c9978-5408-11df-9bc1-00163e7a6f5e.cudf | [-19,-657,-2,-28] score:4 trace|stderr result time:15.76 |
[-15,-17,-6,-58] score:1 trace|stderr result time:44.68 |
[-16,-17,-7,-372] score:2 trace|stderr result time:14.84 |
[-16,-17,-7,-372] score:2 trace|stderr result time:285.99 |
ABORT score:15 trace|stderr |
Category: difficult
| Problem | apt-pbo-trendy-1.0.5 | aspcud-trendy-1.2 | inesct-1.0 | p2cudf-trendy-1.6 | uns-trendy-0.0002 |
|---|---|---|---|---|---|
| randf61f65.cudf | FAIL score:10 trace|stderr time:11.52 |
[-16,-38,-15,-464] score:2 trace|stderr result time:290.06 |
[-16,-39,-12,-1100] score:3 trace|stderr result time:80.26 |
[-16,-39,-14,-1085] score:4 trace|stderr result time:287.29 |
[-16,-38,-6,-483] score:1 trace|stderr result time:5.68 |
| randf406d5.cudf | NOTSOL score:20 trace|stderr result time:61.71 |
FAIL score:10 trace|stderr time:22.98 |
FAIL score:10 trace|stderr time:7.58 |
FAIL score:10 trace|stderr time:6.53 |
FAIL score:10 trace|stderr time:1.21 |
| randf17677.cudf | NOTSOL score:20 trace|stderr result time:44.86 |
[-12,-43,-16,-376] score:2 trace|stderr result time:214.99 |
[-12,-44,-17,-1015] score:3 trace|stderr result time:78.69 |
[-12,-44,-17,-1015] score:3 trace|stderr result time:285.08 |
[-12,-43,-8,-387] score:1 trace|stderr result time:3.92 |
| rande4fcd8.cudf | NOTSOL score:20 trace|stderr result time:75.65 |
[-16,-36,-19,-453] score:4 trace|stderr result time:290.19 |
[-16,-36,-14,-1060] score:2 trace|stderr result time:91.52 |
[-16,-36,-14,-1061] score:3 trace|stderr result time:287.89 |
[-16,-36,-3,-501] score:1 trace|stderr result time:5.20 |
| randd8bf6a.cudf | NOTSOL score:20 trace|stderr result time:45.53 |
[-33,-40,-11,-243] score:2 trace|stderr result time:161.27 |
[-33,-41,-24,-794] score:4 trace|stderr result time:69.01 |
[-33,-41,-23,-794] score:3 trace|stderr result time:288.03 |
[-33,-40,-6,-251] score:1 trace|stderr result time:3.15 |
| randc10393.cudf | NOTSOL score:20 trace|stderr result time:52.20 |
[-23,-28,-13,-401] score:2 trace|stderr result time:290.16 |
[-23,-30,-8,-838] score:3 trace|stderr result time:63.80 |
[-23,-30,-8,-839] score:4 trace|stderr result time:286.69 |
[-23,-28,-4,-427] score:1 trace|stderr result time:4.65 |
| randa870aa.cudf | FAIL score:10 trace|stderr time:14.29 |
[-29,-46,-17,-369] score:2 trace|stderr result time:133.25 |
[-29,-46,-24,-913] score:3 trace|stderr result time:73.64 |
[-29,-47,-26,-915] score:4 trace|stderr result time:284.71 |
[-29,-46,-10,-399] score:1 trace|stderr result time:4.56 |
| randa651ed.cudf | NOTSOL score:20 trace|stderr result time:59.71 |
[-33,-40,-13,-330] score:2 trace|stderr result time:181.13 |
[-33,-41,-15,-842] score:4 trace|stderr result time:69.22 |
[-33,-41,-15,-830] score:3 trace|stderr result time:286.73 |
[-33,-40,-5,-355] score:1 trace|stderr result time:3.40 |
| randa45895.cudf | NOTSOL score:20 trace|stderr result time:124.68 |
FAIL score:10 trace|stderr time:22.95 |
FAIL score:10 trace|stderr time:6.74 |
FAIL score:10 trace|stderr time:8.49 |
FAIL score:10 trace|stderr time:1.22 |
| rand95e48b.cudf | NOTSOL score:20 trace|stderr result time:101.58 |
[-28,-27,-27,-450] score:2 trace|stderr result time:290.15 |
[-28,-28,-17,-986] score:3 trace|stderr result time:77.52 |
[-28,-28,-17,-987] score:4 trace|stderr result time:288.27 |
[-28,-27,-15,-486] score:1 trace|stderr result time:4.64 |
| rand908403.cudf | NOTSOL score:20 trace|stderr result time:117.75 |
[-30,-130,-31,-338] score:2 trace|stderr result time:118.88 |
[-30,-132,-30,-624] score:3 trace|stderr result time:65.54 |
[-30,-132,-30,-624] score:3 trace|stderr result time:286.91 |
[-30,-130,-25,-345] score:1 trace|stderr result time:2.78 |
| rand847939.cudf | NOTSOL score:20 trace|stderr result time:216.65 |
[-42,-39,-39,-559] score:2 trace|stderr result time:290.09 |
[-42,-40,-18,-1267] score:3 trace|stderr result time:109.60 |
[-42,-40,-18,-1269] score:4 trace|stderr result time:286.75 |
[-42,-39,-9,-666] score:1 trace|stderr result time:6.32 |
| rand7b4167.cudf | ABORT score:15 trace|stderr |
[-42,-36,-18,-227] score:2 trace|stderr result time:112.90 |
[-42,-36,-21,-763] score:3 trace|stderr result time:65.96 |
[-42,-36,-21,-765] score:4 trace|stderr result time:287.70 |
[-42,-36,-11,-237] score:1 trace|stderr result time:3.78 |
| rand50a937.cudf | NOTSOL score:20 trace|stderr result time:166.36 |
[-19,-39,-16,-592] score:2 trace|stderr result time:290.19 |
[-19,-41,-8,-1113] score:3 trace|stderr result time:88.48 |
[-19,-41,-8,-1115] score:4 trace|stderr result time:287.13 |
[-19,-39,-2,-616] score:1 trace|stderr result time:4.50 |
| rand4d6b1c.cudf | NOTSOL score:20 trace|stderr result time:47.41 |
[-26,-33,-13,-307] score:2 trace|stderr result time:290.07 |
[-26,-34,-10,-934] score:3 trace|stderr result time:71.22 |
[-26,-45,-11,-906] score:4 trace|stderr result time:284.69 |
[-26,-33,-3,-344] score:1 trace|stderr result time:4.92 |
| rand49d73b.cudf | NOTSOL score:20 trace|stderr result time:61.67 |
[-42,-40,-18,-472] score:2 trace|stderr result time:290.15 |
[-43,-41,-10,-963] score:3 trace|stderr result time:73.59 |
[-43,-41,-10,-965] score:4 trace|stderr result time:286.43 |
[-42,-40,-5,-501] score:1 trace|stderr result time:4.12 |
| rand394916.cudf | NOTSOL score:20 trace|stderr result time:76.09 |
FAIL score:10 trace|stderr time:22.39 |
FAIL score:10 trace|stderr time:7.60 |
FAIL score:10 trace|stderr time:6.76 |
FAIL score:10 trace|stderr time:1.22 |
| rand2fe899.cudf | NOTSOL score:20 trace|stderr result time:126.58 |
[-95,-28,-22,-207] score:2 trace|stderr result time:81.57 |
[-95,-28,-30,-508] score:4 trace|stderr result time:63.45 |
[-95,-28,-29,-508] score:3 trace|stderr result time:43.53 |
[-95,-28,-13,-232] score:1 trace|stderr result time:2.51 |
| rand2d2fd0.cudf | NOTSOL score:20 trace|stderr result time:60.05 |
[-19,-26,-17,-464] score:2 trace|stderr result time:290.17 |
[-19,-33,-10,-945] score:3 trace|stderr result time:72.45 |
[-19,-47,-18,-774] score:4 trace|stderr result time:287.09 |
[-19,-26,-6,-483] score:1 trace|stderr result time:4.14 |
| rand14ba69.cudf | NOTSOL score:20 trace|stderr result time:90.04 |
[-19,-38,-9,-415] score:2 trace|stderr result time:290.18 |
ABORT score:15 trace|stderr |
[-19,-46,-16,-927] score:3 trace|stderr result time:286.54 |
[-19,-38,-3,-418] score:1 trace|stderr result time:5.24 |
| rand0aa5c1.cudf | NOTSOL score:20 trace|stderr result time:61.61 |
[-45,-29,-20,-372] score:2 trace|stderr result time:290.16 |
[-45,-30,-14,-827] score:3 trace|stderr result time:73.22 |
[-45,-30,-14,-827] score:3 trace|stderr result time:283.40 |
[-45,-29,-6,-407] score:1 trace|stderr result time:3.11 |
| rand06f749.cudf | NOTSOL score:20 trace|stderr result time:43.93 |
[-18,-35,-9,-357] score:2 trace|stderr result time:175.28 |
[-18,-39,-11,-1035] score:3 trace|stderr result time:71.96 |
[-18,-40,-11,-1003] score:4 trace|stderr result time:287.23 |
[-18,-35,-4,-365] score:1 trace|stderr result time:3.50 |
Category: easy
| Problem | apt-pbo-trendy-1.0.5 | aspcud-trendy-1.2 | inesct-1.0 | p2cudf-trendy-1.6 | uns-trendy-0.0002 |
|---|---|---|---|---|---|
| randf7a7e4.cudf | NOTSOL score:20 trace|stderr result time:10.95 |
[-403,0,-26,-41] score:2 trace|stderr result time:45.11 |
[-404,0,-27,-175] score:3 trace|stderr result time:19.04 |
[-404,0,-27,-175] score:3 trace|stderr result time:5.87 |
[-403,0,-25,-44] score:1 trace|stderr result time:1.01 |
| randeb343c.cudf | NOTSOL score:20 trace|stderr result time:10.10 |
[-54,0,-15,-78] score:2 trace|stderr result time:49.74 |
[-54,0,-16,-434] score:3 trace|stderr result time:14.06 |
[-54,0,-16,-434] score:3 trace|stderr result time:12.54 |
[-54,0,-10,-85] score:1 trace|stderr result time:1.19 |
| randea6106.cudf | NOTSOL score:20 trace|stderr result time:11.40 |
[-61,-1,-25,-78] score:2 trace|stderr result time:46.76 |
[-61,-2,-21,-442] score:3 trace|stderr result time:14.55 |
[-61,-2,-21,-442] score:3 trace|stderr result time:22.91 |
[-61,-1,-15,-97] score:1 trace|stderr result time:1.19 |
| randc192b7.cudf | NOTSOL score:20 trace|stderr result time:10.38 |
[-86,0,-24,-169] score:2 trace|stderr result time:48.48 |
[-86,0,-28,-452] score:4 trace|stderr result time:15.62 |
[-86,0,-27,-452] score:3 trace|stderr result time:14.74 |
[-86,0,-18,-178] score:1 trace|stderr result time:1.13 |
| randbe9acf.cudf | NOTSOL score:20 trace|stderr result time:11.20 |
[-72,0,-26,-67] score:4 trace|stderr result time:47.31 |
[-72,0,-20,-452] score:2 trace|stderr result time:14.92 |
[-72,0,-20,-452] score:2 trace|stderr result time:14.73 |
[-72,0,-13,-97] score:1 trace|stderr result time:1.26 |
| randba6b5b.cudf | NOTSOL score:20 trace|stderr result time:10.15 |
[-50,-3,-34,-57] score:2 trace|stderr result time:47.76 |
[-51,-3,-33,-420] score:3 trace|stderr result time:14.41 |
[-51,-3,-33,-420] score:3 trace|stderr result time:34.51 |
[-50,-3,-26,-68] score:1 trace|stderr result time:1.14 |
| randadea40.cudf | NOTSOL score:20 trace|stderr result time:10.29 |
[-95,0,-52,-47] score:2 trace|stderr result time:48.11 |
[-95,0,-52,-338] score:3 trace|stderr result time:14.39 |
[-95,0,-52,-338] score:3 trace|stderr result time:38.21 |
[-95,0,-42,-59] score:1 trace|stderr result time:1.24 |
| randaaa8ea.cudf | NOTSOL score:20 trace|stderr result time:10.00 |
[-65,0,-21,-50] score:2 trace|stderr result time:48.91 |
[-65,0,-23,-425] score:3 trace|stderr result time:14.70 |
[-65,0,-23,-425] score:3 trace|stderr result time:95.51 |
[-65,0,-15,-93] score:1 trace|stderr result time:1.20 |
| randa9ba44.cudf | FAIL score:10 trace|stderr time:5.38 |
[-35,0,-22,-50] score:4 trace|stderr result time:47.72 |
[-35,0,-20,-417] score:2 trace|stderr result time:13.27 |
[-35,0,-20,-417] score:2 trace|stderr result time:8.38 |
[-35,0,-14,-62] score:1 trace|stderr result time:1.21 |
| rand951a14.cudf | NOTSOL score:20 trace|stderr result time:11.02 |
[-96,0,-27,-60] score:2 trace|stderr result time:48.31 |
[-97,0,-29,-321] score:3 trace|stderr result time:14.05 |
[-97,0,-29,-321] score:3 trace|stderr result time:7.45 |
[-96,0,-19,-71] score:1 trace|stderr result time:1.11 |
| rand8d117b.cudf | NOTSOL score:20 trace|stderr result time:9.89 |
[-96,0,-29,-98] score:2 trace|stderr result time:47.33 |
[-96,0,-30,-423] score:3 trace|stderr result time:15.55 |
[-96,0,-30,-423] score:3 trace|stderr result time:9.45 |
[-96,0,-21,-113] score:1 trace|stderr result time:1.17 |
| rand7fec8c.cudf | NOTSOL score:20 trace|stderr result time:10.84 |
[-30,0,-16,-75] score:2 trace|stderr result time:52.42 |
[-30,0,-19,-435] score:3 trace|stderr result time:14.24 |
[-30,0,-19,-435] score:3 trace|stderr result time:11.10 |
[-30,0,-11,-82] score:1 trace|stderr result time:1.24 |
| rand6d933e.cudf | NOTSOL score:20 trace|stderr result time:10.00 |
[-58,-1,-28,-66] score:2 trace|stderr result time:51.00 |
[-58,-1,-32,-423] score:4 trace|stderr result time:14.78 |
[-58,-1,-31,-423] score:3 trace|stderr result time:63.84 |
[-58,-1,-22,-75] score:1 trace|stderr result time:1.18 |
| rand61b840.cudf | NOTSOL score:20 trace|stderr result time:10.22 |
[-139,0,-18,-137] score:2 trace|stderr result time:53.42 |
[-140,0,-15,-425] score:3 trace|stderr result time:17.02 |
[-140,0,-15,-425] score:3 trace|stderr result time:110.89 |
[-139,0,-12,-146] score:1 trace|stderr result time:1.15 |
| rand5c1800.cudf | NOTSOL score:20 trace|stderr result time:10.33 |
[-51,-1,-15,-55] score:2 trace|stderr result time:49.49 |
[-51,-1,-17,-411] score:3 trace|stderr result time:13.44 |
[-51,-1,-17,-411] score:3 trace|stderr result time:11.35 |
[-51,-1,-10,-62] score:1 trace|stderr result time:1.21 |
| rand5619c8.cudf | NOTSOL score:20 trace|stderr result time:11.00 |
[-58,0,-11,-123] score:2 trace|stderr result time:53.34 |
[-59,0,-9,-503] score:3 trace|stderr result time:15.65 |
[-59,0,-9,-503] score:3 trace|stderr result time:16.86 |
[-58,0,-5,-132] score:1 trace|stderr result time:1.24 |
| rand359ca0.cudf | NOTSOL score:20 trace|stderr result time:10.46 |
[-30,-1,-17,-68] score:2 trace|stderr result time:50.60 |
[-31,-1,-12,-409] score:3 trace|stderr result time:13.30 |
[-31,-1,-12,-409] score:3 trace|stderr result time:24.97 |
[-30,-1,-9,-107] score:1 trace|stderr result time:1.24 |
| rand2fb7ab.cudf | NOTSOL score:20 trace|stderr result time:12.50 |
[-117,0,-19,-111] score:2 trace|stderr result time:49.50 |
[-117,0,-21,-420] score:4 trace|stderr result time:17.85 |
[-117,0,-20,-420] score:3 trace|stderr result time:45.08 |
[-117,0,-13,-120] score:1 trace|stderr result time:1.13 |
| rand1bff33.cudf | NOTSOL score:20 trace|stderr result time:11.07 |
[-23,0,-14,-50] score:2 trace|stderr result time:48.26 |
[-24,0,-10,-433] score:3 trace|stderr result time:12.91 |
[-24,0,-10,-433] score:3 trace|stderr result time:13.82 |
[-23,0,-6,-62] score:1 trace|stderr result time:1.26 |
| rand13b58e.cudf | NOTSOL score:20 trace|stderr result time:13.32 |
[-184,-2,-37,-120] score:2 trace|stderr result time:50.90 |
[-184,-2,-41,-394] score:3 trace|stderr result time:20.05 |
[-184,-2,-41,-394] score:3 trace|stderr result time:12.48 |
[-184,-2,-29,-130] score:1 trace|stderr result time:1.19 |
| rand08759d.cudf | NOTSOL score:20 trace|stderr result time:12.41 |
[-27,0,-13,-117] score:2 trace|stderr result time:49.85 |
[-27,0,-13,-445] score:3 trace|stderr result time:13.74 |
[-27,0,-13,-445] score:3 trace|stderr result time:23.10 |
[-27,0,-7,-126] score:1 trace|stderr result time:1.16 |
Category: impossible
| Problem | apt-pbo-trendy-1.0.5 | aspcud-trendy-1.2 | inesct-1.0 | p2cudf-trendy-1.6 | uns-trendy-0.0002 |
|---|---|---|---|---|---|
| randfa4522.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:38.37 |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[0,-423,-20,-40] score:1 trace|stderr result time:6.49 |
| randec88d5.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-103,-272,-38,-407] score:2 trace|stderr result time:289.56 |
[-79,-138,-18,-337] score:1 trace|stderr result time:20.65 |
| randaafcce.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:39.13 |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-71,-334,-32,-128] score:1 trace|stderr result time:25.82 |
| randa223c3.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-38,-90,-22,-432] score:1 trace|stderr result time:51.31 |
| rand8cc693.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:38.38 |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-64,-103,-23,-476] score:1 trace|stderr result time:41.76 |
| rand878003.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-47,-91,-23,-361] score:1 trace|stderr result time:67.27 |
| rand835640.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-37,-158,-23,-255] score:1 trace|stderr result time:39.43 |
| rand81406f.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:38.36 |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-16,-348,-32,-120] score:1 trace|stderr result time:89.83 |
| rand7902a8.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:39.67 |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-27,-118,-24,-314] score:1 trace|stderr result time:38.89 |
| rand7141b1.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-46,-105,-24,-348] score:1 trace|stderr result time:44.38 |
| rand6b4d6e.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-34,-118,-23,-356] score:1 trace|stderr result time:55.11 |
| rand655e63.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
[-39,-105,-26,-389] score:1 trace|stderr result time:86.21 |
| rand3dec28.cudf | ABORT score:15 trace|stderr |
ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:21.98 |
FAIL score:10 trace|stderr time:13.78 |
[-34,-161,-32,-310] score:1 trace|stderr result time:45.41 |
| rand332173.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:39.38 |
ABORT score:15 trace|stderr |
[-106,-222,-45,-373] score:2 trace|stderr result time:290.06 |
[-22,-114,-25,-357] score:1 trace|stderr result time:58.68 |
| rand0695fb.cudf | ABORT score:15 trace|stderr |
FAIL score:10 trace|stderr time:38.40 |
ABORT score:15 trace|stderr |
[-95,-168,-53,-584] score:2 trace|stderr result time:289.50 |
[-72,-111,-18,-371] score:1 trace|stderr result time:63.32 |