Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-100-25-t1
Best Solver: caqe_2017_v1 Time: 1.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 1.03 - - caqe_2017_v3 11.17
- - ghostq-cegar 1.63 - - caqe_2017_v2 11.43
- - GhostQ-PG_cegar 1.66 - - rareqs 68.27
- - QELL_default 2.45 - - - -
- - heretiq 3 - - - -
- - ijtihad_v2 3.01 - - - -
- - ijtihad_v1 3.1 - - - -
caqe_2017_v1(1.01)
rev_qfun0.1(1.03)
ghostq-cegar(1.63)
GhostQ-PG_cegar(1.66)
QELL_default(2.45)
heretiq(3)
ijtihad_v2(3.01)
ijtihad_v1(3.1)
caqe_2017_v3(11.17)
caqe_2017_v2(11.43)
rareqs(68.27)
qesto(847.64)