Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: blocks_enc_2_b3_ser--opt-9_
Best Solver: quantor-3.1 Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 0.23 - - aqme-10 3.12
- - AIGSolve 0.34 - - nenofex-qbfeval10 3.3
- - - - - - depqbf 6.78
quantor-3.1(0.2)
qmaiga(0.23)
AIGSolve(0.34)
aqme-10(3.12)
nenofex-qbfeval10(3.3)
depqbf(6.78)
depqbf-pre(128.67)