. Trendy Track
Category: 10orplus
| Problem | apt-pbo-trendy | inesc-udl-trendy | p2cudf-p2 | p2cudf-trendy | p2cudf-trendy2 | solver-unsa-lextrendy | solver-unsa-trendy |
|---|---|---|---|---|---|---|---|
| xvfb.cudf | NOTSOL score:28 log result time:10.82 |
NOTSOL score:28 log result time:209.64 |
ABORT 21 log |
[-37,-536,-219] score:3 log result time:288.89 |
[-37,-536,-219] score:3 log result time:14.38 |
[-33,-531,-209] score:1 log result time:46.00 |
[-33,-2210,-2] score:2 log result time:7.05 |
| unattended-upgrades.cudf | NOTSOL score:28 log result time:10.97 |
NOTSOL score:28 log result time:206.51 |
[-49,-2209,-10] score:5 log result time:260.44 |
[-45,-435,-241] score:3 log result time:287.95 |
[-45,-435,-241] score:3 log result time:16.80 |
[-37,-479,-217] score:1 log result time:45.76 |
[-37,-2207,-5] score:2 log result time:7.33 |
| txt2html.cudf | NOTSOL score:28 log result time:10.74 |
NOTSOL score:28 log result time:201.67 |
[-61,-2170,-17] score:5 log result time:267.72 |
[-45,-434,-243] score:3 log result time:295.29 |
[-45,-434,-243] score:3 log result time:14.73 |
[-41,-430,-234] score:1 log result time:46.89 |
[-41,-2169,-9] score:2 log result time:7.12 |
| texlive-generic-recommended.cudf | NOTSOL score:28 log result time:10.94 |
NOTSOL score:28 log result time:209.95 |
[-45,-2210,-6] score:3 log result time:246.63 |
[-51,-429,-273] score:4 log result time:286.79 |
[-51,-429,-273] score:4 log result time:11.29 |
[-33,-530,-209] score:1 log result time:45.75 |
[-33,-2209,-1] score:2 log result time:7.15 |
| system-config-printer.cudf | NOTSOL score:28 log result time:10.83 |
NOTSOL score:28 log result time:207.89 |
[-45,-2212,-10] score:3 log result time:249.31 |
[-51,-428,-279] score:5 log result time:288.56 |
[-51,-428,-278] score:4 log result time:11.81 |
[-33,-532,-211] score:1 log result time:45.56 |
[-33,-2211,-4] score:2 log result time:7.05 |
| synaptic.cudf | NOTSOL score:28 log result time:10.81 |
NOTSOL score:28 log result time:207.46 |
[-45,-2210,-6] score:5 log result time:263.23 |
[-37,-535,-218] score:3 log result time:294.38 |
[-37,-535,-218] score:3 log result time:14.57 |
[-33,-530,-209] score:1 log result time:45.61 |
[-33,-2209,-1] score:2 log result time:7.09 |
| sonata.cudf | NOTSOL score:28 log result time:10.68 |
NOTSOL score:28 log result time:208.56 |
[-45,-2211,-8] score:5 log result time:254.03 |
[-37,-541,-219] score:3 log result time:286.22 |
[-37,-541,-219] score:3 log result time:15.34 |
[-33,-531,-210] score:1 log result time:47.25 |
[-33,-2210,-3] score:2 log result time:7.10 |
| python-hippocanvas.cudf | NOTSOL score:28 log result time:10.96 |
NOTSOL score:28 log result time:207.56 |
[-66,-2185,-8] score:5 log result time:276.72 |
[-43,-503,-239] score:3 log result time:290.54 |
[-43,-503,-239] score:3 log result time:14.01 |
[-39,-415,-245] score:1 log result time:47.45 |
[-39,-2192,-10] score:2 log result time:7.27 |
| python-cairo.cudf | NOTSOL score:28 log result time:10.87 |
NOTSOL score:28 log result time:208.88 |
[-45,-2210,-6] score:3 log result time:240.12 |
[-51,-429,-273] score:4 log result time:279.73 |
[-51,-429,-273] score:4 log result time:10.37 |
[-33,-530,-208] score:1 log result time:45.47 |
[-33,-2209,-1] score:2 log result time:7.06 |
| pybackpack.cudf | NOTSOL score:28 log result time:11.11 |
NOTSOL score:28 log result time:211.26 |
[-60,-2189,-11] score:5 log result time:262.86 |
[-43,-504,-240] score:3 log result time:285.09 |
[-43,-504,-240] score:3 log result time:15.69 |
[-39,-416,-245] score:1 log result time:48.91 |
[-39,-2193,-11] score:2 log result time:7.39 |
| pidgin-plugin-pack.cudf | NOTSOL score:28 log result time:11.04 |
NOTSOL score:28 log result time:203.02 |
[-60,-2165,-16] score:5 log result time:261.41 |
[-44,-437,-244] score:3 log result time:277.58 |
[-44,-437,-244] score:3 log result time:14.62 |
[-41,-430,-232] score:1 log result time:46.21 |
[-41,-2169,-7] score:2 log result time:7.14 |
| openoffice.org-l10n-nl.cudf | NOTSOL score:28 log result time:11.04 |
NOTSOL score:28 log result time:211.08 |
[-58,-2198,-7] score:5 log result time:205.96 |
[-38,-521,-225] score:3 log result time:283.84 |
[-38,-521,-225] score:3 log result time:14.68 |
[-34,-511,-218] score:1 log result time:46.94 |
[-34,-2181,-16] score:2 log result time:7.27 |
| openoffice.org-l10n-da.cudf | NOTSOL score:28 log result time:10.86 |
NOTSOL score:28 log result time:211.32 |
[-57,-2200,-6] score:4 log result time:283.32 |
ABORT 21 log |
[-38,-516,-228] score:3 log result time:15.84 |
[-34,-511,-218] score:1 log result time:46.85 |
[-34,-2181,-16] score:2 log result time:7.32 |
| monodevelop-nunit.cudf | NOTSOL score:28 log result time:10.89 |
NOTSOL score:28 log result time:217.41 |
[-67,-2180,-34] score:5 log result time:274.40 |
[-37,-541,-270] score:3 log result time:289.67 |
[-37,-541,-270] score:3 log result time:16.70 |
[-33,-537,-265] score:1 log result time:46.02 |
[-35,-2218,-25] score:2 log result time:7.40 |
| mercurial-common.cudf | NOTSOL score:28 log result time:10.84 |
NOTSOL score:28 log result time:209.17 |
[-45,-2211,-7] score:5 log result time:254.95 |
[-37,-438,-269] score:3 log result time:280.73 |
[-37,-438,-269] score:3 log result time:14.56 |
[-33,-531,-209] score:1 log result time:46.01 |
[-33,-2210,-2] score:2 log result time:7.05 |
| lirc.cudf | NOTSOL score:28 log result time:10.87 |
NOTSOL score:28 log result time:209.31 |
[-45,-2209,-7] score:5 log result time:254.61 |
[-37,-535,-219] score:3 log result time:276.22 |
[-37,-535,-219] score:3 log result time:14.81 |
[-33,-530,-209] score:1 log result time:45.48 |
[-33,-2208,-2] score:2 log result time:7.05 |
| libtemplate-provider-encoding-perl.cudf | NOTSOL score:28 log result time:10.96 |
NOTSOL score:28 log result time:204.16 |
[-61,-2170,-17] score:5 log result time:247.71 |
[-44,-442,-244] score:3 log result time:285.71 |
[-44,-442,-246] score:4 log result time:16.55 |
[-41,-430,-234] score:1 log result time:47.25 |
[-41,-2169,-9] score:2 log result time:7.11 |
| libpoe-perl.cudf | NOTSOL score:28 log result time:11.01 |
NOTSOL score:28 log result time:205.47 |
[-61,-2170,-16] score:5 log result time:268.13 |
[-45,-438,-243] score:3 log result time:285.38 |
[-45,-438,-243] score:3 log result time:16.45 |
[-41,-430,-233] score:1 log result time:46.62 |
[-41,-2170,-8] score:2 log result time:7.11 |
| libpango-perl.cudf | NOTSOL score:28 log result time:11.10 |
NOTSOL score:28 log result time:207.18 |
ABORT 21 log |
[-45,-435,-241] score:3 log result time:224.62 |
[-45,-435,-241] score:3 log result time:16.78 |
[-41,-430,-231] score:1 log result time:45.45 |
[-41,-2168,-7] score:2 log result time:7.14 |
| libnss3-1d.cudf | NOTSOL score:28 log result time:10.89 |
NOTSOL score:28 log result time:210.05 |
[-45,-2210,-6] score:5 log result time:239.08 |
[-37,-539,-217] score:3 log result time:279.98 |
[-37,-539,-217] score:3 log result time:14.64 |
[-33,-530,-208] score:1 log result time:46.17 |
[-33,-2209,-1] score:2 log result time:7.07 |
| libnspr4-dev.cudf | NOTSOL score:28 log result time:10.86 |
NOTSOL score:28 log result time:214.04 |
[-66,-2198,-7] score:5 log result time:225.64 |
[-60,-517,-229] score:3 log result time:280.09 |
[-60,-517,-229] score:3 log result time:13.76 |
[-46,-519,-215] score:1 log result time:46.16 |
[-46,-2194,-15] score:2 log result time:7.85 |
| libnkf-perl.cudf | NOTSOL score:28 log result time:11.07 |
NOTSOL score:28 log result time:203.18 |
[-61,-2170,-15] score:5 log result time:278.92 |
[-45,-434,-242] score:3 log result time:285.44 |
[-45,-434,-242] score:3 log result time:14.58 |
[-41,-430,-232] score:1 log result time:46.79 |
[-41,-2169,-7] score:2 log result time:6.98 |
| libmail-spf-perl.cudf | NOTSOL score:28 log result time:10.90 |
NOTSOL score:28 log result time:204.21 |
[-60,-2171,-17] score:5 log result time:277.21 |
[-45,-435,-246] score:3 log result time:281.40 |
[-45,-435,-246] score:3 log result time:15.71 |
[-41,-430,-236] score:1 log result time:56.30 |
[-41,-2169,-11] score:2 log result time:8.04 |
| libhtml-parser-perl.cudf | NOTSOL score:28 log result time:10.96 |
NOTSOL score:28 log result time:209.23 |
[-45,-2210,-6] score:5 log result time:242.16 |
[-37,-535,-218] score:3 log result time:283.41 |
[-37,-535,-218] score:3 log result time:14.03 |
[-33,-530,-209] score:1 log result time:47.81 |
[-33,-2209,-1] score:2 log result time:7.15 |
| libdbd-pg-perl.cudf | NOTSOL score:28 log result time:11.12 |
NOTSOL score:28 log result time:204.02 |
[-61,-2170,-15] score:3 log result time:213.80 |
[-67,-296,-297] score:4 log result time:275.32 |
[-67,-296,-297] score:4 log result time:11.46 |
[-41,-430,-232] score:1 log result time:50.08 |
[-41,-2169,-7] score:2 log result time:7.27 |
| libcyrus-imap-perl22.cudf | NOTSOL score:28 log result time:10.87 |
NOTSOL score:28 log result time:206.53 |
[-84,-2141,-23] score:5 log result time:206.89 |
[-45,-438,-244] score:3 log result time:279.64 |
[-45,-438,-244] score:3 log result time:15.30 |
[-41,-430,-232] score:1 log result time:49.59 |
[-41,-2169,-7] score:2 log result time:8.37 |
| libcurses-perl.cudf | NOTSOL score:28 log result time:10.93 |
NOTSOL score:28 log result time:205.42 |
[-61,-2170,-15] score:3 log result time:221.72 |
[-76,-274,-326] score:4 log result time:285.14 |
[-76,-274,-326] score:4 log result time:11.34 |
[-41,-430,-233] score:1 log result time:51.30 |
[-41,-2169,-7] score:2 log result time:8.84 |
| libcatalyst-perl.cudf | NOTSOL score:28 log result time:10.99 |
NOTSOL score:28 log result time:208.53 |
[-61,-2171,-44] score:5 log result time:277.29 |
[-45,-435,-288] score:3 log result time:291.99 |
[-45,-435,-288] score:3 log result time:16.78 |
[-41,-430,-279] score:1 log result time:56.70 |
[-41,-2171,-35] score:2 log result time:7.37 |
| libbsd-resource-perl.cudf | NOTSOL score:28 log result time:10.91 |
NOTSOL score:28 log result time:208.49 |
[-45,-2210,-6] score:5 log result time:259.38 |
[-37,-537,-220] score:3 log result time:281.30 |
[-37,-537,-220] score:3 log result time:17.12 |
[-33,-530,-208] score:1 log result time:47.20 |
[-33,-2209,-1] score:2 log result time:8.78 |
| konq-plugins.cudf | NOTSOL score:28 log result time:11.12 |
NOTSOL score:28 log result time:211.45 |
[-45,-2210,-6] score:3 log result time:240.71 |
[-51,-429,-273] score:4 log result time:288.64 |
[-51,-429,-273] score:4 log result time:15.01 |
[-33,-530,-208] score:1 log result time:50.58 |
[-33,-2209,-1] score:2 log result time:8.65 |
| kdebase-bin.cudf | NOTSOL score:28 log result time:10.93 |
NOTSOL score:28 log result time:209.44 |
[-45,-2210,-6] score:3 log result time:240.21 |
[-51,-429,-273] score:4 log result time:278.52 |
[-51,-429,-273] score:4 log result time:10.03 |
[-33,-530,-208] score:1 log result time:50.31 |
[-33,-2209,-1] score:2 log result time:8.40 |
| idle.cudf | NOTSOL score:28 log result time:10.76 |
NOTSOL score:28 log result time:206.69 |
[-66,-2186,-7] score:5 log result time:269.67 |
[-43,-506,-240] score:3 log result time:279.43 |
[-43,-506,-240] score:3 log result time:13.18 |
[-39,-415,-244] score:1 log result time:59.30 |
[-39,-2188,-9] score:2 log result time:7.55 |
| hal-cups-utils.cudf | NOTSOL score:28 log result time:10.98 |
NOTSOL score:28 log result time:212.01 |
[-45,-2211,-9] score:5 log result time:266.94 |
[-37,-536,-221] score:3 log result time:276.12 |
[-37,-536,-221] score:3 log result time:15.79 |
[-33,-531,-211] score:1 log result time:54.38 |
[-33,-2211,-4] score:2 log result time:7.11 |
| guake.cudf | NOTSOL score:28 log result time:10.90 |
NOTSOL score:28 log result time:206.64 |
[-65,-2181,-12] score:5 log result time:201.56 |
[-50,-242,-348] score:3 log result time:286.54 |
[-50,-242,-348] score:3 log result time:17.61 |
[-39,-415,-243] score:1 log result time:51.91 |
[-39,-2187,-13] score:2 log result time:8.76 |
| gnome-panel-data.cudf | NOTSOL score:28 log result time:11.00 |
NOTSOL score:28 log result time:209.36 |
[-45,-2210,-6] score:3 log result time:255.91 |
[-51,-429,-273] score:4 log result time:280.51 |
[-51,-429,-276] score:5 log result time:10.39 |
[-33,-530,-208] score:1 log result time:47.63 |
[-33,-2209,-1] score:2 log result time:7.73 |
| gnochm.cudf | NOTSOL score:28 log result time:11.18 |
NOTSOL score:28 log result time:207.32 |
[-47,-2209,-10] score:5 log result time:289.88 |
[-43,-504,-241] score:3 log result time:290.92 |
[-43,-504,-241] score:3 log result time:14.09 |
[-35,-529,-213] score:1 log result time:49.27 |
[-35,-2208,-5] score:2 log result time:7.63 |
| evolution-dev.cudf | NOTSOL score:28 log result time:11.04 |
NOTSOL score:28 log result time:212.37 |
[-67,-2196,-18] score:5 log result time:236.46 |
[-50,-523,-228] score:3 log result time:275.32 |
[-50,-523,-228] score:3 log result time:13.40 |
[-46,-519,-219] score:1 log result time:50.40 |
[-46,-2197,-22] score:2 log result time:8.16 |
| epiphany-browser.cudf | NOTSOL score:28 log result time:10.76 |
NOTSOL score:28 log result time:215.18 |
[-90,-2181,-19] score:5 log result time:253.94 |
[-64,-362,-316] score:3 log result time:287.77 |
[-64,-362,-316] score:3 log result time:13.56 |
[-57,-405,-272] score:1 log result time:77.24 |
[-57,-2188,-49] score:2 log result time:10.99 |
| dwww.cudf | NOTSOL score:28 log result time:10.80 |
NOTSOL score:28 log result time:206.44 |
[-61,-2170,-20] score:5 log result time:247.71 |
[-45,-438,-249] score:3 log result time:278.54 |
[-45,-438,-249] score:3 log result time:15.34 |
[-41,-430,-237] score:1 log result time:55.32 |
[-41,-2169,-12] score:2 log result time:8.10 |
| codebreaker.cudf | NOTSOL score:28 log result time:10.99 |
NOTSOL score:28 log result time:206.33 |
[-91,-2169,-5] score:5 log result time:239.20 |
[-49,-421,-320] score:3 log result time:282.57 |
[-49,-421,-320] score:3 log result time:14.02 |
[-45,-516,-211] score:1 log result time:45.77 |
[-45,-2191,-4] score:2 log result time:7.23 |
Category: 9orless
| Problem | apt-pbo-trendy | inesc-udl-trendy | p2cudf-p2 | p2cudf-trendy | p2cudf-trendy2 | solver-unsa-lextrendy | solver-unsa-trendy |
|---|---|---|---|---|---|---|---|
| upstart-compat-sysv.cudf | NOTSOL score:28 log result time:10.64 |
NOTSOL score:28 log result time:208.83 |
[-48,-2207,-9] score:5 log result time:232.27 |
[-40,-532,-223] score:3 log result time:293.52 |
[-40,-532,-223] score:3 log result time:15.27 |
[-36,-528,-210] score:1 log result time:45.33 |
[-36,-2207,-4] score:2 log result time:7.18 |
| tasque.cudf | NOTSOL score:28 log result time:10.88 |
NOTSOL score:28 log result time:207.95 |
[-48,-2198,-25] score:5 log result time:169.09 |
[-37,-535,-262] score:3 log result time:288.75 |
[-37,-535,-262] score:3 log result time:17.20 |
[-33,-532,-256] score:1 log result time:46.21 |
[-35,-2219,-17] score:2 log result time:7.18 |
| r-cran-rodbc.cudf | NOTSOL score:28 log result time:10.80 |
NOTSOL score:28 log result time:207.37 |
[-46,-2209,-7] score:3 log result time:253.20 |
[-74,-371,-296] score:4 log result time:285.47 |
[-74,-371,-296] score:4 log result time:11.00 |
[-34,-498,-220] score:1 log result time:46.20 |
[-34,-2208,-2] score:2 log result time:7.11 |
| r-cran-lme4.cudf | NOTSOL score:28 log result time:10.80 |
NOTSOL score:28 log result time:206.97 |
[-46,-2209,-8] score:3 log result time:250.05 |
[-66,-416,-305] score:4 log result time:287.94 |
[-66,-416,-305] score:4 log result time:10.82 |
[-34,-498,-220] score:1 log result time:45.92 |
[-34,-2208,-3] score:2 log result time:7.13 |
| r-cran-car.cudf | NOTSOL score:28 log result time:10.92 |
NOTSOL score:28 log result time:207.22 |
[-50,-2207,-1] score:3 log result time:192.25 |
[-75,-365,-288] score:4 log result time:286.93 |
[-75,-365,-288] score:4 log result time:12.63 |
[-34,-498,-220] score:1 log result time:46.51 |
[-34,-2208,-2] score:2 log result time:7.01 |
| plasma-widgets-workspace.cudf | NOTSOL score:28 log result time:10.91 |
NOTSOL score:28 log result time:207.25 |
[-50,-2196,-39] score:3 log result time:223.00 |
[-52,-422,-294] score:4 log result time:284.20 |
[-52,-422,-294] score:4 log result time:13.02 |
[-34,-425,-262] score:1 log result time:43.62 |
[-34,-2179,-35] score:2 log result time:7.18 |
| plasma-dataengines-workspace.cudf | NOTSOL score:28 log result time:10.94 |
NOTSOL score:28 log result time:208.99 |
[-50,-2195,-37] score:5 log result time:216.46 |
[-38,-430,-270] score:3 log result time:280.18 |
[-38,-430,-270] score:3 log result time:22.03 |
[-34,-425,-261] score:1 log result time:43.06 |
[-34,-2179,-33] score:2 log result time:7.22 |
| openoffice.org-draw.cudf | NOTSOL score:28 log result time:10.92 |
NOTSOL score:28 log result time:211.25 |
[-45,-2210,-6] score:5 log result time:240.63 |
[-37,-542,-217] score:3 log result time:281.44 |
[-37,-542,-217] score:3 log result time:13.13 |
[-33,-530,-208] score:1 log result time:46.51 |
[-33,-2209,-1] score:2 log result time:7.07 |
| mono-mcs.cudf | NOTSOL score:28 log result time:11.02 |
NOTSOL score:28 log result time:209.13 |
[-45,-2210,-6] score:5 log result time:238.84 |
[-37,-537,-220] score:3 log result time:283.48 |
[-37,-537,-220] score:3 log result time:14.31 |
[-33,-530,-208] score:1 log result time:44.41 |
[-33,-2209,-1] score:2 log result time:7.09 |
| mono-gac.cudf | NOTSOL score:28 log result time:11.13 |
NOTSOL score:28 log result time:208.74 |
[-45,-2210,-6] score:3 log result time:239.47 |
[-51,-429,-277] score:5 log result time:296.05 |
[-51,-429,-276] score:4 log result time:13.78 |
[-33,-530,-209] score:1 log result time:45.69 |
[-33,-2209,-1] score:2 log result time:7.08 |
| mono-debugger.cudf | NOTSOL score:28 log result time:10.90 |
NOTSOL score:28 log result time:208.80 |
[-48,-2201,-13] score:5 log result time:220.16 |
[-37,-536,-261] score:3 log result time:295.48 |
[-37,-536,-261] score:3 log result time:13.25 |
[-33,-533,-254] score:1 log result time:46.06 |
[-35,-2206,-3] score:2 log result time:7.10 |
| libwnck2.20-cil.cudf | NOTSOL score:28 log result time:11.10 |
NOTSOL score:28 log result time:208.16 |
[-45,-2210,-7] score:3 log result time:162.71 |
[-46,-525,-254] score:4 log result time:283.28 |
[-46,-525,-254] score:4 log result time:15.20 |
[-33,-532,-254] score:1 log result time:45.74 |
[-35,-2208,-2] score:2 log result time:7.08 |
| libmono-relaxng1.0-cil.cudf | NOTSOL score:28 log result time:10.96 |
NOTSOL score:28 log result time:212.40 |
[-45,-2210,-7] score:5 log result time:240.91 |
[-37,-537,-261] score:3 log result time:288.27 |
[-37,-537,-261] score:3 log result time:15.19 |
[-33,-532,-253] score:1 log result time:45.93 |
[-35,-2208,-2] score:2 log result time:7.04 |
| libmono-addins-gui0.2-cil.cudf | NOTSOL score:28 log result time:11.00 |
NOTSOL score:28 log result time:208.57 |
[-48,-2201,-15] score:5 log result time:254.03 |
[-37,-534,-261] score:3 log result time:288.09 |
[-37,-534,-261] score:3 log result time:16.76 |
[-33,-532,-255] score:1 log result time:46.40 |
[-35,-2205,-3] score:2 log result time:7.10 |
| libgnokii4.cudf | NOTSOL score:28 log result time:11.12 |
NOTSOL score:28 log result time:208.72 |
[-49,-2204,-8] score:5 log result time:256.03 |
[-38,-534,-218] score:3 log result time:280.90 |
[-38,-534,-218] score:3 log result time:16.87 |
[-34,-526,-209] score:1 log result time:46.41 |
[-34,-2204,-2] score:2 log result time:7.12 |
| libevolution3.0-cil.cudf | NOTSOL score:28 log result time:10.86 |
NOTSOL score:28 log result time:207.70 |
[-45,-2210,-7] score:5 log result time:181.14 |
[-37,-536,-262] score:3 log result time:287.32 |
[-37,-536,-262] score:3 log result time:16.51 |
[-33,-532,-255] score:1 log result time:45.43 |
[-35,-2207,-2] score:2 log result time:6.85 |
| kwin-style-crystal.cudf | NOTSOL score:28 log result time:10.85 |
NOTSOL score:28 log result time:207.97 |
[-45,-2211,-7] score:3 log result time:267.82 |
[-66,-387,-316] score:4 log result time:217.40 |
[-66,-387,-316] score:4 log result time:11.50 |
[-33,-531,-209] score:1 log result time:45.52 |
[-33,-2210,-2] score:2 log result time:7.09 |
| ktouch.cudf | NOTSOL score:28 log result time:10.82 |
NOTSOL score:28 log result time:208.54 |
[-45,-2210,-6] score:3 log result time:277.00 |
[-51,-429,-273] score:4 log result time:281.25 |
[-51,-429,-276] score:5 log result time:10.48 |
[-33,-530,-208] score:1 log result time:45.28 |
[-33,-2209,-1] score:2 log result time:7.08 |
| ksystemlog.cudf | NOTSOL score:28 log result time:11.08 |
NOTSOL score:28 log result time:207.86 |
[-45,-2211,-7] score:5 log result time:252.75 |
[-37,-539,-219] score:3 log result time:281.44 |
[-37,-539,-219] score:3 log result time:15.08 |
[-33,-531,-209] score:1 log result time:45.40 |
[-33,-2210,-2] score:2 log result time:7.11 |
| kphotoalbum.cudf | NOTSOL score:28 log result time:11.02 |
NOTSOL score:28 log result time:208.80 |
[-45,-2210,-6] score:3 log result time:242.39 |
[-51,-429,-273] score:4 log result time:279.23 |
[-51,-429,-273] score:4 log result time:10.00 |
[-33,-530,-208] score:1 log result time:45.41 |
[-33,-2209,-1] score:2 log result time:7.02 |
| kommander.cudf | NOTSOL score:28 log result time:11.04 |
NOTSOL score:28 log result time:209.94 |
[-45,-2210,-6] score:3 log result time:241.84 |
[-51,-429,-273] score:4 log result time:281.88 |
[-51,-429,-276] score:5 log result time:10.26 |
[-33,-530,-209] score:1 log result time:52.29 |
[-33,-2209,-1] score:2 log result time:8.46 |
| knetwalk.cudf | NOTSOL score:28 log result time:10.96 |
NOTSOL score:28 log result time:208.93 |
[-45,-2210,-6] score:3 log result time:239.42 |
[-51,-429,-273] score:4 log result time:281.22 |
[-51,-429,-273] score:4 log result time:10.57 |
[-33,-530,-208] score:1 log result time:51.63 |
[-33,-2209,-1] score:2 log result time:7.22 |
| kmines.cudf | NOTSOL score:28 log result time:10.79 |
NOTSOL score:28 log result time:206.69 |
[-45,-2210,-6] score:3 log result time:239.44 |
[-51,-429,-273] score:4 log result time:281.85 |
[-51,-429,-273] score:4 log result time:12.32 |
[-33,-530,-208] score:1 log result time:49.44 |
[-33,-2209,-1] score:2 log result time:7.15 |
| kjumpingcube.cudf | NOTSOL score:28 log result time:11.05 |
NOTSOL score:28 log result time:206.12 |
[-45,-2210,-6] score:3 log result time:248.65 |
[-51,-429,-273] score:4 log result time:280.20 |
[-51,-429,-273] score:4 log result time:10.90 |
[-33,-530,-208] score:1 log result time:51.06 |
[-33,-2209,-1] score:2 log result time:8.96 |
| kfilereplace.cudf | NOTSOL score:28 log result time:10.96 |
NOTSOL score:28 log result time:210.63 |
[-45,-2210,-6] score:3 log result time:247.99 |
[-51,-429,-277] score:5 log result time:269.40 |
[-51,-429,-273] score:4 log result time:10.02 |
[-33,-530,-208] score:1 log result time:47.50 |
[-33,-2209,-1] score:2 log result time:8.75 |
| kdesudo.cudf | NOTSOL score:28 log result time:10.87 |
NOTSOL score:28 log result time:208.73 |
[-45,-2211,-7] score:5 log result time:211.79 |
[-36,-538,-259] score:3 log result time:283.86 |
[-36,-538,-261] score:4 log result time:13.38 |
[-33,-531,-210] score:1 log result time:54.15 |
[-33,-2210,-2] score:2 log result time:7.21 |
| kdessh.cudf | NOTSOL score:28 log result time:11.01 |
NOTSOL score:28 log result time:211.00 |
[-45,-2210,-6] score:3 log result time:239.79 |
[-51,-429,-277] score:5 log result time:289.46 |
[-51,-429,-273] score:4 log result time:11.42 |
[-33,-530,-208] score:1 log result time:54.44 |
[-33,-2209,-1] score:2 log result time:7.14 |
| kdemultimedia-kio-plugins.cudf | NOTSOL score:28 log result time:10.86 |
NOTSOL score:28 log result time:209.90 |
[-45,-2210,-6] score:3 log result time:240.12 |
[-51,-429,-276] score:5 log result time:280.83 |
[-51,-429,-275] score:4 log result time:10.70 |
[-33,-530,-208] score:1 log result time:48.68 |
[-33,-2209,-1] score:2 log result time:8.40 |
| kblocks.cudf | NOTSOL score:28 log result time:10.74 |
NOTSOL score:28 log result time:208.64 |
[-46,-2212,-30] score:5 log result time:208.22 |
[-38,-430,-269] score:3 log result time:286.00 |
[-38,-430,-269] score:3 log result time:14.82 |
[-34,-425,-260] score:1 log result time:48.80 |
[-34,-2210,-25] score:2 log result time:9.05 |
| kbd.cudf | NOTSOL score:28 log result time:11.24 |
NOTSOL score:28 log result time:211.09 |
[-53,-2197,-2] score:5 log result time:246.82 |
[-38,-537,-221] score:3 log result time:282.10 |
[-38,-537,-221] score:3 log result time:18.88 |
[-34,-530,-209] score:1 log result time:52.87 |
[-34,-2207,-2] score:2 log result time:7.24 |
| inetutils-syslogd.cudf | NOTSOL score:28 log result time:11.00 |
NOTSOL score:28 log result time:211.35 |
[-47,-2208,-7] score:5 log result time:293.37 |
[-47,-508,-252] score:3 log result time:283.45 |
[-47,-508,-252] score:3 log result time:12.54 |
[-35,-530,-210] score:1 log result time:55.29 |
[-35,-2207,-2] score:2 log result time:7.21 |
| gtwitter.cudf | NOTSOL score:28 log result time:10.94 |
NOTSOL score:28 log result time:217.80 |
[-48,-2199,-22] score:5 log result time:229.42 |
[-37,-535,-260] score:3 log result time:257.27 |
[-37,-535,-260] score:3 log result time:16.89 |
[-33,-532,-255] score:1 log result time:44.95 |
[-34,-2219,-27] score:2 log result time:6.95 |
| gpc-4.1.cudf | NOTSOL score:28 log result time:10.69 |
NOTSOL score:28 log result time:209.94 |
[-46,-2205,-7] score:5 log result time:240.41 |
[-38,-532,-222] score:3 log result time:281.23 |
[-38,-532,-222] score:3 log result time:14.80 |
[-34,-525,-209] score:1 log result time:47.86 |
[-34,-2204,-2] score:2 log result time:7.28 |
| gnash-common-opengl.cudf | NOTSOL score:28 log result time:10.82 |
NOTSOL score:28 log result time:210.20 |
[-47,-2208,-10] score:5 log result time:258.63 |
[-39,-535,-218] score:3 log result time:279.99 |
[-39,-535,-218] score:3 log result time:13.65 |
[-35,-530,-210] score:1 log result time:55.21 |
[-35,-2208,-2] score:2 log result time:7.36 |
| fcron.cudf | NOTSOL score:28 log result time:11.23 |
NOTSOL score:28 log result time:209.79 |
[-46,-2209,-7] score:5 log result time:240.86 |
[-38,-542,-218] score:3 log result time:281.63 |
[-38,-542,-218] score:3 log result time:12.78 |
[-34,-530,-209] score:1 log result time:49.42 |
[-34,-2208,-2] score:2 log result time:7.82 |
| dpkg-dev.cudf | NOTSOL score:28 log result time:11.04 |
NOTSOL score:28 log result time:211.28 |
[-45,-2210,-6] score:3 log result time:240.43 |
[-51,-429,-273] score:4 log result time:281.91 |
[-51,-429,-276] score:5 log result time:10.24 |
[-33,-530,-208] score:1 log result time:48.83 |
[-33,-2209,-1] score:2 log result time:7.24 |
| audacious-plugins-extra.cudf | NOTSOL score:28 log result time:11.08 |
NOTSOL score:28 log result time:212.09 |
[-45,-2213,-20] score:5 log result time:284.32 |
[-37,-539,-232] score:3 log result time:282.05 |
[-37,-539,-232] score:3 log result time:12.71 |
[-33,-533,-222] score:1 log result time:51.43 |
[-33,-2212,-15] score:2 log result time:8.20 |
| ark.cudf | NOTSOL score:28 log result time:11.02 |
NOTSOL score:28 log result time:212.03 |
[-45,-2210,-6] score:3 log result time:239.71 |
[-51,-429,-276] score:5 log result time:282.29 |
[-51,-429,-273] score:4 log result time:11.78 |
[-33,-530,-208] score:1 log result time:50.71 |
[-33,-2209,-1] score:2 log result time:7.72 |
Category: caixa
| Problem | apt-pbo-trendy | inesc-udl-trendy | p2cudf-p2 | p2cudf-trendy | p2cudf-trendy2 | solver-unsa-lextrendy | solver-unsa-trendy |
|---|---|---|---|---|---|---|---|
| 658.cudf | ABORT 21 log |
FAIL 14 log time:13.11 |
FAIL 14 log time:3.87 |
FAIL 14 log time:4.04 |
FAIL 14 log time:3.78 |
ABORT 21 log |
ABORT 21 log |
| 650.cudf | ABORT 21 log |
[0,0,-1] score:1 log result time:14.78 |
[-22,0,-21] score:4 log result time:9.25 |
[-22,0,-1] score:2 log result time:6.86 |
[-22,0,-1] score:2 log result time:6.48 |
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.92 |
FAIL 14 log time:6.34 |
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:6.98 |
FAIL 14 log time:6.60 |
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:6.70 |
FAIL 14 log time:6.10 |
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.43 |
FAIL 14 log time:5.12 |
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:6.04 |
FAIL 14 log time:6.72 |
ABORT 21 log |
ABORT 21 log |
| 558.cudf | ABORT 21 log |
[0,0,-2] score:1 log result time:14.37 |
FAIL 14 log time:6.47 |
FAIL 14 log time:5.17 |
FAIL 14 log time:6.28 |
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.71 |
FAIL 14 log time:5.92 |
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.78 |
FAIL 14 log time:5.88 |
ABORT 21 log |
ABORT 21 log |
| 550.cudf | ABORT 21 log |
[0,0,-2] score:1 log result time:14.63 |
FAIL 14 log time:6.86 |
FAIL 14 log time:6.26 |
FAIL 14 log time:6.19 |
ABORT 21 log |
ABORT 21 log |
| 522.cudf | ABORT 21 log |
FAIL 14 log time:13.81 |
FAIL 14 log time:5.83 |
FAIL 14 log time:5.58 |
FAIL 14 log time:5.01 |
ABORT 21 log |
ABORT 21 log |
| 521.cudf | ABORT 21 log |
FAIL 14 log time:13.70 |
FAIL 14 log time:6.74 |
FAIL 14 log time:5.34 |
FAIL 14 log time:5.76 |
ABORT 21 log |
ABORT 21 log |
| 520.cudf | ABORT 21 log |
FAIL 14 log time:13.71 |
FAIL 14 log time:5.72 |
FAIL 14 log time:4.78 |
FAIL 14 log time:6.13 |
ABORT 21 log |
ABORT 21 log |
| 519.cudf | ABORT 21 log |
FAIL 14 log time:13.64 |
FAIL 14 log time:4.77 |
FAIL 14 log time:6.26 |
FAIL 14 log time:6.77 |
ABORT 21 log |
ABORT 21 log |
| 1468.cudf | ABORT 21 log |
[0,0,-5] score:1 log result time:15.08 |
[-25,0,-24] score:2 log result time:19.73 |
[-25,-1,-5] score:3 log result time:6.71 |
[-25,-1,-5] score:3 log result time:7.53 |
ABORT 21 log |
ABORT 21 log |
| 1378.cudf | ABORT 21 log |
FAIL 14 log time:14.08 |
FAIL 14 log time:6.22 |
FAIL 14 log time:5.33 |
FAIL 14 log time:6.04 |
ABORT 21 log |
ABORT 21 log |
| 1337.cudf | ABORT 21 log |
FAIL 14 log time:14.15 |
FAIL 14 log time:6.71 |
FAIL 14 log time:6.00 |
FAIL 14 log time:5.94 |
ABORT 21 log |
ABORT 21 log |
| 1336.cudf | ABORT 21 log |
FAIL 14 log time:14.25 |
FAIL 14 log time:6.64 |
FAIL 14 log time:6.77 |
FAIL 14 log time:6.20 |
ABORT 21 log |
ABORT 21 log |
| 1335.cudf | ABORT 21 log |
FAIL 14 log time:14.13 |
FAIL 14 log time:6.62 |
FAIL 14 log time:5.93 |
FAIL 14 log time:5.54 |
ABORT 21 log |
ABORT 21 log |
| 1243.cudf | ABORT 21 log |
FAIL 14 log time:14.19 |
FAIL 14 log time:5.78 |
FAIL 14 log time:5.76 |
FAIL 14 log time:6.48 |
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:6.39 |
FAIL 14 log time:6.66 |
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:5.95 |
FAIL 14 log time:5.63 |
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.40 |
FAIL 14 log time:6.01 |
ABORT 21 log |
ABORT 21 log |
| 1131.cudf | ABORT 21 log |
FAIL 14 log time:14.22 |
FAIL 14 log time:6.30 |
FAIL 14 log time:5.82 |
FAIL 14 log time:6.40 |
ABORT 21 log |
ABORT 21 log |
| 1126.cudf | ABORT 21 log |
FAIL 14 log time:13.52 |
FAIL 14 log time:3.90 |
FAIL 14 log time:3.80 |
FAIL 14 log time:3.82 |
ABORT 21 log |
ABORT 21 log |
| 1125.cudf | ABORT 21 log |
FAIL 14 log time:13.34 |
FAIL 14 log time:3.87 |
FAIL 14 log time:4.04 |
FAIL 14 log time:4.23 |
ABORT 21 log |
ABORT 21 log |
| 1124.cudf | ABORT 21 log |
FAIL 14 log time:13.44 |
FAIL 14 log time:3.99 |
FAIL 14 log time:3.84 |
FAIL 14 log time:3.93 |
ABORT 21 log |
ABORT 21 log |
| 1098.cudf | ABORT 21 log |
NOTSOL score:28 log result time:19.54 |
[0,-2,-256] score:1 log result time:5.06 |
[0,-2,-256] score:1 log result time:5.11 |
[0,-2,-256] score:1 log result time:5.50 |
ABORT 21 log |
ABORT 21 log |
| 1097.cudf | ABORT 21 log |
NOTSOL score:28 log result time:16.77 |
[0,-2,-125] score:1 log result time:5.11 |
[0,-2,-125] score:1 log result time:4.28 |
[0,-2,-125] score:1 log result time:3.97 |
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:4.03 |
FAIL 14 log time:4.01 |
ABORT 21 log |
ABORT 21 log |
| 1094.cudf | ABORT 21 log |
NOTSOL score:28 log result time:16.54 |
[0,-2,-126] score:1 log result time:4.52 |
[0,-2,-126] score:1 log result time:4.04 |
[0,-2,-126] score:1 log result time:3.96 |
ABORT 21 log |
ABORT 21 log |
| 1093.cudf | ABORT 21 log |
FAIL 14 log time:13.47 |
FAIL 14 log time:4.73 |
FAIL 14 log time:4.76 |
FAIL 14 log time:4.46 |
ABORT 21 log |
ABORT 21 log |
| 1084.cudf | ABORT 21 log |
FAIL 14 log time:13.57 |
FAIL 14 log time:4.28 |
FAIL 14 log time:3.23 |
FAIL 14 log time:3.14 |
ABORT 21 log |
ABORT 21 log |
| 1078.cudf | ABORT 21 log |
NOTSOL score:28 log result time:14.03 |
[0,0,-4] score:1 log result time:3.77 |
[0,0,-4] score:1 log result time:3.27 |
[0,0,-4] score:1 log result time:3.86 |
ABORT 21 log |
ABORT 21 log |
| 1077.cudf | ABORT 21 log |
FAIL 14 log time:13.51 |
FAIL 14 log time:4.33 |
FAIL 14 log time:4.84 |
FAIL 14 log time:4.75 |
ABORT 21 log |
ABORT 21 log |
| 1075.cudf | ABORT 21 log |
FAIL 14 log time:13.48 |
FAIL 14 log time:3.80 |
FAIL 14 log time:3.53 |
FAIL 14 log time:3.77 |
ABORT 21 log |
ABORT 21 log |
| 1037.cudf | ABORT 21 log |
NOTSOL score:28 log result time:16.35 |
[0,-3,-90] score:1 log result time:4.63 |
[0,-3,-90] score:1 log result time:4.58 |
[0,-3,-90] score:1 log result time:3.94 |
ABORT 21 log |
ABORT 21 log |
| 1034.cudf | ABORT 21 log |
FAIL 14 log time:13.60 |
FAIL 14 log time:4.77 |
FAIL 14 log time:4.76 |
FAIL 14 log time:4.26 |
ABORT 21 log |
ABORT 21 log |
| 1021.cudf | ABORT 21 log |
FAIL 14 log time:13.46 |
FAIL 14 log time:3.81 |
FAIL 14 log time:3.74 |
FAIL 14 log time:3.66 |
ABORT 21 log |
ABORT 21 log |
Category: rand.biglist
| Problem | apt-pbo-trendy | inesc-udl-trendy | p2cudf-p2 | p2cudf-trendy | p2cudf-trendy2 | solver-unsa-lextrendy | solver-unsa-trendy |
|---|---|---|---|---|---|---|---|
| randfe95e3.cudf | FAIL 14 log time:11.97 |
FAIL 14 log time:22.72 |
FAIL 14 log time:6.77 |
FAIL 14 log time:8.19 |
FAIL 14 log time:5.94 |
FAIL 14 log time:1.89 |
FAIL 14 log time:1.85 |
| randf7d077.cudf | FAIL 14 log time:12.10 |
FAIL 14 log time:23.25 |
FAIL 14 log time:5.55 |
FAIL 14 log time:7.80 |
FAIL 14 log time:6.69 |
FAIL 14 log time:2.88 |
FAIL 14 log time:2.81 |
| randee102b.cudf | NOTSOL score:28 log result time:144.18 |
NOTSOL score:28 log result time:53.18 |
[-25,-459,-616] score:5 log result time:21.01 |
[-7,-27,-661] score:1 log result time:44.63 |
[-7,-28,-668] score:3 log result time:9.18 |
[-7,-27,-661] score:1 log result time:7.92 |
[-7,-427,-561] score:4 log result time:3.51 |
| randd1cab2.cudf | NOTSOL score:28 log result time:12.15 |
NOTSOL score:28 log result time:49.25 |
[-19,-406,-458] score:5 log result time:22.46 |
[-8,-10,-576] score:1 log result time:12.18 |
[-8,-11,-575] score:3 log result time:8.40 |
[-8,-10,-576] score:1 log result time:7.69 |
[-8,-412,-418] score:4 log result time:3.17 |
| randbccf2d.cudf | [-3,-621,-405] score:5 log result time:196.17 |
NOTSOL score:28 log result time:53.38 |
[-8,-491,-463] score:6 log result time:22.54 |
[-3,-101,-593] score:2 log result time:289.57 |
[-3,-101,-593] score:2 log result time:10.76 |
[-3,-101,-592] score:1 log result time:8.45 |
[-3,-480,-402] score:4 log result time:3.27 |
| randb87834.cudf | [-7,-616,-420] score:5 log result time:202.16 |
NOTSOL score:28 log result time:50.22 |
[-12,-476,-454] score:6 log result time:23.80 |
[-6,-70,-551] score:2 log result time:272.89 |
[-6,-70,-553] score:3 log result time:10.46 |
[-6,-69,-553] score:1 log result time:8.00 |
[-6,-478,-414] score:4 log result time:3.14 |
| randb3c96d.cudf | FAIL 14 log time:12.18 |
FAIL 14 log time:22.82 |
FAIL 14 log time:7.05 |
FAIL 14 log time:8.38 |
FAIL 14 log time:6.11 |
FAIL 14 log time:1.90 |
FAIL 14 log time:1.86 |
| randaefc7c.cudf | [0,-476,0] score:3 log result time:89.24 |
NOTSOL score:28 log result time:38.05 |
[0,-476,0] score:3 log result time:6.91 |
ABORT 21 log |
[0,-219,-36] score:2 log result time:7.92 |
[0,-216,-30] score:1 log result time:7.44 |
[0,-476,0] score:3 log result time:3.72 |
| randaef248.cudf | FAIL 14 log time:12.21 |
FAIL 14 log time:22.64 |
FAIL 14 log time:6.80 |
FAIL 14 log time:5.66 |
FAIL 14 log time:7.89 |
FAIL 14 log time:1.93 |
FAIL 14 log time:1.87 |
| randa6997e.cudf | [-3,-640,-524] score:5 log result time:204.92 |
NOTSOL score:28 log result time:50.97 |
[-8,-498,-555] score:6 log result time:20.28 |
[-3,-101,-590] score:1 log result time:276.69 |
[-3,-101,-592] score:3 log result time:10.40 |
[-3,-101,-590] score:1 log result time:8.83 |
[-3,-485,-520] score:4 log result time:3.30 |
| randa491d5.cudf | FAIL 14 log time:12.33 |
FAIL 14 log time:22.93 |
FAIL 14 log time:6.55 |
FAIL 14 log time:5.56 |
FAIL 14 log time:5.56 |
FAIL 14 log time:2.67 |
FAIL 14 log time:2.68 |
| randa09fe9.cudf | [-6,-579,-449] score:5 log result time:224.51 |
NOTSOL score:28 log result time:50.47 |
[-14,-469,-476] score:6 log result time:26.04 |
[-5,-64,-553] score:2 log result time:276.31 |
[-5,-64,-570] score:3 log result time:11.93 |
[-5,-63,-570] score:1 log result time:8.27 |
[-5,-458,-448] score:4 log result time:3.17 |
| rand902db1.cudf | [0,-476,0] score:3 log result time:60.01 |
NOTSOL score:28 log result time:29.49 |
[0,-476,0] score:3 log result time:7.47 |
ABORT 21 log |
[0,-219,-35] score:2 log result time:7.63 |
[0,-216,-30] score:1 log result time:7.83 |
[0,-476,0] score:3 log result time:2.57 |
| rand8177e7.cudf | [-3,-640,-442] score:5 log result time:205.60 |
NOTSOL score:28 log result time:58.56 |
[-12,-507,-488] score:6 log result time:23.82 |
[-3,-79,-623] score:2 log result time:281.71 |
[-3,-79,-647] score:3 log result time:8.48 |
[-3,-77,-639] score:1 log result time:10.03 |
[-3,-505,-442] score:4 log result time:3.58 |
| rand6d579e.cudf | [-7,-640,-548] score:5 log result time:321.63 |
NOTSOL score:28 log result time:54.03 |
[-18,-473,-602] score:6 log result time:25.88 |
[-4,-36,-656] score:2 log result time:276.41 |
[-4,-36,-673] score:3 log result time:8.59 |
[-4,-36,-655] score:1 log result time:10.26 |
[-4,-480,-541] score:4 log result time:3.87 |
| rand65d021.cudf | FAIL 14 log time:12.16 |
FAIL 14 log time:22.82 |
FAIL 14 log time:6.03 |
FAIL 14 log time:7.80 |
FAIL 14 log time:6.40 |
FAIL 14 log time:3.24 |
FAIL 14 log time:2.81 |
| rand659e05.cudf | FAIL 14 log time:11.94 |
FAIL 14 log time:22.67 |
FAIL 14 log time:7.24 |
FAIL 14 log time:8.09 |
FAIL 14 log time:6.32 |
FAIL 14 log time:2.28 |
FAIL 14 log time:2.18 |
| rand5c0b12.cudf | FAIL 14 log time:12.30 |
FAIL 14 log time:22.63 |
FAIL 14 log time:6.32 |
FAIL 14 log time:7.93 |
FAIL 14 log time:7.38 |
FAIL 14 log time:2.27 |
FAIL 14 log time:1.89 |
| rand4bf850.cudf | [-7,-514,-397] score:5 log result time:196.70 |
NOTSOL score:28 log result time:46.32 |
[-19,-414,-434] score:6 log result time:18.86 |
[-6,-26,-479] score:1 log result time:9.98 |
[-6,-26,-480] score:3 log result time:7.72 |
[-6,-26,-479] score:1 log result time:7.84 |
[-6,-396,-389] score:4 log result time:3.67 |
| rand43bd88.cudf | NOTSOL score:28 log result time:242.98 |
NOTSOL score:28 log result time:59.03 |
[-32,-459,-635] score:5 log result time:26.62 |
[-8,-15,-734] score:1 log result time:12.71 |
[-8,-15,-735] score:3 log result time:12.72 |
[-8,-15,-734] score:1 log result time:10.78 |
[-8,-426,-592] score:4 log result time:4.18 |
| rand35d0c8.cudf | [-3,-580,-349] score:5 log result time:173.22 |
NOTSOL score:28 log result time:47.85 |
[-7,-487,-374] score:6 log result time:21.86 |
[-3,-101,-482] score:2 log result time:287.02 |
[-3,-101,-483] score:3 log result time:10.62 |
[-3,-100,-481] score:1 log result time:9.06 |
[-3,-488,-349] score:4 log result time:3.99 |
| rand2d8467.cudf | [-11,-607,-358] score:5 log result time:191.58 |
NOTSOL score:28 log result time:47.27 |
[-22,-485,-392] score:6 log result time:22.85 |
[-7,-11,-535] score:1 log result time:16.66 |
[-8,-29,-529] score:4 log result time:11.72 |
[-7,-11,-535] score:1 log result time:8.94 |
[-7,-461,-367] score:3 log result time:3.68 |
| rand2d77b5.cudf | FAIL 14 log time:12.32 |
FAIL 14 log time:22.79 |
FAIL 14 log time:7.00 |
FAIL 14 log time:7.17 |
FAIL 14 log time:7.09 |
FAIL 14 log time:2.25 |
FAIL 14 log time:2.01 |
| rand199fd6.cudf | FAIL 14 log time:12.22 |
FAIL 14 log time:22.67 |
FAIL 14 log time:5.39 |
FAIL 14 log time:8.07 |
FAIL 14 log time:6.70 |
FAIL 14 log time:2.08 |
FAIL 14 log time:1.91 |
| rand144372.cudf | FAIL 14 log time:12.10 |
FAIL 14 log time:22.71 |
FAIL 14 log time:5.60 |
FAIL 14 log time:6.48 |
FAIL 14 log time:6.49 |
FAIL 14 log time:1.94 |
FAIL 14 log time:2.11 |
| rand13056c.cudf | [-6,-628,-531] score:5 log result time:223.40 |
NOTSOL score:28 log result time:56.25 |
[-16,-461,-562] score:6 log result time:21.82 |
[-5,-59,-685] score:1 log result time:276.48 |
[-5,-59,-686] score:3 log result time:10.15 |
[-5,-59,-685] score:1 log result time:9.31 |
[-5,-448,-526] score:4 log result time:3.18 |
| rand0c02bc.cudf | [-6,-596,-335] score:5 log result time:189.61 |
NOTSOL score:28 log result time:48.43 |
[-14,-486,-353] score:6 log result time:19.92 |
[-5,-62,-517] score:1 log result time:136.17 |
[-5,-62,-519] score:3 log result time:9.04 |
[-5,-62,-517] score:1 log result time:8.05 |
[-5,-484,-332] score:4 log result time:3.79 |
Category: rand.newlist
| Problem | apt-pbo-trendy | inesc-udl-trendy | p2cudf-p2 | p2cudf-trendy | p2cudf-trendy2 | solver-unsa-lextrendy | solver-unsa-trendy |
|---|---|---|---|---|---|---|---|
| randfd04d4.cudf | [-2,-528,-212] score:5 log result time:164.11 |
NOTSOL score:28 log result time:44.43 |
[-5,-462,-222] score:6 log result time:11.00 |
[-2,-88,-337] score:1 log result time:292.11 |
[-2,-88,-337] score:1 log result time:9.03 |
[-2,-88,-337] score:1 log result time:8.53 |
[-2,-459,-205] score:4 log result time:3.28 |
| randf794d2.cudf | [-6,-516,-227] score:5 log result time:167.80 |
NOTSOL score:28 log result time:43.35 |
[-12,-459,-238] score:6 log result time:14.34 |
[-5,-57,-333] score:1 log result time:58.42 |
[-5,-57,-334] score:3 log result time:8.35 |
[-5,-57,-333] score:1 log result time:8.12 |
[-5,-449,-223] score:4 log result time:3.14 |
| randf66c83.cudf | [-3,-538,-177] score:5 log result time:145.06 |
NOTSOL score:28 log result time:42.29 |
[-6,-479,-186] score:6 log result time:22.30 |
[-3,-92,-271] score:1 log result time:297.27 |
[-3,-92,-272] score:3 log result time:8.09 |
[-3,-92,-271] score:1 log result time:8.26 |
[-3,-472,-177] score:4 log result time:3.24 |
| randec6fe1.cudf | [-9,-498,-241] score:5 log result time:181.57 |
NOTSOL score:28 log result time:43.27 |
[-19,-418,-262] score:6 log result time:20.74 |
[-6,-24,-348] score:1 log result time:7.62 |
[-6,-24,-348] score:1 log result time:8.70 |
[-6,-24,-348] score:1 log result time:7.95 |
[-6,-411,-242] score:4 log result time:3.12 |
| randd92c9f.cudf | [-5,-503,-167] score:5 log result time:151.17 |
NOTSOL score:28 log result time:41.98 |
[-8,-449,-182] score:6 log result time:23.70 |
[-4,-60,-268] score:1 log result time:51.55 |
[-4,-60,-269] score:3 log result time:9.94 |
[-4,-60,-268] score:1 log result time:8.55 |
[-4,-440,-167] score:4 log result time:3.28 |
| randd7b2b4.cudf | [-5,-512,-148] score:5 log result time:150.74 |
NOTSOL score:28 log result time:42.60 |
[-9,-452,-175] score:6 log result time:20.10 |
[-3,-61,-287] score:1 log result time:117.39 |
[-3,-61,-288] score:3 log result time:8.71 |
[-3,-61,-287] score:1 log result time:8.55 |
[-3,-463,-148] score:4 log result time:3.25 |
| randcebca4.cudf | [-7,-520,-237] score:5 log result time:180.66 |
NOTSOL score:28 log result time:46.80 |
[-16,-437,-259] score:6 log result time:26.99 |
[-4,-38,-381] score:1 log result time:27.08 |
[-4,-38,-381] score:1 log result time:6.91 |
[-4,-38,-381] score:1 log result time:7.84 |
[-4,-428,-239] score:4 log result time:3.27 |
| randc7f8e5.cudf | NOTSOL score:28 log result time:219.62 |
NOTSOL score:28 log result time:42.93 |
[-19,-424,-216] score:5 log result time:21.33 |
[-6,-42,-306] score:1 log result time:76.68 |
[-6,-42,-313] score:3 log result time:10.16 |
[-6,-42,-306] score:1 log result time:8.34 |
[-6,-424,-192] score:4 log result time:3.23 |
| randc5fe62.cudf | [-1,-588,-262] score:4 log result time:165.91 |
NOTSOL score:28 log result time:45.01 |
[-5,-501,-271] score:5 log result time:11.13 |
ABORT 21 log |
[-1,-94,-352] score:2 log result time:7.58 |
[-1,-94,-350] score:1 log result time:8.23 |
[-1,-477,-262] score:3 log result time:3.33 |
| randc5b1f2.cudf | FAIL 14 log time:11.84 |
FAIL 14 log time:22.56 |
FAIL 14 log time:5.64 |
FAIL 14 log time:6.44 |
FAIL 14 log time:5.58 |
FAIL 14 log time:1.89 |
FAIL 14 log time:1.84 |
| randc18b26.cudf | [-8,-580,-355] score:5 log result time:203.90 |
NOTSOL score:28 log result time:46.33 |
[-17,-472,-389] score:6 log result time:22.15 |
[-6,-64,-398] score:2 log result time:276.64 |
[-7,-27,-412] score:4 log result time:7.23 |
[-6,-63,-401] score:1 log result time:9.96 |
[-6,-436,-320] score:3 log result time:3.54 |
| randb54299.cudf | NOTSOL score:28 log result time:242.34 |
NOTSOL score:28 log result time:44.54 |
[-26,-416,-315] score:5 log result time:17.34 |
[-7,-12,-394] score:1 log result time:7.32 |
[-7,-12,-394] score:1 log result time:9.22 |
[-7,-12,-394] score:1 log result time:10.37 |
[-7,-403,-291] score:4 log result time:3.22 |
| randa2004a.cudf | [-1,-531,-201] score:4 log result time:161.75 |
NOTSOL score:28 log result time:44.19 |
[-3,-456,-219] score:5 log result time:17.64 |
ABORT 21 log |
[-1,-94,-316] score:2 log result time:11.53 |
[-1,-94,-314] score:1 log result time:8.30 |
[-1,-459,-201] score:3 log result time:3.81 |
| rand9ffe99.cudf | [-3,-553,-288] score:5 log result time:172.57 |
NOTSOL score:28 log result time:45.19 |
[-7,-470,-298] score:6 log result time:8.02 |
[-3,-95,-353] score:1 log result time:282.74 |
[-3,-95,-354] score:3 log result time:9.85 |
[-3,-95,-353] score:1 log result time:9.86 |
[-3,-470,-288] score:4 log result time:3.39 |
| rand767898.cudf | [-3,-559,-221] score:5 log result time:159.75 |
NOTSOL score:28 log result time:44.32 |
[-6,-488,-227] score:6 log result time:19.14 |
[-3,-90,-361] score:2 log result time:285.79 |
[-3,-90,-362] score:3 log result time:7.45 |
[-3,-89,-361] score:1 log result time:8.94 |
[-3,-463,-219] score:4 log result time:3.40 |
| rand71b131.cudf | [-4,-542,-337] score:5 log result time:189.21 |
NOTSOL score:28 log result time:47.20 |
[-14,-436,-377] score:6 log result time:8.72 |
[-3,-61,-439] score:1 log result time:269.78 |
[-4,-28,-450] score:4 log result time:7.90 |
[-3,-61,-439] score:1 log result time:9.59 |
[-3,-437,-327] score:3 log result time:4.00 |
| rand5d20db.cudf | [-4,-518,-251] score:5 log result time:184.21 |
NOTSOL score:28 log result time:47.69 |
[-11,-440,-275] score:6 log result time:21.68 |
[-3,-65,-344] score:1 log result time:273.54 |
[-3,-65,-346] score:3 log result time:7.00 |
[-3,-65,-344] score:1 log result time:9.87 |
[-3,-440,-247] score:4 log result time:3.42 |
| rand4b919e.cudf | [-4,-543,-172] score:5 log result time:159.58 |
NOTSOL score:28 log result time:46.05 |
[-8,-477,-189] score:6 log result time:24.72 |
[-3,-67,-284] score:2 log result time:278.30 |
[-3,-67,-284] score:2 log result time:10.14 |
[-3,-67,-283] score:1 log result time:10.33 |
[-3,-471,-173] score:4 log result time:3.41 |
| rand4a23d9.cudf | [-4,-549,-121] score:5 log result time:113.29 |
NOTSOL score:28 log result time:41.39 |
[-15,-528,-122] score:6 log result time:11.50 |
[-4,-73,-255] score:1 log result time:292.37 |
[-4,-73,-256] score:3 log result time:8.72 |
[-4,-73,-255] score:1 log result time:12.32 |
[-4,-529,-120] score:4 log result time:4.11 |
| rand3c03fd.cudf | [-5,-502,-191] score:5 log result time:152.06 |
NOTSOL score:28 log result time:43.79 |
[-8,-449,-214] score:6 log result time:20.96 |
[-3,-62,-300] score:1 log result time:134.93 |
[-3,-62,-301] score:3 log result time:8.18 |
[-3,-62,-300] score:1 log result time:10.19 |
[-3,-449,-188] score:4 log result time:3.33 |
| rand362510.cudf | [-1,-549,-221] score:5 log result time:160.85 |
NOTSOL score:28 log result time:46.26 |
[-4,-474,-243] score:6 log result time:23.49 |
[-1,-92,-359] score:2 log result time:280.41 |
[-1,-92,-359] score:2 log result time:8.86 |
[-1,-91,-357] score:1 log result time:9.53 |
[-1,-477,-221] score:4 log result time:3.43 |
| rand27da90.cudf | [-10,-503,-244] score:5 log result time:169.87 |
NOTSOL score:28 log result time:45.72 |
[-17,-418,-272] score:6 log result time:29.16 |
[-7,-23,-407] score:1 log result time:7.82 |
[-7,-23,-407] score:1 log result time:8.26 |
[-7,-23,-407] score:1 log result time:9.58 |
[-7,-422,-238] score:4 log result time:3.80 |
| rand271a0d.cudf | FAIL 14 log time:11.92 |
FAIL 14 log time:22.66 |
FAIL 14 log time:5.87 |
FAIL 14 log time:5.56 |
FAIL 14 log time:5.42 |
FAIL 14 log time:1.94 |
FAIL 14 log time:1.88 |
| rand18b530.cudf | [-8,-466,-165] score:5 log result time:164.10 |
NOTSOL score:28 log result time:41.84 |
[-20,-406,-178] score:6 log result time:28.44 |
[-4,-28,-275] score:1 log result time:13.40 |
[-4,-28,-275] score:1 log result time:13.43 |
[-4,-28,-275] score:1 log result time:8.89 |
[-4,-410,-156] score:4 log result time:3.55 |
| rand112989.cudf | NOTSOL score:28 log result time:202.31 |
NOTSOL score:28 log result time:46.84 |
[-28,-447,-258] score:5 log result time:17.73 |
[-7,-45,-379] score:1 log result time:20.24 |
[-7,-45,-380] score:3 log result time:8.22 |
[-7,-45,-379] score:1 log result time:9.25 |
[-7,-440,-247] score:4 log result time:3.57 |
| rand0a62b6.cudf | [-7,-523,-217] score:5 log result time:167.58 |
NOTSOL score:28 log result time:46.18 |
[-17,-465,-223] score:6 log result time:27.03 |
[-4,-28,-411] score:1 log result time:9.25 |
[-4,-28,-411] score:1 log result time:7.98 |
[-4,-28,-411] score:1 log result time:9.61 |
[-4,-451,-210] score:4 log result time:3.89 |
| rand085d8a.cudf | [-8,-476,-188] score:5 log result time:235.88 |
NOTSOL score:28 log result time:43.02 |
[-24,-405,-225] score:6 log result time:15.91 |
[-7,-22,-352] score:1 log result time:8.17 |
[-7,-22,-352] score:1 log result time:12.45 |
[-7,-22,-352] score:1 log result time:8.33 |
[-7,-411,-189] score:4 log result time:4.02 |
| rand00ebc7.cudf | FAIL 14 log time:12.00 |
FAIL 14 log time:22.69 |
FAIL 14 log time:5.24 |
FAIL 14 log time:5.56 |
FAIL 14 log time:5.05 |
FAIL 14 log time:1.97 |
FAIL 14 log time:1.88 |
Category: rand.smallist
| Problem | apt-pbo-trendy | inesc-udl-trendy | p2cudf-p2 | p2cudf-trendy | p2cudf-trendy2 | solver-unsa-lextrendy | solver-unsa-trendy |
|---|---|---|---|---|---|---|---|
| randea4da3.cudf | FAIL 14 log time:6.63 |
FAIL 14 log time:13.64 |
FAIL 14 log time:5.52 |
FAIL 14 log time:6.05 |
FAIL 14 log time:4.14 |
FAIL 14 log time:0.98 |
FAIL 14 log time:0.96 |
| rande89f80.cudf | [0,-44,-320] score:6 log result time:20.43 |
NOTSOL score:28 log result time:16.96 |
[0,-2,-326] score:4 log result time:8.70 |
[0,-1,-322] score:1 log result time:9.52 |
[0,-1,-322] score:1 log result time:11.15 |
[0,-1,-322] score:1 log result time:2.38 |
[0,-3,-320] score:5 log result time:1.25 |
| rande22180.cudf | FAIL 14 log time:6.61 |
FAIL 14 log time:13.76 |
FAIL 14 log time:5.94 |
FAIL 14 log time:5.87 |
FAIL 14 log time:8.80 |
FAIL 14 log time:0.99 |
FAIL 14 log time:0.97 |
| rande2165e.cudf | [-2,-78,-529] score:6 log result time:38.30 |
NOTSOL score:28 log result time:19.77 |
[-2,0,-543] score:3 log result time:12.71 |
[-2,0,-542] score:1 log result time:35.28 |
[-2,0,-543] score:3 log result time:6.09 |
[-2,0,-542] score:1 log result time:2.39 |
[-2,-14,-529] score:5 log result time:1.24 |
| randdd5509.cudf | FAIL 14 log time:6.69 |
FAIL 14 log time:13.59 |
FAIL 14 log time:4.92 |
FAIL 14 log time:4.88 |
FAIL 14 log time:5.12 |
FAIL 14 log time:1.02 |
FAIL 14 log time:0.99 |
| randdc506f.cudf | FAIL 14 log time:6.65 |
FAIL 14 log time:13.70 |
FAIL 14 log time:7.80 |
FAIL 14 log time:4.26 |
FAIL 14 log time:4.31 |
FAIL 14 log time:0.99 |
FAIL 14 log time:0.97 |
| randd6bc17.cudf | [0,0,0] score:1 log result time:14.22 |
NOTSOL score:28 log result time:14.38 |
[0,0,0] score:1 log result time:4.96 |
[0,0,0] score:1 log result time:4.50 |
[0,0,0] score:1 log result time:5.91 |
[0,0,0] score:1 log result time:2.30 |
[0,0,0] score:1 log result time:1.23 |
| randcef367.cudf | FAIL 14 log time:6.57 |
FAIL 14 log time:13.68 |
FAIL 14 log time:4.07 |
FAIL 14 log time:5.20 |
FAIL 14 log time:6.91 |
FAIL 14 log time:0.98 |
FAIL 14 log time:0.97 |
| randcbf550.cudf | FAIL 14 log time:6.52 |
FAIL 14 log time:13.73 |
FAIL 14 log time:7.49 |
FAIL 14 log time:5.43 |
FAIL 14 log time:3.90 |
FAIL 14 log time:0.98 |
FAIL 14 log time:0.98 |
| randbbb4ba.cudf | [-1,-67,-463] score:6 log result time:34.95 |
NOTSOL score:28 log result time:18.80 |
[-1,-1,-466] score:4 log result time:8.52 |
[-1,-1,-465] score:1 log result time:6.44 |
[-1,-1,-465] score:1 log result time:5.79 |
[-1,-1,-465] score:1 log result time:2.49 |
[-1,-4,-463] score:5 log result time:1.31 |
| randab5933.cudf | FAIL 14 log time:6.62 |
FAIL 14 log time:13.56 |
FAIL 14 log time:4.25 |
FAIL 14 log time:4.18 |
FAIL 14 log time:5.78 |
FAIL 14 log time:1.00 |
FAIL 14 log time:0.96 |
| randa65f48.cudf | [-4,-53,-285] score:6 log result time:25.57 |
NOTSOL score:28 log result time:16.96 |
[-4,-9,-287] score:1 log result time:8.99 |
[-4,-9,-287] score:1 log result time:11.22 |
[-4,-9,-287] score:1 log result time:6.65 |
[-4,-9,-287] score:1 log result time:2.55 |
[-4,-12,-285] score:5 log result time:1.24 |
| randa65dfb.cudf | [-1,-43,-396] score:6 log result time:31.31 |
NOTSOL score:28 log result time:18.07 |
[-1,-2,-399] score:4 log result time:8.10 |
[-1,-2,-398] score:1 log result time:9.00 |
[-1,-2,-398] score:1 log result time:9.56 |
[-1,-2,-398] score:1 log result time:3.15 |
[-1,-4,-396] score:5 log result time:1.25 |
| randa13f2d.cudf | [-1,-70,-421] score:6 log result time:33.91 |
NOTSOL score:28 log result time:18.48 |
[-1,-3,-433] score:3 log result time:8.04 |
[-1,-3,-432] score:1 log result time:9.04 |
[-1,-3,-433] score:3 log result time:6.96 |
[-1,-3,-432] score:1 log result time:2.83 |
[-1,-8,-421] score:5 log result time:1.58 |
| rand9e35f0.cudf | [-1,-41,-360] score:6 log result time:21.92 |
NOTSOL score:28 log result time:17.58 |
[-1,0,-366] score:4 log result time:9.22 |
[-1,0,-365] score:1 log result time:5.56 |
[-1,0,-365] score:1 log result time:9.53 |
[-1,0,-365] score:1 log result time:2.59 |
[-1,-1,-360] score:5 log result time:1.28 |
| rand936b0d.cudf | FAIL 14 log time:6.56 |
FAIL 14 log time:13.59 |
FAIL 14 log time:3.98 |
FAIL 14 log time:5.17 |
FAIL 14 log time:3.96 |
FAIL 14 log time:1.00 |
FAIL 14 log time:1.00 |
| rand88811a.cudf | [-1,-30,-354] score:6 log result time:29.54 |
NOTSOL score:28 log result time:17.45 |
[-1,-3,-358] score:5 log result time:8.63 |
[-1,-2,-357] score:1 log result time:8.16 |
[-1,-2,-357] score:1 log result time:9.28 |
[-1,-2,-357] score:1 log result time:3.14 |
[-1,-3,-354] score:4 log result time:1.30 |
| rand7e9372.cudf | [0,-35,-496] score:6 log result time:37.93 |
NOTSOL score:28 log result time:19.35 |
[0,0,-503] score:2 log result time:9.11 |
[0,0,-503] score:2 log result time:292.42 |
[0,0,-504] score:4 log result time:5.95 |
[0,0,-502] score:1 log result time:2.45 |
[0,-9,-496] score:5 log result time:1.55 |
| rand6f4585.cudf | [-1,-34,-404] score:6 log result time:32.95 |
NOTSOL score:28 log result time:18.31 |
[-1,0,-405] score:5 log result time:8.32 |
[-1,0,-404] score:1 log result time:9.06 |
[-1,0,-404] score:1 log result time:6.46 |
[-1,0,-404] score:1 log result time:2.43 |
[-1,0,-404] score:1 log result time:1.30 |
| rand6c4744.cudf | FAIL 14 log time:6.70 |
FAIL 14 log time:13.66 |
FAIL 14 log time:4.06 |
FAIL 14 log time:5.20 |
FAIL 14 log time:4.08 |
FAIL 14 log time:1.14 |
FAIL 14 log time:1.15 |
| rand682c92.cudf | FAIL 14 log time:6.65 |
FAIL 14 log time:13.65 |
FAIL 14 log time:6.32 |
FAIL 14 log time:5.16 |
FAIL 14 log time:4.28 |
FAIL 14 log time:1.01 |
FAIL 14 log time:1.12 |
| rand601ba8.cudf | [-10,-62,-565] score:6 log result time:41.53 |
NOTSOL score:28 log result time:20.55 |
[-10,-2,-573] score:4 log result time:8.67 |
[-10,-2,-572] score:1 log result time:8.55 |
[-10,-2,-572] score:1 log result time:6.08 |
[-10,-2,-572] score:1 log result time:3.01 |
[-10,-5,-565] score:5 log result time:1.58 |
| rand59f7dd.cudf | [0,-43,-344] score:6 log result time:21.08 |
NOTSOL score:28 log result time:17.49 |
[0,0,-348] score:4 log result time:8.82 |
[0,0,-345] score:1 log result time:7.10 |
[0,0,-346] score:3 log result time:9.61 |
[0,0,-345] score:1 log result time:2.75 |
[0,-1,-344] score:5 log result time:1.28 |
| rand56b853.cudf | [0,-37,-337] score:6 log result time:28.61 |
NOTSOL score:28 log result time:17.03 |
[0,-1,-339] score:5 log result time:8.18 |
[0,-1,-337] score:1 log result time:6.50 |
[0,-1,-337] score:1 log result time:5.60 |
[0,-1,-337] score:1 log result time:2.71 |
[0,-1,-337] score:1 log result time:1.31 |
| rand49e642.cudf | [0,-63,-408] score:6 log result time:22.91 |
NOTSOL score:28 log result time:18.24 |
[0,-10,-420] score:1 log result time:11.31 |
[0,-10,-420] score:1 log result time:7.07 |
[0,-10,-420] score:1 log result time:7.13 |
[0,-10,-420] score:1 log result time:2.83 |
[0,-14,-408] score:5 log result time:1.57 |
| rand396cf8.cudf | [-1,-47,-475] score:6 log result time:24.25 |
NOTSOL score:28 log result time:18.52 |
[-1,0,-477] score:4 log result time:9.39 |
[-1,0,-475] score:1 log result time:10.42 |
[-1,0,-482] score:5 log result time:5.91 |
[-1,0,-475] score:1 log result time:3.00 |
[-1,0,-475] score:1 log result time:1.28 |
| rand35afbf.cudf | [0,-35,-502] score:6 log result time:36.77 |
NOTSOL score:28 log result time:19.32 |
[0,0,-505] score:4 log result time:8.54 |
[0,0,-504] score:1 log result time:6.62 |
[0,0,-504] score:1 log result time:8.99 |
[0,0,-504] score:1 log result time:2.40 |
[0,-3,-502] score:5 log result time:1.28 |
| rand2fa1f8.cudf | FAIL 14 log time:6.57 |
FAIL 14 log time:13.73 |
FAIL 14 log time:4.71 |
FAIL 14 log time:6.97 |
FAIL 14 log time:5.75 |
FAIL 14 log time:1.02 |
FAIL 14 log time:0.98 |
| rand1958fb.cudf | [-2,-37,-561] score:6 log result time:40.49 |
NOTSOL score:28 log result time:19.82 |
[-2,0,-561] score:1 log result time:6.92 |
[-2,0,-561] score:1 log result time:7.39 |
[-2,0,-561] score:1 log result time:7.80 |
[-2,0,-561] score:1 log result time:2.50 |
[-2,0,-561] score:1 log result time:1.27 |
| rand03b0b5.cudf | FAIL 14 log time:6.55 |
FAIL 14 log time:13.70 |
FAIL 14 log time:3.99 |
FAIL 14 log time:4.84 |
FAIL 14 log time:4.38 |
FAIL 14 log time:0.99 |
FAIL 14 log time:1.05 |