Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: aim-50-3_4-yes1-3-90
Best Solver: depqbf Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-m 0.05 - - qmaiga 0.53
- - QuBE7 0.05 - - AIGSolve 0.55
- - QuBE7-c 0.05 - - nenofex-qbfeval10 0.67
- - - - - - aqme-10 1.22
depqbf(0.02)
depqbf-pre(0.02)
QuBE7-m(0.05)
QuBE7(0.05)
QuBE7-c(0.05)
qmaiga(0.53)
AIGSolve(0.55)
nenofex-qbfeval10(0.67)
aqme-10(1.22)
struqs-10(12.97)
quantor-3.1(14.81)