. MiSC 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:6.49 |
[-33,-531,-209] score:1 log result time:68.55 |
[-52,-2201,-2] score:6 log result time:33.27 |
[-37,-538,-230] score:4 log result time:275.53 |
[-37,-538,-230] score:4 log result time:8.36 |
[-33,-531,-209] score:1 log result time:45.54 |
[-34,-426,-261] score:3 log result time:7.94 |
| unattended-upgrades.cudf | NOTSOL score:28 log result time:6.40 |
[-37,-479,-217] score:1 log result time:72.08 |
[-56,-2198,-5] score:6 log result time:40.27 |
[-45,-437,-252] score:4 log result time:276.24 |
[-45,-437,-252] score:4 log result time:8.90 |
[-37,-479,-217] score:1 log result time:45.58 |
[-38,-374,-269] score:3 log result time:8.09 |
| txt2html.cudf | NOTSOL score:28 log result time:6.57 |
[-41,-430,-234] score:1 log result time:67.34 |
[-69,-2162,-11] score:6 log result time:70.46 |
[-45,-437,-265] score:4 log result time:277.29 |
[-45,-437,-265] score:4 log result time:8.74 |
[-41,-430,-234] score:1 log result time:47.13 |
[-42,-325,-286] score:3 log result time:8.14 |
| texlive-generic-recommended.cudf | NOTSOL score:28 log result time:6.46 |
[-33,-530,-208] score:1 log result time:66.89 |
[-51,-2199,-1] score:4 log result time:41.11 |
[-56,-420,-292] score:5 log result time:276.43 |
[-56,-420,-292] score:5 log result time:8.43 |
[-33,-530,-209] score:2 log result time:46.19 |
[-34,-425,-260] score:3 log result time:7.88 |
| system-config-printer.cudf | NOTSOL score:28 log result time:6.61 |
[-33,-532,-211] score:1 log result time:65.94 |
[-51,-2201,-5] score:4 log result time:42.57 |
[-56,-422,-292] score:5 log result time:275.06 |
[-56,-422,-292] score:5 log result time:7.56 |
[-33,-532,-211] score:1 log result time:46.22 |
[-34,-427,-263] score:3 log result time:7.84 |
| synaptic.cudf | NOTSOL score:28 log result time:6.70 |
[-33,-530,-208] score:1 log result time:67.28 |
[-51,-2199,-1] score:4 log result time:41.04 |
[-61,-398,-277] score:5 log result time:275.70 |
[-61,-398,-277] score:5 log result time:32.30 |
[-33,-530,-209] score:2 log result time:45.54 |
[-34,-425,-260] score:3 log result time:7.88 |
| sonata.cudf | NOTSOL score:28 log result time:6.52 |
[-33,-531,-210] score:1 log result time:67.00 |
[-51,-2200,-3] score:4 log result time:69.36 |
[-66,-387,-311] score:5 log result time:275.90 |
[-66,-387,-311] score:5 log result time:32.60 |
[-33,-531,-210] score:1 log result time:47.08 |
[-34,-426,-262] score:3 log result time:7.87 |
| python-hippocanvas.cudf | NOTSOL score:28 log result time:6.57 |
[-39,-415,-244] score:1 log result time:71.99 |
[-66,-2176,-5] score:6 log result time:43.07 |
[-43,-506,-245] score:4 log result time:276.39 |
[-43,-506,-245] score:4 log result time:8.76 |
[-39,-415,-245] score:2 log result time:47.29 |
[-40,-308,-301] score:3 log result time:7.68 |
| python-cairo.cudf | NOTSOL score:28 log result time:6.54 |
[-33,-530,-208] score:1 log result time:66.79 |
[-51,-2199,-1] score:4 log result time:40.89 |
[-56,-420,-292] score:6 log result time:275.98 |
[-56,-420,-290] score:5 log result time:10.94 |
[-33,-530,-208] score:1 log result time:45.79 |
[-34,-425,-260] score:3 log result time:7.90 |
| pybackpack.cudf | NOTSOL score:28 log result time:6.64 |
[-39,-416,-245] score:1 log result time:74.76 |
[-66,-2177,-6] score:6 log result time:54.45 |
[-43,-506,-248] score:4 log result time:275.70 |
[-43,-506,-248] score:4 log result time:9.45 |
[-39,-416,-245] score:1 log result time:48.51 |
[-40,-309,-302] score:3 log result time:7.91 |
| pidgin-plugin-pack.cudf | NOTSOL score:28 log result time:6.63 |
[-41,-430,-232] score:1 log result time:65.38 |
[-65,-2159,-10] score:4 log result time:78.05 |
[-66,-292,-317] score:5 log result time:275.48 |
[-66,-292,-317] score:5 log result time:9.32 |
[-41,-430,-232] score:1 log result time:46.24 |
[-42,-325,-284] score:3 log result time:8.05 |
| openoffice.org-l10n-nl.cudf | NOTSOL score:28 log result time:6.58 |
[-34,-511,-218] score:1 log result time:66.74 |
[-64,-2187,-2] score:4 log result time:50.65 |
[-78,-383,-279] score:5 log result time:274.42 |
[-78,-383,-279] score:5 log result time:19.12 |
[-34,-511,-218] score:1 log result time:46.60 |
[-35,-406,-270] score:3 log result time:7.92 |
| openoffice.org-l10n-da.cudf | NOTSOL score:28 log result time:6.58 |
[-34,-511,-218] score:1 log result time:66.85 |
[-63,-2189,-1] score:6 log result time:66.84 |
[-52,-375,-292] score:4 log result time:276.91 |
[-52,-375,-292] score:4 log result time:7.94 |
[-34,-511,-218] score:1 log result time:46.20 |
[-35,-406,-270] score:3 log result time:7.88 |
| monodevelop-nunit.cudf | NOTSOL score:28 log result time:6.48 |
[-33,-537,-265] score:1 log result time:72.13 |
[-58,-2185,-28] score:6 log result time:53.99 |
[-37,-541,-273] score:4 log result time:274.99 |
[-37,-541,-273] score:4 log result time:9.52 |
[-33,-537,-265] score:1 log result time:45.68 |
[-34,-432,-317] score:3 log result time:7.39 |
| mercurial-common.cudf | NOTSOL score:28 log result time:6.38 |
[-33,-531,-209] score:1 log result time:66.46 |
[-51,-2200,-2] score:6 log result time:41.32 |
[-37,-538,-230] score:4 log result time:276.16 |
[-37,-538,-230] score:4 log result time:9.33 |
[-33,-531,-209] score:1 log result time:45.95 |
[-34,-426,-261] score:3 log result time:7.91 |
| lirc.cudf | NOTSOL score:28 log result time:6.62 |
[-33,-530,-209] score:1 log result time:66.44 |
[-51,-2198,-2] score:4 log result time:60.82 |
[-58,-387,-296] score:5 log result time:275.22 |
[-58,-387,-296] score:5 log result time:13.55 |
[-33,-530,-209] score:1 log result time:45.21 |
[-34,-425,-261] score:3 log result time:7.86 |
| libtemplate-provider-encoding-perl.cudf | NOTSOL score:28 log result time:6.50 |
[-41,-430,-234] score:1 log result time:67.75 |
[-69,-2159,-12] score:5 log result time:76.27 |
[-45,-437,-255] score:4 log result time:275.71 |
[-87,-250,-324] score:6 log result time:22.32 |
[-41,-430,-234] score:1 log result time:46.36 |
[-42,-325,-286] score:3 log result time:8.00 |
| libpoe-perl.cudf | NOTSOL score:28 log result time:6.62 |
[-41,-430,-233] score:1 log result time:66.06 |
[-69,-2159,-11] score:6 log result time:58.17 |
[-45,-438,-293] score:5 log result time:276.22 |
[-45,-438,-292] score:4 log result time:9.65 |
[-41,-430,-233] score:1 log result time:46.28 |
[-42,-325,-285] score:3 log result time:8.14 |
| libpango-perl.cudf | NOTSOL score:28 log result time:6.74 |
[-41,-430,-231] score:1 log result time:63.35 |
[-69,-2159,-9] score:4 log result time:49.49 |
[-74,-286,-323] score:5 log result time:274.49 |
[-74,-286,-324] score:6 log result time:9.04 |
[-41,-430,-231] score:1 log result time:44.65 |
[-42,-325,-283] score:3 log result time:7.98 |
| libnss3-1d.cudf | NOTSOL score:28 log result time:6.43 |
[-33,-530,-208] score:1 log result time:66.60 |
[-51,-2199,-1] score:4 log result time:41.85 |
[-56,-420,-292] score:5 log result time:276.00 |
[-56,-420,-292] score:5 log result time:8.48 |
[-33,-530,-208] score:1 log result time:46.20 |
[-34,-425,-260] score:3 log result time:7.79 |
| libnspr4-dev.cudf | NOTSOL score:28 log result time:6.56 |
[-46,-519,-215] score:1 log result time:68.69 |
[-69,-2193,-2] score:6 log result time:52.87 |
[-50,-527,-239] score:4 log result time:275.56 |
[-50,-527,-239] score:4 log result time:8.48 |
[-46,-519,-215] score:1 log result time:45.89 |
[-47,-414,-267] score:3 log result time:7.86 |
| libnkf-perl.cudf | NOTSOL score:28 log result time:6.70 |
[-41,-430,-232] score:1 log result time:66.27 |
[-69,-2159,-10] score:4 log result time:86.48 |
[-71,-270,-319] score:5 log result time:275.64 |
[-71,-270,-319] score:5 log result time:13.53 |
[-41,-430,-232] score:1 log result time:45.27 |
[-42,-325,-284] score:3 log result time:7.92 |
| libmail-spf-perl.cudf | NOTSOL score:28 log result time:6.79 |
[-41,-430,-236] score:1 log result time:67.07 |
[-69,-2159,-14] score:6 log result time:70.90 |
[-47,-435,-254] score:5 log result time:276.04 |
[-47,-435,-253] score:4 log result time:7.78 |
[-41,-430,-236] score:1 log result time:46.60 |
[-42,-325,-288] score:3 log result time:7.97 |
| libhtml-parser-perl.cudf | NOTSOL score:28 log result time:6.70 |
[-33,-530,-208] score:1 log result time:66.42 |
[-51,-2199,-1] score:6 log result time:41.35 |
[-37,-536,-231] score:4 log result time:276.55 |
[-37,-536,-231] score:4 log result time:8.36 |
[-33,-530,-209] score:2 log result time:45.37 |
[-34,-425,-260] score:3 log result time:7.87 |
| libdbd-pg-perl.cudf | NOTSOL score:28 log result time:6.66 |
[-41,-430,-232] score:1 log result time:66.82 |
[-69,-2159,-10] score:6 log result time:54.82 |
[-45,-437,-253] score:4 log result time:274.77 |
[-45,-437,-253] score:4 log result time:9.72 |
[-41,-430,-232] score:1 log result time:47.37 |
[-42,-325,-284] score:3 log result time:7.98 |
| libcyrus-imap-perl22.cudf | NOTSOL score:28 log result time:6.50 |
[-41,-430,-232] score:1 log result time:64.39 |
[-69,-2159,-10] score:6 log result time:45.21 |
[-59,-295,-304] score:4 log result time:275.99 |
[-59,-295,-304] score:4 log result time:7.89 |
[-41,-430,-232] score:1 log result time:46.31 |
[-42,-325,-284] score:3 log result time:8.02 |
| libcurses-perl.cudf | NOTSOL score:28 log result time:6.60 |
[-41,-430,-232] score:1 log result time:66.84 |
[-69,-2159,-10] score:6 log result time:67.15 |
[-45,-437,-252] score:4 log result time:274.37 |
[-45,-437,-252] score:4 log result time:8.52 |
[-41,-430,-233] score:2 log result time:47.67 |
[-42,-325,-284] score:3 log result time:8.07 |
| libcatalyst-perl.cudf | NOTSOL score:28 log result time:6.58 |
[-41,-430,-279] score:1 log result time:86.87 |
[-70,-2167,-38] score:6 log result time:52.33 |
[-45,-438,-301] score:5 log result time:275.94 |
[-45,-438,-300] score:4 log result time:9.24 |
[-41,-430,-279] score:1 log result time:47.38 |
[-42,-325,-331] score:3 log result time:8.11 |
| libbsd-resource-perl.cudf | NOTSOL score:28 log result time:6.66 |
[-33,-530,-208] score:1 log result time:65.92 |
[-51,-2199,-1] score:6 log result time:40.33 |
[-37,-537,-227] score:4 log result time:275.38 |
[-37,-537,-227] score:4 log result time:9.46 |
[-33,-530,-208] score:1 log result time:45.57 |
[-34,-425,-260] score:3 log result time:7.97 |
| konq-plugins.cudf | NOTSOL score:28 log result time:6.64 |
[-33,-530,-208] score:1 log result time:66.49 |
[-51,-2199,-1] score:4 log result time:42.17 |
[-56,-420,-292] score:5 log result time:276.32 |
[-56,-420,-292] score:5 log result time:8.75 |
[-33,-530,-208] score:1 log result time:45.06 |
[-34,-425,-260] score:3 log result time:7.84 |
| kdebase-bin.cudf | NOTSOL score:28 log result time:6.55 |
[-33,-530,-208] score:1 log result time:66.48 |
[-51,-2199,-1] score:4 log result time:41.72 |
[-56,-420,-292] score:6 log result time:274.26 |
[-56,-420,-290] score:5 log result time:8.92 |
[-33,-530,-208] score:1 log result time:44.49 |
[-34,-425,-260] score:3 log result time:7.87 |
| idle.cudf | NOTSOL score:28 log result time:6.61 |
[-39,-415,-243] score:1 log result time:74.53 |
[-66,-2177,-4] score:6 log result time:40.80 |
[-43,-505,-244] score:4 log result time:274.78 |
[-43,-505,-244] score:4 log result time:8.89 |
[-39,-415,-244] score:2 log result time:50.05 |
[-40,-308,-300] score:3 log result time:7.80 |
| hal-cups-utils.cudf | NOTSOL score:28 log result time:6.67 |
[-33,-531,-211] score:1 log result time:67.30 |
[-51,-2200,-4] score:4 log result time:41.17 |
[-64,-411,-280] score:5 log result time:274.74 |
[-64,-411,-280] score:5 log result time:8.86 |
[-33,-531,-211] score:1 log result time:45.80 |
[-34,-426,-263] score:3 log result time:7.97 |
| guake.cudf | NOTSOL score:28 log result time:6.67 |
[-39,-415,-243] score:1 log result time:71.08 |
[-66,-2172,-9] score:6 log result time:51.71 |
[-50,-244,-353] score:4 log result time:274.95 |
[-50,-244,-353] score:4 log result time:10.63 |
[-39,-415,-243] score:1 log result time:41.09 |
[-40,-308,-300] score:3 log result time:7.40 |
| gnome-panel-data.cudf | NOTSOL score:28 log result time:6.67 |
[-33,-530,-208] score:1 log result time:69.16 |
[-51,-2199,-1] score:4 log result time:42.67 |
[-56,-420,-292] score:5 log result time:275.22 |
[-56,-420,-292] score:5 log result time:8.78 |
[-33,-530,-208] score:1 log result time:46.46 |
[-34,-425,-260] score:3 log result time:7.90 |
| gnochm.cudf | NOTSOL score:28 log result time:6.52 |
[-35,-529,-212] score:1 log result time:68.96 |
[-53,-2198,-5] score:4 log result time:40.16 |
[-63,-397,-286] score:5 log result time:275.98 |
[-63,-397,-286] score:5 log result time:27.66 |
[-35,-529,-213] score:2 log result time:45.42 |
[-36,-424,-264] score:3 log result time:7.95 |
| evolution-dev.cudf | NOTSOL score:28 log result time:6.67 |
[-46,-519,-219] score:1 log result time:72.34 |
[-74,-2186,-13] score:6 log result time:73.87 |
[-50,-526,-240] score:4 log result time:275.92 |
[-50,-526,-240] score:4 log result time:9.10 |
[-46,-519,-219] score:1 log result time:45.75 |
[-47,-414,-271] score:3 log result time:8.08 |
| epiphany-browser.cudf | NOTSOL score:28 log result time:6.51 |
[-57,-405,-272] score:1 log result time:92.79 |
[-92,-2174,-25] score:6 log result time:25.66 |
[-66,-225,-389] score:4 log result time:276.93 |
[-66,-225,-389] score:4 log result time:8.66 |
[-57,-405,-272] score:1 log result time:69.36 |
[-58,-275,-361] score:3 log result time:7.94 |
| dwww.cudf | NOTSOL score:28 log result time:6.69 |
[-41,-430,-237] score:1 log result time:67.90 |
[-61,-2168,-14] score:6 log result time:81.50 |
[-45,-435,-262] score:4 log result time:276.61 |
[-45,-435,-262] score:4 log result time:8.13 |
[-41,-430,-237] score:1 log result time:47.65 |
[-42,-325,-289] score:3 log result time:8.03 |
| codebreaker.cudf | NOTSOL score:28 log result time:6.67 |
[-45,-516,-211] score:1 log result time:66.50 |
[-78,-2181,-3] score:6 log result time:55.48 |
[-49,-524,-230] score:4 log result time:275.30 |
[-49,-524,-232] score:5 log result time:9.11 |
[-45,-516,-211] score:1 log result time:44.78 |
[-46,-411,-262] score:3 log result time:7.71 |
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:6.52 |
[-36,-528,-210] score:1 log result time:65.99 |
[-54,-2196,-4] score:6 log result time:44.32 |
[-40,-536,-232] score:4 log result time:276.87 |
[-40,-536,-232] score:4 log result time:8.32 |
[-36,-528,-210] score:1 log result time:45.38 |
[-37,-423,-262] score:3 log result time:7.88 |
| tasque.cudf | NOTSOL score:28 log result time:6.71 |
[-33,-532,-256] score:1 log result time:71.00 |
[-58,-2183,-20] score:6 log result time:34.43 |
[-37,-537,-272] score:4 log result time:273.68 |
[-37,-537,-272] score:4 log result time:11.66 |
[-33,-532,-256] score:1 log result time:46.15 |
[-34,-427,-308] score:3 log result time:7.45 |
| r-cran-rodbc.cudf | NOTSOL score:28 log result time:6.57 |
[-34,-498,-220] score:1 log result time:68.48 |
[-52,-2198,-2] score:6 log result time:47.63 |
[-38,-504,-239] score:4 log result time:275.59 |
[-38,-504,-239] score:4 log result time:9.06 |
[-34,-498,-220] score:1 log result time:46.27 |
[-35,-393,-272] score:3 log result time:7.96 |
| r-cran-lme4.cudf | NOTSOL score:28 log result time:6.39 |
[-34,-498,-220] score:1 log result time:68.45 |
[-53,-2199,-3] score:6 log result time:42.54 |
[-38,-506,-239] score:4 log result time:276.08 |
[-38,-506,-239] score:4 log result time:9.09 |
[-34,-498,-220] score:1 log result time:46.08 |
[-35,-393,-272] score:3 log result time:7.90 |
| r-cran-car.cudf | NOTSOL score:28 log result time:6.59 |
[-34,-498,-220] score:1 log result time:67.69 |
[-52,-2198,-2] score:4 log result time:78.16 |
[-54,-392,-281] score:5 log result time:274.34 |
[-54,-392,-281] score:5 log result time:16.26 |
[-34,-498,-220] score:1 log result time:46.28 |
[-35,-393,-272] score:3 log result time:8.01 |
| plasma-widgets-workspace.cudf | NOTSOL score:28 log result time:6.65 |
[-34,-425,-262] score:1 log result time:72.47 |
[-57,-2185,-34] score:6 log result time:57.13 |
[-56,-420,-295] score:4 log result time:276.09 |
[-56,-420,-295] score:4 log result time:10.02 |
[-34,-425,-262] score:1 log result time:43.04 |
[-34,-425,-262] score:1 log result time:7.87 |
| plasma-dataengines-workspace.cudf | NOTSOL score:28 log result time:6.33 |
[-34,-425,-260] score:1 log result time:71.81 |
[-57,-2184,-32] score:6 log result time:51.24 |
[-56,-420,-293] score:4 log result time:275.85 |
[-56,-420,-293] score:4 log result time:7.80 |
[-34,-425,-261] score:2 log result time:42.65 |
[-34,-425,-261] score:2 log result time:7.74 |
| openoffice.org-draw.cudf | NOTSOL score:28 log result time:6.52 |
[-33,-530,-208] score:1 log result time:66.82 |
[-51,-2199,-1] score:4 log result time:41.27 |
[-63,-378,-300] score:5 log result time:274.74 |
[-63,-378,-300] score:5 log result time:27.87 |
[-33,-530,-208] score:1 log result time:45.76 |
[-34,-425,-260] score:3 log result time:7.86 |
| mono-mcs.cudf | NOTSOL score:28 log result time:6.67 |
[-33,-530,-208] score:1 log result time:65.82 |
[-51,-2199,-1] score:4 log result time:41.24 |
[-56,-419,-291] score:5 log result time:275.04 |
[-56,-419,-291] score:5 log result time:8.76 |
[-33,-530,-208] score:1 log result time:44.35 |
[-34,-425,-260] score:3 log result time:7.77 |
| mono-gac.cudf | NOTSOL score:28 log result time:6.52 |
[-33,-530,-208] score:1 log result time:65.06 |
[-51,-2199,-1] score:4 log result time:40.26 |
[-56,-420,-290] score:5 log result time:276.37 |
[-56,-420,-290] score:5 log result time:9.61 |
[-33,-530,-209] score:2 log result time:45.63 |
[-34,-425,-260] score:3 log result time:7.83 |
| mono-debugger.cudf | NOTSOL score:28 log result time:6.59 |
[-33,-533,-254] score:1 log result time:71.72 |
[-56,-2190,-8] score:6 log result time:49.22 |
[-41,-429,-310] score:4 log result time:277.07 |
[-41,-429,-310] score:4 log result time:8.94 |
[-33,-533,-254] score:1 log result time:45.67 |
[-34,-428,-306] score:3 log result time:7.47 |
| libwnck2.20-cil.cudf | NOTSOL score:28 log result time:6.54 |
[-33,-532,-254] score:1 log result time:70.80 |
[-53,-2198,-2] score:6 log result time:56.69 |
[-37,-538,-274] score:5 log result time:275.60 |
[-37,-538,-272] score:4 log result time:9.68 |
[-33,-532,-254] score:1 log result time:45.76 |
[-34,-427,-306] score:3 log result time:7.41 |
| libmono-relaxng1.0-cil.cudf | NOTSOL score:28 log result time:6.70 |
[-33,-532,-253] score:1 log result time:70.15 |
[-53,-2198,-2] score:6 log result time:57.14 |
[-37,-537,-269] score:5 log result time:276.04 |
[-37,-537,-268] score:4 log result time:10.74 |
[-33,-532,-253] score:1 log result time:45.77 |
[-34,-427,-305] score:3 log result time:7.37 |
| libmono-addins-gui0.2-cil.cudf | NOTSOL score:28 log result time:6.60 |
[-33,-532,-255] score:1 log result time:70.80 |
[-57,-2188,-10] score:6 log result time:47.06 |
[-37,-536,-267] score:4 log result time:274.39 |
[-37,-536,-267] score:4 log result time:9.08 |
[-33,-532,-255] score:1 log result time:45.86 |
[-34,-427,-307] score:3 log result time:7.47 |
| libgnokii4.cudf | NOTSOL score:28 log result time:6.61 |
[-34,-526,-209] score:1 log result time:66.90 |
[-55,-2193,-3] score:6 log result time:56.43 |
[-38,-531,-230] score:5 log result time:276.02 |
[-38,-531,-228] score:4 log result time:8.36 |
[-34,-526,-209] score:1 log result time:45.89 |
[-35,-420,-261] score:3 log result time:7.61 |
| libevolution3.0-cil.cudf | NOTSOL score:28 log result time:6.53 |
[-33,-532,-254] score:1 log result time:70.12 |
[-53,-2197,-2] score:6 log result time:65.98 |
[-37,-536,-272] score:4 log result time:276.38 |
[-37,-536,-272] score:4 log result time:8.38 |
[-33,-532,-255] score:2 log result time:45.45 |
[-34,-427,-305] score:3 log result time:7.32 |
| kwin-style-crystal.cudf | NOTSOL score:28 log result time:6.71 |
[-33,-531,-209] score:1 log result time:66.82 |
[-51,-2200,-2] score:6 log result time:47.59 |
[-37,-538,-228] score:4 log result time:276.09 |
[-37,-538,-228] score:4 log result time:8.06 |
[-33,-531,-209] score:1 log result time:45.26 |
[-34,-425,-262] score:3 log result time:7.63 |
| ktouch.cudf | NOTSOL score:28 log result time:6.55 |
[-33,-530,-208] score:1 log result time:66.54 |
[-51,-2199,-1] score:4 log result time:40.67 |
[-56,-420,-292] score:5 log result time:276.56 |
[-56,-420,-292] score:5 log result time:8.70 |
[-33,-530,-208] score:1 log result time:45.13 |
[-34,-425,-260] score:3 log result time:7.88 |
| ksystemlog.cudf | NOTSOL score:28 log result time:6.60 |
[-33,-531,-209] score:1 log result time:66.92 |
[-51,-2200,-2] score:4 log result time:42.50 |
[-64,-377,-280] score:5 log result time:276.54 |
[-64,-377,-280] score:5 log result time:18.06 |
[-33,-531,-209] score:1 log result time:45.19 |
[-34,-425,-261] score:3 log result time:7.67 |
| kphotoalbum.cudf | NOTSOL score:28 log result time:6.48 |
[-33,-530,-208] score:1 log result time:66.72 |
[-51,-2199,-1] score:4 log result time:42.25 |
[-56,-420,-292] score:5 log result time:275.82 |
[-56,-420,-292] score:5 log result time:8.89 |
[-33,-530,-208] score:1 log result time:45.56 |
[-34,-425,-260] score:3 log result time:7.90 |
| kommander.cudf | NOTSOL score:28 log result time:6.53 |
[-33,-530,-208] score:1 log result time:65.96 |
[-51,-2199,-1] score:4 log result time:42.33 |
[-56,-420,-292] score:5 log result time:275.77 |
[-56,-420,-292] score:5 log result time:8.47 |
[-33,-530,-209] score:2 log result time:45.34 |
[-34,-425,-260] score:3 log result time:7.85 |
| knetwalk.cudf | NOTSOL score:28 log result time:6.47 |
[-33,-530,-208] score:1 log result time:65.04 |
[-51,-2199,-1] score:4 log result time:41.01 |
[-56,-420,-292] score:5 log result time:275.64 |
[-56,-420,-292] score:5 log result time:9.41 |
[-33,-530,-208] score:1 log result time:44.87 |
[-34,-425,-260] score:3 log result time:7.82 |
| kmines.cudf | NOTSOL score:28 log result time:6.54 |
[-33,-530,-208] score:1 log result time:66.74 |
[-51,-2199,-1] score:4 log result time:42.29 |
[-56,-420,-292] score:5 log result time:277.60 |
[-56,-420,-292] score:5 log result time:8.45 |
[-33,-530,-208] score:1 log result time:45.49 |
[-34,-425,-260] score:3 log result time:7.89 |
| kjumpingcube.cudf | NOTSOL score:28 log result time:6.44 |
[-33,-530,-208] score:1 log result time:66.80 |
[-51,-2199,-1] score:4 log result time:41.17 |
[-56,-420,-290] score:5 log result time:275.70 |
[-56,-420,-290] score:5 log result time:8.60 |
[-33,-530,-208] score:1 log result time:44.87 |
[-34,-425,-260] score:3 log result time:7.89 |
| kfilereplace.cudf | NOTSOL score:28 log result time:6.71 |
[-33,-530,-208] score:1 log result time:65.96 |
[-51,-2199,-1] score:4 log result time:40.22 |
[-56,-420,-292] score:5 log result time:274.62 |
[-56,-420,-292] score:5 log result time:8.38 |
[-33,-530,-208] score:1 log result time:45.17 |
[-34,-425,-260] score:3 log result time:7.82 |
| kdesudo.cudf | NOTSOL score:28 log result time:6.56 |
[-33,-531,-209] score:1 log result time:65.73 |
[-51,-2200,-2] score:6 log result time:48.75 |
[-37,-538,-228] score:4 log result time:274.88 |
[-37,-538,-228] score:4 log result time:8.77 |
[-33,-531,-210] score:2 log result time:45.73 |
[-34,-425,-261] score:3 log result time:7.69 |
| kdessh.cudf | NOTSOL score:28 log result time:6.49 |
[-33,-530,-208] score:1 log result time:66.39 |
[-51,-2199,-1] score:4 log result time:41.69 |
[-56,-420,-292] score:5 log result time:275.46 |
[-56,-420,-292] score:5 log result time:9.05 |
[-33,-530,-208] score:1 log result time:46.32 |
[-34,-425,-260] score:3 log result time:7.84 |
| kdemultimedia-kio-plugins.cudf | NOTSOL score:28 log result time:6.60 |
[-33,-530,-208] score:1 log result time:67.39 |
[-51,-2199,-1] score:4 log result time:41.51 |
[-56,-420,-292] score:5 log result time:275.52 |
[-56,-420,-292] score:5 log result time:8.45 |
[-33,-530,-208] score:1 log result time:45.97 |
[-34,-425,-260] score:3 log result time:7.90 |
| kblocks.cudf | NOTSOL score:28 log result time:6.58 |
[-34,-425,-259] score:1 log result time:71.77 |
[-53,-2201,-25] score:4 log result time:33.24 |
[-56,-420,-292] score:5 log result time:275.55 |
[-56,-420,-292] score:5 log result time:9.02 |
[-34,-425,-260] score:2 log result time:46.51 |
[-34,-425,-260] score:2 log result time:7.76 |
| kbd.cudf | NOTSOL score:28 log result time:6.61 |
[-34,-530,-209] score:1 log result time:68.22 |
[-53,-2197,-2] score:6 log result time:56.89 |
[-38,-537,-228] score:4 log result time:276.00 |
[-38,-537,-228] score:4 log result time:8.96 |
[-34,-530,-209] score:1 log result time:45.85 |
[-35,-425,-261] score:3 log result time:7.84 |
| inetutils-syslogd.cudf | NOTSOL score:28 log result time:6.58 |
[-35,-530,-209] score:1 log result time:67.74 |
[-53,-2197,-2] score:6 log result time:66.77 |
[-39,-537,-228] score:4 log result time:275.40 |
[-39,-537,-228] score:4 log result time:8.64 |
[-35,-530,-210] score:2 log result time:46.47 |
[-36,-425,-261] score:3 log result time:7.90 |
| gtwitter.cudf | NOTSOL score:28 log result time:6.60 |
[-33,-532,-254] score:1 log result time:70.48 |
[-57,-2186,-17] score:6 log result time:79.92 |
[-37,-538,-271] score:5 log result time:275.93 |
[-37,-538,-269] score:4 log result time:8.97 |
[-33,-532,-255] score:2 log result time:40.57 |
[-34,-427,-306] score:3 log result time:7.09 |
| gpc-4.1.cudf | NOTSOL score:28 log result time:6.62 |
[-34,-525,-209] score:1 log result time:68.37 |
[-52,-2194,-2] score:6 log result time:41.21 |
[-38,-533,-230] score:4 log result time:276.05 |
[-38,-533,-230] score:4 log result time:9.23 |
[-34,-525,-209] score:1 log result time:45.47 |
[-35,-420,-261] score:3 log result time:7.76 |
| gnash-common-opengl.cudf | NOTSOL score:28 log result time:6.62 |
[-35,-530,-209] score:1 log result time:70.06 |
[-53,-2197,-5] score:6 log result time:69.14 |
[-39,-536,-229] score:5 log result time:274.98 |
[-39,-536,-227] score:4 log result time:9.39 |
[-35,-530,-210] score:2 log result time:45.77 |
[-36,-425,-261] score:3 log result time:7.84 |
| fcron.cudf | NOTSOL score:28 log result time:6.69 |
[-34,-530,-209] score:1 log result time:68.84 |
[-52,-2198,-2] score:4 log result time:41.40 |
[-60,-405,-278] score:5 log result time:275.66 |
[-60,-405,-278] score:5 log result time:23.68 |
[-34,-530,-209] score:1 log result time:45.76 |
[-35,-425,-261] score:3 log result time:7.79 |
| dpkg-dev.cudf | NOTSOL score:28 log result time:6.66 |
[-33,-530,-208] score:1 log result time:66.35 |
[-51,-2199,-1] score:4 log result time:40.91 |
[-56,-420,-290] score:5 log result time:275.23 |
[-56,-420,-292] score:6 log result time:8.76 |
[-33,-530,-208] score:1 log result time:45.40 |
[-34,-425,-260] score:3 log result time:7.97 |
| audacious-plugins-extra.cudf | NOTSOL score:28 log result time:6.45 |
[-33,-533,-222] score:1 log result time:69.37 |
[-52,-2203,-15] score:6 log result time:55.14 |
[-37,-541,-241] score:4 log result time:275.44 |
[-37,-541,-241] score:4 log result time:8.32 |
[-33,-533,-222] score:1 log result time:44.90 |
[-34,-428,-274] score:3 log result time:7.91 |
| ark.cudf | NOTSOL score:28 log result time:6.67 |
[-33,-530,-208] score:1 log result time:65.51 |
[-51,-2199,-1] score:4 log result time:40.35 |
[-56,-420,-292] score:5 log result time:275.90 |
[-56,-420,-292] score:5 log result time:8.28 |
[-33,-530,-208] score:1 log result time:45.42 |
[-34,-425,-260] score:3 log result time:7.90 |
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:3.09 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.06 |
FAIL 14 log time:1.05 |
| 650.cudf | ABORT 21 log |
[0,0,-1] score:1 log result time:5.57 |
[0,0,-21] score:6 log result time:6.46 |
[0,0,-1] score:1 log result time:4.68 |
[0,0,-1] score:1 log result time:4.29 |
[0,0,-1] score:1 log result time:2.61 |
[0,0,-1] score:1 log result time:1.39 |
| 590.cudf | ABORT 21 log |
FAIL 14 log time:4.98 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.70 |
FAIL 14 log time:0.69 |
| 584.cudf | ABORT 21 log |
FAIL 14 log time:5.43 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.69 |
FAIL 14 log time:0.70 |
| 582.cudf | ABORT 21 log |
FAIL 14 log time:5.21 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.70 |
FAIL 14 log time:0.70 |
| 581.cudf | ABORT 21 log |
FAIL 14 log time:5.31 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.71 |
FAIL 14 log time:0.69 |
| 579.cudf | ABORT 21 log |
FAIL 14 log time:4.87 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.71 |
FAIL 14 log time:0.69 |
| 558.cudf | ABORT 21 log |
[0,0,-2] score:1 log result time:4.47 |
[0,0,-27] score:6 log result time:6.64 |
[0,0,-2] score:1 log result time:3.60 |
[0,0,-2] score:1 log result time:4.02 |
[0,0,-2] score:1 log result time:2.71 |
[0,0,-2] score:1 log result time:1.50 |
| 557.cudf | ABORT 21 log |
FAIL 14 log time:5.27 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.70 |
FAIL 14 log time:0.69 |
| 556.cudf | ABORT 21 log |
[0,0,-1] score:1 log result time:5.48 |
[0,0,-24] score:6 log result time:5.80 |
[0,0,-1] score:1 log result time:4.45 |
[0,0,-1] score:1 log result time:3.48 |
[0,0,-1] score:1 log result time:2.71 |
[0,0,-1] score:1 log result time:1.53 |
| 550.cudf | ABORT 21 log |
[0,0,-2] score:1 log result time:5.53 |
[0,0,-27] score:6 log result time:6.20 |
[0,0,-2] score:1 log result time:4.22 |
[0,0,-2] score:1 log result time:4.17 |
[0,0,-2] score:1 log result time:2.74 |
[0,0,-2] score:1 log result time:1.51 |
| 522.cudf | ABORT 21 log |
FAIL 14 log time:5.45 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.08 |
FAIL 14 log time:1.05 |
| 521.cudf | ABORT 21 log |
FAIL 14 log time:5.10 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.07 |
FAIL 14 log time:1.06 |
| 520.cudf | ABORT 21 log |
FAIL 14 log time:5.60 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.07 |
FAIL 14 log time:1.06 |
| 519.cudf | ABORT 21 log |
FAIL 14 log time:4.96 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.06 |
FAIL 14 log time:1.05 |
| 1468.cudf | ABORT 21 log |
[0,0,-5] score:1 log result time:6.13 |
[0,0,-24] score:4 log result time:10.09 |
[0,-1,-5] score:5 log result time:5.13 |
[0,-1,-5] score:5 log result time:7.07 |
[0,0,-5] score:1 log result time:2.87 |
[0,0,-5] score:1 log result time:1.60 |
| 1378.cudf | ABORT 21 log |
FAIL 14 log time:4.84 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.11 |
FAIL 14 log time:1.07 |
| 1337.cudf | ABORT 21 log |
FAIL 14 log time:5.68 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.08 |
FAIL 14 log time:1.09 |
| 1336.cudf | ABORT 21 log |
FAIL 14 log time:5.38 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.09 |
FAIL 14 log time:1.08 |
| 1335.cudf | ABORT 21 log |
FAIL 14 log time:5.60 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.09 |
FAIL 14 log time:1.09 |
| 1243.cudf | ABORT 21 log |
FAIL 14 log time:5.78 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.10 |
FAIL 14 log time:1.09 |
| 1238.cudf | ABORT 21 log |
FAIL 14 log time:5.96 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.70 |
FAIL 14 log time:0.70 |
| 122.cudf | ABORT 21 log |
FAIL 14 log time:4.58 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.69 |
FAIL 14 log time:0.68 |
| 121.cudf | ABORT 21 log |
FAIL 14 log time:4.40 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.69 |
FAIL 14 log time:0.68 |
| 1131.cudf | ABORT 21 log |
FAIL 14 log time:5.46 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.09 |
FAIL 14 log time:1.08 |
| 1126.cudf | ABORT 21 log |
FAIL 14 log time:3.27 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.05 |
FAIL 14 log time:1.05 |
| 1125.cudf | ABORT 21 log |
FAIL 14 log time:2.77 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.08 |
FAIL 14 log time:1.05 |
| 1124.cudf | ABORT 21 log |
FAIL 14 log time:3.07 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.06 |
FAIL 14 log time:1.04 |
| 1098.cudf | ABORT 21 log |
[0,-1,-256] score:1 log result time:3.91 |
[0,-2,-256] score:2 log result time:3.61 |
[0,-2,-256] score:2 log result time:2.78 |
[0,-2,-256] score:2 log result time:2.43 |
[0,-2,-256] score:2 log result time:2.54 |
[0,-2,-256] score:2 log result time:1.29 |
| 1097.cudf | ABORT 21 log |
[0,-1,-125] score:1 log result time:2.82 |
[0,-2,-125] score:2 log result time:2.81 |
[0,-2,-125] score:2 log result time:2.90 |
[0,-2,-125] score:2 log result time:2.88 |
[0,-2,-125] score:2 log result time:2.73 |
[0,-2,-125] score:2 log result time:1.30 |
| 1096.cudf | ABORT 21 log |
FAIL 14 log time:3.10 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.69 |
FAIL 14 log time:0.67 |
| 1094.cudf | ABORT 21 log |
[0,-1,-126] score:1 log result time:2.92 |
[0,-2,-126] score:2 log result time:2.78 |
[0,-2,-126] score:2 log result time:2.83 |
[0,-2,-126] score:2 log result time:2.55 |
[0,-2,-126] score:2 log result time:2.70 |
[0,-2,-126] score:2 log result time:1.31 |
| 1093.cudf | ABORT 21 log |
FAIL 14 log time:3.85 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.08 |
FAIL 14 log time:1.06 |
| 1084.cudf | ABORT 21 log |
FAIL 14 log time:2.97 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.07 |
FAIL 14 log time:1.06 |
| 1078.cudf | ABORT 21 log |
[0,0,-4] score:1 log result time:2.81 |
[0,0,-4] score:1 log result time:2.23 |
[0,0,-4] score:1 log result time:2.47 |
[0,0,-4] score:1 log result time:2.56 |
[0,0,-4] score:1 log result time:2.86 |
[0,0,-4] score:1 log result time:1.45 |
| 1077.cudf | ABORT 21 log |
FAIL 14 log time:3.98 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.07 |
FAIL 14 log time:1.07 |
| 1075.cudf | ABORT 21 log |
FAIL 14 log time:3.41 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.07 |
FAIL 14 log time:1.07 |
| 1037.cudf | ABORT 21 log |
[0,-3,-90] score:1 log result time:2.94 |
[0,-3,-90] score:1 log result time:2.47 |
[0,-3,-90] score:1 log result time:2.75 |
[0,-3,-90] score:1 log result time:2.69 |
[0,-3,-90] score:1 log result time:3.11 |
[0,-3,-90] score:1 log result time:1.47 |
| 1034.cudf | ABORT 21 log |
FAIL 14 log time:4.00 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.06 |
FAIL 14 log time:1.05 |
| 1021.cudf | ABORT 21 log |
FAIL 14 log time:2.97 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.08 |
FAIL 14 log time:1.06 |
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:7.26 |
FAIL 14 log time:5.43 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.90 |
FAIL 14 log time:1.86 |
| randf7d077.cudf | FAIL 14 log time:7.39 |
FAIL 14 log time:5.69 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:2.90 |
FAIL 14 log time:2.83 |
| randee102b.cudf | NOTSOL score:28 log result time:103.52 |
[-7,-27,-661] score:1 log result time:15.83 |
[-25,-459,-613] score:6 log result time:11.35 |
[-7,-27,-661] score:1 log result time:95.10 |
[-7,-27,-664] score:5 log result time:17.69 |
[-7,-27,-661] score:1 log result time:7.95 |
[-7,-27,-661] score:1 log result time:3.09 |
| randd1cab2.cudf | NOTSOL score:28 log result time:7.15 |
[-8,-10,-576] score:1 log result time:12.86 |
[-19,-406,-458] score:6 log result time:13.37 |
[-8,-10,-576] score:1 log result time:9.33 |
[-8,-10,-576] score:1 log result time:10.21 |
[-8,-10,-576] score:1 log result time:7.80 |
[-8,-10,-576] score:1 log result time:3.16 |
| randbccf2d.cudf | [-3,-621,-405] score:6 log result time:142.98 |
[-3,-101,-592] score:1 log result time:14.92 |
[-8,-491,-459] score:7 log result time:15.30 |
[-3,-101,-594] score:4 log result time:274.68 |
[-3,-101,-594] score:4 log result time:9.04 |
[-3,-101,-592] score:1 log result time:8.44 |
[-3,-101,-592] score:1 log result time:3.24 |
| randb87834.cudf | [-7,-616,-420] score:6 log result time:145.80 |
[-6,-69,-553] score:1 log result time:13.27 |
[-12,-476,-458] score:7 log result time:13.16 |
[-6,-69,-553] score:1 log result time:274.16 |
[-6,-69,-556] score:5 log result time:13.61 |
[-6,-69,-553] score:1 log result time:8.11 |
[-6,-69,-553] score:1 log result time:3.16 |
| randb3c96d.cudf | FAIL 14 log time:7.11 |
FAIL 14 log time:6.98 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.90 |
FAIL 14 log time:1.86 |
| randaefc7c.cudf | [0,-476,0] score:5 log result time:66.35 |
[0,-216,-30] score:1 log result time:7.22 |
[0,-476,0] score:5 log result time:4.83 |
[0,-219,-35] score:3 log result time:275.92 |
[0,-219,-35] score:3 log result time:6.91 |
[0,-216,-30] score:1 log result time:7.45 |
[-1,-86,-114] score:7 log result time:3.83 |
| randaef248.cudf | FAIL 14 log time:7.28 |
FAIL 14 log time:5.11 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.94 |
FAIL 14 log time:1.89 |
| randa6997e.cudf | [-3,-640,-524] score:6 log result time:150.83 |
[-3,-101,-590] score:1 log result time:13.66 |
[-8,-483,-554] score:7 log result time:14.32 |
[-3,-101,-590] score:1 log result time:275.17 |
[-3,-101,-590] score:1 log result time:12.20 |
[-3,-101,-590] score:1 log result time:8.58 |
[-3,-101,-590] score:1 log result time:3.24 |
| randa491d5.cudf | FAIL 14 log time:7.19 |
FAIL 14 log time:5.13 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:2.64 |
FAIL 14 log time:2.58 |
| randa09fe9.cudf | [-6,-579,-449] score:6 log result time:170.71 |
[-5,-63,-570] score:1 log result time:13.84 |
[-14,-469,-476] score:7 log result time:16.60 |
[-5,-63,-570] score:1 log result time:273.03 |
[-5,-63,-571] score:5 log result time:11.87 |
[-5,-63,-570] score:1 log result time:8.08 |
[-5,-63,-570] score:1 log result time:3.21 |
| rand902db1.cudf | [0,-476,0] score:6 log result time:43.66 |
[0,-216,-30] score:1 log result time:6.87 |
[0,-476,0] score:6 log result time:4.23 |
[0,-217,-34] score:4 log result time:274.40 |
[0,-217,-34] score:4 log result time:6.32 |
[0,-216,-30] score:1 log result time:6.20 |
[0,-216,-30] score:1 log result time:2.52 |
| rand8177e7.cudf | [-3,-640,-442] score:6 log result time:153.21 |
[-3,-77,-639] score:1 log result time:17.76 |
[-9,-508,-491] score:7 log result time:10.45 |
[-3,-79,-651] score:5 log result time:275.51 |
[-3,-77,-641] score:4 log result time:8.31 |
[-3,-77,-639] score:1 log result time:8.18 |
[-3,-77,-639] score:1 log result time:3.19 |
| rand6d579e.cudf | [-7,-640,-548] score:6 log result time:240.69 |
[-4,-36,-655] score:1 log result time:14.90 |
[-17,-474,-601] score:7 log result time:13.10 |
[-4,-37,-653] score:4 log result time:273.98 |
[-4,-37,-655] score:5 log result time:10.47 |
[-4,-36,-655] score:1 log result time:8.08 |
[-4,-36,-655] score:1 log result time:3.16 |
| rand65d021.cudf | FAIL 14 log time:7.24 |
FAIL 14 log time:5.18 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:2.84 |
FAIL 14 log time:2.83 |
| rand659e05.cudf | FAIL 14 log time:7.19 |
FAIL 14 log time:5.56 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.90 |
FAIL 14 log time:1.84 |
| rand5c0b12.cudf | FAIL 14 log time:7.30 |
FAIL 14 log time:4.64 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.91 |
FAIL 14 log time:1.85 |
| rand4bf850.cudf | [-7,-514,-397] score:6 log result time:147.58 |
[-6,-26,-479] score:1 log result time:10.06 |
[-19,-414,-437] score:7 log result time:12.18 |
[-6,-26,-479] score:1 log result time:68.76 |
[-6,-27,-479] score:5 log result time:15.87 |
[-6,-26,-479] score:1 log result time:7.64 |
[-6,-26,-479] score:1 log result time:3.06 |
| rand43bd88.cudf | NOTSOL score:28 log result time:184.82 |
[-8,-15,-734] score:1 log result time:20.22 |
[-33,-459,-636] score:6 log result time:14.01 |
[-8,-15,-734] score:1 log result time:83.36 |
[-8,-16,-737] score:5 log result time:23.74 |
[-8,-15,-734] score:1 log result time:8.39 |
[-8,-15,-734] score:1 log result time:3.29 |
| rand35d0c8.cudf | [-3,-580,-349] score:6 log result time:127.43 |
[-3,-100,-481] score:1 log result time:13.54 |
[-7,-487,-374] score:7 log result time:15.47 |
[-3,-102,-481] score:4 log result time:274.84 |
[-3,-102,-482] score:5 log result time:11.88 |
[-3,-100,-481] score:1 log result time:8.75 |
[-3,-100,-481] score:1 log result time:3.33 |
| rand2d8467.cudf | [-11,-607,-358] score:6 log result time:142.65 |
[-7,-11,-535] score:1 log result time:12.86 |
[-25,-481,-387] score:7 log result time:11.79 |
[-7,-11,-535] score:1 log result time:44.19 |
[-7,-11,-536] score:5 log result time:14.56 |
[-7,-11,-535] score:1 log result time:8.22 |
[-7,-11,-535] score:1 log result time:3.14 |
| rand2d77b5.cudf | FAIL 14 log time:7.33 |
FAIL 14 log time:5.02 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:2.03 |
FAIL 14 log time:1.96 |
| rand199fd6.cudf | FAIL 14 log time:7.44 |
FAIL 14 log time:4.27 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.89 |
FAIL 14 log time:1.85 |
| rand144372.cudf | FAIL 14 log time:7.30 |
FAIL 14 log time:5.56 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.92 |
FAIL 14 log time:1.84 |
| rand13056c.cudf | [-6,-628,-531] score:6 log result time:164.76 |
[-5,-59,-685] score:1 log result time:18.80 |
[-13,-465,-574] score:7 log result time:15.72 |
[-5,-59,-685] score:1 log result time:274.44 |
[-5,-59,-686] score:5 log result time:9.86 |
[-5,-59,-685] score:1 log result time:8.20 |
[-5,-59,-685] score:1 log result time:3.12 |
| rand0c02bc.cudf | [-6,-596,-335] score:6 log result time:137.86 |
[-5,-62,-517] score:1 log result time:12.14 |
[-14,-486,-353] score:7 log result time:9.38 |
[-5,-63,-487] score:4 log result time:273.89 |
[-5,-63,-519] score:5 log result time:9.54 |
[-5,-62,-517] score:1 log result time:7.76 |
[-5,-62,-517] score:1 log result time:3.04 |
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:6 log result time:118.75 |
[-2,-88,-337] score:1 log result time:11.28 |
[-5,-462,-222] score:7 log result time:10.39 |
[-2,-90,-337] score:4 log result time:273.79 |
[-2,-90,-338] score:5 log result time:14.03 |
[-2,-88,-337] score:1 log result time:8.53 |
[-2,-88,-337] score:1 log result time:3.30 |
| randf794d2.cudf | [-6,-516,-227] score:6 log result time:121.53 |
[-5,-57,-333] score:1 log result time:10.09 |
[-12,-459,-237] score:7 log result time:12.21 |
[-5,-57,-333] score:1 log result time:219.37 |
[-5,-57,-334] score:5 log result time:10.26 |
[-5,-57,-333] score:1 log result time:8.14 |
[-5,-57,-333] score:1 log result time:3.19 |
| randf66c83.cudf | [-3,-538,-177] score:6 log result time:104.76 |
[-3,-92,-271] score:1 log result time:10.34 |
[-6,-479,-185] score:7 log result time:13.36 |
[-3,-93,-267] score:4 log result time:274.78 |
[-3,-93,-271] score:5 log result time:9.40 |
[-3,-92,-271] score:1 log result time:8.31 |
[-3,-92,-271] score:1 log result time:3.27 |
| randec6fe1.cudf | [-9,-498,-241] score:6 log result time:133.50 |
[-6,-24,-348] score:1 log result time:9.98 |
[-19,-418,-267] score:7 log result time:11.47 |
[-6,-24,-348] score:1 log result time:8.40 |
[-6,-24,-348] score:1 log result time:8.00 |
[-6,-24,-348] score:1 log result time:7.93 |
[-6,-24,-348] score:1 log result time:3.11 |
| randd92c9f.cudf | [-5,-503,-167] score:6 log result time:108.31 |
[-4,-60,-268] score:1 log result time:8.34 |
[-8,-449,-182] score:7 log result time:13.02 |
[-4,-62,-262] score:4 log result time:273.78 |
[-4,-62,-268] score:5 log result time:8.40 |
[-4,-60,-268] score:1 log result time:8.49 |
[-4,-60,-268] score:1 log result time:3.32 |
| randd7b2b4.cudf | [-5,-512,-148] score:6 log result time:110.84 |
[-3,-61,-287] score:1 log result time:8.97 |
[-9,-452,-175] score:7 log result time:11.85 |
[-3,-63,-284] score:4 log result time:273.08 |
[-3,-64,-291] score:5 log result time:9.51 |
[-3,-61,-287] score:1 log result time:8.51 |
[-3,-61,-287] score:1 log result time:3.27 |
| randcebca4.cudf | [-7,-520,-237] score:6 log result time:131.06 |
[-4,-38,-381] score:1 log result time:9.65 |
[-16,-437,-258] score:7 log result time:13.44 |
[-4,-39,-374] score:4 log result time:275.88 |
[-4,-40,-380] score:5 log result time:10.03 |
[-4,-38,-381] score:1 log result time:7.84 |
[-4,-38,-381] score:1 log result time:3.20 |
| randc7f8e5.cudf | NOTSOL score:28 log result time:161.52 |
[-6,-42,-306] score:1 log result time:9.74 |
[-19,-424,-216] score:6 log result time:10.62 |
[-6,-42,-306] score:1 log result time:177.20 |
[-6,-42,-307] score:5 log result time:13.70 |
[-6,-42,-306] score:1 log result time:8.28 |
[-6,-42,-306] score:1 log result time:3.22 |
| randc5fe62.cudf | [-1,-588,-262] score:6 log result time:120.89 |
[-1,-94,-350] score:1 log result time:11.14 |
[-5,-501,-269] score:7 log result time:10.17 |
[-1,-96,-351] score:4 log result time:275.72 |
[-1,-96,-351] score:4 log result time:13.60 |
[-1,-94,-350] score:1 log result time:8.23 |
[-1,-94,-350] score:1 log result time:3.26 |
| randc5b1f2.cudf | FAIL 14 log time:7.11 |
FAIL 14 log time:5.62 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.88 |
FAIL 14 log time:1.88 |
| randc18b26.cudf | [-8,-580,-355] score:6 log result time:149.72 |
[-6,-63,-401] score:1 log result time:10.06 |
[-17,-472,-387] score:7 log result time:11.27 |
[-6,-64,-399] score:4 log result time:276.47 |
[-6,-64,-402] score:5 log result time:8.32 |
[-6,-63,-401] score:1 log result time:8.13 |
[-6,-63,-401] score:1 log result time:3.15 |
| randb54299.cudf | NOTSOL score:28 log result time:180.43 |
[-7,-12,-394] score:1 log result time:8.64 |
[-27,-417,-316] score:6 log result time:12.29 |
[-7,-12,-394] score:1 log result time:27.46 |
[-7,-13,-392] score:5 log result time:13.42 |
[-7,-12,-394] score:1 log result time:8.21 |
[-7,-12,-394] score:1 log result time:3.26 |
| randa2004a.cudf | [-1,-531,-201] score:6 log result time:119.85 |
[-1,-94,-314] score:1 log result time:10.76 |
[-3,-456,-219] score:7 log result time:9.98 |
[-1,-96,-319] score:4 log result time:274.66 |
[-1,-97,-315] score:5 log result time:8.38 |
[-1,-94,-314] score:1 log result time:7.89 |
[-1,-94,-314] score:1 log result time:3.25 |
| rand9ffe99.cudf | [-3,-553,-288] score:6 log result time:124.19 |
[-3,-95,-353] score:1 log result time:11.12 |
[-7,-600,-323] score:7 log result time:17.64 |
[-3,-95,-353] score:1 log result time:273.96 |
[-3,-95,-355] score:5 log result time:9.99 |
[-3,-95,-353] score:1 log result time:8.55 |
[-3,-95,-353] score:1 log result time:3.30 |
| rand767898.cudf | [-3,-559,-221] score:6 log result time:114.36 |
[-3,-89,-361] score:1 log result time:10.92 |
[-6,-489,-241] score:7 log result time:13.18 |
[-3,-91,-360] score:4 log result time:273.48 |
[-3,-91,-361] score:5 log result time:10.04 |
[-3,-89,-361] score:1 log result time:8.22 |
[-3,-89,-361] score:1 log result time:3.20 |
| rand71b131.cudf | [-4,-542,-337] score:6 log result time:137.93 |
[-3,-61,-439] score:1 log result time:12.87 |
[-15,-440,-377] score:7 log result time:12.14 |
[-3,-62,-436] score:4 log result time:275.77 |
[-3,-62,-440] score:5 log result time:11.25 |
[-3,-61,-439] score:1 log result time:8.35 |
[-3,-61,-439] score:1 log result time:3.24 |
| rand5d20db.cudf | [-4,-518,-251] score:6 log result time:133.51 |
[-3,-65,-344] score:1 log result time:9.44 |
[-10,-439,-274] score:7 log result time:13.10 |
[-3,-66,-343] score:4 log result time:274.70 |
[-3,-66,-345] score:5 log result time:15.26 |
[-3,-65,-344] score:1 log result time:8.04 |
[-3,-65,-344] score:1 log result time:3.18 |
| rand4b919e.cudf | [-4,-543,-172] score:6 log result time:116.21 |
[-3,-67,-283] score:1 log result time:9.25 |
[-8,-477,-189] score:7 log result time:13.37 |
[-3,-67,-308] score:4 log result time:273.24 |
[-3,-68,-282] score:5 log result time:10.70 |
[-3,-67,-283] score:1 log result time:8.51 |
[-3,-67,-283] score:1 log result time:3.31 |
| rand4a23d9.cudf | [-4,-549,-121] score:6 log result time:85.02 |
[-4,-73,-255] score:1 log result time:9.25 |
[-15,-528,-123] score:7 log result time:12.78 |
[-4,-74,-256] score:4 log result time:273.16 |
[-4,-74,-259] score:5 log result time:8.06 |
[-4,-73,-255] score:1 log result time:10.58 |
[-4,-73,-255] score:1 log result time:3.90 |
| rand3c03fd.cudf | [-5,-502,-191] score:6 log result time:113.24 |
[-3,-62,-300] score:1 log result time:10.41 |
[-8,-449,-214] score:7 log result time:11.60 |
[-3,-62,-300] score:1 log result time:165.87 |
[-3,-63,-302] score:5 log result time:7.96 |
[-3,-62,-300] score:1 log result time:8.47 |
[-3,-62,-300] score:1 log result time:3.20 |
| rand362510.cudf | [-1,-549,-221] score:6 log result time:118.96 |
[-1,-91,-357] score:1 log result time:10.61 |
[-4,-474,-243] score:7 log result time:11.66 |
[-1,-94,-357] score:4 log result time:275.51 |
[-1,-94,-358] score:5 log result time:8.88 |
[-1,-91,-357] score:1 log result time:8.02 |
[-1,-91,-357] score:1 log result time:3.21 |
| rand27da90.cudf | [-10,-503,-244] score:6 log result time:125.09 |
[-7,-23,-407] score:1 log result time:10.07 |
[-20,-419,-269] score:7 log result time:12.38 |
[-7,-23,-407] score:1 log result time:7.06 |
[-7,-24,-370] score:5 log result time:11.19 |
[-7,-23,-407] score:1 log result time:8.57 |
[-7,-23,-407] score:1 log result time:3.31 |
| rand271a0d.cudf | FAIL 14 log time:7.10 |
FAIL 14 log time:5.03 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.91 |
FAIL 14 log time:1.88 |
| rand18b530.cudf | [-8,-466,-165] score:6 log result time:120.68 |
[-4,-28,-275] score:1 log result time:8.22 |
[-20,-406,-178] score:7 log result time:11.79 |
[-4,-28,-275] score:1 log result time:70.66 |
[-4,-30,-273] score:5 log result time:8.46 |
[-4,-28,-275] score:1 log result time:8.03 |
[-4,-28,-275] score:1 log result time:3.08 |
| rand112989.cudf | NOTSOL score:28 log result time:155.02 |
[-7,-45,-379] score:1 log result time:12.79 |
[-27,-442,-258] score:6 log result time:14.04 |
[-7,-45,-379] score:1 log result time:66.24 |
[-7,-45,-381] score:5 log result time:11.10 |
[-7,-45,-379] score:1 log result time:8.81 |
[-7,-45,-379] score:1 log result time:3.50 |
| rand0a62b6.cudf | [-7,-523,-217] score:6 log result time:121.27 |
[-4,-28,-411] score:1 log result time:10.49 |
[-21,-466,-222] score:7 log result time:13.35 |
[-4,-28,-411] score:1 log result time:9.60 |
[-4,-28,-411] score:1 log result time:8.64 |
[-4,-28,-411] score:1 log result time:8.22 |
[-4,-28,-411] score:1 log result time:3.22 |
| rand085d8a.cudf | [-8,-476,-188] score:6 log result time:175.21 |
[-7,-22,-352] score:1 log result time:9.82 |
[-43,-397,-224] score:7 log result time:11.70 |
[-7,-22,-352] score:1 log result time:13.94 |
[-7,-22,-352] score:1 log result time:16.72 |
[-7,-22,-352] score:1 log result time:8.11 |
[-7,-22,-352] score:1 log result time:3.20 |
| rand00ebc7.cudf | FAIL 14 log time:7.20 |
FAIL 14 log time:5.23 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.89 |
FAIL 14 log time:1.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:3.91 |
FAIL 14 log time:3.83 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.99 |
FAIL 14 log time:0.97 |
| rande89f80.cudf | [0,-44,-320] score:7 log result time:13.36 |
[0,-1,-322] score:1 log result time:4.82 |
[0,-2,-324] score:6 log result time:5.06 |
[0,-1,-322] score:1 log result time:3.24 |
[0,-1,-322] score:1 log result time:5.18 |
[0,-1,-322] score:1 log result time:2.36 |
[0,-1,-322] score:1 log result time:1.24 |
| rande22180.cudf | FAIL 14 log time:3.97 |
FAIL 14 log time:3.72 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.98 |
FAIL 14 log time:0.96 |
| rande2165e.cudf | [-2,-78,-529] score:7 log result time:26.86 |
[-2,0,-542] score:1 log result time:8.82 |
[-2,0,-543] score:5 log result time:7.67 |
[-2,0,-542] score:1 log result time:102.21 |
[-2,0,-544] score:6 log result time:7.95 |
[-2,0,-542] score:1 log result time:2.38 |
[-2,0,-542] score:1 log result time:1.25 |
| randdd5509.cudf | FAIL 14 log time:3.94 |
FAIL 14 log time:3.49 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.02 |
FAIL 14 log time:1.00 |
| randdc506f.cudf | FAIL 14 log time:3.88 |
FAIL 14 log time:2.85 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.00 |
FAIL 14 log time:0.97 |
| randd6bc17.cudf | [0,0,0] score:1 log result time:8.79 |
[0,0,0] score:1 log result time:2.93 |
[0,0,0] score:1 log result time:4.97 |
[0,0,0] score:1 log result time:3.82 |
[0,0,0] score:1 log result time:4.37 |
[0,0,0] score:1 log result time:2.33 |
[0,0,0] score:1 log result time:1.22 |
| randcef367.cudf | FAIL 14 log time:3.94 |
FAIL 14 log time:3.06 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.98 |
FAIL 14 log time:0.97 |
| randcbf550.cudf | FAIL 14 log time:4.00 |
FAIL 14 log time:2.92 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.01 |
FAIL 14 log time:0.98 |
| randbbb4ba.cudf | [-1,-67,-463] score:7 log result time:23.96 |
[-1,-1,-465] score:1 log result time:7.55 |
[-1,-1,-466] score:6 log result time:6.11 |
[-1,-1,-465] score:1 log result time:7.37 |
[-1,-1,-465] score:1 log result time:6.29 |
[-1,-1,-465] score:1 log result time:2.53 |
[-1,-1,-465] score:1 log result time:1.27 |
| randab5933.cudf | FAIL 14 log time:4.02 |
FAIL 14 log time:2.80 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.00 |
FAIL 14 log time:0.97 |
| randa65f48.cudf | [-4,-53,-285] score:7 log result time:17.37 |
[-4,-9,-287] score:1 log result time:5.50 |
[-4,-9,-287] score:1 log result time:7.24 |
[-4,-9,-287] score:1 log result time:4.40 |
[-4,-9,-287] score:1 log result time:3.92 |
[-4,-9,-287] score:1 log result time:2.56 |
[-4,-9,-287] score:1 log result time:1.26 |
| randa65dfb.cudf | [-1,-43,-396] score:7 log result time:21.40 |
[-1,-2,-398] score:1 log result time:6.44 |
[-1,-2,-401] score:6 log result time:7.64 |
[-1,-2,-398] score:1 log result time:7.60 |
[-1,-2,-398] score:1 log result time:6.24 |
[-1,-2,-398] score:1 log result time:2.49 |
[-1,-2,-398] score:1 log result time:1.27 |
| randa13f2d.cudf | [-1,-70,-421] score:7 log result time:23.07 |
[-1,-3,-432] score:1 log result time:8.61 |
[-1,-3,-433] score:5 log result time:6.59 |
[-1,-3,-432] score:1 log result time:11.51 |
[-1,-3,-433] score:5 log result time:9.22 |
[-1,-3,-432] score:1 log result time:2.38 |
[-1,-3,-432] score:1 log result time:1.26 |
| rand9e35f0.cudf | [-1,-41,-360] score:7 log result time:14.77 |
[-1,0,-365] score:1 log result time:5.39 |
[-1,0,-369] score:6 log result time:6.80 |
[-1,0,-365] score:1 log result time:7.62 |
[-1,0,-365] score:1 log result time:5.64 |
[-1,0,-365] score:1 log result time:2.40 |
[-1,0,-365] score:1 log result time:1.26 |
| rand936b0d.cudf | FAIL 14 log time:3.97 |
FAIL 14 log time:3.60 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.01 |
FAIL 14 log time:0.97 |
| rand88811a.cudf | [-1,-30,-354] score:7 log result time:19.66 |
[-1,-2,-357] score:1 log result time:5.81 |
[-1,-2,-364] score:6 log result time:6.14 |
[-1,-2,-357] score:1 log result time:4.24 |
[-1,-2,-357] score:1 log result time:5.30 |
[-1,-2,-357] score:1 log result time:2.53 |
[-1,-2,-357] score:1 log result time:1.26 |
| rand7e9372.cudf | [0,-35,-496] score:7 log result time:26.35 |
[0,0,-502] score:1 log result time:7.18 |
[0,0,-503] score:5 log result time:5.52 |
[0,0,-502] score:1 log result time:169.54 |
[0,0,-503] score:5 log result time:5.30 |
[0,0,-502] score:1 log result time:2.34 |
[0,0,-502] score:1 log result time:1.26 |
| rand6f4585.cudf | [-1,-34,-404] score:7 log result time:22.58 |
[-1,0,-404] score:1 log result time:7.28 |
[-1,0,-405] score:6 log result time:6.04 |
[-1,0,-404] score:1 log result time:3.52 |
[-1,0,-404] score:1 log result time:5.72 |
[-1,0,-404] score:1 log result time:2.39 |
[-1,0,-404] score:1 log result time:1.32 |
| rand6c4744.cudf | FAIL 14 log time:3.93 |
FAIL 14 log time:4.24 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.00 |
FAIL 14 log time:0.97 |
| rand682c92.cudf | FAIL 14 log time:3.86 |
FAIL 14 log time:4.16 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:0.99 |
FAIL 14 log time:0.99 |
| rand601ba8.cudf | [-10,-62,-565] score:7 log result time:29.52 |
[-10,-2,-572] score:1 log result time:7.92 |
[-10,-2,-572] score:1 log result time:6.10 |
[-10,-2,-572] score:1 log result time:20.87 |
[-10,-2,-574] score:6 log result time:9.00 |
[-10,-2,-572] score:1 log result time:2.51 |
[-10,-2,-572] score:1 log result time:1.26 |
| rand59f7dd.cudf | [0,-43,-344] score:7 log result time:14.24 |
[0,0,-345] score:1 log result time:5.23 |
[0,0,-347] score:6 log result time:7.64 |
[0,0,-345] score:1 log result time:4.21 |
[0,0,-345] score:1 log result time:6.24 |
[0,0,-345] score:1 log result time:2.38 |
[0,0,-345] score:1 log result time:1.26 |
| rand56b853.cudf | [0,-37,-337] score:7 log result time:19.58 |
[0,-1,-337] score:1 log result time:6.46 |
[0,-1,-340] score:6 log result time:4.70 |
[0,-1,-337] score:1 log result time:3.96 |
[0,-1,-337] score:1 log result time:3.46 |
[0,-1,-337] score:1 log result time:2.38 |
[0,-1,-337] score:1 log result time:1.26 |
| rand49e642.cudf | [0,-63,-408] score:7 log result time:15.51 |
[0,-10,-420] score:1 log result time:6.56 |
[0,-10,-421] score:6 log result time:6.76 |
[0,-10,-420] score:1 log result time:8.87 |
[0,-10,-420] score:1 log result time:4.54 |
[0,-10,-420] score:1 log result time:2.33 |
[0,-10,-420] score:1 log result time:1.24 |
| rand396cf8.cudf | [-1,-47,-475] score:7 log result time:16.34 |
[-1,0,-475] score:1 log result time:7.28 |
[-1,0,-477] score:5 log result time:6.69 |
[-1,0,-475] score:1 log result time:7.79 |
[-1,0,-477] score:5 log result time:6.83 |
[-1,0,-475] score:1 log result time:2.40 |
[-1,0,-475] score:1 log result time:1.25 |
| rand35afbf.cudf | [0,-35,-502] score:7 log result time:25.98 |
[0,0,-504] score:1 log result time:7.00 |
[0,0,-506] score:6 log result time:6.62 |
[0,0,-504] score:1 log result time:3.78 |
[0,0,-504] score:1 log result time:3.59 |
[0,0,-504] score:1 log result time:2.40 |
[0,0,-504] score:1 log result time:1.29 |
| rand2fa1f8.cudf | FAIL 14 log time:4.00 |
FAIL 14 log time:4.16 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.01 |
FAIL 14 log time:0.97 |
| rand1958fb.cudf | [-2,-37,-561] score:7 log result time:28.50 |
[-2,0,-561] score:1 log result time:8.08 |
[-2,0,-561] score:1 log result time:5.82 |
[-2,0,-561] score:1 log result time:4.82 |
[-2,0,-561] score:1 log result time:4.55 |
[-2,0,-561] score:1 log result time:2.39 |
[-2,0,-561] score:1 log result time:1.24 |
| rand03b0b5.cudf | FAIL 14 log time:4.04 |
FAIL 14 log time:4.56 |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:Command |
FAIL 14 log time:1.00 |
FAIL 14 log time:0.96 |