Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: cube_c9_par--opt-11_
Best Solver: depqbf-pre Time: 11.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 17.14 qmaiga 87.57 nenofex-qbfeval10 284
- - aqme-10 35.03 QuBE7-m 97.85 AIGSolve 577.22
- - quantor-3.1 40.09 QuBE7-c 101.59 - -
- - - - QuBE7 104.31 - -
depqbf-pre(11.02)
depqbf(17.14)
aqme-10(35.03)
quantor-3.1(40.09)
qmaiga(87.57)
QuBE7-m(97.85)
QuBE7-c(101.59)
QuBE7(104.31)
nenofex-qbfeval10(284)
AIGSolve(577.22)