Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-096-24-t1
Best Solver: rareqs Time: 0.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v1 1.27 - - caqe_2017_v2 8
- - ijtihad_v2 1.27 - - caqe_2017_v3 8.24
- - heretiq 1.33 - - rev_qfun0.1 9.54
- - - - - - ghostq-cegar 12.08
- - - - - - GhostQ-PG_cegar 12.22
- - - - - - caqe_2017_v1 28.22
- - - - - - QELL_unit 28.73
rareqs(0.54)
ijtihad_v1(1.27)
ijtihad_v2(1.27)
heretiq(1.33)
caqe_2017_v2(8)
caqe_2017_v3(8.24)
rev_qfun0.1(9.54)
ghostq-cegar(12.08)
GhostQ-PG_cegar(12.22)
caqe_2017_v1(28.22)
QELL_unit(28.73)
QELL_default(58.46)
prefix-opt-depqbf(552.02)