Category: 10orplus

Problem	apt-pbo-paranoid	inesc-udl-paranoid	p2cudf-p2	p2cudf-paranoid	p2cudf-paranoid2	solver-unsa-lexparanoid	solver-unsa-paranoid
xvfb.cudf	NOTSOL score:28 log result time:11.15	NOTSOL score:28 log result time:24.69	ABORT 21 log	ABORT 21 log	[-37,-58] score:2 log result time:13.84	[-33,-44] score:1 log result time:17.70	[-40,-41] score:3 log result time:6.44
unattended-upgrades.cudf	NOTSOL score:28 log result time:11.13	NOTSOL score:28 log result time:26.19	[-49,-72] score:5 log result time:260.44	[-45,-118] score:2 log result time:282.39	[-45,-124] score:3 log result time:18.32	[-37,-56] score:1 log result time:20.55	[-47,-52] score:4 log result time:6.59
txt2html.cudf	NOTSOL score:28 log result time:11.08	NOTSOL score:28 log result time:32.78	[-61,-125] score:4 log result time:267.72	[-45,-126] score:2 log result time:282.53	[-57,-163] score:3 log result time:12.29	[-41,-112] score:1 log result time:20.07	[-95,-118] score:5 log result time:6.82
texlive-generic-recommended.cudf	NOTSOL score:28 log result time:11.14	NOTSOL score:28 log result time:24.81	[-45,-59] score:5 log result time:246.63	[-36,-126] score:2 log result time:283.58	[-39,-72] score:3 log result time:12.85	[-33,-43] score:1 log result time:21.20	[-40,-40] score:4 log result time:6.44
system-config-printer.cudf	NOTSOL score:28 log result time:10.99	NOTSOL score:28 log result time:25.00	[-45,-63] score:5 log result time:249.31	[-36,-958] score:2 log result time:278.18	[-37,-60] score:3 log result time:15.65	[-33,-46] score:1 log result time:20.11	[-40,-44] score:4 log result time:6.93
synaptic.cudf	NOTSOL score:28 log result time:11.16	NOTSOL score:28 log result time:24.89	[-45,-59] score:5 log result time:263.23	[-37,-57] score:2 log result time:277.37	[-37,-57] score:2 log result time:15.79	[-33,-43] score:1 log result time:22.11	[-40,-40] score:4 log result time:7.48
sonata.cudf	NOTSOL score:28 log result time:10.99	NOTSOL score:28 log result time:24.93	[-45,-61] score:5 log result time:254.03	[-37,-58] score:2 log result time:293.91	[-37,-59] score:3 log result time:14.61	[-33,-45] score:1 log result time:18.02	[-40,-42] score:4 log result time:7.73
python-hippocanvas.cudf	NOTSOL score:28 log result time:10.77	NOTSOL score:28 log result time:32.88	[-66,-93] score:4 log result time:276.72	[-43,-115] score:2 log result time:284.91	[-43,-115] score:2 log result time:18.55	[-39,-101] score:1 log result time:17.98	[-71,-77] score:5 log result time:6.56
python-cairo.cudf	NOTSOL score:28 log result time:11.09	NOTSOL score:28 log result time:24.72	[-45,-59] score:5 log result time:240.12	[-36,-140] score:2 log result time:269.06	[-37,-57] score:3 log result time:13.16	[-33,-43] score:1 log result time:18.95	[-40,-40] score:4 log result time:7.76
pybackpack.cudf	NOTSOL score:28 log result time:11.20	NOTSOL score:28 log result time:33.19	[-60,-95] score:4 log result time:262.86	[-43,-116] score:2 log result time:286.22	[-49,-111] score:3 log result time:15.08	[-39,-102] score:1 log result time:18.61	[-65,-79] score:5 log result time:6.83
pidgin-plugin-pack.cudf	NOTSOL score:28 log result time:11.04	NOTSOL score:28 log result time:33.44	[-60,-129] score:3 log result time:261.41	[-43,-121] score:2 log result time:286.42	[-72,-187] score:4 log result time:12.49	[-41,-110] score:1 log result time:19.66	[-90,-120] score:5 log result time:7.80
openoffice.org-l10n-nl.cudf	NOTSOL score:28 log result time:10.88	NOTSOL score:28 log result time:31.34	[-58,-73] score:5 log result time:205.96	[-37,-827] score:2 log result time:284.32	[-38,-102] score:3 log result time:13.62	[-34,-88] score:1 log result time:18.46	[-53,-54] score:4 log result time:7.00
openoffice.org-l10n-da.cudf	NOTSOL score:28 log result time:11.00	NOTSOL score:28 log result time:31.10	[-57,-71] score:5 log result time:283.32	[-38,-101] score:2 log result time:285.66	[-38,-102] score:3 log result time:16.95	[-34,-88] score:1 log result time:22.84	[-53,-54] score:4 log result time:7.20
monodevelop-nunit.cudf	NOTSOL score:28 log result time:11.02	NOTSOL score:28 log result time:37.09	[-67,-112] score:5 log result time:274.40	[-37,-138] score:2 log result time:275.21	[-38,-131] score:3 log result time:15.34	[-33,-134] score:1 log result time:18.10	[-45,-89] score:4 log result time:8.43
mercurial-common.cudf	NOTSOL score:28 log result time:11.06	NOTSOL score:28 log result time:24.96	[-45,-60] score:5 log result time:254.95	[-37,-58] score:2 log result time:292.41	[-37,-58] score:2 log result time:14.06	[-33,-44] score:1 log result time:20.49	[-40,-41] score:4 log result time:7.37
lirc.cudf	NOTSOL score:28 log result time:10.96	NOTSOL score:28 log result time:25.31	[-45,-61] score:5 log result time:254.61	[-36,-94] score:2 log result time:224.23	[-37,-59] score:3 log result time:13.63	[-33,-45] score:1 log result time:21.11	[-40,-42] score:4 log result time:6.53
libtemplate-provider-encoding-perl.cudf	NOTSOL score:28 log result time:10.79	NOTSOL score:28 log result time:32.49	[-61,-125] score:4 log result time:247.71	[-45,-126] score:2 log result time:283.44	[-45,-126] score:2 log result time:18.26	[-41,-112] score:1 log result time:18.16	[-99,-120] score:5 log result time:7.49
libpoe-perl.cudf	NOTSOL score:28 log result time:11.02	NOTSOL score:28 log result time:32.59	[-61,-124] score:4 log result time:268.13	[-45,-125] score:2 log result time:280.60	[-45,-131] score:3 log result time:12.65	[-41,-111] score:1 log result time:17.97	[-95,-117] score:5 log result time:7.02
libpango-perl.cudf	NOTSOL score:28 log result time:10.72	NOTSOL score:28 log result time:32.52	ABORT 21 log	[-45,-124] score:2 log result time:286.92	[-63,-195] score:3 log result time:13.00	[-41,-110] score:1 log result time:17.72	[-98,-118] score:4 log result time:7.32
libnss3-1d.cudf	NOTSOL score:28 log result time:10.77	NOTSOL score:28 log result time:24.83	[-45,-59] score:5 log result time:239.08	[-36,-1051] score:2 log result time:289.66	[-37,-57] score:3 log result time:14.24	[-33,-43] score:1 log result time:21.57	[-40,-40] score:4 log result time:6.46
libnspr4-dev.cudf	NOTSOL score:28 log result time:10.94	NOTSOL score:28 log result time:28.51	[-66,-82] score:5 log result time:225.64	[-49,-123] score:2 log result time:296.47	[-50,-112] score:3 log result time:14.24	[-46,-87] score:1 log result time:18.50	[-61,-63] score:4 log result time:7.68
libnkf-perl.cudf	NOTSOL score:28 log result time:10.71	NOTSOL score:28 log result time:32.47	[-61,-123] score:4 log result time:278.92	[-45,-123] score:2 log result time:279.13	[-45,-124] score:3 log result time:17.96	[-41,-110] score:1 log result time:21.89	[-95,-116] score:5 log result time:7.02
libmail-spf-perl.cudf	NOTSOL score:28 log result time:11.09	NOTSOL score:28 log result time:33.03	[-60,-125] score:3 log result time:277.21	[-44,-728] score:2 log result time:287.42	[-86,-256] score:4 log result time:13.38	[-41,-114] score:1 log result time:21.93	[-91,-118] score:5 log result time:6.97
libhtml-parser-perl.cudf	NOTSOL score:28 log result time:10.98	NOTSOL score:28 log result time:24.67	[-45,-59] score:5 log result time:242.16	[-36,-170] score:2 log result time:283.44	[-37,-57] score:3 log result time:14.68	[-33,-43] score:1 log result time:21.39	[-40,-40] score:4 log result time:6.47
libdbd-pg-perl.cudf	NOTSOL score:28 log result time:10.83	NOTSOL score:28 log result time:32.75	[-61,-123] score:3 log result time:213.80	[-45,-124] score:2 log result time:283.31	[-87,-349] score:4 log result time:10.76	[-41,-110] score:1 log result time:22.59	[-95,-116] score:5 log result time:7.55
libcyrus-imap-perl22.cudf	NOTSOL score:28 log result time:11.02	NOTSOL score:28 log result time:32.31	[-84,-166] score:4 log result time:206.89	[-45,-124] score:2 log result time:295.77	[-65,-235] score:3 log result time:11.80	[-41,-110] score:1 log result time:22.15	[-99,-118] score:5 log result time:6.91
libcurses-perl.cudf	NOTSOL score:28 log result time:11.09	NOTSOL score:28 log result time:32.66	[-61,-123] score:4 log result time:221.72	[-45,-124] score:2 log result time:281.20	[-45,-124] score:2 log result time:13.96	[-41,-110] score:1 log result time:18.21	[-95,-116] score:5 log result time:7.78
libcatalyst-perl.cudf	NOTSOL score:28 log result time:11.00	NOTSOL score:28 log result time:36.06	[-61,-152] score:3 log result time:277.29	[-45,-152] score:2 log result time:299.16	[-68,-254] score:4 log result time:16.28	[-41,-138] score:1 log result time:21.83	[-95,-144] score:5 log result time:8.10
libbsd-resource-perl.cudf	NOTSOL score:28 log result time:11.14	NOTSOL score:28 log result time:24.76	[-45,-59] score:5 log result time:259.38	[-36,-969] score:3 log result time:290.28	[-36,-80] score:2 log result time:15.79	[-33,-43] score:1 log result time:17.57	[-40,-40] score:4 log result time:7.67
konq-plugins.cudf	NOTSOL score:28 log result time:10.83	NOTSOL score:28 log result time:24.99	[-45,-59] score:5 log result time:240.71	[-37,-57] score:2 log result time:283.13	[-37,-57] score:2 log result time:14.26	[-33,-43] score:1 log result time:18.37	[-40,-40] score:4 log result time:6.40
kdebase-bin.cudf	NOTSOL score:28 log result time:10.90	NOTSOL score:28 log result time:24.82	[-45,-59] score:5 log result time:240.21	[-37,-56] score:2 log result time:288.23	[-37,-57] score:3 log result time:13.10	[-33,-43] score:1 log result time:22.04	[-40,-40] score:4 log result time:6.39
idle.cudf	NOTSOL score:28 log result time:10.93	NOTSOL score:28 log result time:32.81	[-66,-92] score:4 log result time:269.67	[-43,-114] score:2 log result time:289.04	[-43,-114] score:2 log result time:15.53	[-39,-100] score:1 log result time:18.45	[-71,-76] score:5 log result time:7.85
hal-cups-utils.cudf	NOTSOL score:28 log result time:11.51	NOTSOL score:28 log result time:25.07	[-45,-62] score:5 log result time:266.94	[-37,-56] score:2 log result time:279.84	[-37,-60] score:3 log result time:13.64	[-33,-46] score:1 log result time:17.49	[-40,-43] score:4 log result time:7.76
guake.cudf	NOTSOL score:28 log result time:11.04	NOTSOL score:28 log result time:34.10	[-65,-106] score:2 log result time:201.56	ABORT 21 log	[-80,-250] score:3 log result time:11.56	[-39,-113] score:1 log result time:17.60	[-82,-93] score:4 log result time:7.54
gnome-panel-data.cudf	NOTSOL score:28 log result time:10.85	NOTSOL score:28 log result time:24.90	[-45,-59] score:5 log result time:255.91	[-36,-1016] score:2 log result time:288.60	[-37,-57] score:3 log result time:12.33	[-33,-43] score:1 log result time:21.94	[-40,-40] score:4 log result time:7.69
gnochm.cudf	NOTSOL score:28 log result time:10.96	NOTSOL score:28 log result time:25.02	[-47,-65] score:5 log result time:289.88	[-39,-62] score:2 log result time:283.40	[-42,-123] score:4 log result time:15.95	[-35,-49] score:1 log result time:19.29	[-42,-46] score:3 log result time:6.92
evolution-dev.cudf	NOTSOL score:28 log result time:11.08	NOTSOL score:28 log result time:29.56	[-67,-99] score:5 log result time:236.46	[-52,-180] score:2 log result time:290.35	[-54,-121] score:3 log result time:15.99	[-46,-100] score:1 log result time:15.89	[-62,-76] score:4 log result time:8.09
epiphany-browser.cudf	NOTSOL score:28 log result time:11.00	NOTSOL score:28 log result time:36.76	[-90,-127] score:3 log result time:253.94	[-67,-374] score:2 log result time:274.33	[-90,-258] score:4 log result time:15.75	[-57,-162] score:1 log result time:17.39	[-94,-110] score:5 log result time:7.87
dwww.cudf	NOTSOL score:28 log result time:10.92	NOTSOL score:28 log result time:33.09	[-61,-129] score:4 log result time:247.71	[-44,-1160] score:3 log result time:283.68	[-43,-135] score:2 log result time:14.80	[-41,-116] score:1 log result time:22.62	[-95,-122] score:5 log result time:6.80
codebreaker.cudf	NOTSOL score:28 log result time:10.98	NOTSOL score:28 log result time:27.38	[-91,-105] score:5 log result time:239.20	[-48,-1118] score:2 log result time:282.43	[-49,-89] score:3 log result time:13.28	[-45,-75] score:1 log result time:16.67	[-67,-71] score:4 log result time:6.57

