Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: emptyroom_e3_ser---19_
Best Solver: QELL_unit Time: 6.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 9.67 caqe_2017_v3 37.11 HQSpre_solver 70.58
- - heretiq 9.92 caqe_2017_v2 37.17 GhostQ-PG_cegar 131.4
- - ijtihad_v1 9.97 - - ghostq-cegar 132.13
- - ijtihad_v2 10.46 - - dynQBF-bloqqer-hqspre 312.57
- - rev_qfun0.1 12.78 - - - -
- - caqe_2017_v1 14.67 - - - -
- - rareqs 25.2 - - - -
- - AIGSolve 27.82 - - - -
QELL_unit(6.82)
QELL_default(9.67)
heretiq(9.92)
ijtihad_v1(9.97)
ijtihad_v2(10.46)
rev_qfun0.1(12.78)
caqe_2017_v1(14.67)
rareqs(25.2)
AIGSolve(27.82)
caqe_2017_v3(37.11)
caqe_2017_v2(37.17)
HQSpre_solver(70.58)
GhostQ-PG_cegar(131.4)
ghostq-cegar(132.13)
dynQBF-bloqqer-hqspre(312.57)
Qute_default(774.2)
Qute_random(835.14)
Qute_opt500(835.8)