Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-01Xh-error02-uniform-depth-18
Best Solver: caqe_2017_v1 Time: 1.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.62 prefix-opt-depqbf 11.54 qbfrelay 18.12
- - rareqs 1.62 qbfrelay-limited-depqbf 14.81 iProver-qbf-2017-07-27-v3 36.59
- - qesto 1.63 - - ghostq-cegar 135.6
- - rev_qfun0.1 1.64 - - - -
- - ijtihad_v1 1.65 - - - -
- - ijtihad_v2 1.67 - - - -
- - HQSpre_solver 2.73 - - - -
- - AIGSolve 2.82 - - - -
- - caqe_2017_v2 2.82 - - - -
- - QELL_unit 2.83 - - - -
- - QELL_default 2.84 - - - -
- - Qute_random 3.14 - - - -
- - Qute_default 3.15 - - - -
- - Qute_opt500 3.15 - - - -
- - caqe_2017_v3 3.74 - - - -
- - dynQBF-bloqqer-hqspre 6.92 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 7.08 - - - -
- - xb-qsts_xbqsts2.0 7.1 - - - -
- - xb-qsts_xbqsts1.0 7.4 - - - -
- - xb-qsts_bqsts2.0 7.57 - - - -
caqe_2017_v1(1.62)
heretiq(1.62)
rareqs(1.62)
qesto(1.63)
rev_qfun0.1(1.64)
ijtihad_v1(1.65)
ijtihad_v2(1.67)
HQSpre_solver(2.73)
AIGSolve(2.82)
caqe_2017_v2(2.82)
QELL_unit(2.83)
QELL_default(2.84)
Qute_random(3.14)
Qute_default(3.15)
Qute_opt500(3.15)
caqe_2017_v3(3.74)
dynQBF-bloqqer-hqspre(6.92)
iProver-qbf-bloqqer-2017-07-27-v3(7.08)
xb-qsts_xbqsts2.0(7.1)
xb-qsts_xbqsts1.0(7.4)
xb-qsts_bqsts2.0(7.57)
prefix-opt-depqbf(11.54)
qbfrelay-limited-depqbf(14.81)
qbfrelay(18.12)
iProver-qbf-2017-07-27-v3(36.59)
ghostq-cegar(135.6)
GhostQ-PG_plain(595.66)
GhostQ-PG_cegar(598.24)