Category: 9orless

Problem	apt-pbo-paranoid	inesc-udl-paranoid	p2cudf-p2	p2cudf-paranoid	p2cudf-paranoid2	solver-unsa-lexparanoid	solver-unsa-paranoid
upstart-compat-sysv.cudf	NOTSOL score:28 log result time:10.80	NOTSOL score:28 log result time:25.55	[-48,-67] score:5 log result time:232.27	[-40,-87] score:2 log result time:285.47	[-43,-74] score:4 log result time:11.80	[-36,-51] score:1 log result time:18.69	[-43,-48] score:3 log result time:6.70
tasque.cudf	NOTSOL score:28 log result time:10.92	NOTSOL score:28 log result time:35.11	[-48,-85] score:4 log result time:169.09	[-37,-127] score:2 log result time:294.09	[-50,-139] score:5 log result time:12.53	[-33,-123] score:1 log result time:21.52	[-45,-75] score:3 log result time:6.86
r-cran-rodbc.cudf	NOTSOL score:28 log result time:11.03	NOTSOL score:28 log result time:24.87	[-46,-62] score:5 log result time:253.20	[-37,-177] score:2 log result time:298.90	[-38,-60] score:3 log result time:14.12	[-34,-46] score:1 log result time:22.97	[-41,-43] score:4 log result time:7.78
r-cran-lme4.cudf	NOTSOL score:28 log result time:10.92	NOTSOL score:28 log result time:25.57	[-46,-63] score:5 log result time:250.05	[-37,-150] score:2 log result time:284.20	[-38,-61] score:3 log result time:14.56	[-34,-47] score:1 log result time:18.63	[-41,-44] score:4 log result time:7.74
r-cran-car.cudf	NOTSOL score:28 log result time:10.93	NOTSOL score:28 log result time:24.97	[-50,-63] score:5 log result time:192.25	[-38,-60] score:2 log result time:253.03	[-38,-60] score:2 log result time:15.64	[-34,-46] score:1 log result time:17.87	[-41,-43] score:4 log result time:7.78
plasma-widgets-workspace.cudf	NOTSOL score:28 log result time:10.76	NOTSOL score:28 log result time:31.70	[-50,-117] score:5 log result time:223.00	[-37,-1020] score:2 log result time:287.39	[-48,-254] score:4 log result time:11.63	[-34,-103] score:1 log result time:19.02	[-45,-98] score:3 log result time:7.07
plasma-dataengines-workspace.cudf	NOTSOL score:28 log result time:11.71	NOTSOL score:28 log result time:35.53	[-50,-115] score:5 log result time:216.46	[-48,-160] score:4 log result time:290.13	[-46,-179] score:3 log result time:11.23	[-34,-101] score:1 log result time:17.59	[-45,-96] score:2 log result time:6.78
openoffice.org-draw.cudf	NOTSOL score:28 log result time:10.85	NOTSOL score:28 log result time:24.80	[-45,-59] score:5 log result time:240.63	[-36,-961] score:2 log result time:282.07	[-37,-54] score:3 log result time:15.14	[-33,-43] score:1 log result time:17.54	[-40,-40] score:4 log result time:7.41
mono-mcs.cudf	NOTSOL score:28 log result time:11.17	NOTSOL score:28 log result time:24.76	[-45,-59] score:5 log result time:238.84	[-36,-945] score:2 log result time:286.30	[-37,-85] score:3 log result time:11.93	[-33,-43] score:1 log result time:21.14	[-40,-40] score:4 log result time:7.63
mono-gac.cudf	NOTSOL score:28 log result time:11.00	NOTSOL score:28 log result time:24.78	[-45,-59] score:5 log result time:239.47	[-36,-270] score:2 log result time:291.03	[-37,-57] score:3 log result time:12.01	[-33,-43] score:1 log result time:18.87	[-40,-40] score:4 log result time:7.53
mono-debugger.cudf	NOTSOL score:28 log result time:10.89	NOTSOL score:28 log result time:35.73	[-48,-68] score:5 log result time:220.16	[-37,-123] score:2 log result time:287.68	[-37,-125] score:3 log result time:12.29	[-33,-120] score:1 log result time:19.89	[-43,-58] score:4 log result time:7.09
libwnck2.20-cil.cudf	NOTSOL score:28 log result time:10.93	NOTSOL score:28 log result time:36.61	[-45,-62] score:5 log result time:162.71	[-36,-205] score:2 log result time:282.47	[-37,-125] score:3 log result time:16.91	[-33,-120] score:1 log result time:18.36	[-42,-52] score:4 log result time:7.08
libmono-relaxng1.0-cil.cudf	NOTSOL score:28 log result time:11.21	NOTSOL score:28 log result time:35.79	[-45,-60] score:5 log result time:240.91	[-37,-123] score:2 log result time:288.09	[-37,-124] score:3 log result time:14.98	[-33,-119] score:1 log result time:18.96	[-42,-49] score:4 log result time:6.98
libmono-addins-gui0.2-cil.cudf	NOTSOL score:28 log result time:11.03	NOTSOL score:28 log result time:36.07	[-48,-71] score:5 log result time:254.03	[-37,-126] score:2 log result time:291.61	[-37,-126] score:2 log result time:15.15	[-33,-121] score:1 log result time:21.91	[-45,-62] score:4 log result time:9.03
libgnokii4.cudf	NOTSOL score:28 log result time:11.05	NOTSOL score:28 log result time:25.88	[-49,-68] score:5 log result time:256.03	[-38,-62] score:2 log result time:283.83	[-38,-65] score:3 log result time:13.38	[-34,-51] score:1 log result time:18.29	[-44,-48] score:4 log result time:6.56
libevolution3.0-cil.cudf	NOTSOL score:28 log result time:10.94	NOTSOL score:28 log result time:34.83	[-45,-60] score:5 log result time:181.14	[-36,-99] score:2 log result time:287.22	[-37,-125] score:3 log result time:13.98	[-33,-120] score:1 log result time:22.05	[-42,-51] score:4 log result time:8.11
kwin-style-crystal.cudf	NOTSOL score:28 log result time:10.91	NOTSOL score:28 log result time:24.87	[-45,-60] score:5 log result time:267.82	[-36,-102] score:2 log result time:285.97	[-37,-58] score:3 log result time:14.45	[-33,-44] score:1 log result time:21.13	[-40,-41] score:4 log result time:6.58
ktouch.cudf	NOTSOL score:28 log result time:11.03	NOTSOL score:28 log result time:24.95	[-45,-59] score:5 log result time:277.00	[-39,-72] score:3 log result time:288.73	[-37,-57] score:2 log result time:12.28	[-33,-43] score:1 log result time:18.96	[-40,-40] score:4 log result time:7.65
ksystemlog.cudf	NOTSOL score:28 log result time:11.06	NOTSOL score:28 log result time:25.02	[-45,-60] score:5 log result time:252.75	[-37,-55] score:2 log result time:287.79	[-37,-58] score:3 log result time:13.65	[-33,-44] score:1 log result time:20.52	[-40,-41] score:4 log result time:7.57
kphotoalbum.cudf	NOTSOL score:28 log result time:10.89	NOTSOL score:28 log result time:24.56	[-45,-59] score:5 log result time:242.39	[-36,-1130] score:2 log result time:290.80	[-37,-57] score:3 log result time:15.76	[-33,-43] score:1 log result time:18.72	[-40,-40] score:4 log result time:6.65
kommander.cudf	NOTSOL score:28 log result time:10.96	NOTSOL score:28 log result time:24.71	[-45,-59] score:5 log result time:241.84	[-36,-133] score:2 log result time:282.52	[-37,-57] score:3 log result time:14.22	[-33,-43] score:1 log result time:17.91	[-40,-40] score:4 log result time:6.81
knetwalk.cudf	NOTSOL score:28 log result time:10.89	NOTSOL score:28 log result time:24.95	[-45,-59] score:5 log result time:239.42	[-36,-354] score:2 log result time:281.36	[-37,-57] score:3 log result time:13.55	[-33,-43] score:1 log result time:20.49	[-40,-40] score:4 log result time:6.56
kmines.cudf	NOTSOL score:28 log result time:10.89	NOTSOL score:28 log result time:24.84	[-45,-59] score:5 log result time:239.44	[-37,-56] score:2 log result time:273.25	[-37,-153] score:3 log result time:11.38	[-33,-43] score:1 log result time:20.69	[-40,-40] score:4 log result time:7.45
kjumpingcube.cudf	NOTSOL score:28 log result time:11.11	NOTSOL score:28 log result time:24.77	[-45,-59] score:5 log result time:248.65	[-36,-130] score:2 log result time:294.53	[-37,-57] score:3 log result time:13.74	[-33,-43] score:1 log result time:19.66	[-40,-40] score:4 log result time:6.38
kfilereplace.cudf	NOTSOL score:28 log result time:10.97	NOTSOL score:28 log result time:24.88	[-45,-59] score:5 log result time:247.99	[-36,-1002] score:2 log result time:288.03	[-37,-57] score:3 log result time:13.59	[-33,-43] score:1 log result time:17.73	[-40,-40] score:4 log result time:7.40
kdesudo.cudf	NOTSOL score:28 log result time:11.01	NOTSOL score:28 log result time:24.59	[-45,-60] score:5 log result time:211.79	[-37,-57] score:2 log result time:289.08	[-37,-58] score:3 log result time:14.41	[-33,-44] score:1 log result time:22.29	[-40,-41] score:4 log result time:6.84
kdessh.cudf	NOTSOL score:28 log result time:10.93	NOTSOL score:28 log result time:24.64	[-45,-59] score:5 log result time:239.79	[-36,-964] score:2 log result time:281.72	[-37,-57] score:3 log result time:13.27	[-33,-43] score:1 log result time:17.64	[-40,-40] score:4 log result time:6.48
kdemultimedia-kio-plugins.cudf	NOTSOL score:28 log result time:10.93	NOTSOL score:28 log result time:24.73	[-45,-59] score:5 log result time:240.12	[-36,-926] score:2 log result time:283.37	[-37,-57] score:3 log result time:15.82	[-33,-43] score:1 log result time:17.51	[-40,-40] score:4 log result time:6.41
kblocks.cudf	NOTSOL score:28 log result time:10.85	NOTSOL score:28 log result time:26.58	[-46,-88] score:5 log result time:208.22	[-37,-986] score:2 log result time:292.59	[-38,-85] score:3 log result time:16.29	[-34,-72] score:1 log result time:22.71	[-41,-69] score:4 log result time:7.03
kbd.cudf	NOTSOL score:28 log result time:10.80	NOTSOL score:28 log result time:25.35	[-53,-71] score:5 log result time:246.82	[-38,-60] score:2 log result time:281.38	[-38,-60] score:2 log result time:12.92	[-34,-46] score:1 log result time:18.21	[-42,-43] score:4 log result time:7.85
inetutils-syslogd.cudf	NOTSOL score:28 log result time:10.90	NOTSOL score:28 log result time:25.42	[-47,-62] score:5 log result time:293.37	[-38,-979] score:2 log result time:284.32	[-39,-60] score:3 log result time:17.48	[-35,-46] score:1 log result time:17.73	[-42,-43] score:4 log result time:6.41
gtwitter.cudf	NOTSOL score:28 log result time:11.04	NOTSOL score:28 log result time:34.96	[-48,-80] score:5 log result time:229.42	[-37,-123] score:2 log result time:287.39	[-37,-125] score:3 log result time:16.90	[-33,-120] score:1 log result time:17.62	[-47,-72] score:4 log result time:6.65
gpc-4.1.cudf	NOTSOL score:28 log result time:11.12	NOTSOL score:28 log result time:25.79	[-46,-66] score:5 log result time:240.41	[-38,-62] score:2 log result time:292.45	[-38,-64] score:3 log result time:14.80	[-34,-50] score:1 log result time:17.80	[-41,-47] score:4 log result time:6.45
gnash-common-opengl.cudf	NOTSOL score:28 log result time:10.75	NOTSOL score:28 log result time:25.17	[-47,-65] score:5 log result time:258.63	[-38,-202] score:2 log result time:284.53	[-39,-60] score:3 log result time:14.59	[-35,-46] score:1 log result time:17.59	[-42,-43] score:4 log result time:6.55
fcron.cudf	NOTSOL score:28 log result time:11.01	NOTSOL score:28 log result time:25.01	[-46,-61] score:5 log result time:240.86	[-37,-898] score:2 log result time:291.70	[-38,-59] score:3 log result time:14.52	[-34,-45] score:1 log result time:20.75	[-41,-42] score:4 log result time:7.35
dpkg-dev.cudf	NOTSOL score:28 log result time:10.83	NOTSOL score:28 log result time:24.89	[-45,-59] score:5 log result time:240.43	[-36,-140] score:3 log result time:285.64	[-36,-63] score:2 log result time:12.15	[-33,-43] score:1 log result time:22.01	[-40,-40] score:4 log result time:6.47
audacious-plugins-extra.cudf	NOTSOL score:28 log result time:10.95	NOTSOL score:28 log result time:25.80	[-45,-75] score:5 log result time:284.32	[-36,-203] score:2 log result time:290.50	[-37,-96] score:3 log result time:13.32	[-33,-59] score:1 log result time:18.26	[-40,-56] score:4 log result time:8.79
ark.cudf	NOTSOL score:28 log result time:11.11	NOTSOL score:28 log result time:24.99	[-45,-59] score:5 log result time:239.71	[-36,-447] score:2 log result time:282.22	[-37,-57] score:3 log result time:14.41	[-33,-43] score:1 log result time:17.31	[-40,-40] score:4 log result time:6.43

