Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-080-20-t1
Best Solver: rareqs Time: 0.36 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.68 ijtihad_v1 1.83 ghostq-cegar 8.86
- - ijtihad_v2 1.78 QELL_default 2.68 GhostQ-PG_cegar 8.87
- - heretiq 1.8 caqe_2017_v3 3.18 xb-qsts_bqsts2.0 8.92
- - - - caqe_2017_v2 3.19 xb-qsts_xbqsts1.0 8.94
- - - - - - xb-qsts_xbqsts2.0 9.06
- - - - - - QELL_unit 9.57
rareqs(0.36)
caqe_2017_v1(0.68)
ijtihad_v2(1.78)
heretiq(1.8)
ijtihad_v1(1.83)
QELL_default(2.68)
caqe_2017_v3(3.18)
caqe_2017_v2(3.19)
ghostq-cegar(8.86)
GhostQ-PG_cegar(8.87)
xb-qsts_bqsts2.0(8.92)
xb-qsts_xbqsts1.0(8.94)
xb-qsts_xbqsts2.0(9.06)
QELL_unit(9.57)
rev_qfun0.1(46.02)
AIGSolve(185.93)