Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-076-19-t1
Best Solver: rev_qfun0.1 Time: 0.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 1.03 QELL_unit 4.77 caqe_2017_v1 12.34
- - caqe_2017_v2 1.55 ijtihad_v1 4.89 qbfrelay 13.63
- - caqe_2017_v3 1.55 heretiq 4.93 QELL_default 45.53
- - - - ijtihad_v2 5.06 GhostQ-PG_cegar 50.89
rev_qfun0.1(0.51)
rareqs(1.03)
caqe_2017_v2(1.55)
caqe_2017_v3(1.55)
QELL_unit(4.77)
ijtihad_v1(4.89)
heretiq(4.93)
ijtihad_v2(5.06)
caqe_2017_v1(12.34)
qbfrelay(13.63)
QELL_default(45.53)
GhostQ-PG_cegar(50.89)
ghostq-cegar(51.35)
qbfrelay-limited-depqbf(95.99)
AIGSolve(123.23)