Category: caixa

Problem	apt-pbo-paranoid	inesc-udl-paranoid	p2cudf-p2	p2cudf-paranoid	p2cudf-paranoid2	solver-unsa-lexparanoid	solver-unsa-paranoid
658.cudf	ABORT 21 log	FAIL 14 log time:13.02	FAIL 14 log time:3.87	FAIL 14 log time:3.54	FAIL 14 log time:4.20	ABORT 21 log	ABORT 21 log
650.cudf	ABORT 21 log	[0,-2] score:1 log result time:14.17	[-22,-47] score:4 log result time:9.25	[-22,-24] score:2 log result time:6.50	[-22,-24] score:2 log result time:7.08	ABORT 21 log	ABORT 21 log
590.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:6.30	FAIL 14 log time:5.74	FAIL 14 log time:6.95	ABORT 21 log	ABORT 21 log
584.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.21	FAIL 14 log time:5.31	FAIL 14 log time:5.41	ABORT 21 log	ABORT 21 log
582.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.36	FAIL 14 log time:5.49	FAIL 14 log time:5.62	ABORT 21 log	ABORT 21 log
581.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.72	FAIL 14 log time:5.97	FAIL 14 log time:7.70	ABORT 21 log	ABORT 21 log
579.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.06	FAIL 14 log time:5.40	FAIL 14 log time:5.00	ABORT 21 log	ABORT 21 log
558.cudf	ABORT 21 log	[0,-2] score:1 log result time:14.04	FAIL 14 log time:6.47	FAIL 14 log time:5.52	FAIL 14 log time:5.77	ABORT 21 log	ABORT 21 log
557.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.13	FAIL 14 log time:5.26	FAIL 14 log time:7.18	ABORT 21 log	ABORT 21 log
556.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.46	FAIL 14 log time:6.61	FAIL 14 log time:5.34	ABORT 21 log	ABORT 21 log
550.cudf	ABORT 21 log	[0,-2] score:1 log result time:14.10	FAIL 14 log time:6.86	FAIL 14 log time:5.73	FAIL 14 log time:5.48	ABORT 21 log	ABORT 21 log
522.cudf	ABORT 21 log	FAIL 14 log time:13.32	FAIL 14 log time:5.83	FAIL 14 log time:6.80	FAIL 14 log time:6.01	ABORT 21 log	ABORT 21 log
521.cudf	ABORT 21 log	FAIL 14 log time:13.38	FAIL 14 log time:6.74	FAIL 14 log time:6.90	FAIL 14 log time:7.70	ABORT 21 log	ABORT 21 log
520.cudf	ABORT 21 log	FAIL 14 log time:13.40	FAIL 14 log time:5.72	FAIL 14 log time:5.20	FAIL 14 log time:5.18	ABORT 21 log	ABORT 21 log
519.cudf	ABORT 21 log	FAIL 14 log time:13.35	FAIL 14 log time:4.77	FAIL 14 log time:5.11	FAIL 14 log time:4.98	ABORT 21 log	ABORT 21 log
1468.cudf	ABORT 21 log	[0,-6] score:1 log result time:14.70	[-25,-50] score:4 log result time:19.73	[-25,-31] score:2 log result time:7.90	[-25,-31] score:2 log result time:8.21	ABORT 21 log	ABORT 21 log
1378.cudf	ABORT 21 log	FAIL 14 log time:13.80	FAIL 14 log time:6.22	FAIL 14 log time:7.10	FAIL 14 log time:5.70	ABORT 21 log	ABORT 21 log
1337.cudf	ABORT 21 log	FAIL 14 log time:13.71	FAIL 14 log time:6.71	FAIL 14 log time:6.04	FAIL 14 log time:5.70	ABORT 21 log	ABORT 21 log
1336.cudf	ABORT 21 log	FAIL 14 log time:13.66	FAIL 14 log time:6.64	FAIL 14 log time:5.76	FAIL 14 log time:5.84	ABORT 21 log	ABORT 21 log
1335.cudf	ABORT 21 log	FAIL 14 log time:13.84	FAIL 14 log time:6.62	FAIL 14 log time:5.70	FAIL 14 log time:5.93	ABORT 21 log	ABORT 21 log
1243.cudf	ABORT 21 log	FAIL 14 log time:13.86	FAIL 14 log time:5.78	FAIL 14 log time:5.92	FAIL 14 log time:5.68	ABORT 21 log	ABORT 21 log
1238.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:5.37	FAIL 14 log time:7.13	FAIL 14 log time:6.79	ABORT 21 log	ABORT 21 log
122.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:4.92	FAIL 14 log time:4.58	FAIL 14 log time:4.89	ABORT 21 log	ABORT 21 log
121.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:4.82	FAIL 14 log time:5.29	FAIL 14 log time:5.01	ABORT 21 log	ABORT 21 log
1131.cudf	ABORT 21 log	FAIL 14 log time:13.97	FAIL 14 log time:6.30	FAIL 14 log time:6.50	FAIL 14 log time:5.73	ABORT 21 log	ABORT 21 log
1126.cudf	ABORT 21 log	FAIL 14 log time:13.16	FAIL 14 log time:3.90	FAIL 14 log time:3.76	FAIL 14 log time:3.65	ABORT 21 log	ABORT 21 log
1125.cudf	ABORT 21 log	FAIL 14 log time:13.11	FAIL 14 log time:3.87	FAIL 14 log time:3.84	FAIL 14 log time:3.76	ABORT 21 log	ABORT 21 log
1124.cudf	ABORT 21 log	FAIL 14 log time:13.16	FAIL 14 log time:3.99	FAIL 14 log time:3.66	FAIL 14 log time:4.06	ABORT 21 log	ABORT 21 log
1098.cudf	ABORT 21 log	NOTSOL score:28 log result time:18.34	[0,-256] score:1 log result time:5.06	[0,-256] score:1 log result time:6.00	[0,-256] score:1 log result time:5.17	ABORT 21 log	ABORT 21 log
1097.cudf	ABORT 21 log	NOTSOL score:28 log result time:16.05	[0,-125] score:1 log result time:5.11	[0,-125] score:1 log result time:4.21	[0,-125] score:1 log result time:3.92	ABORT 21 log	ABORT 21 log
1096.cudf	ABORT 21 log	FAIL 14 log time:Command	FAIL 14 log time:3.54	FAIL 14 log time:3.91	FAIL 14 log time:3.93	ABORT 21 log	ABORT 21 log
1094.cudf	ABORT 21 log	NOTSOL score:28 log result time:15.75	[0,-126] score:1 log result time:4.52	[0,-126] score:1 log result time:3.94	[0,-126] score:1 log result time:5.04	ABORT 21 log	ABORT 21 log
1093.cudf	ABORT 21 log	FAIL 14 log time:13.53	FAIL 14 log time:4.73	FAIL 14 log time:4.66	FAIL 14 log time:4.56	ABORT 21 log	ABORT 21 log
1084.cudf	ABORT 21 log	FAIL 14 log time:13.37	FAIL 14 log time:4.28	FAIL 14 log time:3.60	FAIL 14 log time:3.46	ABORT 21 log	ABORT 21 log
1078.cudf	ABORT 21 log	NOTSOL score:28 log result time:13.44	[0,-4] score:1 log result time:3.77	[0,-4] score:1 log result time:3.37	[0,-4] score:1 log result time:3.48	ABORT 21 log	ABORT 21 log
1077.cudf	ABORT 21 log	FAIL 14 log time:13.21	FAIL 14 log time:4.33	FAIL 14 log time:5.36	FAIL 14 log time:5.58	ABORT 21 log	ABORT 21 log
1075.cudf	ABORT 21 log	FAIL 14 log time:13.15	FAIL 14 log time:3.80	FAIL 14 log time:3.72	FAIL 14 log time:4.29	ABORT 21 log	ABORT 21 log
1037.cudf	ABORT 21 log	NOTSOL score:28 log result time:15.20	[0,-90] score:1 log result time:4.63	[0,-90] score:1 log result time:4.40	[0,-90] score:1 log result time:5.36	ABORT 21 log	ABORT 21 log
1034.cudf	ABORT 21 log	FAIL 14 log time:13.14	FAIL 14 log time:4.77	FAIL 14 log time:4.18	FAIL 14 log time:4.70	ABORT 21 log	ABORT 21 log
1021.cudf	ABORT 21 log	FAIL 14 log time:13.14	FAIL 14 log time:3.81	FAIL 14 log time:4.08	FAIL 14 log time:3.59	ABORT 21 log	ABORT 21 log

