Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 944.16 | 314.72 | 413.86 | 23.43 | 2.7 | 0.667 |
caqe_2017_v1 | 2700 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v2 | 2700 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NL | 20.82 | 6.94 | 8.81 | 0.74 | 0.06 | 0 |
CUED1919_NNL | 3.63 | 1.21 | 1.51 | 0.14 | 0 | 0 |
dynQBF-bloqqer-hqspre | 1835.07 | 611.69 | 407.73 | 900 | 864.93 | 0.333 |
ghostq-cegar | 975.78 | 325.26 | 407.49 | 74.4 | 73.02 | 0.667 |
GhostQ-PG_cegar | 976.43 | 325.48 | 407.35 | 74.87 | 73.31 | 0.667 |
GhostQ-PG_plain | 902.89 | 300.96 | 423.58 | 1.48 | 0.07 | 0.667 |
heretiq | 2700 | 900 | 0 | 900 | 0 | 0 |
HQSpre_solver | 2700 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 2700 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v2 | 2700 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 2700 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 2700 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 767.8 | 255.93 | 350.69 | 8.15 | 0.39 | 0 |
qbfrelay-limited-depqbf | 2670.01 | 890 | 1.77 | 890.99 | 3.47 | 0 |
QELL_default | 2700 | 900 | 0 | 900 | 0 | 0 |
QELL_unit | 2700 | 900 | 0 | 900 | 0 | 0 |
qesto | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 2700 | 900 | 0 | 900 | 0 | 0 |
Qute_random | 2700 | 900 | 0 | 900 | 0 | 0 |
rareqs | 2700 | 900 | 0 | 900 | 0 | 0 |
rev_qfun0.1 | 1087.08 | 362.36 | 382.97 | 150.13 | 113.18 | 0.667 |
xb-qsts_bqsts2.0 | 2700 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 2700 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 2700 | 900 | 0 | 900 | 0 | 0 |