Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 1294.37 | 129.44 | 260.86 | 27.87 | 32.51 | 0.9 |
caqe_2017_v1 | 7227.28 | 722.73 | 354.55 | 900 | 883.02 | 0.2 |
caqe_2017_v2 | 4719.8 | 471.98 | 432 | 554.75 | 898.99 | 0.5 |
caqe_2017_v3 | 6536.35 | 653.64 | 379.69 | 900 | 882.99 | 0.3 |
CUED1919_NL | 337.92 | 33.79 | 28.03 | 29.4 | 41.38 | 0 |
CUED1919_NNL | 55.21 | 5.52 | 4.76 | 3.95 | 6.48 | 0 |
dynQBF-bloqqer-hqspre | 6727.29 | 672.73 | 344.43 | 900 | 760.18 | 0.4 |
ghostq-cegar | 9000 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 9000 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 9000 | 900 | 0 | 900 | 0 | 0 |
heretiq | 7202.18 | 720.22 | 359.56 | 900 | 898.21 | 0.2 |
HQSpre_solver | 9000 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 7202.19 | 720.22 | 359.56 | 900 | 898.2 | 0.2 |
ijtihad_v2 | 7202.19 | 720.22 | 359.56 | 900 | 898.2 | 0.2 |
iProver-qbf-2017-07-27-v3 | 7529.56 | 752.96 | 300.95 | 900 | 592.3 | 0.2 |
iProver-qbf-bloqqer-2017-07-27-v3 | 6862.97 | 686.3 | 334.44 | 900 | 725.19 | 0.3 |
prefix-opt-depqbf | 9000 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 4919.91 | 491.99 | 399.02 | 523.1 | 839.61 | 0.1 |
qbfrelay-limited-depqbf | 8303.44 | 830.34 | 178.71 | 889.52 | 3.44 | 0.1 |
QELL_default | 7200.55 | 720.06 | 359.89 | 900 | 899.52 | 0.2 |
QELL_unit | 7200.5 | 720.05 | 359.9 | 900 | 899.57 | 0.2 |
qesto | 9000 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 7410.78 | 741.08 | 320.99 | 900 | 694.3 | 0.2 |
Qute_opt500 | 9000 | 900 | 0 | 900 | 0 | 0 |
Qute_random | 9000 | 900 | 0 | 900 | 0 | 0 |
rareqs | 6621.66 | 662.17 | 372.49 | 900 | 898.3 | 0.3 |
rev_qfun0.1 | 7209.52 | 720.95 | 358.1 | 900 | 892.15 | 0.2 |
xb-qsts_bqsts2.0 | 9000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 9000 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 9000 | 900 | 0 | 900 | 0 | 0 |