Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: aim-100-3_4-yes1-1-90
Best Solver: depqbf-pre Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.05 - - nenofex-qbfeval10 0.71
- - QuBE7-c 0.14 - - aqme-10 1.22
- - QuBE7 0.14 - - - -
- - QuBE7-m 0.15 - - - -
depqbf-pre(0.03)
depqbf(0.05)
QuBE7-c(0.14)
QuBE7(0.14)
QuBE7-m(0.15)
nenofex-qbfeval10(0.71)
aqme-10(1.22)
qmaiga(187.06)
AIGSolve(189.55)
struqs-10(631.78)