Category: rand.biglist

Problem	apt-pbo-paranoid	inesc-udl-paranoid	p2cudf-p2	p2cudf-paranoid	p2cudf-paranoid2	solver-unsa-lexparanoid	solver-unsa-paranoid
randfe95e3.cudf	FAIL 14 log time:12.09	FAIL 14 log time:21.99	FAIL 14 log time:6.77	FAIL 14 log time:5.14	FAIL 14 log time:5.22	FAIL 14 log time:2.16	FAIL 14 log time:2.20
randf7d077.cudf	FAIL 14 log time:12.30	FAIL 14 log time:22.56	FAIL 14 log time:5.55	FAIL 14 log time:6.62	FAIL 14 log time:6.43	FAIL 14 log time:3.29	FAIL 14 log time:2.78
randee102b.cudf	NOTSOL score:28 log result time:145.96	FAIL 14 log time:Command	[-25,-716] score:4 log result time:21.01	[-7,-681] score:2 log result time:272.49	[-7,-724] score:3 log result time:9.73	[-7,-671] score:1 log result time:7.25	[-54,-673] score:5 log result time:4.03
randd1cab2.cudf	NOTSOL score:28 log result time:12.16	NOTSOL score:28 log result time:44.44	[-19,-560] score:4 log result time:22.46	[-8,-524] score:1 log result time:48.05	[-8,-559] score:3 log result time:8.56	[-8,-524] score:1 log result time:5.41	[-35,-527] score:5 log result time:3.56
randbccf2d.cudf	[-3,-462] score:2 log result time:196.07	NOTSOL score:28 log result time:52.53	[-8,-520] score:5 log result time:22.54	[-3,-462] score:2 log result time:281.48	[-3,-475] score:4 log result time:9.43	[-3,-461] score:1 log result time:6.75	[-13,-464] score:6 log result time:3.89
randb87834.cudf	[-7,-482] score:3 log result time:199.32	NOTSOL score:28 log result time:39.12	[-12,-516] score:5 log result time:23.80	[-6,-478] score:1 log result time:241.18	[-7,-533] score:4 log result time:8.94	[-6,-478] score:1 log result time:5.76	[-33,-483] score:6 log result time:3.25
randb3c96d.cudf	FAIL 14 log time:12.15	FAIL 14 log time:22.08	FAIL 14 log time:7.05	FAIL 14 log time:7.52	FAIL 14 log time:5.82	FAIL 14 log time:1.93	FAIL 14 log time:2.19
randaefc7c.cudf	[0,0] score:1 log result time:89.42	NOTSOL score:28 log result time:22.64	[0,0] score:1 log result time:6.91	[0,0] score:1 log result time:5.72	[0,0] score:1 log result time:7.79	[0,0] score:1 log result time:6.06	[0,0] score:1 log result time:3.77
randaef248.cudf	FAIL 14 log time:12.12	FAIL 14 log time:22.06	FAIL 14 log time:6.80	FAIL 14 log time:5.10	FAIL 14 log time:7.22	FAIL 14 log time:2.31	FAIL 14 log time:1.94
randa6997e.cudf	[-3,-576] score:1 log result time:204.22	NOTSOL score:28 log result time:61.38	[-8,-607] score:5 log result time:20.28	[-3,-577] score:3 log result time:274.74	[-3,-579] score:4 log result time:8.46	[-3,-576] score:1 log result time:7.56	[-13,-577] score:6 log result time:3.41
randa491d5.cudf	FAIL 14 log time:12.14	FAIL 14 log time:22.12	FAIL 14 log time:6.55	FAIL 14 log time:5.98	FAIL 14 log time:6.80	FAIL 14 log time:2.65	FAIL 14 log time:3.16
randa09fe9.cudf	[-6,-521] score:4 log result time:225.07	NOTSOL score:28 log result time:40.21	[-14,-548] score:5 log result time:26.04	[-5,-524] score:1 log result time:22.40	[-5,-531] score:3 log result time:10.96	[-5,-524] score:1 log result time:6.16	[-32,-528] score:6 log result time:3.67
rand902db1.cudf	[0,0] score:1 log result time:60.59	NOTSOL score:28 log result time:22.93	[0,0] score:1 log result time:7.47	[0,0] score:1 log result time:8.04	[0,0] score:1 log result time:5.99	[0,0] score:1 log result time:4.40	[0,0] score:1 log result time:2.59
rand8177e7.cudf	[-3,-491] score:1 log result time:205.68	FAIL 14 log time:Command	[-12,-538] score:5 log result time:23.82	[-3,-501] score:3 log result time:274.99	[-3,-528] score:4 log result time:8.62	[-3,-491] score:1 log result time:5.94	[-13,-490] score:6 log result time:3.92
rand6d579e.cudf	[-7,-638] score:4 log result time:319.51	NOTSOL score:28 log result time:53.19	[-18,-691] score:5 log result time:25.88	[-4,-649] score:2 log result time:270.45	[-6,-764] score:3 log result time:9.50	[-4,-635] score:1 log result time:6.78	[-46,-637] score:6 log result time:3.46
rand65d021.cudf	FAIL 14 log time:12.02	FAIL 14 log time:22.31	FAIL 14 log time:6.03	FAIL 14 log time:5.64	FAIL 14 log time:6.28	FAIL 14 log time:2.84	FAIL 14 log time:3.33
rand659e05.cudf	FAIL 14 log time:11.99	FAIL 14 log time:22.06	FAIL 14 log time:7.24	FAIL 14 log time:6.35	FAIL 14 log time:5.67	FAIL 14 log time:1.90	FAIL 14 log time:2.10
rand5c0b12.cudf	FAIL 14 log time:12.35	FAIL 14 log time:21.97	FAIL 14 log time:6.32	FAIL 14 log time:5.43	FAIL 14 log time:6.46	FAIL 14 log time:2.13	FAIL 14 log time:1.86
rand4bf850.cudf	[-7,-490] score:4 log result time:197.31	NOTSOL score:28 log result time:38.05	[-19,-527] score:5 log result time:18.86	[-6,-491] score:1 log result time:267.40	[-6,-506] score:3 log result time:9.15	[-6,-491] score:1 log result time:5.37	[-43,-495] score:6 log result time:3.13
rand43bd88.cudf	NOTSOL score:28 log result time:242.85	FAIL 14 log time:Command	[-32,-746] score:4 log result time:26.62	[-8,-725] score:2 log result time:273.95	[-19,-791] score:3 log result time:10.03	[-8,-712] score:1 log result time:6.56	[-50,-704] score:5 log result time:3.96
rand35d0c8.cudf	[-3,-391] score:1 log result time:173.42	NOTSOL score:28 log result time:38.09	[-7,-416] score:5 log result time:21.86	[-3,-397] score:3 log result time:275.13	[-3,-435] score:4 log result time:9.58	[-3,-391] score:1 log result time:6.98	[-17,-399] score:6 log result time:3.58
rand2d8467.cudf	[-11,-445] score:4 log result time:190.63	NOTSOL score:28 log result time:39.33	[-22,-480] score:5 log result time:22.85	[-7,-471] score:2 log result time:273.32	[-7,-481] score:3 log result time:9.71	[-7,-462] score:1 log result time:6.74	[-44,-450] score:6 log result time:3.60
rand2d77b5.cudf	FAIL 14 log time:12.10	FAIL 14 log time:21.97	FAIL 14 log time:7.00	FAIL 14 log time:6.33	FAIL 14 log time:6.85	FAIL 14 log time:2.23	FAIL 14 log time:2.17
rand199fd6.cudf	FAIL 14 log time:12.60	FAIL 14 log time:21.80	FAIL 14 log time:5.39	FAIL 14 log time:7.54	FAIL 14 log time:5.26	FAIL 14 log time:1.92	FAIL 14 log time:2.04
rand144372.cudf	FAIL 14 log time:12.22	FAIL 14 log time:22.12	FAIL 14 log time:5.60	FAIL 14 log time:6.96	FAIL 14 log time:7.14	FAIL 14 log time:1.97	FAIL 14 log time:1.85
rand13056c.cudf	[-6,-603] score:3 log result time:224.45	NOTSOL score:28 log result time:50.20	[-16,-636] score:5 log result time:21.82	[-5,-609] score:2 log result time:276.44	[-6,-620] score:4 log result time:9.44	[-5,-604] score:1 log result time:5.75	[-35,-611] score:6 log result time:3.22
rand0c02bc.cudf	[-6,-392] score:4 log result time:186.03	NOTSOL score:28 log result time:36.09	[-14,-409] score:5 log result time:19.92	[-5,-395] score:1 log result time:96.05	[-5,-409] score:3 log result time:9.00	[-5,-395] score:1 log result time:5.40	[-38,-397] score:6 log result time:3.19

