Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-074-18-t1
Best Solver: rareqs Time: 0.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.46 - - QELL_default 5.53
- - rev_qfun0.1 1.01 - - QELL_unit 15.4
- - heretiq 1.21 - - ghostq-cegar 19.22
- - ijtihad_v1 1.21 - - GhostQ-PG_cegar 19.27
- - ijtihad_v2 1.24 - - - -
- - caqe_2017_v2 1.74 - - - -
- - caqe_2017_v3 1.74 - - - -
rareqs(0.37)
caqe_2017_v1(0.46)
rev_qfun0.1(1.01)
heretiq(1.21)
ijtihad_v1(1.21)
ijtihad_v2(1.24)
caqe_2017_v2(1.74)
caqe_2017_v3(1.74)
QELL_default(5.53)
QELL_unit(15.4)
ghostq-cegar(19.22)
GhostQ-PG_cegar(19.27)
AIGSolve(98.12)
qesto(804.25)