Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: aim-50-6_0-yes1-4-90
Best Solver: depqbf-pre Time: 0.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.03 QuBE7 0.11 struqs-10 0.44
- - - - QuBE7-c 0.11 aqme-10 1.31
- - - - QuBE7-m 0.11 qmaiga 1.31
- - - - - - AIGSolve 1.41
depqbf-pre(0.02)
depqbf(0.03)
QuBE7(0.11)
QuBE7-c(0.11)
QuBE7-m(0.11)
struqs-10(0.44)
aqme-10(1.31)
qmaiga(1.31)
AIGSolve(1.41)
nenofex-qbfeval10(2.22)
quantor-3.1(7.74)