Category: rand.newlist

Problem	apt-pbo-paranoid	inesc-udl-paranoid	p2cudf-p2	p2cudf-paranoid	p2cudf-paranoid2	solver-unsa-lexparanoid	solver-unsa-paranoid
randfd04d4.cudf	[-2,-249] score:4 log result time:162.88	NOTSOL score:28 log result time:30.09	[-5,-259] score:5 log result time:11.00	[-2,-243] score:1 log result time:11.13	[-2,-243] score:1 log result time:8.74	[-2,-243] score:1 log result time:7.01	[-10,-246] score:6 log result time:3.31
randf794d2.cudf	[-6,-284] score:4 log result time:167.35	NOTSOL score:28 log result time:32.02	[-12,-294] score:5 log result time:14.34	[-5,-283] score:1 log result time:23.91	[-5,-289] score:3 log result time:9.83	[-5,-283] score:1 log result time:5.58	[-32,-290] score:6 log result time:3.13
randf66c83.cudf	[-3,-207] score:1 log result time:144.57	NOTSOL score:28 log result time:28.63	[-6,-216] score:5 log result time:22.30	[-3,-207] score:1 log result time:9.64	[-3,-207] score:1 log result time:8.07	[-3,-207] score:1 log result time:6.87	[-11,-210] score:6 log result time:3.30
randec6fe1.cudf	[-9,-328] score:4 log result time:182.78	NOTSOL score:28 log result time:34.69	[-19,-349] score:5 log result time:20.74	[-6,-334] score:1 log result time:14.57	[-6,-339] score:3 log result time:8.77	[-6,-334] score:1 log result time:5.53	[-66,-344] score:6 log result time:3.78
randd92c9f.cudf	[-5,-214] score:4 log result time:150.84	NOTSOL score:28 log result time:30.28	[-8,-229] score:5 log result time:23.70	[-4,-219] score:1 log result time:8.57	[-4,-219] score:1 log result time:9.92	[-4,-219] score:1 log result time:7.12	[-24,-220] score:6 log result time:3.78
randd7b2b4.cudf	[-5,-195] score:4 log result time:151.86	NOTSOL score:28 log result time:30.88	[-9,-222] score:5 log result time:20.10	[-3,-199] score:1 log result time:8.60	[-3,-202] score:3 log result time:8.66	[-3,-199] score:1 log result time:7.20	[-39,-207] score:6 log result time:3.28
randcebca4.cudf	[-7,-318] score:4 log result time:179.52	FAIL 14 log time:Command	[-16,-340] score:5 log result time:26.99	[-4,-324] score:1 log result time:9.96	[-4,-324] score:1 log result time:9.34	[-4,-324] score:1 log result time:5.42	[-44,-325] score:6 log result time:3.20
randc7f8e5.cudf	NOTSOL score:28 log result time:218.53	NOTSOL score:28 log result time:34.02	[-19,-289] score:4 log result time:21.33	[-6,-267] score:1 log result time:11.64	[-7,-298] score:3 log result time:10.39	[-6,-267] score:1 log result time:5.70	[-36,-269] score:5 log result time:3.22
randc5fe62.cudf	[-1,-294] score:1 log result time:164.46	NOTSOL score:28 log result time:57.98	[-5,-303] score:5 log result time:11.13	[-1,-294] score:1 log result time:34.02	[-1,-301] score:4 log result time:8.46	[-1,-294] score:1 log result time:5.77	[-10,-297] score:6 log result time:3.29
randc5b1f2.cudf	FAIL 14 log time:12.02	FAIL 14 log time:21.98	FAIL 14 log time:5.64	FAIL 14 log time:8.78	FAIL 14 log time:5.28	FAIL 14 log time:1.88	FAIL 14 log time:2.20
randc18b26.cudf	[-8,-425] score:4 log result time:204.28	NOTSOL score:28 log result time:36.00	[-17,-459] score:5 log result time:22.15	[-6,-395] score:1 log result time:41.07	[-6,-428] score:3 log result time:10.39	[-6,-395] score:1 log result time:6.46	[-33,-393] score:6 log result time:3.34
randb54299.cudf	NOTSOL score:28 log result time:242.51	NOTSOL score:28 log result time:36.48	[-26,-411] score:4 log result time:17.34	[-7,-397] score:1 log result time:11.34	[-7,-397] score:1 log result time:7.58	[-7,-398] score:3 log result time:5.67	[-46,-390] score:5 log result time:3.18
randa2004a.cudf	[-1,-237] score:1 log result time:160.68	NOTSOL score:28 log result time:30.66	[-3,-255] score:5 log result time:17.64	[-1,-237] score:1 log result time:8.38	[-1,-237] score:1 log result time:11.19	[-1,-237] score:1 log result time:5.43	[-4,-238] score:6 log result time:3.27
rand9ffe99.cudf	[-3,-336] score:1 log result time:172.04	NOTSOL score:28 log result time:36.52	[-7,-346] score:5 log result time:8.02	[-3,-336] score:1 log result time:12.96	[-3,-337] score:4 log result time:8.14	[-3,-336] score:1 log result time:6.70	[-13,-339] score:6 log result time:3.77
rand767898.cudf	[-3,-261] score:1 log result time:159.30	FAIL 14 log time:Command	[-6,-267] score:5 log result time:19.14	[-3,-261] score:1 log result time:9.68	[-3,-265] score:4 log result time:8.62	[-3,-261] score:1 log result time:5.60	[-17,-270] score:6 log result time:4.02
rand71b131.cudf	[-4,-404] score:4 log result time:189.26	NOTSOL score:28 log result time:38.54	[-14,-444] score:5 log result time:8.72	[-3,-398] score:1 log result time:50.81	[-3,-407] score:3 log result time:8.45	[-3,-398] score:1 log result time:5.80	[-23,-402] score:6 log result time:3.93
rand5d20db.cudf	[-4,-316] score:4 log result time:185.64	NOTSOL score:28 log result time:34.90	[-11,-340] score:5 log result time:21.68	[-3,-315] score:1 log result time:13.11	[-3,-325] score:3 log result time:9.58	[-3,-315] score:1 log result time:5.86	[-37,-329] score:6 log result time:3.73
rand4b919e.cudf	[-4,-211] score:4 log result time:159.68	NOTSOL score:28 log result time:30.66	[-8,-227] score:5 log result time:24.72	[-3,-214] score:1 log result time:19.01	[-3,-230] score:3 log result time:11.96	[-3,-214] score:1 log result time:6.22	[-25,-213] score:6 log result time:3.83
rand4a23d9.cudf	[-4,-138] score:1 log result time:113.45	NOTSOL score:28 log result time:26.52	[-15,-139] score:5 log result time:11.50	[-4,-138] score:1 log result time:8.00	[-4,-138] score:1 log result time:11.64	[-4,-138] score:1 log result time:7.92	[-15,-139] score:5 log result time:4.05
rand3c03fd.cudf	[-5,-239] score:4 log result time:153.37	NOTSOL score:28 log result time:30.92	[-8,-262] score:5 log result time:20.96	[-3,-241] score:1 log result time:12.23	[-4,-255] score:3 log result time:8.52	[-3,-241] score:1 log result time:5.77	[-23,-245] score:6 log result time:3.65
rand362510.cudf	[-1,-257] score:1 log result time:160.16	NOTSOL score:28 log result time:31.51	[-4,-279] score:5 log result time:23.49	[-1,-257] score:1 log result time:28.98	[-1,-265] score:4 log result time:7.94	[-1,-257] score:1 log result time:5.50	[-17,-264] score:6 log result time:3.86
rand27da90.cudf	[-10,-320] score:4 log result time:169.27	FAIL 14 log time:Command	[-17,-348] score:5 log result time:29.16	[-7,-318] score:1 log result time:11.07	[-7,-318] score:1 log result time:10.62	[-7,-318] score:1 log result time:7.34	[-39,-322] score:6 log result time:3.34
rand271a0d.cudf	FAIL 14 log time:11.81	FAIL 14 log time:22.09	FAIL 14 log time:5.87	FAIL 14 log time:6.66	FAIL 14 log time:5.38	FAIL 14 log time:1.89	FAIL 14 log time:2.09
rand18b530.cudf	[-8,-247] score:4 log result time:163.08	NOTSOL score:28 log result time:31.16	[-20,-261] score:5 log result time:28.44	[-4,-243] score:1 log result time:9.47	[-4,-243] score:1 log result time:8.23	[-4,-243] score:1 log result time:6.61	[-47,-242] score:6 log result time:3.21
rand112989.cudf	NOTSOL score:28 log result time:202.84	FAIL 14 log time:Command	[-28,-332] score:4 log result time:17.73	[-7,-326] score:2 log result time:287.36	[-7,-326] score:2 log result time:12.20	[-7,-325] score:1 log result time:6.81	[-45,-319] score:5 log result time:3.41
rand0a62b6.cudf	[-7,-286] score:4 log result time:167.20	NOTSOL score:28 log result time:36.73	[-17,-292] score:5 log result time:27.03	[-4,-283] score:1 log result time:8.28	[-4,-283] score:1 log result time:8.11	[-4,-283] score:1 log result time:6.54	[-44,-283] score:6 log result time:3.23
rand085d8a.cudf	[-8,-280] score:4 log result time:237.33	NOTSOL score:28 log result time:35.73	[-24,-316] score:5 log result time:15.91	[-7,-283] score:1 log result time:10.48	[-7,-285] score:3 log result time:9.68	[-7,-283] score:1 log result time:6.11	[-69,-289] score:6 log result time:3.27
rand00ebc7.cudf	FAIL 14 log time:11.82	FAIL 14 log time:21.84	FAIL 14 log time:5.24	FAIL 14 log time:5.32	FAIL 14 log time:7.69	FAIL 14 log time:1.89	FAIL 14 log time:2.02

