Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 11057.8 | 789.84 | 271.83 | 900 | 0 | 0.143 |
caqe_2017_v1 | 11698.56 | 835.61 | 175.24 | 900 | 0 | 0.143 |
caqe_2017_v2 | 11264.17 | 804.58 | 245.42 | 900 | 17.93 | 0.214 |
caqe_2017_v3 | 11264.16 | 804.58 | 245.72 | 900 | 15.74 | 0.214 |
CUED1919_NL | 4609.49 | 329.25 | 202.56 | 383.78 | 381.02 | 0 |
CUED1919_NNL | 5780.59 | 412.9 | 385.07 | 248.02 | 895.63 | 0 |
dynQBF-bloqqer-hqspre | 10816.06 | 772.58 | 312.13 | 900 | 0 | 0.143 |
ghostq-cegar | 11999.75 | 857.13 | 154.59 | 900 | 0 | 0.071 |
GhostQ-PG_cegar | 12206.55 | 871.9 | 101.33 | 900 | 0 | 0.071 |
GhostQ-PG_plain | 12600 | 900 | 0 | 900 | 0 | 0 |
heretiq | 12137.52 | 866.97 | 84.14 | 900 | 0 | 0.143 |
HQSpre_solver | 11704.93 | 836.07 | 163.75 | 900 | 0 | 0.143 |
ijtihad_v1 | 11893.81 | 849.56 | 181.87 | 900 | 0 | 0.071 |
ijtihad_v2 | 11893.08 | 849.51 | 182.06 | 900 | 0 | 0.071 |
iProver-qbf-2017-07-27-v3 | 12600 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 12600 | 900 | 0 | 900 | 0 | 0 |
prefix-opt-depqbf | 12600 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 9823.66 | 701.69 | 350.12 | 892.32 | 817.9 | 0.214 |
qbfrelay-limited-depqbf | 10910.44 | 779.32 | 282.96 | 892.47 | 6.03 | 0.143 |
QELL_default | 12347.52 | 881.97 | 65.02 | 900 | 0 | 0.071 |
QELL_unit | 12142.03 | 867.29 | 117.95 | 900 | 0 | 0.071 |
qesto | 12600 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 11696.96 | 835.5 | 227.9 | 900 | 3.48 | 0.071 |
Qute_opt500 | 11713.95 | 836.71 | 228.19 | 900 | 0 | 0.071 |
Qute_random | 11714.25 | 836.73 | 228.12 | 900 | 0 | 0.071 |
rareqs | 11197.27 | 799.81 | 252.52 | 900 | 0 | 0.143 |
rev_qfun0.1 | 12548.56 | 896.33 | 13.25 | 900 | 0 | 0.071 |
xb-qsts_bqsts2.0 | 12488.8 | 892.06 | 28.64 | 900 | 0 | 0.071 |
xb-qsts_xbqsts1.0 | 12383.24 | 884.52 | 37.93 | 900 | 0 | 0.143 |
xb-qsts_xbqsts2.0 | 12383.78 | 884.56 | 37.83 | 900 | 0 | 0.143 |