Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: sortnetsort8.v.stepl.007
Best Solver: heretiq Time: 0.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v1 0.28 rareqs 1.41 HQSpre_solver 3.77
- - ijtihad_v2 0.28 caqe_2017_v1 1.91 QELL_default 3.84
- - - - rev_qfun0.1 2.39 dynQBF-bloqqer-hqspre 4.96
- - - - caqe_2017_v2 2.7 QELL_unit 6.18
- - - - caqe_2017_v3 2.71 prefix-opt-depqbf 10.18
- - - - - - qbfrelay-limited-depqbf 10.32
heretiq(0.28)
ijtihad_v1(0.28)
ijtihad_v2(0.28)
rareqs(1.41)
caqe_2017_v1(1.91)
rev_qfun0.1(2.39)
caqe_2017_v2(2.7)
caqe_2017_v3(2.71)
HQSpre_solver(3.77)
QELL_default(3.84)
dynQBF-bloqqer-hqspre(4.96)
QELL_unit(6.18)
prefix-opt-depqbf(10.18)
qbfrelay-limited-depqbf(10.32)
GhostQ-PG_cegar(38.64)
xb-qsts_xbqsts2.0(67.51)
xb-qsts_bqsts2.0(67.6)
xb-qsts_xbqsts1.0(67.64)
ghostq-cegar(134.67)
qbfrelay(366.08)
Qute_opt500(431.22)
Qute_default(453.98)
Qute_random(481.19)