Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: fpu-01Xh-error02-uniform-depth-8
Best Solver: rev_qfun0.1 Time: 0.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.77 prefix-opt-depqbf 5.22 qbfrelay 8.8
- - heretiq 0.77 qbfrelay-limited-depqbf 6.58 iProver-qbf-2017-07-27-v3 15.4
- - ijtihad_v1 0.77 - - ghostq-cegar 59.22
- - ijtihad_v2 0.77 - - - -
- - qesto 0.77 - - - -
- - rareqs 0.77 - - - -
- - AIGSolve 1.3 - - - -
- - QELL_unit 1.31 - - - -
- - QELL_default 1.33 - - - -
- - caqe_2017_v2 1.39 - - - -
- - HQSpre_solver 1.44 - - - -
- - Qute_default 1.57 - - - -
- - Qute_opt500 1.57 - - - -
- - Qute_random 1.57 - - - -
- - caqe_2017_v3 1.94 - - - -
- - dynQBF-bloqqer-hqspre 3.38 - - - -
- - iProver-qbf-bloqqer-2017-07-27-v3 3.39 - - - -
- - xb-qsts_xbqsts1.0 3.4 - - - -
- - xb-qsts_xbqsts2.0 3.47 - - - -
- - xb-qsts_bqsts2.0 3.69 - - - -
rev_qfun0.1(0.76)
caqe_2017_v1(0.77)
heretiq(0.77)
ijtihad_v1(0.77)
ijtihad_v2(0.77)
qesto(0.77)
rareqs(0.77)
AIGSolve(1.3)
QELL_unit(1.31)
QELL_default(1.33)
caqe_2017_v2(1.39)
HQSpre_solver(1.44)
Qute_default(1.57)
Qute_opt500(1.57)
Qute_random(1.57)
caqe_2017_v3(1.94)
dynQBF-bloqqer-hqspre(3.38)
iProver-qbf-bloqqer-2017-07-27-v3(3.39)
xb-qsts_xbqsts1.0(3.4)
xb-qsts_xbqsts2.0(3.47)
xb-qsts_bqsts2.0(3.69)
prefix-opt-depqbf(5.22)
qbfrelay-limited-depqbf(6.58)
qbfrelay(8.8)
iProver-qbf-2017-07-27-v3(15.4)
ghostq-cegar(59.22)
GhostQ-PG_cegar(172.59)
GhostQ-PG_plain(175.9)