Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 3471.86 | 694.37 | 350.05 | 900 | 514.07 | 0.2 |
caqe_2017_v1 | 3602.18 | 720.44 | 359.13 | 900 | 448.91 | 0.2 |
caqe_2017_v2 | 2704.75 | 540.95 | 439.75 | 900 | 897.63 | 0.4 |
caqe_2017_v3 | 3600.32 | 720.06 | 359.87 | 900 | 449.84 | 0.2 |
CUED1919_NL | 11.71 | 2.34 | 0.71 | 2.63 | 0.93 | 0 |
CUED1919_NNL | 4.78 | 0.96 | 0.1 | 0.92 | 0.14 | 0 |
dynQBF-bloqqer-hqspre | 3603.17 | 720.63 | 358.73 | 900 | 448.42 | 0.2 |
ghostq-cegar | 2721.47 | 544.29 | 435.69 | 900 | 889.27 | 0.4 |
GhostQ-PG_cegar | 2706.67 | 541.33 | 439.28 | 900 | 896.67 | 0.4 |
GhostQ-PG_plain | 2704.48 | 540.9 | 439.81 | 900 | 897.76 | 0.4 |
heretiq | 3601.91 | 720.38 | 359.24 | 900 | 449.05 | 0.2 |
HQSpre_solver | 3600.98 | 720.2 | 359.61 | 900 | 449.51 | 0.2 |
ijtihad_v1 | 3601.93 | 720.39 | 359.23 | 900 | 449.04 | 0.2 |
ijtihad_v2 | 3601.95 | 720.39 | 359.22 | 900 | 449.03 | 0.2 |
iProver-qbf-2017-07-27-v3 | 3745.34 | 749.07 | 301.86 | 900 | 377.33 | 0.2 |
iProver-qbf-bloqqer-2017-07-27-v3 | 4295.9 | 859.18 | 81.64 | 900 | 102.05 | 0.2 |
prefix-opt-depqbf | 3634.56 | 726.91 | 346.18 | 900 | 432.72 | 0.2 |
qbfrelay | 1835.62 | 367.12 | 428.16 | 24.84 | 442.46 | 0.2 |
qbfrelay-limited-depqbf | 3588.37 | 717.67 | 341.37 | 888.12 | 427.88 | 0.2 |
QELL_default | 3601.39 | 720.28 | 359.44 | 900 | 449.31 | 0.2 |
QELL_unit | 3601.82 | 720.36 | 359.27 | 900 | 449.09 | 0.2 |
qesto | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 2714.81 | 542.96 | 437.3 | 900 | 892.6 | 0.4 |
Qute_opt500 | 2741.68 | 548.34 | 430.89 | 900 | 879.16 | 0.4 |
Qute_random | 2742.3 | 548.46 | 430.75 | 900 | 878.85 | 0.4 |
rareqs | 3605.32 | 721.06 | 357.87 | 900 | 447.34 | 0.2 |
rev_qfun0.1 | 2713.18 | 542.64 | 437.69 | 900 | 893.41 | 0.4 |
xb-qsts_bqsts2.0 | 4500 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 4500 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 4500 | 900 | 0 | 900 | 0 | 0 |