Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: emptyroom_e4_par---21_
Best Solver: QELL_unit Time: 0.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 1.67 HQSpre_solver 4.74 rev_qfun0.1 12.79
- - ijtihad_v1 1.71 - - ghostq-cegar 65.52
- - ijtihad_v2 1.71 - - GhostQ-PG_cegar 65.76
- - caqe_2017_v1 1.92 - - - -
- - QELL_default 2.1 - - - -
- - rareqs 3.66 - - - -
QELL_unit(0.92)
heretiq(1.67)
ijtihad_v1(1.71)
ijtihad_v2(1.71)
caqe_2017_v1(1.92)
QELL_default(2.1)
rareqs(3.66)
HQSpre_solver(4.74)
rev_qfun0.1(12.79)
ghostq-cegar(65.52)
GhostQ-PG_cegar(65.76)
Qute_default(263.27)
Qute_opt500(321.39)
Qute_random(327.41)