Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: stay24n.unsat
Best Solver: qesto Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.09 caqe_2017_v2 0.43 AIGSolve 0.96
- - heretiq 0.09 qbfrelay-limited-depqbf 0.43 HQSpre_solver 1.09
- - ijtihad_v1 0.09 caqe_2017_v3 0.45 xb-qsts_xbqsts1.0 1.81
- - ijtihad_v2 0.09 Qute_default 0.47 iProver-qbf-bloqqer-2017-07-27-v3 1.82
- - QELL_unit 0.19 Qute_opt500 0.47 xb-qsts_bqsts2.0 1.82
- - QELL_default 0.21 Qute_random 0.47 dynQBF-bloqqer-hqspre 1.86
- - prefix-opt-depqbf 0.28 iProver-qbf-2017-07-27-v3 0.73 xb-qsts_xbqsts2.0 1.87
- - - - - - GhostQ-PG_plain 2
- - - - - - GhostQ-PG_cegar 2.01
- - - - - - qbfrelay 2.1
- - - - - - ghostq-cegar 5.99
qesto(0.08)
rareqs(0.08)
rev_qfun0.1(0.08)
caqe_2017_v1(0.09)
heretiq(0.09)
ijtihad_v1(0.09)
ijtihad_v2(0.09)
QELL_unit(0.19)
QELL_default(0.21)
prefix-opt-depqbf(0.28)
caqe_2017_v2(0.43)
qbfrelay-limited-depqbf(0.43)
caqe_2017_v3(0.45)
Qute_default(0.47)
Qute_opt500(0.47)
Qute_random(0.47)
iProver-qbf-2017-07-27-v3(0.73)
AIGSolve(0.96)
HQSpre_solver(1.09)
xb-qsts_xbqsts1.0(1.81)
iProver-qbf-bloqqer-2017-07-27-v3(1.82)
xb-qsts_bqsts2.0(1.82)
dynQBF-bloqqer-hqspre(1.86)
xb-qsts_xbqsts2.0(1.87)
GhostQ-PG_plain(2)
GhostQ-PG_cegar(2.01)
qbfrelay(2.1)
ghostq-cegar(5.99)