Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: amba2f9n.unsat
Best Solver: rareqs Time: 1.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 3.31 xb-qsts_xbqsts1.0 8.54 rev_qfun0.1 17.21
- - caqe_2017_v3 3.33 xb-qsts_xbqsts2.0 8.57 QELL_default 19.72
- - heretiq 3.61 AIGSolve 11.5 QELL_unit 19.86
- - ijtihad_v1 3.69 xb-qsts_bqsts2.0 16.36 ghostq-cegar 26.81
- - caqe_2017_v1 3.71 - - GhostQ-PG_cegar 26.95
- - ijtihad_v2 3.83 - - dynQBF-bloqqer-hqspre 29.26
- - - - - - HQSpre_solver 31.36
rareqs(1.68)
caqe_2017_v2(3.31)
caqe_2017_v3(3.33)
heretiq(3.61)
ijtihad_v1(3.69)
caqe_2017_v1(3.71)
ijtihad_v2(3.83)
xb-qsts_xbqsts1.0(8.54)
xb-qsts_xbqsts2.0(8.57)
AIGSolve(11.5)
xb-qsts_bqsts2.0(16.36)
rev_qfun0.1(17.21)
QELL_default(19.72)
QELL_unit(19.86)
ghostq-cegar(26.81)
GhostQ-PG_cegar(26.95)
dynQBF-bloqqer-hqspre(29.26)
HQSpre_solver(31.36)
qbfrelay-limited-depqbf(205.72)
qesto(279.8)
GhostQ-PG_plain(372.93)
Qute_opt500(465.94)
Qute_random(515.5)
Qute_default(551.81)