Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: par16-1-c-00
Best Solver: depqbf Time: 0.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 1.54 QuBE7-c 4.73 AIGSolve 9.01
- - - - QuBE7 5.04 aqme-10 9.69
- - - - QuBE7-m 5.22 - -
- - - - qmaiga 8.46 - -
depqbf(0.87)
depqbf-pre(1.54)
QuBE7-c(4.73)
QuBE7(5.04)
QuBE7-m(5.22)
qmaiga(8.46)
AIGSolve(9.01)
aqme-10(9.69)