Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: cube_c3_ser--opt-6_
Best Solver: depqbf Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 0.01 quantor-3.1 0.05 struqs-10 0.83
- - QuBE7-c 0.04 qmaiga 0.06 - -
- - QuBE7-m 0.04 AIGSolve 0.06 - -
- - - - QuBE7 0.06 - -
depqbf(0.01)
depqbf-pre(0.01)
QuBE7-c(0.04)
QuBE7-m(0.04)
quantor-3.1(0.05)
qmaiga(0.06)
AIGSolve(0.06)
QuBE7(0.06)
struqs-10(0.83)
aqme-10(1.3)
nenofex-qbfeval10(16.36)