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:6.64	[-33,-44] score:1 log result time:13.15	[-52,-56] score:6 log result time:33.27	[-36,-129] score:4 log result time:275.31	[-37,-58] score:5 log result time:8.45	[-33,-44] score:1 log result time:17.38	[-33,-44] score:1 log result time:7.03
unattended-upgrades.cudf	NOTSOL score:28 log result time:6.63	[-37,-56] score:1 log result time:13.84	[-56,-69] score:6 log result time:40.27	[-44,-193] score:5 log result time:276.12	[-44,-102] score:4 log result time:7.08	[-37,-56] score:1 log result time:17.25	[-37,-56] score:1 log result time:7.58
txt2html.cudf	NOTSOL score:28 log result time:6.62	[-41,-112] score:1 log result time:17.33	[-69,-120] score:6 log result time:70.46	[-45,-146] score:5 log result time:274.40	[-45,-126] score:4 log result time:9.54	[-41,-112] score:1 log result time:17.19	[-41,-112] score:1 log result time:7.52
texlive-generic-recommended.cudf	NOTSOL score:28 log result time:6.51	[-33,-43] score:1 log result time:12.33	[-51,-55] score:6 log result time:41.11	[-36,-859] score:4 log result time:274.79	[-37,-57] score:5 log result time:7.23	[-33,-43] score:1 log result time:17.18	[-33,-43] score:1 log result time:7.11
system-config-printer.cudf	NOTSOL score:28 log result time:6.76	[-33,-46] score:1 log result time:12.81	[-51,-59] score:6 log result time:42.57	[-36,-143] score:4 log result time:274.82	[-37,-60] score:5 log result time:8.16	[-33,-46] score:1 log result time:17.28	[-33,-46] score:1 log result time:7.08
synaptic.cudf	NOTSOL score:28 log result time:6.57	[-33,-43] score:1 log result time:12.58	[-51,-55] score:6 log result time:41.04	[-36,-124] score:4 log result time:275.82	[-37,-57] score:5 log result time:8.84	[-33,-43] score:1 log result time:17.18	[-33,-43] score:1 log result time:7.09
sonata.cudf	NOTSOL score:28 log result time:6.58	[-33,-45] score:1 log result time:12.86	[-51,-57] score:6 log result time:69.36	[-36,-224] score:4 log result time:275.61	[-37,-59] score:5 log result time:8.17	[-33,-45] score:1 log result time:17.50	[-33,-45] score:1 log result time:7.11
python-hippocanvas.cudf	NOTSOL score:28 log result time:6.58	[-39,-101] score:1 log result time:16.51	[-66,-90] score:6 log result time:43.07	[-42,-782] score:4 log result time:274.91	[-43,-115] score:5 log result time:8.02	[-39,-101] score:1 log result time:17.59	[-39,-101] score:1 log result time:7.56
python-cairo.cudf	NOTSOL score:28 log result time:6.68	[-33,-43] score:1 log result time:12.50	[-51,-55] score:6 log result time:40.89	[-37,-56] score:4 log result time:274.46	[-37,-57] score:5 log result time:9.27	[-33,-43] score:1 log result time:17.22	[-33,-43] score:1 log result time:7.07
pybackpack.cudf	NOTSOL score:28 log result time:6.47	[-39,-102] score:1 log result time:17.47	[-66,-91] score:5 log result time:54.45	[-43,-115] score:4 log result time:275.15	[-66,-134] score:6 log result time:8.37	[-39,-102] score:1 log result time:18.08	[-39,-102] score:1 log result time:7.60
pidgin-plugin-pack.cudf	NOTSOL score:28 log result time:6.60	[-41,-110] score:1 log result time:16.90	[-65,-123] score:6 log result time:78.05	[-45,-124] score:4 log result time:275.17	[-45,-124] score:4 log result time:8.05	[-41,-110] score:1 log result time:17.74	[-41,-110] score:1 log result time:7.31
openoffice.org-l10n-nl.cudf	NOTSOL score:28 log result time:6.56	[-34,-88] score:1 log result time:16.39	[-64,-69] score:6 log result time:50.65	[-38,-101] score:4 log result time:274.90	[-38,-102] score:5 log result time:7.76	[-34,-88] score:1 log result time:17.87	[-34,-88] score:1 log result time:7.29
openoffice.org-l10n-da.cudf	NOTSOL score:28 log result time:6.55	[-34,-88] score:1 log result time:15.11	[-63,-67] score:6 log result time:66.84	[-38,-102] score:4 log result time:275.42	[-38,-102] score:4 log result time:9.29	[-34,-88] score:1 log result time:18.21	[-34,-88] score:1 log result time:7.25
monodevelop-nunit.cudf	NOTSOL score:28 log result time:6.48	[-33,-134] score:1 log result time:19.12	[-58,-102] score:6 log result time:53.99	[-37,-135] score:4 log result time:276.29	[-37,-139] score:5 log result time:7.89	[-33,-134] score:1 log result time:17.58	[-33,-134] score:1 log result time:7.21
mercurial-common.cudf	NOTSOL score:28 log result time:6.53	[-33,-44] score:1 log result time:12.23	[-51,-56] score:6 log result time:41.32	[-36,-125] score:4 log result time:276.22	[-37,-58] score:5 log result time:8.49	[-33,-44] score:1 log result time:17.37	[-33,-44] score:1 log result time:7.02
lirc.cudf	NOTSOL score:28 log result time:6.58	[-33,-45] score:1 log result time:12.51	[-51,-57] score:6 log result time:60.82	[-36,-139] score:4 log result time:275.99	[-37,-59] score:5 log result time:8.96	[-33,-45] score:1 log result time:17.11	[-33,-45] score:1 log result time:7.05
libtemplate-provider-encoding-perl.cudf	NOTSOL score:28 log result time:6.50	[-41,-112] score:1 log result time:17.09	[-69,-122] score:5 log result time:76.27	[-44,-321] score:4 log result time:275.21	[-76,-186] score:6 log result time:8.44	[-41,-112] score:1 log result time:17.50	[-41,-112] score:1 log result time:7.41
libpoe-perl.cudf	NOTSOL score:28 log result time:6.64	[-41,-111] score:1 log result time:17.59	[-69,-121] score:6 log result time:58.17	[-44,-234] score:4 log result time:275.39	[-45,-125] score:5 log result time:9.06	[-41,-111] score:1 log result time:17.78	[-41,-111] score:1 log result time:7.37
libpango-perl.cudf	NOTSOL score:28 log result time:6.48	[-41,-110] score:1 log result time:17.09	[-69,-119] score:6 log result time:49.49	[-44,-788] score:4 log result time:274.78	[-45,-124] score:5 log result time:10.02	[-41,-110] score:1 log result time:17.19	[-41,-110] score:1 log result time:7.29
libnss3-1d.cudf	NOTSOL score:28 log result time:6.59	[-33,-43] score:1 log result time:12.10	[-51,-55] score:6 log result time:41.85	[-36,-176] score:4 log result time:275.65	[-37,-57] score:5 log result time:7.64	[-33,-43] score:1 log result time:17.15	[-33,-43] score:1 log result time:7.06
libnspr4-dev.cudf	NOTSOL score:28 log result time:6.58	[-46,-87] score:1 log result time:16.25	[-69,-76] score:6 log result time:52.87	[-50,-101] score:4 log result time:275.89	[-50,-101] score:4 log result time:9.91	[-46,-87] score:1 log result time:18.08	[-46,-87] score:1 log result time:7.46
libnkf-perl.cudf	NOTSOL score:28 log result time:6.61	[-41,-110] score:1 log result time:17.04	[-69,-120] score:5 log result time:86.48	[-45,-124] score:4 log result time:276.46	[-70,-168] score:6 log result time:9.30	[-41,-110] score:1 log result time:17.49	[-41,-110] score:1 log result time:7.26
libmail-spf-perl.cudf	NOTSOL score:28 log result time:6.78	[-41,-114] score:1 log result time:17.46	[-69,-124] score:6 log result time:70.90	[-45,-128] score:4 log result time:275.71	[-45,-128] score:4 log result time:9.45	[-41,-114] score:1 log result time:17.41	[-41,-114] score:1 log result time:7.20
libhtml-parser-perl.cudf	NOTSOL score:28 log result time:6.63	[-33,-43] score:1 log result time:12.52	[-51,-55] score:5 log result time:41.35	[-36,-100] score:4 log result time:275.61	[-52,-179] score:6 log result time:6.79	[-33,-43] score:1 log result time:17.22	[-33,-43] score:1 log result time:7.02
libdbd-pg-perl.cudf	NOTSOL score:28 log result time:6.50	[-41,-110] score:1 log result time:18.29	[-69,-120] score:6 log result time:54.82	[-44,-975] score:4 log result time:275.44	[-45,-124] score:5 log result time:8.94	[-41,-110] score:1 log result time:17.86	[-41,-110] score:1 log result time:7.35
libcyrus-imap-perl22.cudf	NOTSOL score:28 log result time:6.71	[-41,-110] score:1 log result time:17.13	[-69,-120] score:6 log result time:45.21	[-45,-124] score:4 log result time:276.00	[-45,-124] score:4 log result time:8.72	[-41,-110] score:1 log result time:17.76	[-41,-110] score:1 log result time:7.23
libcurses-perl.cudf	NOTSOL score:28 log result time:6.54	[-41,-110] score:1 log result time:17.38	[-69,-120] score:6 log result time:67.15	[-45,-124] score:4 log result time:275.82	[-45,-124] score:4 log result time:8.33	[-41,-110] score:1 log result time:18.06	[-41,-110] score:1 log result time:7.42
libcatalyst-perl.cudf	NOTSOL score:28 log result time:6.65	[-41,-138] score:1 log result time:18.83	[-70,-148] score:6 log result time:52.33	[-45,-152] score:4 log result time:275.18	[-45,-152] score:4 log result time:9.70	[-41,-138] score:1 log result time:17.33	[-41,-138] score:1 log result time:7.50
libbsd-resource-perl.cudf	NOTSOL score:28 log result time:6.52	[-33,-43] score:1 log result time:13.59	[-51,-55] score:6 log result time:40.33	[-36,-105] score:4 log result time:276.14	[-37,-57] score:5 log result time:7.91	[-33,-43] score:1 log result time:17.31	[-33,-43] score:1 log result time:7.03
konq-plugins.cudf	NOTSOL score:28 log result time:6.60	[-33,-43] score:1 log result time:13.13	[-51,-55] score:6 log result time:42.17	[-36,-151] score:4 log result time:274.68	[-37,-57] score:5 log result time:7.87	[-33,-43] score:1 log result time:16.84	[-33,-43] score:1 log result time:7.09
kdebase-bin.cudf	NOTSOL score:28 log result time:6.52	[-33,-43] score:1 log result time:12.88	[-51,-55] score:6 log result time:41.72	[-37,-57] score:4 log result time:275.16	[-37,-57] score:4 log result time:7.22	[-33,-43] score:1 log result time:17.21	[-33,-43] score:1 log result time:7.00
idle.cudf	NOTSOL score:28 log result time:6.64	[-39,-100] score:1 log result time:18.15	[-66,-89] score:6 log result time:40.80	[-43,-114] score:4 log result time:273.59	[-43,-114] score:4 log result time:8.53	[-39,-100] score:1 log result time:17.80	[-39,-100] score:1 log result time:8.19
hal-cups-utils.cudf	NOTSOL score:28 log result time:6.66	[-33,-46] score:1 log result time:12.25	[-51,-58] score:6 log result time:41.17	[-36,-114] score:4 log result time:275.53	[-37,-60] score:5 log result time:8.45	[-33,-46] score:1 log result time:17.08	[-33,-46] score:1 log result time:6.97
guake.cudf	NOTSOL score:28 log result time:6.62	[-39,-113] score:1 log result time:17.92	[-66,-104] score:6 log result time:51.71	[-47,-180] score:4 log result time:275.05	[-56,-128] score:5 log result time:8.57	[-39,-113] score:1 log result time:17.11	[-39,-113] score:1 log result time:7.18
gnome-panel-data.cudf	NOTSOL score:28 log result time:6.61	[-33,-43] score:1 log result time:13.11	[-51,-55] score:6 log result time:42.67	[-36,-176] score:4 log result time:276.37	[-37,-57] score:5 log result time:7.83	[-33,-43] score:1 log result time:17.09	[-33,-43] score:1 log result time:7.04
gnochm.cudf	NOTSOL score:28 log result time:6.45	[-35,-49] score:1 log result time:13.85	[-53,-61] score:6 log result time:40.16	[-42,-141] score:4 log result time:274.91	[-43,-117] score:5 log result time:9.14	[-35,-49] score:1 log result time:18.34	[-35,-49] score:1 log result time:7.01
evolution-dev.cudf	NOTSOL score:28 log result time:6.63	[-46,-100] score:1 log result time:16.73	[-74,-95] score:6 log result time:73.87	[-50,-113] score:4 log result time:274.95	[-50,-114] score:5 log result time:7.90	[-46,-100] score:1 log result time:15.54	[-46,-100] score:1 log result time:7.74
epiphany-browser.cudf	NOTSOL score:28 log result time:6.60	[-57,-162] score:1 log result time:20.92	[-92,-132] score:6 log result time:25.66	[-66,-374] score:4 log result time:275.86	[-78,-197] score:5 log result time:9.17	[-57,-162] score:1 log result time:16.68	[-57,-162] score:1 log result time:8.83
dwww.cudf	NOTSOL score:28 log result time:6.58	[-41,-116] score:1 log result time:17.39	[-61,-117] score:5 log result time:81.50	[-44,-861] score:4 log result time:275.02	[-74,-271] score:6 log result time:8.07	[-41,-116] score:1 log result time:18.06	[-41,-116] score:1 log result time:7.46
codebreaker.cudf	NOTSOL score:28 log result time:6.54	[-45,-75] score:1 log result time:15.71	[-78,-86] score:6 log result time:55.48	[-48,-151] score:4 log result time:275.31	[-49,-89] score:5 log result time:7.49	[-45,-75] score:1 log result time:16.64	[-45,-75] score:1 log result time:7.00

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:6.60	[-36,-51] score:1 log result time:12.95	[-54,-63] score:6 log result time:44.32	[-39,-150] score:4 log result time:274.70	[-40,-70] score:5 log result time:9.11	[-36,-51] score:1 log result time:17.00	[-36,-51] score:1 log result time:6.98
tasque.cudf	NOTSOL score:28 log result time:6.66	[-33,-123] score:1 log result time:18.64	[-58,-93] score:6 log result time:34.43	[-37,-125] score:4 log result time:274.05	[-38,-141] score:5 log result time:6.84	[-33,-123] score:1 log result time:17.66	[-33,-123] score:1 log result time:7.07
r-cran-rodbc.cudf	NOTSOL score:28 log result time:6.71	[-34,-46] score:1 log result time:13.32	[-52,-58] score:6 log result time:47.63	[-37,-162] score:4 log result time:274.15	[-38,-60] score:5 log result time:8.28	[-34,-46] score:1 log result time:17.88	[-34,-46] score:1 log result time:7.04
r-cran-lme4.cudf	NOTSOL score:28 log result time:6.58	[-34,-47] score:1 log result time:13.74	[-53,-59] score:6 log result time:42.54	[-37,-86] score:4 log result time:274.50	[-42,-118] score:5 log result time:8.77	[-34,-47] score:1 log result time:18.19	[-34,-47] score:1 log result time:6.94
r-cran-car.cudf	NOTSOL score:28 log result time:6.51	[-34,-46] score:1 log result time:13.84	[-52,-58] score:6 log result time:78.16	[-36,-72] score:4 log result time:274.30	[-38,-60] score:5 log result time:8.53	[-34,-46] score:1 log result time:17.56	[-34,-46] score:1 log result time:7.05
plasma-widgets-workspace.cudf	NOTSOL score:28 log result time:6.52	[-34,-103] score:1 log result time:16.76	[-57,-114] score:6 log result time:57.13	[-37,-210] score:4 log result time:276.51	[-43,-214] score:5 log result time:9.22	[-34,-103] score:1 log result time:17.30	[-34,-103] score:1 log result time:7.37
plasma-dataengines-workspace.cudf	NOTSOL score:28 log result time:6.77	[-34,-101] score:1 log result time:16.59	[-57,-112] score:6 log result time:51.24	[-36,-142] score:4 log result time:275.38	[-38,-114] score:5 log result time:9.63	[-34,-101] score:1 log result time:17.06	[-34,-101] score:1 log result time:7.28
openoffice.org-draw.cudf	NOTSOL score:28 log result time:6.46	[-33,-43] score:1 log result time:13.02	[-51,-55] score:6 log result time:41.27	[-36,-95] score:4 log result time:276.48	[-37,-76] score:5 log result time:8.44	[-33,-43] score:1 log result time:17.02	[-33,-43] score:1 log result time:6.98
mono-mcs.cudf	NOTSOL score:28 log result time:6.54	[-33,-43] score:1 log result time:12.37	[-51,-55] score:6 log result time:41.24	[-36,-100] score:4 log result time:275.86	[-37,-57] score:5 log result time:9.41	[-33,-43] score:1 log result time:17.07	[-33,-43] score:1 log result time:7.06
mono-gac.cudf	NOTSOL score:28 log result time:6.60	[-33,-43] score:1 log result time:12.41	[-51,-55] score:6 log result time:40.26	[-36,-369] score:4 log result time:276.06	[-37,-57] score:5 log result time:8.24	[-33,-43] score:1 log result time:17.17	[-33,-43] score:1 log result time:7.02
mono-debugger.cudf	NOTSOL score:28 log result time:6.61	[-33,-120] score:1 log result time:17.82	[-56,-72] score:6 log result time:49.22	[-37,-120] score:4 log result time:276.74	[-37,-125] score:5 log result time:8.31	[-33,-120] score:1 log result time:17.93	[-33,-120] score:1 log result time:7.11
libwnck2.20-cil.cudf	NOTSOL score:28 log result time:6.52	[-33,-120] score:1 log result time:19.99	[-53,-67] score:6 log result time:56.69	[-37,-118] score:4 log result time:274.79	[-37,-123] score:5 log result time:9.46	[-33,-120] score:1 log result time:17.61	[-33,-120] score:1 log result time:7.01
libmono-relaxng1.0-cil.cudf	NOTSOL score:28 log result time:6.57	[-33,-119] score:1 log result time:18.55	[-53,-64] score:6 log result time:57.14	[-37,-121] score:4 log result time:275.64	[-37,-124] score:5 log result time:7.64	[-33,-119] score:1 log result time:17.58	[-33,-119] score:1 log result time:6.92
libmono-addins-gui0.2-cil.cudf	NOTSOL score:28 log result time:6.72	[-33,-121] score:1 log result time:108.57	[-57,-78] score:6 log result time:47.06	[-37,-122] score:4 log result time:275.13	[-37,-126] score:5 log result time:8.22	[-33,-121] score:1 log result time:17.43	[-33,-121] score:1 log result time:6.99
libgnokii4.cudf	NOTSOL score:28 log result time:6.47	[-34,-51] score:1 log result time:13.67	[-55,-64] score:6 log result time:56.43	[-37,-243] score:4 log result time:275.01	[-38,-65] score:5 log result time:8.85	[-34,-51] score:1 log result time:16.72	[-34,-51] score:1 log result time:6.99
libevolution3.0-cil.cudf	NOTSOL score:28 log result time:6.60	[-33,-120] score:1 log result time:18.34	[-53,-66] score:6 log result time:65.98	[-37,-121] score:4 log result time:276.40	[-37,-125] score:5 log result time:7.88	[-33,-120] score:1 log result time:17.35	[-33,-120] score:1 log result time:6.96
kwin-style-crystal.cudf	NOTSOL score:28 log result time:6.70	[-33,-44] score:1 log result time:12.46	[-51,-56] score:6 log result time:47.59	[-36,-141] score:4 log result time:275.62	[-37,-58] score:5 log result time:7.66	[-33,-44] score:1 log result time:17.07	[-33,-44] score:1 log result time:7.04
ktouch.cudf	NOTSOL score:28 log result time:6.68	[-33,-43] score:1 log result time:13.05	[-51,-55] score:6 log result time:40.67	[-36,-134] score:4 log result time:274.32	[-37,-57] score:5 log result time:8.59	[-33,-43] score:1 log result time:16.77	[-33,-43] score:1 log result time:7.03
ksystemlog.cudf	NOTSOL score:28 log result time:6.75	[-33,-44] score:1 log result time:13.39	[-51,-56] score:6 log result time:42.50	[-36,-87] score:4 log result time:275.68	[-37,-58] score:5 log result time:8.43	[-33,-44] score:1 log result time:17.21	[-33,-44] score:1 log result time:7.12
kphotoalbum.cudf	NOTSOL score:28 log result time:6.50	[-33,-43] score:1 log result time:13.01	[-51,-55] score:6 log result time:42.25	[-36,-139] score:4 log result time:275.77	[-37,-57] score:5 log result time:7.90	[-33,-43] score:1 log result time:16.88	[-33,-43] score:1 log result time:7.07
kommander.cudf	NOTSOL score:28 log result time:6.61	[-33,-43] score:1 log result time:13.20	[-51,-55] score:6 log result time:42.33	[-36,-96] score:4 log result time:275.02	[-37,-57] score:5 log result time:8.50	[-33,-43] score:1 log result time:17.41	[-33,-43] score:1 log result time:7.03
knetwalk.cudf	NOTSOL score:28 log result time:6.72	[-33,-43] score:1 log result time:12.24	[-51,-55] score:6 log result time:41.01	[-36,-103] score:4 log result time:275.60	[-37,-57] score:5 log result time:8.56	[-33,-43] score:1 log result time:17.14	[-33,-43] score:1 log result time:7.08
kmines.cudf	NOTSOL score:28 log result time:6.56	[-33,-43] score:1 log result time:12.43	[-51,-55] score:6 log result time:42.29	[-36,-184] score:4 log result time:275.80	[-37,-57] score:5 log result time:8.62	[-33,-43] score:1 log result time:16.99	[-33,-43] score:1 log result time:7.05
kjumpingcube.cudf	NOTSOL score:28 log result time:6.55	[-33,-43] score:1 log result time:13.28	[-51,-55] score:6 log result time:41.17	[-36,-96] score:4 log result time:275.59	[-37,-57] score:5 log result time:8.30	[-33,-43] score:1 log result time:17.17	[-33,-43] score:1 log result time:7.12
kfilereplace.cudf	NOTSOL score:28 log result time:6.60	[-33,-43] score:1 log result time:13.50	[-51,-55] score:6 log result time:40.22	[-36,-282] score:4 log result time:276.74	[-37,-57] score:5 log result time:8.70	[-33,-43] score:1 log result time:17.09	[-33,-43] score:1 log result time:7.00
kdesudo.cudf	NOTSOL score:28 log result time:6.60	[-33,-44] score:1 log result time:13.43	[-51,-56] score:6 log result time:48.75	[-37,-58] score:5 log result time:276.56	[-36,-339] score:4 log result time:9.10	[-33,-44] score:1 log result time:17.70	[-33,-44] score:1 log result time:7.07
kdessh.cudf	NOTSOL score:28 log result time:6.55	[-33,-43] score:1 log result time:12.63	[-51,-55] score:6 log result time:41.69	[-36,-191] score:4 log result time:275.58	[-37,-57] score:5 log result time:8.44	[-33,-43] score:1 log result time:17.32	[-33,-43] score:1 log result time:6.97
kdemultimedia-kio-plugins.cudf	NOTSOL score:28 log result time:6.64	[-33,-43] score:1 log result time:12.68	[-51,-55] score:6 log result time:41.51	[-36,-112] score:4 log result time:275.39	[-37,-57] score:5 log result time:7.99	[-33,-43] score:1 log result time:17.20	[-33,-43] score:1 log result time:6.98
kblocks.cudf	NOTSOL score:28 log result time:6.57	[-34,-72] score:1 log result time:14.46	[-53,-85] score:6 log result time:33.24	[-37,-398] score:4 log result time:275.11	[-38,-85] score:5 log result time:10.44	[-34,-72] score:1 log result time:17.96	[-34,-72] score:1 log result time:7.37
kbd.cudf	NOTSOL score:28 log result time:6.72	[-34,-46] score:1 log result time:12.80	[-53,-58] score:6 log result time:56.89	[-38,-60] score:4 log result time:275.63	[-38,-60] score:4 log result time:8.83	[-34,-46] score:1 log result time:17.66	[-34,-46] score:1 log result time:7.05
inetutils-syslogd.cudf	NOTSOL score:28 log result time:6.49	[-35,-46] score:1 log result time:15.39	[-53,-58] score:6 log result time:66.77	[-38,-102] score:4 log result time:275.52	[-39,-60] score:5 log result time:7.77	[-35,-46] score:1 log result time:17.39	[-35,-46] score:1 log result time:7.19
gtwitter.cudf	NOTSOL score:28 log result time:6.50	[-33,-120] score:1 log result time:17.57	[-57,-87] score:6 log result time:79.92	[-37,-121] score:4 log result time:276.24	[-37,-125] score:5 log result time:7.89	[-33,-120] score:1 log result time:16.60	[-33,-120] score:1 log result time:6.81
gpc-4.1.cudf	NOTSOL score:28 log result time:6.50	[-34,-50] score:1 log result time:13.16	[-52,-62] score:6 log result time:41.21	[-37,-208] score:4 log result time:275.62	[-38,-64] score:5 log result time:7.65	[-34,-50] score:1 log result time:17.23	[-34,-50] score:1 log result time:6.89
gnash-common-opengl.cudf	NOTSOL score:28 log result time:6.78	[-35,-46] score:1 log result time:12.96	[-53,-61] score:6 log result time:69.14	[-38,-190] score:4 log result time:276.55	[-39,-60] score:5 log result time:8.16	[-35,-46] score:1 log result time:17.14	[-35,-46] score:1 log result time:7.01
fcron.cudf	NOTSOL score:28 log result time:6.58	[-34,-45] score:1 log result time:13.30	[-52,-57] score:6 log result time:41.40	[-36,-329] score:4 log result time:274.56	[-38,-59] score:5 log result time:8.19	[-34,-45] score:1 log result time:17.14	[-34,-45] score:1 log result time:7.08
dpkg-dev.cudf	NOTSOL score:28 log result time:6.57	[-33,-43] score:1 log result time:13.00	[-51,-55] score:6 log result time:40.91	[-36,-190] score:4 log result time:275.84	[-37,-57] score:5 log result time:7.90	[-33,-43] score:1 log result time:17.40	[-33,-43] score:1 log result time:6.85
audacious-plugins-extra.cudf	NOTSOL score:28 log result time:6.54	[-33,-59] score:1 log result time:14.05	[-52,-71] score:6 log result time:55.14	[-36,-154] score:4 log result time:275.11	[-37,-73] score:5 log result time:8.71	[-33,-59] score:1 log result time:18.03	[-33,-59] score:1 log result time:7.00
ark.cudf	NOTSOL score:28 log result time:6.64	[-33,-43] score:1 log result time:13.03	[-51,-55] score:6 log result time:40.35	[-36,-99] score:4 log result time:275.95	[-37,-57] score:5 log result time:7.12	[-33,-43] score:1 log result time:16.96	[-33,-43] score:1 log result time:6.99

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:3.03	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.05	FAIL 14 log time:1.06
650.cudf	ABORT 21 log	[0,-2] score:1 log result time:5.45	[0,-25] score:6 log result time:6.46	[0,-2] score:1 log result time:4.41	[0,-2] score:1 log result time:5.19	[0,-2] score:1 log result time:1.96	[0,-2] score:1 log result time:1.36
590.cudf	ABORT 21 log	FAIL 14 log time:4.70	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.71	FAIL 14 log time:0.69
584.cudf	ABORT 21 log	FAIL 14 log time:4.44	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.70	FAIL 14 log time:0.68
582.cudf	ABORT 21 log	FAIL 14 log time:5.18	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.69	FAIL 14 log time:0.68
581.cudf	ABORT 21 log	FAIL 14 log time:5.07	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.70	FAIL 14 log time:0.69
579.cudf	ABORT 21 log	FAIL 14 log time:4.66	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.70	FAIL 14 log time:0.69
558.cudf	ABORT 21 log	[0,-2] score:1 log result time:5.21	[0,-30] score:6 log result time:6.64	[0,-2] score:1 log result time:4.40	[0,-2] score:1 log result time:4.33	[0,-2] score:1 log result time:2.15	[0,-2] score:1 log result time:1.52
557.cudf	ABORT 21 log	FAIL 14 log time:5.19	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.70	FAIL 14 log time:0.69
556.cudf	ABORT 21 log	[0,-1] score:1 log result time:5.50	[0,-27] score:6 log result time:5.80	[0,-1] score:1 log result time:3.73	[0,-1] score:1 log result time:3.87	[0,-1] score:1 log result time:2.11	[0,-1] score:1 log result time:1.51
550.cudf	ABORT 21 log	[0,-2] score:1 log result time:5.24	[0,-30] score:6 log result time:6.20	[0,-2] score:1 log result time:3.88	[0,-2] score:1 log result time:3.58	[0,-2] score:1 log result time:2.11	[0,-2] score:1 log result time:1.52
522.cudf	ABORT 21 log	FAIL 14 log time:5.13	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.07	FAIL 14 log time:1.04
521.cudf	ABORT 21 log	FAIL 14 log time:5.47	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.06	FAIL 14 log time:1.05
520.cudf	ABORT 21 log	FAIL 14 log time:5.46	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.07	FAIL 14 log time:1.05
519.cudf	ABORT 21 log	FAIL 14 log time:5.04	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.07	FAIL 14 log time:1.05
1468.cudf	ABORT 21 log	[0,-6] score:1 log result time:6.52	[0,-25] score:6 log result time:10.09	[0,-6] score:1 log result time:5.10	[0,-6] score:1 log result time:4.86	[0,-6] score:1 log result time:2.23	[0,-6] score:1 log result time:1.60
1378.cudf	ABORT 21 log	FAIL 14 log time:5.48	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.08	FAIL 14 log time:1.08
1337.cudf	ABORT 21 log	FAIL 14 log time:5.40	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.12	FAIL 14 log time:1.07
1336.cudf	ABORT 21 log	FAIL 14 log time:5.44	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.09	FAIL 14 log time:1.08
1335.cudf	ABORT 21 log	FAIL 14 log time:6.23	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.10	FAIL 14 log time:1.09
1243.cudf	ABORT 21 log	FAIL 14 log time:5.49	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.08	FAIL 14 log time:1.08
1238.cudf	ABORT 21 log	FAIL 14 log time:5.44	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.71	FAIL 14 log time:0.70
122.cudf	ABORT 21 log	FAIL 14 log time:3.93	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.70	FAIL 14 log time:0.67
121.cudf	ABORT 21 log	FAIL 14 log time:4.12	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.67	FAIL 14 log time:0.67
1131.cudf	ABORT 21 log	FAIL 14 log time:5.37	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.09	FAIL 14 log time:1.07
1126.cudf	ABORT 21 log	FAIL 14 log time:2.90	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.05	FAIL 14 log time:1.05
1125.cudf	ABORT 21 log	FAIL 14 log time:2.87	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.07	FAIL 14 log time:1.04
1124.cudf	ABORT 21 log	FAIL 14 log time:3.00	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.07	FAIL 14 log time:1.06
1098.cudf	ABORT 21 log	[0,-256] score:1 log result time:3.82	[0,-256] score:1 log result time:3.61	[0,-256] score:1 log result time:2.62	[0,-256] score:1 log result time:3.26	[0,-256] score:1 log result time:1.96	[0,-256] score:1 log result time:1.32
1097.cudf	ABORT 21 log	[0,-125] score:1 log result time:3.32	[0,-125] score:1 log result time:2.81	[0,-125] score:1 log result time:2.39	[0,-125] score:1 log result time:2.58	[0,-125] score:1 log result time:2.02	[0,-125] score:1 log result time:1.31
1096.cudf	ABORT 21 log	FAIL 14 log time:2.96	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.69	FAIL 14 log time:0.68
1094.cudf	ABORT 21 log	[0,-126] score:1 log result time:2.85	[0,-126] score:1 log result time:2.78	[0,-126] score:1 log result time:2.84	[0,-126] score:1 log result time:2.56	[0,-126] score:1 log result time:2.01	[0,-126] score:1 log result time:1.32
1093.cudf	ABORT 21 log	FAIL 14 log time:4.00	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.06	FAIL 14 log time:1.06
1084.cudf	ABORT 21 log	FAIL 14 log time:2.80	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.07	FAIL 14 log time:1.07
1078.cudf	ABORT 21 log	[0,-4] score:1 log result time:2.86	[0,-4] score:1 log result time:2.23	[0,-4] score:1 log result time:2.34	[0,-4] score:1 log result time:2.82	[0,-4] score:1 log result time:2.19	[0,-4] score:1 log result time:1.40
1077.cudf	ABORT 21 log	FAIL 14 log time:3.97	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.06	FAIL 14 log time:1.05
1075.cudf	ABORT 21 log	FAIL 14 log time:3.02	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.08	FAIL 14 log time:1.04
1037.cudf	ABORT 21 log	[0,-90] score:1 log result time:2.86	[0,-90] score:1 log result time:2.47	[0,-90] score:1 log result time:3.13	[0,-90] score:1 log result time:2.60	[0,-90] score:1 log result time:2.26	[0,-90] score:1 log result time:1.44
1034.cudf	ABORT 21 log	FAIL 14 log time:3.31	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.06	FAIL 14 log time:1.09
1021.cudf	ABORT 21 log	FAIL 14 log time:2.92	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.05	FAIL 14 log time:1.06

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:7.40	FAIL 14 log time:5.49	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.87	FAIL 14 log time:1.83
randf7d077.cudf	FAIL 14 log time:7.30	FAIL 14 log time:4.98	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:2.86	FAIL 14 log time:2.84
randee102b.cudf	NOTSOL score:28 log result time:103.63	[-7,-671] score:1 log result time:52.58	[-25,-713] score:6 log result time:11.35	[-7,-683] score:4 log result time:274.62	[-7,-689] score:5 log result time:7.94	[-7,-671] score:1 log result time:5.98	[-7,-671] score:1 log result time:3.64
randd1cab2.cudf	NOTSOL score:28 log result time:7.35	[-8,-524] score:1 log result time:13.73	[-19,-560] score:6 log result time:13.37	[-8,-524] score:1 log result time:41.89	[-8,-542] score:5 log result time:6.90	[-8,-524] score:1 log result time:5.25	[-8,-524] score:1 log result time:3.18
randbccf2d.cudf	[-3,-462] score:4 log result time:143.18	[-3,-461] score:1 log result time:12.97	[-8,-516] score:7 log result time:15.30	[-3,-461] score:1 log result time:111.94	[-3,-475] score:6 log result time:8.40	[-3,-461] score:1 log result time:5.62	[-3,-462] score:4 log result time:3.26
randb87834.cudf	[-7,-482] score:6 log result time:145.99	[-6,-478] score:1 log result time:12.68	[-12,-520] score:7 log result time:13.16	[-6,-478] score:1 log result time:66.99	[-6,-492] score:5 log result time:7.48	[-6,-478] score:1 log result time:5.55	[-6,-478] score:1 log result time:3.13
randb3c96d.cudf	FAIL 14 log time:7.20	FAIL 14 log time:5.82	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.88	FAIL 14 log time:1.83
randaefc7c.cudf	[0,0] score:1 log result time:65.90	[0,0] score:1 log result time:4.82	[0,0] score:1 log result time:4.83	[0,0] score:1 log result time:4.38	[0,0] score:1 log result time:4.39	[0,0] score:1 log result time:5.51	[0,0] score:1 log result time:3.71
randaef248.cudf	FAIL 14 log time:7.33	FAIL 14 log time:4.30	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.92	FAIL 14 log time:1.87
randa6997e.cudf	[-3,-576] score:1 log result time:150.54	[-3,-576] score:1 log result time:12.53	[-8,-606] score:7 log result time:14.32	[-3,-576] score:1 log result time:169.63	[-3,-579] score:6 log result time:8.06	[-3,-576] score:1 log result time:5.81	[-3,-576] score:1 log result time:3.26
randa491d5.cudf	FAIL 14 log time:7.16	FAIL 14 log time:5.02	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:2.60	FAIL 14 log time:2.58
randa09fe9.cudf	[-6,-521] score:6 log result time:171.07	[-5,-524] score:1 log result time:12.04	[-14,-548] score:7 log result time:16.60	[-5,-524] score:1 log result time:17.84	[-5,-529] score:5 log result time:7.13	[-5,-524] score:1 log result time:5.47	[-5,-524] score:1 log result time:3.14
rand902db1.cudf	[0,0] score:1 log result time:43.61	[0,0] score:1 log result time:5.44	[0,0] score:1 log result time:4.23	[0,0] score:1 log result time:4.74	[0,0] score:1 log result time:4.16	[0,0] score:1 log result time:4.24	[0,0] score:1 log result time:2.51
rand8177e7.cudf	[-3,-491] score:1 log result time:152.27	[-3,-491] score:1 log result time:15.07	[-9,-540] score:7 log result time:10.45	[-3,-498] score:5 log result time:274.62	[-3,-506] score:6 log result time:9.01	[-3,-491] score:1 log result time:5.70	[-3,-491] score:1 log result time:3.23
rand6d579e.cudf	[-7,-638] score:6 log result time:241.52	[-4,-635] score:1 log result time:14.77	[-17,-690] score:7 log result time:13.10	[-4,-649] score:4 log result time:273.88	[-4,-649] score:4 log result time:8.10	[-4,-635] score:1 log result time:5.54	[-4,-635] score:1 log result time:3.24
rand65d021.cudf	FAIL 14 log time:7.22	FAIL 14 log time:4.93	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:2.83	FAIL 14 log time:2.79
rand659e05.cudf	FAIL 14 log time:7.22	FAIL 14 log time:5.46	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.89	FAIL 14 log time:1.84
rand5c0b12.cudf	FAIL 14 log time:7.23	FAIL 14 log time:5.72	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.89	FAIL 14 log time:1.86
rand4bf850.cudf	[-7,-490] score:6 log result time:147.92	[-6,-491] score:1 log result time:11.43	[-19,-530] score:7 log result time:12.18	[-6,-491] score:1 log result time:209.86	[-6,-499] score:5 log result time:7.25	[-6,-491] score:1 log result time:5.33	[-6,-491] score:1 log result time:3.10
rand43bd88.cudf	NOTSOL score:28 log result time:184.25	[-8,-2027] score:5 log result time:291.90	[-33,-747] score:6 log result time:14.01	[-8,-712] score:2 log result time:275.25	[-8,-714] score:4 log result time:8.02	[-8,-712] score:2 log result time:5.81	[-8,-711] score:1 log result time:3.46
rand35d0c8.cudf	[-3,-391] score:1 log result time:127.15	[-3,-391] score:1 log result time:11.28	[-7,-416] score:7 log result time:15.47	[-3,-393] score:5 log result time:274.33	[-3,-401] score:6 log result time:7.62	[-3,-391] score:1 log result time:5.82	[-3,-391] score:1 log result time:3.45
rand2d8467.cudf	[-11,-445] score:6 log result time:142.66	[-7,-462] score:1 log result time:12.38	[-25,-475] score:7 log result time:11.79	[-7,-475] score:4 log result time:275.33	[-7,-493] score:5 log result time:7.67	[-7,-462] score:1 log result time:5.46	[-7,-462] score:1 log result time:3.14
rand2d77b5.cudf	FAIL 14 log time:7.40	FAIL 14 log time:6.22	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:2.00	FAIL 14 log time:1.97
rand199fd6.cudf	FAIL 14 log time:7.28	FAIL 14 log time:5.30	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.89	FAIL 14 log time:1.83
rand144372.cudf	FAIL 14 log time:7.30	FAIL 14 log time:5.64	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.88	FAIL 14 log time:1.84
rand13056c.cudf	[-6,-603] score:5 log result time:163.47	[-5,-604] score:1 log result time:15.53	[-13,-646] score:7 log result time:15.72	[-5,-609] score:4 log result time:274.70	[-6,-624] score:6 log result time:7.97	[-5,-604] score:1 log result time:5.50	[-5,-604] score:1 log result time:3.12
rand0c02bc.cudf	[-6,-392] score:6 log result time:137.66	[-5,-395] score:1 log result time:10.32	[-14,-409] score:7 log result time:9.38	[-5,-395] score:1 log result time:37.40	[-5,-405] score:5 log result time:8.18	[-5,-395] score:1 log result time:5.34	[-5,-395] score:1 log result time:3.13

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:6 log result time:119.43	[-2,-243] score:1 log result time:7.49	[-5,-259] score:7 log result time:10.39	[-2,-243] score:1 log result time:5.55	[-2,-243] score:1 log result time:7.81	[-2,-243] score:1 log result time:5.67	[-2,-243] score:1 log result time:3.29
randf794d2.cudf	[-6,-284] score:6 log result time:120.94	[-5,-283] score:1 log result time:9.51	[-12,-293] score:7 log result time:12.21	[-5,-283] score:1 log result time:22.62	[-5,-290] score:5 log result time:7.20	[-5,-283] score:1 log result time:5.50	[-5,-283] score:1 log result time:3.10
randf66c83.cudf	[-3,-207] score:1 log result time:104.99	[-3,-207] score:1 log result time:7.22	[-6,-215] score:7 log result time:13.36	[-3,-207] score:1 log result time:6.71	[-3,-207] score:1 log result time:7.62	[-3,-207] score:1 log result time:5.57	[-3,-207] score:1 log result time:3.27
randec6fe1.cudf	[-9,-328] score:6 log result time:132.16	[-6,-334] score:1 log result time:9.44	[-19,-356] score:7 log result time:11.47	[-6,-334] score:1 log result time:6.20	[-6,-334] score:1 log result time:7.46	[-6,-334] score:1 log result time:5.40	[-6,-334] score:1 log result time:3.13
randd92c9f.cudf	[-5,-214] score:6 log result time:108.39	[-4,-219] score:1 log result time:8.05	[-8,-229] score:7 log result time:13.02	[-4,-219] score:1 log result time:6.29	[-4,-219] score:1 log result time:6.33	[-4,-219] score:1 log result time:5.73	[-4,-219] score:1 log result time:3.32
randd7b2b4.cudf	[-5,-195] score:6 log result time:111.29	[-3,-199] score:1 log result time:8.27	[-9,-222] score:7 log result time:11.85	[-3,-199] score:1 log result time:8.22	[-3,-199] score:1 log result time:6.90	[-3,-199] score:1 log result time:5.81	[-3,-199] score:1 log result time:3.26
randcebca4.cudf	[-7,-318] score:6 log result time:131.05	[-4,-324] score:1 log result time:9.72	[-16,-339] score:7 log result time:13.44	[-4,-324] score:1 log result time:6.68	[-4,-324] score:1 log result time:8.02	[-4,-324] score:1 log result time:5.31	[-4,-324] score:1 log result time:3.19
randc7f8e5.cudf	NOTSOL score:28 log result time:161.74	[-6,-267] score:1 log result time:9.80	[-19,-289] score:6 log result time:10.62	[-6,-267] score:1 log result time:8.01	[-6,-271] score:5 log result time:8.13	[-6,-267] score:1 log result time:5.59	[-6,-267] score:1 log result time:3.23
randc5fe62.cudf	[-1,-294] score:1 log result time:120.73	[-1,-294] score:1 log result time:9.48	[-5,-301] score:7 log result time:10.17	[-1,-294] score:1 log result time:45.90	[-1,-303] score:6 log result time:7.28	[-1,-294] score:1 log result time:5.63	[-1,-294] score:1 log result time:3.30
randc5b1f2.cudf	FAIL 14 log time:7.17	FAIL 14 log time:5.76	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.89	FAIL 14 log time:1.83
randc18b26.cudf	[-8,-425] score:6 log result time:150.22	[-6,-395] score:1 log result time:9.79	[-17,-457] score:7 log result time:11.27	[-6,-395] score:1 log result time:24.69	[-7,-419] score:5 log result time:6.81	[-6,-395] score:1 log result time:5.72	[-6,-395] score:1 log result time:3.37
randb54299.cudf	NOTSOL score:28 log result time:180.49	[-7,-397] score:1 log result time:11.18	[-27,-413] score:6 log result time:12.29	[-7,-397] score:1 log result time:8.71	[-7,-397] score:1 log result time:8.70	[-7,-398] score:4 log result time:5.51	[-7,-398] score:4 log result time:3.20
randa2004a.cudf	[-1,-237] score:1 log result time:122.59	[-1,-237] score:1 log result time:8.58	[-3,-255] score:7 log result time:9.98	[-1,-237] score:1 log result time:6.09	[-1,-237] score:1 log result time:6.69	[-1,-237] score:1 log result time:5.31	[-1,-237] score:1 log result time:3.18
rand9ffe99.cudf	[-3,-336] score:1 log result time:124.23	[-3,-336] score:1 log result time:9.67	[-7,-372] score:7 log result time:17.64	[-3,-336] score:1 log result time:6.74	[-3,-336] score:1 log result time:6.30	[-3,-336] score:1 log result time:5.69	[-3,-336] score:1 log result time:3.27
rand767898.cudf	[-3,-261] score:1 log result time:114.28	[-3,-261] score:1 log result time:9.01	[-6,-281] score:7 log result time:13.18	[-3,-261] score:1 log result time:9.20	[-3,-266] score:6 log result time:7.50	[-3,-261] score:1 log result time:5.48	[-3,-261] score:1 log result time:3.18
rand71b131.cudf	[-4,-404] score:6 log result time:139.39	[-3,-398] score:1 log result time:10.69	[-15,-449] score:7 log result time:12.14	[-3,-398] score:1 log result time:32.67	[-3,-407] score:5 log result time:8.64	[-3,-398] score:1 log result time:5.63	[-3,-398] score:1 log result time:3.20
rand5d20db.cudf	[-4,-316] score:6 log result time:134.06	[-3,-315] score:1 log result time:9.58	[-10,-339] score:7 log result time:13.10	[-3,-315] score:1 log result time:8.74	[-3,-325] score:5 log result time:7.12	[-3,-315] score:1 log result time:5.57	[-3,-315] score:1 log result time:3.26
rand4b919e.cudf	[-4,-211] score:6 log result time:115.91	[-3,-214] score:1 log result time:7.96	[-8,-227] score:7 log result time:13.37	[-3,-214] score:1 log result time:15.32	[-3,-224] score:5 log result time:7.52	[-3,-214] score:1 log result time:5.75	[-3,-214] score:1 log result time:3.28
rand4a23d9.cudf	[-4,-138] score:1 log result time:85.42	[-4,-138] score:1 log result time:7.88	[-15,-140] score:7 log result time:12.78	[-4,-138] score:1 log result time:5.89	[-4,-138] score:1 log result time:5.70	[-4,-138] score:1 log result time:7.07	[-4,-138] score:1 log result time:3.88
rand3c03fd.cudf	[-5,-239] score:6 log result time:113.25	[-3,-241] score:1 log result time:9.33	[-8,-262] score:7 log result time:11.60	[-3,-241] score:1 log result time:7.46	[-3,-242] score:5 log result time:8.78	[-3,-241] score:1 log result time:5.60	[-3,-241] score:1 log result time:3.17
rand362510.cudf	[-1,-257] score:1 log result time:119.00	[-1,-257] score:1 log result time:9.52	[-4,-279] score:7 log result time:11.66	[-1,-257] score:1 log result time:18.18	[-1,-263] score:6 log result time:6.71	[-1,-257] score:1 log result time:5.32	[-1,-257] score:1 log result time:3.25
rand27da90.cudf	[-10,-320] score:6 log result time:125.18	[-7,-318] score:1 log result time:10.00	[-20,-345] score:7 log result time:12.38	[-7,-318] score:1 log result time:7.29	[-7,-318] score:1 log result time:6.90	[-7,-318] score:1 log result time:5.86	[-7,-318] score:1 log result time:3.29
rand271a0d.cudf	FAIL 14 log time:7.28	FAIL 14 log time:5.77	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.87	FAIL 14 log time:1.86
rand18b530.cudf	[-8,-247] score:6 log result time:120.41	[-4,-243] score:1 log result time:8.61	[-20,-261] score:7 log result time:11.79	[-4,-243] score:1 log result time:6.22	[-4,-243] score:1 log result time:7.84	[-4,-243] score:1 log result time:5.41	[-4,-243] score:1 log result time:3.11
rand112989.cudf	NOTSOL score:28 log result time:154.49	[-7,-1659] score:5 log result time:292.69	[-27,-331] score:6 log result time:14.04	[-7,-325] score:1 log result time:180.57	[-7,-351] score:4 log result time:7.02	[-7,-325] score:1 log result time:5.87	[-7,-325] score:1 log result time:3.44
rand0a62b6.cudf	[-7,-286] score:6 log result time:124.53	[-4,-283] score:1 log result time:9.11	[-21,-292] score:7 log result time:13.35	[-4,-283] score:1 log result time:7.54	[-4,-283] score:1 log result time:7.50	[-4,-283] score:1 log result time:5.52	[-4,-283] score:1 log result time:3.23
rand085d8a.cudf	[-8,-280] score:6 log result time:175.02	[-7,-283] score:1 log result time:8.28	[-43,-327] score:7 log result time:11.70	[-7,-283] score:1 log result time:7.86	[-7,-283] score:1 log result time:7.44	[-7,-283] score:1 log result time:5.56	[-7,-283] score:1 log result time:3.23
rand00ebc7.cudf	FAIL 14 log time:7.02	FAIL 14 log time:4.78	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.89	FAIL 14 log time:1.85

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:3.91	FAIL 14 log time:3.91	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.97
rande89f80.cudf	[0,-320] score:1 log result time:13.32	[0,-320] score:1 log result time:5.27	[0,-324] score:7 log result time:5.06	[0,-320] score:1 log result time:3.79	[0,-320] score:1 log result time:3.88	[0,-320] score:1 log result time:1.86	[0,-320] score:1 log result time:1.24
rande22180.cudf	FAIL 14 log time:3.94	FAIL 14 log time:4.18	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.00	FAIL 14 log time:0.97
rande2165e.cudf	[-2,-531] score:1 log result time:26.56	[-2,-531] score:1 log result time:10.29	[-2,-545] score:7 log result time:7.67	[-2,-532] score:5 log result time:275.18	[-2,-538] score:6 log result time:4.64	[-2,-531] score:1 log result time:1.89	[-2,-531] score:1 log result time:1.27
randdd5509.cudf	FAIL 14 log time:4.02	FAIL 14 log time:3.21	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.99
randdc506f.cudf	FAIL 14 log time:4.04	FAIL 14 log time:3.54	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.97
randd6bc17.cudf	[0,0] score:1 log result time:8.81	[0,0] score:1 log result time:3.77	[0,0] score:1 log result time:4.97	[0,0] score:1 log result time:4.26	[0,0] score:1 log result time:4.65	[0,0] score:1 log result time:1.82	[0,0] score:1 log result time:1.22
randcef367.cudf	FAIL 14 log time:4.02	FAIL 14 log time:3.14	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.00	FAIL 14 log time:0.97
randcbf550.cudf	FAIL 14 log time:3.99	FAIL 14 log time:4.01	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.98
randbbb4ba.cudf	[-1,-464] score:1 log result time:24.02	[-1,-464] score:1 log result time:7.94	[-1,-467] score:7 log result time:6.11	[-1,-464] score:1 log result time:6.15	[-1,-464] score:1 log result time:5.50	[-1,-464] score:1 log result time:1.90	[-1,-464] score:1 log result time:1.27
randab5933.cudf	FAIL 14 log time:3.91	FAIL 14 log time:3.94	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:1.00	FAIL 14 log time:1.00
randa65f48.cudf	[-4,-289] score:1 log result time:17.26	[-4,-289] score:1 log result time:6.53	[-4,-291] score:7 log result time:7.24	[-4,-289] score:1 log result time:6.29	[-4,-289] score:1 log result time:6.33	[-4,-289] score:1 log result time:1.94	[-4,-289] score:1 log result time:1.24
randa65dfb.cudf	[-1,-397] score:1 log result time:21.64	[-1,-397] score:1 log result time:6.26	[-1,-402] score:7 log result time:7.64	[-1,-397] score:1 log result time:31.75	[-1,-398] score:6 log result time:6.85	[-1,-397] score:1 log result time:1.86	[-1,-397] score:1 log result time:1.26
randa13f2d.cudf	[-1,-422] score:1 log result time:23.40	[-1,-422] score:1 log result time:7.60	[-1,-434] score:7 log result time:6.59	[-1,-422] score:1 log result time:15.95	[-1,-424] score:6 log result time:6.94	[-1,-422] score:1 log result time:1.86	[-1,-422] score:1 log result time:1.28
rand9e35f0.cudf	[-1,-361] score:1 log result time:14.84	[-1,-361] score:1 log result time:5.77	[-1,-370] score:7 log result time:6.80	[-1,-361] score:1 log result time:5.26	[-1,-362] score:6 log result time:4.49	[-1,-361] score:1 log result time:1.85	[-1,-361] score:1 log result time:1.23
rand936b0d.cudf	FAIL 14 log time:3.91	FAIL 14 log time:3.54	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.98
rand88811a.cudf	[-1,-355] score:1 log result time:19.82	[-1,-355] score:1 log result time:6.28	[-1,-365] score:7 log result time:6.14	[-1,-355] score:1 log result time:5.61	[-1,-355] score:1 log result time:6.31	[-1,-355] score:1 log result time:1.89	[-1,-355] score:1 log result time:1.29
rand7e9372.cudf	[0,-496] score:1 log result time:26.16	[0,-496] score:1 log result time:8.08	[0,-503] score:7 log result time:5.52	[0,-496] score:1 log result time:274.92	[0,-498] score:6 log result time:7.27	[0,-496] score:1 log result time:1.85	[0,-496] score:1 log result time:1.24
rand6f4585.cudf	[-1,-405] score:1 log result time:22.60	[-1,-405] score:1 log result time:7.98	[-1,-406] score:7 log result time:6.04	[-1,-405] score:1 log result time:5.13	[-1,-405] score:1 log result time:5.52	[-1,-405] score:1 log result time:1.87	[-1,-405] score:1 log result time:1.31
rand6c4744.cudf	FAIL 14 log time:3.99	FAIL 14 log time:4.32	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.96
rand682c92.cudf	FAIL 14 log time:3.98	FAIL 14 log time:3.79	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.97
rand601ba8.cudf	[-10,-575] score:1 log result time:29.90	[-10,-575] score:1 log result time:9.00	[-10,-582] score:7 log result time:6.10	[-10,-575] score:1 log result time:274.81	[-10,-576] score:6 log result time:5.41	[-10,-575] score:1 log result time:1.87	[-10,-575] score:1 log result time:1.23
rand59f7dd.cudf	[0,-344] score:1 log result time:14.16	[0,-344] score:1 log result time:8.02	[0,-347] score:7 log result time:7.64	[0,-344] score:1 log result time:6.92	[0,-344] score:1 log result time:6.91	[0,-344] score:1 log result time:1.84	[0,-344] score:1 log result time:1.28
rand56b853.cudf	[0,-337] score:1 log result time:19.64	[0,-337] score:1 log result time:5.45	[0,-340] score:7 log result time:4.70	[0,-337] score:1 log result time:6.08	[0,-337] score:1 log result time:5.96	[0,-337] score:1 log result time:1.87	[0,-337] score:1 log result time:1.27
rand49e642.cudf	[0,-408] score:1 log result time:15.64	[0,-408] score:1 log result time:7.41	[0,-421] score:7 log result time:6.76	[0,-408] score:1 log result time:11.60	[0,-409] score:6 log result time:8.82	[0,-408] score:1 log result time:1.83	[0,-408] score:1 log result time:1.25
rand396cf8.cudf	[-1,-476] score:1 log result time:16.46	[-1,-476] score:1 log result time:8.56	[-1,-478] score:6 log result time:6.69	[-1,-476] score:1 log result time:28.03	[-1,-478] score:6 log result time:4.77	[-1,-476] score:1 log result time:1.84	[-1,-476] score:1 log result time:1.27
rand35afbf.cudf	[0,-502] score:1 log result time:25.49	[0,-502] score:1 log result time:8.59	[0,-506] score:7 log result time:6.62	[0,-502] score:1 log result time:5.92	[0,-502] score:1 log result time:4.28	[0,-502] score:1 log result time:1.86	[0,-502] score:1 log result time:1.27
rand2fa1f8.cudf	FAIL 14 log time:4.02	FAIL 14 log time:4.24	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.97
rand1958fb.cudf	[-2,-563] score:1 log result time:28.47	[-2,-563] score:1 log result time:7.54	[-2,-563] score:1 log result time:5.82	[-2,-563] score:1 log result time:6.39	[-2,-563] score:1 log result time:6.09	[-2,-563] score:1 log result time:1.86	[-2,-563] score:1 log result time:1.25
rand03b0b5.cudf	FAIL 14 log time:4.00	FAIL 14 log time:4.05	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:Command	FAIL 14 log time:0.99	FAIL 14 log time:0.97