Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 6261.43 | 894.49 | 13.5 | 900 | 38.57 | 0 |
caqe_2017_v1 | 5409.19 | 772.74 | 311.72 | 900 | 890.81 | 0.143 |
caqe_2017_v2 | 5401.43 | 771.63 | 314.43 | 900 | 898.57 | 0.143 |
caqe_2017_v3 | 5401.47 | 771.64 | 314.42 | 900 | 898.53 | 0.143 |
CUED1919_NL | 4.56 | 0.65 | 0.04 | 0.65 | 0.08 | 0 |
CUED1919_NNL | 4.14 | 0.59 | 0.03 | 0.58 | 0.08 | 0 |
dynQBF-bloqqer-hqspre | 6300 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 5402.93 | 771.85 | 313.91 | 900 | 897.07 | 0.143 |
GhostQ-PG_cegar | 5402.27 | 771.75 | 314.14 | 900 | 897.73 | 0.143 |
GhostQ-PG_plain | 5208.49 | 744.07 | 310.12 | 900 | 897.7 | 0.286 |
heretiq | 6300 | 900 | 0 | 900 | 0 | 0 |
HQSpre_solver | 5403.57 | 771.94 | 313.69 | 900 | 896.43 | 0.143 |
ijtihad_v1 | 6300 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 6300 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 6300 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 6300 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 6300 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 2135.27 | 305.04 | 372.43 | 137.27 | 138.35 | 0.143 |
qbfrelay-limited-depqbf | 5608.32 | 801.19 | 214.49 | 888.48 | 612.98 | 0.143 |
QELL_default | 5441.56 | 777.37 | 300.39 | 900 | 858.44 | 0.143 |
QELL_unit | 5442.47 | 777.5 | 300.07 | 900 | 857.53 | 0.143 |
qesto | 5441.97 | 777.42 | 300.25 | 900 | 858.03 | 0.143 |
Qute_default | 5401.46 | 771.64 | 314.42 | 900 | 898.54 | 0.143 |
Qute_opt500 | 5401.48 | 771.64 | 314.42 | 900 | 898.52 | 0.143 |
Qute_random | 5401.48 | 771.64 | 314.42 | 900 | 898.52 | 0.143 |
rareqs | 5404.42 | 772.06 | 313.39 | 900 | 895.58 | 0.143 |
rev_qfun0.1 | 4527.79 | 646.83 | 400.35 | 900 | 897.7 | 0.286 |
xb-qsts_bqsts2.0 | 6300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 6300 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 6300 | 900 | 0 | 900 | 0 | 0 |