Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1800.08 | 600.03 | 424.23 | 900 | 899.92 | 0.333 |
caqe_2017_v1 | 949.05 | 316.35 | 413.19 | 49.04 | 49.03 | 0.667 |
caqe_2017_v2 | 1007.04 | 335.68 | 401.41 | 106.97 | 106.9 | 0.667 |
caqe_2017_v3 | 1007.38 | 335.79 | 401.35 | 107.36 | 107.34 | 0.667 |
CUED1919_NL | 155.01 | 51.67 | 51.27 | 33.39 | 33.34 | 0 |
CUED1919_NNL | 34.28 | 11.43 | 12.33 | 5.68 | 5.64 | 0 |
dynQBF-bloqqer-hqspre | 1800.07 | 600.02 | 424.23 | 900 | 899.93 | 0.333 |
ghostq-cegar | 995.29 | 331.76 | 403.65 | 94.84 | 94.39 | 0.667 |
GhostQ-PG_cegar | 1800.49 | 600.16 | 424.03 | 900 | 899.51 | 0.333 |
GhostQ-PG_plain | 1800.47 | 600.16 | 424.04 | 900 | 899.53 | 0.333 |
heretiq | 1300.06 | 433.35 | 368.17 | 400.05 | 400.04 | 0.667 |
HQSpre_solver | 1800.1 | 600.03 | 424.22 | 900 | 899.9 | 0.333 |
ijtihad_v1 | 1800.01 | 600 | 424.26 | 900 | 899.99 | 0.333 |
ijtihad_v2 | 1800.01 | 600 | 424.26 | 900 | 899.99 | 0.333 |
iProver-qbf-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 1800.09 | 600.03 | 424.22 | 900 | 899.91 | 0.333 |
prefix-opt-depqbf | 1108.49 | 369.5 | 378.21 | 163.32 | 118.15 | 0.667 |
qbfrelay | 926.75 | 308.92 | 413.71 | 32.87 | 32.67 | 0.333 |
qbfrelay-limited-depqbf | 268.39 | 89.46 | 42.49 | 76.64 | 31.61 | 1 |
QELL_default | 2700 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 2700 | 900 | 0 | 900 | 0 | 0 |
qesto | 1800.01 | 600 | 424.26 | 900 | 899.99 | 0.333 |
Qute_default | 1800.25 | 600.08 | 424.15 | 900 | 899.75 | 0.333 |
Qute_opt500 | 1103.64 | 367.88 | 385.3 | 203.39 | 203.14 | 0.667 |
Qute_random | 1105.9 | 368.63 | 384.98 | 205.65 | 205.4 | 0.667 |
rareqs | 1800.02 | 600.01 | 424.25 | 900 | 899.98 | 0.333 |
rev_qfun0.1 | 14.03 | 4.68 | 3.6 | 5.24 | 5.23 | 1 |
xb-qsts_bqsts2.0 | 1800.07 | 600.02 | 424.23 | 900 | 899.93 | 0.333 |
xb-qsts_xbqsts1.0 | 1800.07 | 600.02 | 424.23 | 900 | 899.93 | 0.333 |
xb-qsts_xbqsts2.0 | 1800.07 | 600.02 | 424.23 | 900 | 899.93 | 0.333 |