Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ev-pr-8x8-11-7-0-1-2-lg
Best Solver: prefix-opt-depqbf Time: 70.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 350.3 qbfrelay-limited-depqbf 404.1 xb-qsts_bqsts2.0 783.76
- - - - QELL_default 520.64 xb-qsts_xbqsts2.0 799.74
- - - - QELL_unit 656.68 xb-qsts_xbqsts1.0 801.18
prefix-opt-depqbf(70.26)
heretiq(350.3)
qbfrelay-limited-depqbf(404.1)
QELL_default(520.64)
QELL_unit(656.68)
xb-qsts_bqsts2.0(783.76)
xb-qsts_xbqsts2.0(799.74)
xb-qsts_xbqsts1.0(801.18)