Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: par8-2-90
Best Solver: depqbf-pre Time: 0.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.64 - - qmaiga 19.11
- - aqme-10 2.28 - - AIGSolve 19.67
- - - - - - quantor-3.1 38.38
depqbf-pre(0.46)
depqbf(0.64)
aqme-10(2.28)
qmaiga(19.11)
AIGSolve(19.67)
quantor-3.1(38.38)
QuBE7(114.91)
QuBE7-c(116.1)
QuBE7-m(117.65)
nenofex-qbfeval10(191.38)