Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 9211.85 | 657.99 | 231.71 | 676.09 | 480.9 | 0 |
caqe_2017_v1 | 12339.88 | 881.42 | 66.99 | 900 | 0 | 0.071 |
caqe_2017_v2 | 12600 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v3 | 12590.2 | 899.3 | 2.52 | 900 | 0 | 0.071 |
CUED1919_NL | 5914.44 | 422.46 | 226.57 | 496.53 | 346.32 | 0 |
CUED1919_NNL | 5975.05 | 426.79 | 244.03 | 448.84 | 313.35 | 0 |
dynQBF-bloqqer-hqspre | 12600 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 12588.45 | 899.18 | 1.58 | 900 | 3.67 | 0 |
GhostQ-PG_cegar | 12588.73 | 899.2 | 1.54 | 900 | 3.57 | 0 |
GhostQ-PG_plain | 12588.3 | 899.16 | 1.61 | 900 | 3.59 | 0 |
heretiq | 12217.6 | 872.69 | 74.82 | 900 | 0 | 0.143 |
HQSpre_solver | 9236.31 | 659.74 | 324.49 | 900 | 770.9 | 0.429 |
ijtihad_v1 | 11621.28 | 830.09 | 174.15 | 900 | 0 | 0.143 |
ijtihad_v2 | 11386.97 | 813.36 | 212.84 | 900 | 0 | 0.143 |
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 | 11852.86 | 846.63 | 165.76 | 892.59 | 18.35 | 0.071 |
qbfrelay-limited-depqbf | 12572.44 | 898.03 | 2.42 | 900 | 4.53 | 0 |
QELL_default | 12176.38 | 869.74 | 109.1 | 900 | 0 | 0.071 |
QELL_unit | 12151.51 | 867.97 | 115.5 | 900 | 0 | 0.071 |
qesto | 12600 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 9407.46 | 671.96 | 322.28 | 896.42 | 743.37 | 0.357 |
Qute_opt500 | 9368.88 | 669.21 | 324.59 | 900 | 746.83 | 0.357 |
Qute_random | 9154.7 | 653.91 | 316.91 | 883.78 | 746.5 | 0.429 |
rareqs | 10678.08 | 762.72 | 239.43 | 900 | 340.15 | 0.286 |
rev_qfun0.1 | 12549.85 | 896.42 | 3.94 | 896.59 | 6.87 | 0 |
xb-qsts_bqsts2.0 | 12600 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts1.0 | 12600 | 900 | 0 | 900 | 0 | 0 |
xb-qsts_xbqsts2.0 | 12600 | 900 | 0 | 900 | 0 | 0 |