Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-084-21-t1
Best Solver: caqe_2017_v1 Time: 0.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.78 - - ghostq-cegar 6.97
- - rev_qfun0.1 1.05 - - GhostQ-PG_cegar 7.08
- - Qute_opt500 1.26 - - heretiq 9.83
- - Qute_random 1.27 - - ijtihad_v2 10.15
- - caqe_2017_v2 2.28 - - ijtihad_v1 10.26
- - caqe_2017_v3 2.28 - - qbfrelay 12.16
- - - - - - QELL_unit 16.36
- - - - - - QELL_default 45.81
caqe_2017_v1(0.5)
rareqs(0.78)
rev_qfun0.1(1.05)
Qute_opt500(1.26)
Qute_random(1.27)
caqe_2017_v2(2.28)
caqe_2017_v3(2.28)
ghostq-cegar(6.97)
GhostQ-PG_cegar(7.08)
heretiq(9.83)
ijtihad_v2(10.15)
ijtihad_v1(10.26)
qbfrelay(12.16)
QELL_unit(16.36)
QELL_default(45.81)
qbfrelay-limited-depqbf(84.32)
AIGSolve(114.01)