Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sortnetsort9.v.stepl.007
Best Solver: caqe_2017_v1 Time: 12.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 23.85 QELL_unit 104.85 GhostQ-PG_cegar 804.92
- - ijtihad_v1 24.27 rev_qfun0.1 109.13 - -
- - HQSpre_solver 26.5 QELL_default 113.81 - -
- - rareqs 30.49 - - - -
- - ijtihad_v2 41.08 - - - -
- - caqe_2017_v3 41.12 - - - -
- - caqe_2017_v2 41.15 - - - -
caqe_2017_v1(12.58)
heretiq(23.85)
ijtihad_v1(24.27)
HQSpre_solver(26.5)
rareqs(30.49)
ijtihad_v2(41.08)
caqe_2017_v3(41.12)
caqe_2017_v2(41.15)
QELL_unit(104.85)
rev_qfun0.1(109.13)
QELL_default(113.81)
GhostQ-PG_cegar(804.92)