Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ev-pr-4x4-17-3-0-0-1-lg
Best Solver: prefix-opt-depqbf Time: 0.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 0.73 - - ghostq-cegar 6.83
- - rareqs 0.84 - - GhostQ-PG_cegar 7.11
- - - - - - ijtihad_v1 8.27
- - - - - - heretiq 8.38
- - - - - - GhostQ-PG_plain 11.47
prefix-opt-depqbf(0.48)
qbfrelay-limited-depqbf(0.73)
rareqs(0.84)
ghostq-cegar(6.83)
GhostQ-PG_cegar(7.11)
ijtihad_v1(8.27)
heretiq(8.38)
GhostQ-PG_plain(11.47)
Qute_default(69.78)
ijtihad_v2(83.74)
iProver-qbf-bloqqer-2017-07-27-v3(87.07)
iProver-qbf-2017-07-27-v3(472.63)