Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: par8-4-90
Best Solver: depqbf-pre Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.49 aqme-10 2.37 qmaiga 14.69
- - - - - - AIGSolve 16.8
depqbf-pre(0.42)
depqbf(0.49)
aqme-10(2.37)
qmaiga(14.69)
AIGSolve(16.8)
QuBE7-m(74.33)
QuBE7(75.46)
QuBE7-c(77.19)
quantor-3.1(107.75)
nenofex-qbfeval10(199.51)