Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: emptyroom_e3_ser--opt-20_
Best Solver: quantor-3.1 Time: 1.72 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 6.96 - - AIGSolve 17.27
- - - - - - nenofex-qbfeval10 18.47
- - - - - - qmaiga 40.75
- - - - - - depqbf-pre 64.66
quantor-3.1(1.72)
aqme-10(6.96)
AIGSolve(17.27)
nenofex-qbfeval10(18.47)
qmaiga(40.75)
depqbf-pre(64.66)
depqbf(229.18)
QuBE7-c(410.81)
QuBE7-m(427.14)