Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-082-20-t1
Best Solver: rareqs Time: 0.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 0.59 - - heretiq 2.32
- - caqe_2017_v1 0.7 - - ijtihad_v1 2.38
- - - - - - ijtihad_v2 2.43
- - - - - - ghostq-cegar 6.49
- - - - - - GhostQ-PG_cegar 6.66
- - - - - - caqe_2017_v3 8.18
- - - - - - caqe_2017_v2 8.19
- - - - - - QELL_unit 11.69
rareqs(0.22)
rev_qfun0.1(0.59)
caqe_2017_v1(0.7)
heretiq(2.32)
ijtihad_v1(2.38)
ijtihad_v2(2.43)
ghostq-cegar(6.49)
GhostQ-PG_cegar(6.66)
caqe_2017_v3(8.18)
caqe_2017_v2(8.19)
QELL_unit(11.69)
AIGSolve(130.58)
QELL_default(153.3)
qbfrelay(219.61)
qesto(509.01)