Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 66.38 | 13.28 | 17.37 | 8.26 | 7.62 | 1 |
caqe_2017_v1 | 900.04 | 180.01 | 360 | 0.01 | 0.01 | 0.8 |
caqe_2017_v2 | 1800.15 | 360.03 | 440.88 | 0.11 | 450.04 | 0.6 |
caqe_2017_v3 | 1800.16 | 360.03 | 440.88 | 0.11 | 450.03 | 0.6 |
CUED1919_NL | 3600.09 | 720.02 | 359.96 | 900 | 449.96 | 0.2 |
CUED1919_NNL | 3600.03 | 720.01 | 359.99 | 900 | 449.99 | 0.2 |
dynQBF-bloqqer-hqspre | 9.46 | 1.89 | 3.54 | 0.14 | 0.1 | 1 |
ghostq-cegar | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_cegar | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ-PG_plain | 4500 | 900 | 0 | 900 | 0 | 0 |
heretiq | 900.05 | 180.01 | 360 | 0.01 | 0.01 | 0.8 |
HQSpre_solver | 900.49 | 180.1 | 359.95 | 0.1 | 0.21 | 0.8 |
ijtihad_v1 | 900.06 | 180.01 | 359.99 | 0.02 | 0.01 | 0.8 |
ijtihad_v2 | 900.05 | 180.01 | 360 | 0.01 | 0.01 | 0.8 |
iProver-qbf-2017-07-27-v3 | 938.78 | 187.76 | 356.16 | 14.06 | 10.48 | 0.8 |
iProver-qbf-bloqqer-2017-07-27-v3 | 900.57 | 180.11 | 359.94 | 0.16 | 0.1 | 0.8 |
prefix-opt-depqbf | 1800.08 | 360.02 | 440.9 | 0.04 | 450 | 0.6 |
qbfrelay | 8.7 | 1.74 | 2.99 | 0.3 | 0.13 | 0.8 |
qbfrelay-limited-depqbf | 963.49 | 192.7 | 349.79 | 0.28 | 36.43 | 0.8 |
QELL_default | 3600.01 | 720 | 360 | 900 | 450 | 0.2 |
QELL_unit | 3600.01 | 720 | 360 | 900 | 450 | 0.2 |
qesto | 900.05 | 180.01 | 360 | 0.01 | 0.01 | 0.8 |
Qute_default | 1800.18 | 360.04 | 440.88 | 0.12 | 450.03 | 0.6 |
Qute_opt500 | 1800.18 | 360.04 | 440.88 | 0.12 | 450.03 | 0.6 |
Qute_random | 1800.18 | 360.04 | 440.88 | 0.12 | 450.03 | 0.6 |
rareqs | 900.04 | 180.01 | 360 | 0.01 | 0.01 | 0.8 |
rev_qfun0.1 | 900.04 | 180.01 | 360 | 0.01 | 0.01 | 0.8 |
xb-qsts_bqsts2.0 | 900.49 | 180.1 | 359.95 | 0.14 | 0.1 | 0.8 |
xb-qsts_xbqsts1.0 | 900.5 | 180.1 | 359.95 | 0.14 | 0.1 | 0.8 |
xb-qsts_xbqsts2.0 | 900.49 | 180.1 | 359.95 | 0.14 | 0.1 | 0.8 |