Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: par8-5-c-90
Best Solver: depqbf Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 0.17 - - qmaiga 0.64
- - QuBE7-c 0.19 - - AIGSolve 0.64
- - QuBE7-m 0.2 - - aqme-10 1.26
depqbf(0.04)
depqbf-pre(0.04)
QuBE7(0.17)
QuBE7-c(0.19)
QuBE7-m(0.2)
qmaiga(0.64)
AIGSolve(0.64)
aqme-10(1.26)
nenofex-qbfeval10(4.72)
quantor-3.1(7.57)
struqs-10(861.02)