Summary of all benchmarks in the SCore competition
7.3 | call script runs 7.3 seconds on the benchmark instance |
1.1 | call script runs 1.1 seconds on the benchmark instance (first place) |
1.2 | call script runs 1.2 seconds on the benchmark instance (second place) |
2.3 | call script runs 2.3 seconds on the benchmark instance (third place) |
R | call script runs out of time |
S | call script runs out of memory |
I | computed answer set is incorrect |
NF | answer set was not found (only for incomplete solvers) |
CR | call script/solver can't read the input format e.g. extended rules |
|
15-Puzzle
|
|
pbmodels-wsatcc-SCore | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | dlv-contest | 0.7 | 0.8 | 3.1 | 6.0 | 8.6 | 134.1 | 328.5 | 333.1 | R | 1.0 | dlv-contest-special | 0.8 | 0.8 | 3.1 | 6.0 | 8.6 | 134.4 | 332.3 | 335.0 | R | 1.0 | ASPeR-call-script | 2.1 | 12.0 | 19.7 | 78.5 | 480.1 | R | R | R | R | 1.5 | ASPeRS30-call-script | 2.2 | 13.4 | 22.1 | 74.3 | R | 80.2 | R | R | R | 1.5 | ASPeRS20-call-script | 2.2 | 13.4 | 34.2 | 54.3 | R | 60.2 | R | R | R | 1.5 | defaultGlparse.sh | 3.4 | 3.8 | 4.0 | 5.0 | 4.8 | 6.7 | 9.2 | 9.8 | 18.4 | 5.8 | scriptEloopGlparse | 3.4 | 3.8 | 4.1 | 5.0 | 4.8 | 6.7 | 9.2 | 9.8 | 18.4 | 5.8 | scriptAtomreasonGlparse | 3.4 | 3.8 | 4.0 | 5.0 | 4.8 | 6.7 | 9.2 | 9.9 | 18.4 | 5.8 | lp2sat+minisat | 3.4 | 3.7 | 4.0 | 4.4 | 5.0 | 5.1 | 5.6 | 6.2 | 7.2 | 6.0 | gnt_score | 3.4 | 3.9 | 4.2 | 4.8 | 8.3 | 13.0 | 22.4 | 65.7 | 27.3 | 5.9 | dencode_bc+gnt_score | 3.4 | 4.0 | 4.2 | 4.8 | 8.3 | 13.0 | 22.3 | 65.1 | 27.3 | 5.9 | dencode+gnt_score | 3.4 | 4.0 | 4.2 | 4.8 | 8.3 | 13.0 | 22.4 | 65.6 | 27.3 | 5.9 | lp2sat+siege | 3.4 | 3.8 | 4.1 | 4.5 | 4.8 | 5.4 | 5.8 | 6.3 | 9.7 | 6.1 | clasp_score_glp_def | 3.7 | 4.1 | 4.4 | 4.8 | 5.2 | 5.7 | 6.2 | 7.2 | 8.2 | 6.7 | clasp_cmp_score_glp2 | 3.7 | 4.1 | 4.4 | 4.8 | 5.2 | 5.7 | 6.3 | 7.2 | 7.7 | 6.6 | clasp_cmp_score_glp | 3.7 | 4.1 | 4.4 | 4.8 | 5.2 | 5.6 | 6.5 | 6.7 | 7.1 | 6.7 | smodels_score | 3.8 | 4.2 | 4.5 | 5.0 | 8.3 | 11.2 | 21.3 | 28.6 | 88.0 | 6.7 | smodels_rs_score | 3.8 | 4.2 | 4.5 | 5.0 | 8.3 | 11.2 | 21.4 | 28.9 | 43.3 | 6.7 | smodels_rsn_score | 3.8 | 4.2 | 4.8 | 5.4 | 8.1 | 7.3 | 44.0 | 107.6 | 208.3 | 6.7 | wf+lp2sat+minisat | 3.9 | 4.2 | 4.6 | 5.1 | 8.4 | 11.8 | 13.5 | 16.1 | 17.1 | 6.7 | nomore-default-SCore | 4.1 | 5.3 | 5.9 | 7.2 | 9.9 | 11.9 | 31.0 | 221.0 | 270.5 | 6.6 | nomore-localprop-SCore | 4.1 | 5.3 | 5.8 | 7.2 | 9.9 | 11.8 | 31.0 | 216.8 | 264.1 | 6.6 | nomore-D-SCore | 4.1 | 5.3 | 5.9 | 7.2 | 9.9 | 11.8 | 29.8 | 41.4 | 108.4 | 6.6 | pbmodels-minisat+-SCore | 7.2 | 7.9 | 8.8 | 9.7 | 10.7 | 12.3 | 13.3 | 15.2 | 16.1 | 10.6 | pbmodels-pueblo-SCore | 9.9 | 11.2 | 12.6 | 13.9 | 15.9 | 18.7 | 22.3 | 22.5 | 29.3 | 19.1 |
Factoring
|
|
pbmodels-wsatcc-SCore | S | S | NF | NF | NF | smodels_rsn_score | 1.4 | 110.8 | 1.2 | 3.7 | 100.2 | smodels_score | 1.8 | 6.3 | 1.4 | 4.3 | 43.9 | clasp_cmp_score_glp2 | 2.4 | 40.4 | 1.7 | 6.3 | 104.4 | pbmodels-minisat+-SCore | 2.5 | 6.4 | 2.0 | 7.1 | 68.3 | wf+lp2sat+minisat | 2.7 | 46.1 | 1.6 | 4.4 | 49.9 | gnt_score | 2.9 | 19.7 | 1.4 | 5.2 | 54.5 | dencode+gnt_score | 2.9 | 19.6 | 1.4 | 5.2 | 54.4 | dencode_bc+gnt_score | 2.9 | 19.6 | 1.4 | 5.2 | 54.3 | lp2sat+minisat | 3.1 | 83.3 | 1.5 | 6.3 | 98.9 | smodels_rs_score | 3.2 | 9.6 | 1.4 | 4.3 | 43.7 | lp2sat+siege | 3.4 | 139.2 | 1.6 | 5.1 | 125.7 | pbmodels-pueblo-SCore | 4.6 | 40.4 | 3.7 | 10.0 | 138.8 | clasp_score_glp_def | 4.7 | 30.2 | 1.8 | 6.6 | 74.8 | ASPeR-call-script | 4.9 | 176.4 | 3.2 | 18.0 | 230.6 | ASPeRS20-call-script | 5.1 | R | 3.4 | 18.8 | R | ASPeRS30-call-script | 5.1 | R | 3.4 | 18.8 | R | clasp_cmp_score_glp | 6.0 | 10.9 | 1.7 | 5.9 | 73.4 | scriptEloopGlparse | 10.6 | 186.3 | 2.4 | 13.5 | R | defaultGlparse.sh | 10.6 | 186.0 | 2.4 | 13.5 | R | scriptAtomreasonGlparse | 10.6 | 287.1 | 2.4 | 13.5 | R | nomore-localprop-SCore | 15.2 | 241.9 | 9.6 | 34.7 | 416.8 | nomore-D-SCore | 15.2 | 288.8 | 6.9 | 29.7 | 408.4 | nomore-default-SCore | 17.9 | 298.8 | 10.6 | 41.9 | 554.8 | dlv-contest-special | 62.3 | R | 8.9 | 81.5 | R | dlv-contest | 62.6 | R | 8.9 | 82.3 | R |
HamiltonianPath
|
|
nomore-localprop-SCore | R | R | R | R | R | R | R | R | 542.4 | R | R | R | R | R | pbmodels-wsatcc-SCore | R | NF | NF | NF | R | R | NF | NF | NF | NF | NF | NF | R | R | ASPeR-call-script | R | R | R | R | R | R | R | R | R | R | R | R | R | R | ASPeRS20-call-script | R | R | R | R | R | R | R | R | R | R | R | R | R | 148.1 | ASPeRS30-call-script | R | R | R | R | R | R | R | R | R | R | R | R | R | 124.0 | clasp_cmp_score_glp | 1.0 | 1.5 | 1.3 | 1.2 | 1.3 | 1.2 | 1.1 | 1.2 | 1.0 | 1.2 | 2.0 | 1.4 | 1.3 | 2.1 | clasp_score_glp_def | 1.0 | 1.5 | 1.2 | 1.2 | 1.3 | 1.1 | 1.2 | 1.3 | 1.0 | 1.2 | 2.1 | 1.6 | 1.3 | 2.0 | clasp_cmp_score_glp2 | 1.0 | 1.5 | 1.2 | 1.1 | 1.2 | 1.2 | 1.2 | 1.1 | 1.0 | 1.1 | 1.6 | 1.6 | 1.1 | 2.0 | gnt_score | 1.3 | R | 6.0 | 2.6 | 7.8 | 132.4 | 1.3 | 1.5 | 1.8 | 1.4 | R | R | R | R | dencode+gnt_score | 1.3 | R | 6.0 | 2.6 | 7.8 | 132.8 | 1.3 | 1.6 | 1.8 | 1.5 | R | R | R | R | dencode_bc+gnt_score | 1.3 | R | 6.0 | 2.6 | 7.6 | 132.3 | 1.3 | 1.5 | 1.8 | 1.5 | R | R | R | R | scriptEloopGlparse | 1.4 | 3.2 | 2.1 | 2.7 | 8.7 | 4.0 | 2.5 | 1.6 | 1.6 | 2.6 | 8.2 | 2.3 | 1.7 | 4.6 | defaultGlparse.sh | 1.4 | 3.2 | 2.1 | 2.7 | 8.6 | 4.0 | 2.4 | 1.5 | 1.6 | 2.5 | 8.1 | 2.3 | 1.7 | 4.6 | smodels_score | 1.4 | R | 1.5 | 9.1 | 41.3 | 1.6 | 1.3 | 6.0 | 2.4 | 44.4 | R | R | R | R | smodels_rs_score | 1.5 | R | 5.5 | 1.6 | 1.5 | 2.7 | 1.3 | 4.1 | 1.2 | 13.0 | 19.6 | 25.9 | 30.4 | 58.4 | scriptAtomreasonGlparse | 3.3 | 5.9 | 6.7 | 7.9 | 4.0 | 10.5 | 8.5 | 9.3 | 7.4 | 6.7 | 27.4 | 5.3 | 7.9 | 3.0 | lp2sat+minisat | 12.1 | 82.8 | 24.9 | 57.5 | 51.7 | 201.1 | 27.9 | 34.1 | 33.2 | 40.0 | 189.1 | 204.8 | R | 69.2 | pbmodels-pueblo-SCore | 14.2 | R | 165.8 | 126.2 | 391.2 | R | 59.6 | 425.4 | 37.2 | R | 452.8 | R | R | 188.1 | smodels_rsn_score | 16.7 | R | R | R | R | 58.0 | 358.9 | 172.8 | 283.3 | 380.7 | R | R | R | 58.8 | dlv-contest-special | 20.0 | 54.1 | R | R | 122.6 | R | 0.4 | 1.7 | R | R | R | 0.5 | 0.2 | R | dlv-contest | 20.0 | 54.4 | R | R | 124.3 | R | 0.5 | 1.7 | R | R | R | 0.6 | 0.2 | R | wf+lp2sat+minisat | 32.1 | 163.8 | 40.2 | 342.9 | 305.1 | 68.3 | 48.6 | 64.9 | 46.1 | 60.6 | 167.4 | 52.6 | 180.4 | R | nomore-default-SCore | 32.2 | R | R | R | R | R | 530.6 | R | 25.6 | 356.0 | R | R | R | R | pbmodels-minisat+-SCore | 46.2 | 230.0 | 261.5 | R | 254.4 | R | 161.3 | R | 63.8 | 429.2 | 390.7 | R | R | 40.4 | lp2sat+siege | 56.4 | R | 277.7 | 161.3 | 399.8 | 209.5 | 272.7 | 307.1 | 79.4 | 291.8 | S | S | R | S | nomore-D-SCore | 180.6 | R | R | R | R | 302.1 | 73.4 | 170.5 | R | R | R | R | 559.9 | R |
SchurNumbers
|
|
ASPeR-call-script | R | R | R | R | R | lp2sat+minisat | 2.8 | 2.9 | 3.2 | 4.4 | 94.4 | scriptEloopGlparse | 3.0 | 3.2 | 3.3 | 5.8 | 278.9 | defaultGlparse.sh | 3.0 | 3.2 | 3.3 | 5.8 | 278.8 | scriptAtomreasonGlparse | 3.0 | 3.2 | 3.3 | 5.8 | 278.9 | clasp_score_glp_def | 3.1 | 3.3 | 3.5 | 4.1 | 51.4 | clasp_cmp_score_glp2 | 3.1 | 3.3 | 3.4 | 3.6 | 35.3 | lp2sat+siege | 3.2 | 3.2 | 5.6 | 11.4 | 79.9 | clasp_cmp_score_glp | 3.3 | 3.3 | 3.4 | 4.6 | 32.0 | nomore-default-SCore | 3.5 | 3.6 | 4.1 | 161.1 | R | nomore-localprop-SCore | 3.5 | 3.6 | 4.1 | 161.4 | R | smodels_score | 3.5 | 3.9 | 4.2 | 4.3 | R | smodels_rs_score | 3.5 | 4.4 | 5.4 | 71.2 | R | pbmodels-minisat+-SCore | 3.6 | 3.8 | 4.0 | 4.9 | 25.0 | pbmodels-pueblo-SCore | 3.8 | 4.0 | 4.1 | 25.2 | 214.8 | wf+lp2sat+minisat | 3.8 | 4.1 | 4.4 | 5.8 | 69.4 | dencode_bc+gnt_score | 6.2 | 4.5 | 9.9 | 28.4 | R | dencode+gnt_score | 6.2 | 4.5 | 9.9 | 28.5 | R | gnt_score | 6.3 | 4.5 | 9.9 | 28.8 | R | nomore-D-SCore | 12.7 | 7.9 | 4.1 | 290.6 | R | smodels_rsn_score | 18.5 | 3.6 | 33.7 | R | R | ASPeRS20-call-script | 32.2 | R | 381.3 | R | R | ASPeRS30-call-script | 42.2 | R | 561.2 | R | R | pbmodels-wsatcc-SCore | 110.6 | S | 142.7 | S | NF | dlv-contest-special | 291.8 | 479.2 | R | R | R | dlv-contest | 292.0 | R | R | R | R |
BlockedN-Queens
|
|
dlv-contest-special | R | R | R | 220.5 | 234.3 | 27.9 | R | R | R | R | R | R | 14.3 | R | dlv-contest | R | R | R | 220.5 | 224.8 | 27.7 | R | R | R | R | R | R | 14.4 | R | pbmodels-wsatcc-SCore | R | R | 25.6 | NF | 38.8 | NF | R | NF | 401.4 | NF | R | R | R | 529.8 | ASPeR-call-script | R | R | R | R | R | R | S | S | S | S | S | S | S | S | ASPeRS20-call-script | R | R | 153.5 | R | R | 86.9 | S | S | S | S | S | S | S | S | ASPeRS30-call-script | R | R | 213.4 | R | R | 116.7 | S | S | S | S | S | S | S | S | lp2sat+minisat | 15.0 | 33.9 | 14.9 | 14.4 | 21.1 | 13.8 | 243.0 | R | R | R | R | 479.9 | 110.9 | R | lp2sat+siege | 15.0 | 45.0 | 14.7 | 16.4 | 13.9 | 14.6 | 471.4 | R | R | R | R | R | 110.7 | R | scriptEloopGlparse | 16.9 | 85.3 | 61.7 | 25.0 | 61.0 | 13.7 | R | R | 229.9 | R | R | R | 107.5 | R | defaultGlparse.sh | 16.9 | 85.3 | 61.8 | 25.0 | 61.1 | 13.7 | R | R | 230.4 | R | R | R | 107.5 | R | scriptAtomreasonGlparse | 17.0 | 85.3 | 61.8 | 25.0 | 61.0 | 13.7 | R | R | 229.9 | R | R | R | 107.5 | R | wf+lp2sat+minisat | 18.0 | 26.5 | 19.2 | 17.4 | 20.3 | 17.4 | 212.4 | 163.1 | 407.9 | R | 587.4 | R | 132.7 | R | pbmodels-minisat+-SCore | 19.0 | 27.0 | 20.0 | 19.3 | 18.9 | 19.5 | 262.8 | R | 436.1 | R | R | R | 146.3 | R | clasp_score_glp_def | 19.6 | 104.3 | 27.2 | 18.2 | 23.9 | 19.7 | R | R | R | R | R | R | 136.0 | R | clasp_cmp_score_glp2 | 19.8 | 83.7 | 20.1 | 19.4 | 39.0 | 21.5 | R | R | R | 124.7 | R | R | 136.2 | R | clasp_cmp_score_glp | 19.8 | 76.2 | 27.3 | 16.8 | 27.2 | 19.7 | R | 233.0 | R | R | R | R | 136.4 | R | pbmodels-pueblo-SCore | 27.5 | 191.7 | 25.0 | 46.3 | 62.7 | 33.6 | R | R | R | R | R | R | 170.1 | R | dencode_bc+gnt_score | 60.5 | 327.4 | 76.9 | 48.2 | 38.5 | 23.8 | R | R | R | R | R | R | 114.8 | R | gnt_score | 60.5 | 329.3 | 76.8 | 48.3 | 38.1 | 23.7 | R | R | R | R | R | R | 114.4 | R | dencode+gnt_score | 60.6 | 327.6 | 77.0 | 48.3 | 38.0 | 23.7 | 59.6 | R | R | R | R | R | 115.2 | R | smodels_score | 64.8 | 352.4 | 21.8 | 61.1 | 88.7 | 31.8 | R | R | R | R | R | R | 134.7 | R | smodels_rs_score | 66.9 | 346.4 | 26.2 | 56.3 | 58.0 | 33.5 | R | R | R | R | R | R | 134.7 | R | smodels_rsn_score | 215.2 | R | 35.7 | 32.4 | 68.0 | 28.0 | R | R | R | R | R | R | 134.8 | R | nomore-localprop-SCore | 287.7 | R | 47.8 | 282.3 | 344.8 | 93.2 | R | R | R | R | R | R | 134.6 | R | nomore-default-SCore | 288.5 | R | 47.8 | 282.6 | 345.3 | 93.4 | R | R | R | R | R | R | 134.8 | R | nomore-D-SCore | 352.0 | R | 64.6 | 344.3 | 424.4 | 122.9 | R | R | R | R | R | R | 134.8 | R |
EqTest
|
|
pbmodels-wsatcc-SCore | NF | NF | NF | NF | NF | dlv-contest | 0.7 | 3.0 | 14.1 | 69.8 | 406.9 | dlv-contest-special | 0.7 | 3.0 | 14.1 | 70.0 | 409.1 | clasp_cmp_score_glp2 | 1.0 | 2.5 | 7.8 | 38.5 | 273.5 | clasp_cmp_score_glp | 1.1 | 2.6 | 7.5 | 36.9 | 281.9 | clasp_score_glp_def | 1.1 | 2.8 | 10.6 | 63.3 | 403.7 | lp2sat+minisat | 1.1 | 3.3 | 15.2 | 179.5 | R | lp2sat+siege | 1.1 | 2.9 | 16.6 | 97.5 | R | smodels_rsn_score | 1.3 | 4.1 | 30.0 | 145.0 | R | wf+lp2sat+minisat | 1.6 | 3.8 | 17.4 | 143.9 | R | pbmodels-minisat+-SCore | 1.9 | 4.9 | 22.3 | 191.8 | R | dencode_bc+gnt_score | 2.1 | 9.6 | 57.7 | 360.7 | R | smodels_score | 2.1 | 9.2 | 52.6 | 336.6 | R | gnt_score | 2.1 | 9.6 | 58.7 | 359.8 | R | dencode+gnt_score | 2.2 | 10.0 | 57.7 | 363.2 | R | smodels_rs_score | 2.2 | 9.2 | 54.6 | 340.9 | R | nomore-default-SCore | 2.4 | 8.5 | 35.8 | 202.2 | R | nomore-localprop-SCore | 2.4 | 8.5 | 35.9 | 203.0 | R | defaultGlparse.sh | 2.6 | 8.7 | 49.8 | R | R | scriptEloopGlparse | 2.6 | 8.7 | 49.7 | R | R | scriptAtomreasonGlparse | 2.6 | 8.7 | 49.9 | R | R | nomore-D-SCore | 2.8 | 10.3 | 44.3 | 247.9 | R | pbmodels-pueblo-SCore | 10.4 | 18.4 | 107.5 | R | R | ASPeRS20-call-script | 41.5 | R | R | R | R | ASPeRS30-call-script | 51.6 | R | R | R | R | ASPeR-call-script | 56.1 | 592.2 | R | S | R |
RandomNonTight
|
|
pbmodels-pueblo-SCore | I | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | I | 0.7 | 0.7 | 0.7 | 0.7 | pbmodels-wsatcc-SCore | R | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | wf+lp2sat+minisat | R | R | R | R | R | R | R | R | R | R | R | R | R | R | dlv-contest | 1.0 | 14.8 | 15.8 | 38.0 | 15.6 | 5.5 | 37.3 | 28.8 | 28.1 | 19.9 | 372.5 | 587.8 | 335.5 | R | dlv-contest-special | 1.0 | 14.8 | 15.9 | 38.0 | 15.7 | 5.5 | 37.6 | 28.8 | 28.0 | 19.9 | 371.4 | 586.6 | 336.5 | R | smodels_rs_score | 1.7 | 26.4 | 57.4 | 118.6 | 47.6 | 19.0 | 119.6 | 90.4 | 100.9 | 263.6 | R | R | R | R | clasp_score_glp_def | 2.5 | 7.4 | 34.8 | 50.6 | 18.1 | 3.7 | 41.8 | 44.0 | 23.9 | 11.8 | 322.9 | R | 431.7 | R | gnt_score | 3.6 | 28.7 | 59.5 | 121.9 | 55.6 | 17.2 | 130.5 | 101.3 | 120.9 | 7.1 | R | R | R | R | dencode+gnt_score | 3.6 | 28.7 | 59.5 | 121.8 | 55.6 | 17.1 | 130.4 | 101.4 | 121.0 | 7.1 | R | R | R | R | dencode_bc+gnt_score | 3.6 | 28.8 | 59.5 | 121.7 | 55.7 | 17.1 | 130.5 | 101.4 | 120.8 | 7.1 | R | R | R | R | clasp_cmp_score_glp2 | 4.7 | 7.2 | 14.7 | 33.6 | 13.0 | 2.6 | 29.4 | 23.0 | 17.6 | 70.9 | 197.7 | 362.9 | 216.0 | 530.2 | ASPeR-call-script | 5.1 | 31.0 | 21.6 | 80.3 | 30.1 | 7.5 | 70.8 | 67.6 | 75.8 | 88.4 | R | R | R | R | ASPeRS20-call-script | 5.5 | 240.4 | 82.8 | R | 240.0 | 8.1 | R | R | R | 263.9 | R | R | R | R | ASPeRS30-call-script | 5.5 | 59.2 | 22.8 | R | 59.0 | 8.3 | R | R | R | 383.7 | R | R | R | R | clasp_cmp_score_glp | 6.2 | 6.1 | 14.9 | 36.7 | 12.0 | 2.4 | 25.9 | 29.3 | 19.5 | 46.7 | 207.3 | 400.4 | 220.7 | 504.5 | defaultGlparse.sh | 11.6 | 75.8 | 172.5 | 547.6 | 230.5 | 17.9 | 598.0 | 449.4 | 226.5 | R | R | R | R | R | scriptAtomreasonGlparse | 11.6 | 75.8 | 203.8 | R | 214.0 | 18.0 | 576.8 | 447.0 | 210.6 | R | R | R | R | R | scriptEloopGlparse | 11.6 | 75.6 | 172.7 | S | 229.7 | 18.0 | 598.2 | 450.5 | 214.0 | S | R | S | R | R | smodels_rsn_score | 24.2 | 18.4 | 26.8 | 35.1 | 24.1 | 8.5 | 42.7 | 35.3 | 28.8 | 86.3 | 486.2 | R | 448.6 | R | smodels_score | 51.3 | 24.9 | 54.5 | 108.7 | 48.7 | 21.2 | 123.0 | 85.6 | 110.8 | 154.6 | R | R | R | R | pbmodels-minisat+-SCore | 52.8 | 7.9 | 82.0 | 295.1 | 20.0 | 4.2 | 348.6 | 125.5 | 93.0 | 126.7 | R | R | R | R | lp2sat+siege | 93.8 | S | S | S | S | 272.6 | S | S | S | S | S | S | S | S | lp2sat+minisat | 109.1 | 356.1 | R | R | 561.1 | 137.9 | R | R | R | R | R | R | R | R | nomore-localprop-SCore | 111.4 | 186.5 | 477.0 | R | 455.2 | 71.8 | R | R | 550.4 | R | R | R | R | R | nomore-D-SCore | 149.6 | 260.3 | 490.5 | R | 407.1 | 141.3 | R | R | R | R | R | R | R | R | nomore-default-SCore | 450.4 | R | R | R | R | 282.8 | R | R | R | R | R | R | R | R |
RLP-150
|
|
pbmodels-wsatcc-SCore | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | ASPeR-call-script | R | R | R | R | R | R | 205.0 | R | R | R | R | R | R | R | ASPeRS20-call-script | R | R | R | R | R | R | R | R | R | R | R | R | R | R | ASPeRS30-call-script | R | R | R | R | R | R | R | R | R | R | R | R | R | R | pbmodels-pueblo-SCore | 0.3 | 0.4 | 0.4 | 0.4 | 0.4 | 0.3 | 0.4 | I | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | clasp_cmp_score_glp2 | 0.8 | 1.1 | 1.2 | 0.9 | 1.1 | 1.3 | 1.1 | 0.6 | 1.2 | 0.9 | 0.9 | 1.0 | 1.2 | 1.1 | clasp_cmp_score_glp | 0.9 | 0.9 | 1.0 | 1.0 | 0.8 | 1.0 | 1.1 | 1.4 | 1.0 | 0.8 | 1.0 | 1.1 | 1.4 | 1.2 | clasp_score_glp_def | 1.1 | 1.2 | 2.0 | 1.2 | 1.4 | 1.9 | 1.0 | 0.8 | 1.0 | 1.2 | 1.1 | 1.2 | 1.6 | 1.5 | pbmodels-minisat+-SCore | 1.1 | 0.7 | 1.7 | 9.4 | 0.7 | 0.7 | 0.8 | 0.8 | 0.8 | 1.8 | 0.7 | 1.9 | 3.8 | 6.6 | defaultGlparse.sh | 2.0 | 2.2 | 2.6 | 2.6 | 1.9 | 2.9 | 3.4 | 3.4 | 2.4 | 2.0 | 1.6 | 2.6 | 3.3 | 2.4 | scriptEloopGlparse | 2.0 | 2.2 | 2.6 | R | 1.9 | 2.9 | 3.5 | 3.4 | 2.4 | 2.0 | 1.6 | 2.6 | S | 2.4 | scriptAtomreasonGlparse | 2.0 | 2.2 | 2.0 | 2.3 | 1.9 | 2.9 | 3.4 | 3.3 | 2.4 | 2.1 | 1.6 | 2.6 | 2.6 | 2.4 | smodels_rsn_score | 4.1 | 5.2 | 5.8 | 5.6 | 5.1 | 3.7 | 5.3 | 1.3 | 4.4 | 8.0 | 5.2 | 6.1 | 3.8 | 6.2 | smodels_rs_score | 4.6 | 3.2 | 5.8 | 25.9 | 10.1 | 2.7 | 2.7 | 3.9 | 2.6 | 14.0 | 6.7 | 14.4 | 11.2 | 4.6 | smodels_score | 5.9 | 3.9 | 5.5 | 27.2 | 10.5 | 2.6 | 2.9 | 1.6 | 2.9 | 13.1 | 9.2 | 17.0 | 9.8 | 4.3 | dencode+gnt_score | 7.2 | 5.0 | 7.4 | 30.5 | 9.0 | 2.6 | 3.1 | 3.2 | 2.5 | 15.7 | 11.8 | 21.0 | 17.1 | 4.8 | gnt_score | 7.2 | 5.0 | 7.4 | 30.6 | 9.0 | 2.6 | 3.1 | 3.2 | 2.5 | 15.7 | 11.8 | 21.0 | 17.1 | 4.8 | dencode_bc+gnt_score | 7.2 | 5.0 | 7.4 | 30.6 | 9.0 | 2.6 | 3.1 | 3.2 | 2.5 | 15.7 | 11.9 | 21.0 | 17.1 | 4.8 | nomore-localprop-SCore | 12.3 | 16.9 | 13.5 | 18.1 | 13.3 | 15.7 | 16.9 | 9.2 | 18.3 | 15.4 | 15.5 | 29.8 | 22.0 | 20.5 | lp2sat+minisat | 23.5 | 27.3 | 70.5 | 146.9 | 28.5 | 26.9 | 32.7 | 30.1 | 29.5 | 26.5 | 24.5 | 34.2 | 112.3 | 40.4 | nomore-default-SCore | 28.1 | 37.3 | 34.3 | 48.8 | 30.6 | 43.5 | 36.1 | 34.0 | 44.9 | 36.1 | 33.6 | 68.3 | 50.5 | 52.3 | wf+lp2sat+minisat | 37.6 | 34.4 | 85.9 | 160.9 | 37.9 | 41.9 | 42.8 | 27.9 | 45.3 | 32.7 | 36.4 | 42.1 | 124.4 | 72.7 | lp2sat+siege | 41.4 | 38.4 | 103.1 | 173.5 | 38.1 | 42.3 | 61.3 | 38.5 | 46.9 | 46.8 | 28.5 | 48.4 | 135.0 | 86.9 | dlv-contest | 42.0 | 25.7 | 27.6 | 32.1 | 75.7 | 27.1 | 25.5 | 32.0 | 51.5 | 33.2 | 20.7 | 42.3 | 38.4 | 31.6 | dlv-contest-special | 42.3 | 25.7 | 27.6 | 31.8 | 76.0 | 27.3 | 25.6 | 32.1 | 51.3 | 33.3 | 20.7 | 42.4 | 38.5 | 31.6 | nomore-D-SCore | 73.6 | 67.5 | 81.1 | 164.3 | 91.8 | 97.0 | 49.5 | 13.2 | 94.7 | 54.0 | 196.5 | 107.9 | 167.9 | 133.5 |
RLP-200
|
|
nomore-D-SCore | R | 484.1 | 472.9 | R | R | R | R | 352.1 | 281.0 | 289.9 | 460.6 | 149.1 | 201.2 | 129.4 | pbmodels-wsatcc-SCore | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | NF | R | NF | R | ASPeR-call-script | R | R | R | R | R | R | R | S | R | R | R | R | R | R | ASPeRS20-call-script | R | R | R | R | R | R | R | R | R | R | R | R | R | R | ASPeRS30-call-script | R | R | R | S | R | R | R | R | R | R | R | R | R | R | pbmodels-pueblo-SCore | 0.4 | 0.4 | 0.4 | 0.4 | 0.5 | 0.5 | 0.5 | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | 0.6 | pbmodels-minisat+-SCore | 3.7 | 2.4 | 1.6 | 4.4 | 3.3 | 5.5 | 19.9 | 1.4 | 1.1 | 1.8 | 1.5 | 1.9 | 3.0 | 28.6 | clasp_cmp_score_glp | 3.9 | 3.5 | 3.1 | 9.3 | 7.5 | 6.9 | 4.1 | 2.7 | 1.6 | 2.1 | 2.6 | 1.4 | 1.1 | 1.0 | clasp_cmp_score_glp2 | 3.9 | 4.1 | 3.2 | 9.9 | 5.5 | 6.4 | 5.3 | 2.2 | 1.7 | 2.7 | 1.7 | 1.6 | 0.9 | 1.1 | clasp_score_glp_def | 5.8 | 5.3 | 4.8 | 11.6 | 10.2 | 7.8 | 7.9 | 3.4 | 1.7 | 2.9 | 2.6 | 1.2 | 1.2 | 1.2 | scriptAtomreasonGlparse | 11.0 | 16.6 | 11.7 | 32.8 | 17.5 | 17.8 | 14.8 | 4.5 | 4.1 | 5.1 | 4.4 | 2.0 | 1.3 | 1.9 | scriptEloopGlparse | 11.2 | 16.6 | 11.6 | 32.8 | 17.6 | 17.9 | R | 4.5 | 4.0 | 5.1 | 4.4 | 2.0 | S | S | defaultGlparse.sh | 11.3 | 16.6 | 11.8 | 32.8 | 17.6 | 18.0 | 12.7 | 4.5 | 4.1 | 5.1 | 4.4 | 2.0 | 1.4 | 1.6 | smodels_rs_score | 12.7 | 34.9 | 54.8 | 60.9 | 201.5 | 70.8 | 60.1 | 43.1 | 10.4 | 21.8 | 24.3 | 3.4 | 3.5 | 14.2 | smodels_score | 13.9 | 32.8 | 57.9 | 88.6 | 211.6 | 78.9 | 87.1 | 39.1 | 13.0 | 23.8 | 24.5 | 3.1 | 3.0 | 14.1 | dencode+gnt_score | 15.9 | 49.5 | 124.8 | 148.9 | 263.7 | 116.2 | 64.4 | 41.4 | 12.3 | 25.2 | 34.7 | 5.8 | 6.1 | 11.3 | dencode_bc+gnt_score | 15.9 | 49.6 | 124.9 | 148.8 | 263.5 | 116.3 | 64.4 | 41.4 | 12.3 | 25.2 | 34.7 | 5.8 | 6.1 | 11.3 | gnt_score | 15.9 | 49.6 | 125.0 | 149.0 | 263.5 | 116.3 | 64.4 | 41.4 | 12.3 | 25.2 | 34.7 | 5.7 | 6.1 | 11.4 | smodels_rsn_score | 40.9 | 65.0 | 49.0 | 91.4 | 207.9 | 31.6 | 106.8 | 20.1 | 11.8 | 14.9 | 30.5 | 8.6 | 7.4 | 7.6 | nomore-localprop-SCore | 70.1 | 90.9 | 72.0 | 146.6 | 141.9 | 139.1 | 158.2 | 60.2 | 54.9 | 45.7 | 37.5 | 21.5 | 19.4 | 23.0 | lp2sat+minisat | 88.1 | 116.9 | 90.8 | 206.3 | 176.7 | 189.3 | R | 65.7 | 50.1 | 67.3 | 53.2 | 543.6 | R | R | lp2sat+siege | 130.8 | 158.2 | 163.2 | 306.8 | 209.6 | 302.6 | S | 79.1 | 76.4 | 89.0 | 62.0 | 449.1 | S | S | wf+lp2sat+minisat | 146.8 | 118.7 | 113.1 | 231.0 | 156.6 | 180.0 | R | 81.8 | 76.7 | 77.0 | 76.1 | 582.0 | R | R | nomore-default-SCore | 196.1 | 200.2 | 202.8 | 377.8 | 318.4 | 328.6 | 344.4 | 136.8 | 108.3 | 92.0 | 66.5 | 35.5 | 36.2 | 40.8 | dlv-contest | 341.3 | R | 344.8 | 569.4 | R | 228.9 | 296.9 | 152.0 | 45.6 | 32.0 | 64.7 | 15.5 | 22.3 | 10.4 | dlv-contest-special | 342.5 | R | 343.6 | 569.8 | R | 229.9 | 298.0 | 151.3 | 45.6 | 32.0 | 65.2 | 15.2 | 22.2 | 10.4 |
|