Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: Q_2-3_v-80-100_r-11.3
Best Solver: qbfrelay-limited-depqbf Time: 1.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - prefix-opt-depqbf 1.68 - - heretiq 30.21
- - Qute_default 3.28 - - - -
qbfrelay-limited-depqbf(1.33)
prefix-opt-depqbf(1.68)
Qute_default(3.28)
heretiq(30.21)