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 |
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 |
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 |
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 |
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 |
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 |