Category: rand.smallist

Problem	apt-pbo-paranoid	inesc-udl-paranoid	p2cudf-p2	p2cudf-paranoid	p2cudf-paranoid2	solver-unsa-lexparanoid	solver-unsa-paranoid
randea4da3.cudf	FAIL 14 log time:6.66	FAIL 14 log time:13.34	FAIL 14 log time:5.52	FAIL 14 log time:4.52	FAIL 14 log time:4.07	FAIL 14 log time:1.13	FAIL 14 log time:0.99
rande89f80.cudf	[0,-320] score:1 log result time:20.42	NOTSOL score:28 log result time:16.69	[0,-326] score:6 log result time:8.70	[0,-320] score:1 log result time:6.34	[0,-320] score:1 log result time:6.30	[0,-320] score:1 log result time:1.86	[0,-320] score:1 log result time:1.40
rande22180.cudf	FAIL 14 log time:6.64	FAIL 14 log time:13.38	FAIL 14 log time:5.94	FAIL 14 log time:3.97	FAIL 14 log time:4.25	FAIL 14 log time:0.99	FAIL 14 log time:0.98
rande2165e.cudf	[-2,-531] score:1 log result time:38.50	NOTSOL score:28 log result time:20.32	[-2,-545] score:6 log result time:12.71	[-2,-531] score:1 log result time:276.01	[-2,-532] score:5 log result time:9.29	[-2,-531] score:1 log result time:1.88	[-2,-531] score:1 log result time:1.24
randdd5509.cudf	FAIL 14 log time:6.76	FAIL 14 log time:13.48	FAIL 14 log time:4.92	FAIL 14 log time:6.77	FAIL 14 log time:4.34	FAIL 14 log time:1.18	FAIL 14 log time:0.98
randdc506f.cudf	FAIL 14 log time:6.60	FAIL 14 log time:13.40	FAIL 14 log time:7.80	FAIL 14 log time:4.23	FAIL 14 log time:4.32	FAIL 14 log time:1.13	FAIL 14 log time:1.01
randd6bc17.cudf	[0,0] score:1 log result time:13.91	NOTSOL score:28 log result time:13.66	[0,0] score:1 log result time:4.96	[0,0] score:1 log result time:7.24	[0,0] score:1 log result time:4.86	[0,0] score:1 log result time:1.78	[0,0] score:1 log result time:1.22
randcef367.cudf	FAIL 14 log time:6.70	FAIL 14 log time:13.32	FAIL 14 log time:4.07	FAIL 14 log time:4.41	FAIL 14 log time:4.48	FAIL 14 log time:0.96	FAIL 14 log time:0.97
randcbf550.cudf	FAIL 14 log time:6.66	FAIL 14 log time:13.33	FAIL 14 log time:7.49	FAIL 14 log time:4.39	FAIL 14 log time:4.70	FAIL 14 log time:1.09	FAIL 14 log time:1.08
randbbb4ba.cudf	[-1,-464] score:1 log result time:34.68	NOTSOL score:28 log result time:19.77	[-1,-467] score:6 log result time:8.52	[-1,-464] score:1 log result time:9.48	[-1,-465] score:5 log result time:7.81	[-1,-464] score:1 log result time:2.26	[-1,-464] score:1 log result time:1.29
randab5933.cudf	FAIL 14 log time:6.58	FAIL 14 log time:13.34	FAIL 14 log time:4.25	FAIL 14 log time:5.74	FAIL 14 log time:5.67	FAIL 14 log time:1.01	FAIL 14 log time:0.98
randa65f48.cudf	[-4,-289] score:1 log result time:25.57	NOTSOL score:28 log result time:16.60	[-4,-291] score:6 log result time:8.99	[-4,-289] score:1 log result time:8.47	[-4,-289] score:1 log result time:6.28	[-4,-289] score:1 log result time:1.96	[-4,-289] score:1 log result time:1.24
randa65dfb.cudf	[-1,-397] score:1 log result time:31.73	NOTSOL score:28 log result time:17.41	[-1,-400] score:5 log result time:8.10	[-1,-397] score:1 log result time:36.95	[-1,-400] score:5 log result time:6.60	[-1,-397] score:1 log result time:1.94	[-1,-397] score:1 log result time:1.26
randa13f2d.cudf	[-1,-422] score:1 log result time:33.81	NOTSOL score:28 log result time:19.43	[-1,-434] score:6 log result time:8.04	[-1,-422] score:1 log result time:15.53	[-1,-425] score:5 log result time:8.08	[-1,-422] score:1 log result time:2.22	[-1,-422] score:1 log result time:1.42
rand9e35f0.cudf	[-1,-361] score:1 log result time:21.86	NOTSOL score:28 log result time:17.72	[-1,-367] score:6 log result time:9.22	[-1,-361] score:1 log result time:12.19	[-1,-366] score:5 log result time:5.84	[-1,-361] score:1 log result time:2.24	[-1,-361] score:1 log result time:1.25
rand936b0d.cudf	FAIL 14 log time:6.56	FAIL 14 log time:13.33	FAIL 14 log time:3.98	FAIL 14 log time:4.62	FAIL 14 log time:3.90	FAIL 14 log time:1.10	FAIL 14 log time:1.14
rand88811a.cudf	[-1,-355] score:1 log result time:29.04	NOTSOL score:28 log result time:18.15	[-1,-359] score:6 log result time:8.63	[-1,-355] score:1 log result time:6.94	[-1,-355] score:1 log result time:7.05	[-1,-355] score:1 log result time:1.99	[-1,-355] score:1 log result time:1.22
rand7e9372.cudf	[0,-496] score:1 log result time:37.92	NOTSOL score:28 log result time:19.64	[0,-503] score:6 log result time:9.11	[0,-496] score:1 log result time:266.27	[0,-498] score:5 log result time:6.93	[0,-496] score:1 log result time:2.17	[0,-496] score:1 log result time:1.24
rand6f4585.cudf	[-1,-405] score:1 log result time:32.94	NOTSOL score:28 log result time:18.43	[-1,-406] score:6 log result time:8.32	[-1,-405] score:1 log result time:5.88	[-1,-405] score:1 log result time:8.02	[-1,-405] score:1 log result time:1.91	[-1,-405] score:1 log result time:1.27
rand6c4744.cudf	FAIL 14 log time:6.60	FAIL 14 log time:13.46	FAIL 14 log time:4.06	FAIL 14 log time:4.22	FAIL 14 log time:4.92	FAIL 14 log time:1.00	FAIL 14 log time:1.10
rand682c92.cudf	FAIL 14 log time:6.58	FAIL 14 log time:13.42	FAIL 14 log time:6.32	FAIL 14 log time:5.33	FAIL 14 log time:3.88	FAIL 14 log time:1.15	FAIL 14 log time:0.98
rand601ba8.cudf	[-10,-575] score:1 log result time:41.90	NOTSOL score:28 log result time:21.68	[-10,-583] score:6 log result time:8.67	[-10,-578] score:4 log result time:274.74	[-10,-580] score:5 log result time:6.28	[-10,-575] score:1 log result time:1.94	[-10,-575] score:1 log result time:1.28
rand59f7dd.cudf	[0,-344] score:1 log result time:20.98	NOTSOL score:28 log result time:17.12	[0,-348] score:6 log result time:8.82	[0,-344] score:1 log result time:10.12	[0,-346] score:5 log result time:8.69	[0,-344] score:1 log result time:1.94	[0,-344] score:1 log result time:1.32
rand56b853.cudf	[0,-337] score:1 log result time:30.62	NOTSOL score:28 log result time:16.25	[0,-339] score:6 log result time:8.18	[0,-337] score:1 log result time:7.39	[0,-337] score:1 log result time:6.74	[0,-337] score:1 log result time:1.88	[0,-337] score:1 log result time:1.24
rand49e642.cudf	[0,-408] score:1 log result time:22.88	NOTSOL score:28 log result time:18.05	[0,-420] score:6 log result time:11.31	[0,-408] score:1 log result time:13.14	[0,-408] score:1 log result time:9.00	[0,-408] score:1 log result time:1.85	[0,-408] score:1 log result time:1.42
rand396cf8.cudf	[-1,-476] score:1 log result time:24.21	NOTSOL score:28 log result time:18.83	[-1,-478] score:5 log result time:9.39	[-1,-476] score:1 log result time:50.98	[-1,-480] score:6 log result time:8.38	[-1,-476] score:1 log result time:2.12	[-1,-476] score:1 log result time:1.47
rand35afbf.cudf	[0,-502] score:1 log result time:36.59	NOTSOL score:28 log result time:21.87	[0,-505] score:6 log result time:8.54	[0,-502] score:1 log result time:6.84	[0,-502] score:1 log result time:8.63	[0,-502] score:1 log result time:1.95	[0,-502] score:1 log result time:1.30
rand2fa1f8.cudf	FAIL 14 log time:6.59	FAIL 14 log time:13.44	FAIL 14 log time:4.71	FAIL 14 log time:5.27	FAIL 14 log time:4.64	FAIL 14 log time:1.12	FAIL 14 log time:1.14
rand1958fb.cudf	[-2,-563] score:1 log result time:40.75	NOTSOL score:28 log result time:19.96	[-2,-563] score:1 log result time:6.92	[-2,-563] score:1 log result time:9.05	[-2,-563] score:1 log result time:6.70	[-2,-563] score:1 log result time:1.90	[-2,-563] score:1 log result time:1.30
rand03b0b5.cudf	FAIL 14 log time:6.54	FAIL 14 log time:13.33	FAIL 14 log time:3.99	FAIL 14 log time:4.61	FAIL 14 log time:4.04	FAIL 14 log time:0.97	FAIL 14 log time:1.17