Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
AIGSolve | 5400 | 900 | 0 | 900 | 0 | 0 |
caqe_2017_v1 | 1406.91 | 234.49 | 333.76 | 31.91 | 35.31 | 0.833 |
caqe_2017_v2 | 2196.53 | 366.09 | 388.95 | 191.23 | 286.9 | 0.667 |
caqe_2017_v3 | 2193.55 | 365.59 | 388.91 | 189.64 | 282.29 | 0.667 |
CUED1919_NL | 2157.74 | 359.62 | 283.22 | 362.61 | 379 | 0.333 |
CUED1919_NNL | 2281.35 | 380.23 | 380.21 | 207.99 | 315.87 | 0.333 |
dynQBF-bloqqer-hqspre | 5400 | 900 | 0 | 900 | 0 | 0 |
ghostq-cegar | 4613.85 | 768.98 | 292.98 | 900 | 786.15 | 0.167 |
GhostQ-PG_cegar | 1097.62 | 182.94 | 325.77 | 14.87 | 24.04 | 0.833 |
GhostQ-PG_plain | 4207.48 | 701.25 | 329.29 | 900 | 893.38 | 0.333 |
heretiq | 3935.54 | 655.92 | 358.44 | 900 | 899.55 | 0.333 |
HQSpre_solver | 5400 | 900 | 0 | 900 | 0 | 0 |
ijtihad_v1 | 4500.45 | 750.08 | 335.24 | 900 | 899.55 | 0.167 |
ijtihad_v2 | 4500.45 | 750.08 | 335.24 | 900 | 899.55 | 0.167 |
iProver-qbf-2017-07-27-v3 | 4721.29 | 786.88 | 252.94 | 900 | 678.71 | 0.167 |
iProver-qbf-bloqqer-2017-07-27-v3 | 5242.83 | 873.81 | 58.57 | 900 | 157.17 | 0.167 |
prefix-opt-depqbf | 5400 | 900 | 0 | 900 | 0 | 0 |
qbfrelay | 1615.95 | 269.33 | 288.93 | 215.44 | 213.95 | 0.167 |
qbfrelay-limited-depqbf | 5336.77 | 889.46 | 1.84 | 888.56 | 1.03 | 0 |
QELL_default | 2316.35 | 386.06 | 374.5 | 232.87 | 281.44 | 0.667 |
QELL_unit | 2277.05 | 379.51 | 375.5 | 198.58 | 247.98 | 0.667 |
qesto | 3646.48 | 607.75 | 413.5 | 900 | 898.35 | 0.333 |
Qute_default | 4672 | 778.67 | 271.31 | 900 | 728 | 0.167 |
Qute_opt500 | 4534.16 | 755.69 | 322.68 | 900 | 865.84 | 0.167 |
Qute_random | 4534.78 | 755.8 | 322.45 | 900 | 865.22 | 0.167 |
rareqs | 1063.5 | 177.25 | 325.46 | 24.05 | 33.88 | 0.833 |
rev_qfun0.1 | 3704.06 | 617.34 | 400.71 | 900 | 896.2 | 0.333 |
xb-qsts_bqsts2.0 | 3047.82 | 507.97 | 396.85 | 557.43 | 897.22 | 0.5 |
xb-qsts_xbqsts1.0 | 3057.43 | 509.57 | 395.29 | 557.43 | 896.45 | 0.5 |
xb-qsts_xbqsts2.0 | 3058.29 | 509.72 | 395.12 | 556.88 | 896.41 | 0.5 |