Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-078-19-t1
Best Solver: rareqs Time: 0.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 1.37 caqe_2017_v2 6.13 GhostQ-PG_cegar 19.78
- - caqe_2017_v1 1.61 caqe_2017_v3 6.15 ghostq-cegar 19.89
- - QELL_unit 2.18 ijtihad_v2 6.47 - -
- - - - ijtihad_v1 6.62 - -
- - - - heretiq 6.63 - -
rareqs(0.75)
QELL_default(1.37)
caqe_2017_v1(1.61)
QELL_unit(2.18)
caqe_2017_v2(6.13)
caqe_2017_v3(6.15)
ijtihad_v2(6.47)
ijtihad_v1(6.62)
heretiq(6.63)
GhostQ-PG_cegar(19.78)
ghostq-cegar(19.89)
AIGSolve(80.49)
qbfrelay(84.51)
qbfrelay-limited-depqbf(95.21)
prefix-opt-depqbf(857.81)