Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 917.11 | 183.42 | 358.3 | 4.5 | 5.51 | 0.8 |
caqe_2017_v1 | 3600.45 | 720.09 | 359.82 | 900 | 449.78 | 0.2 |
caqe_2017_v2 | 4500 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
CUED1919_NL | 2702.93 | 540.59 | 440.19 | 900 | 898.54 | 0 |
CUED1919_NNL | 2702.95 | 540.59 | 440.19 | 900 | 898.53 | 0 |
dynQBF-bloqqer-hqspre | 3602.78 | 720.56 | 358.89 | 900 | 448.61 | 0.2 |
ghostq-cegar | 596.39 | 119.28 | 197.51 | 37.04 | 37.93 | 1 |
GhostQ-PG_cegar | 630.09 | 126.02 | 211.42 | 35.98 | 37.31 | 1 |
GhostQ-PG_plain | 1222.02 | 244.4 | 337.47 | 45.76 | 117.57 | 0.8 |
heretiq | 3047.87 | 609.57 | 372.23 | 900 | 726.07 | 0.4 |
HQSpre_solver | 4500 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 3032.74 | 606.55 | 374.41 | 900 | 733.63 | 0.4 |
ijtihad_v2 | 3034.34 | 606.87 | 374.18 | 900 | 732.83 | 0.4 |
iProver-qbf-2017-07-27-v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
iProver-qbf-bloqqer-2017-07-27-v3 | 3602.81 | 720.56 | 358.88 | 900 | 448.6 | 0.2 |
prefix-opt-depqbf | 3614.5 | 722.9 | 354.2 | 900 | 442.75 | 0.2 |
qbfrelay | 2082.46 | 416.49 | 400.73 | 273.06 | 567.98 | 0.2 |
qbfrelay-limited-depqbf | 2765.52 | 553.1 | 415.26 | 888.1 | 844.22 | 0.4 |
QELL_default | 144.54 | 28.91 | 50.66 | 4.73 | 3.36 | 1 |
QELL_unit | 248.44 | 49.69 | 91.76 | 4.61 | 2.86 | 1 |
qesto | 3600.45 | 720.09 | 359.82 | 900 | 449.78 | 0.2 |
Qute_default | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_random | 4500 | 900 | 0 | 900 | 0 | 0 |
rareqs | 3600.45 | 720.09 | 359.82 | 900 | 449.78 | 0.2 |
rev_qfun0.1 | 110.24 | 22.05 | 37.81 | 4.91 | 4.8 | 1 |
xb-qsts_bqsts2.0 | 3602.79 | 720.56 | 358.88 | 900 | 448.61 | 0.2 |
xb-qsts_xbqsts1.0 | 3602.77 | 720.55 | 358.89 | 900 | 448.62 | 0.2 |
xb-qsts_xbqsts2.0 | 3602.8 | 720.56 | 358.88 | 900 | 448.6 | 0.2 |