Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ii8a1-00
Best Solver: QuBE7-c Time: 0.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-m 0.62 depqbf 3.83 QuBE7 31.07
- - depqbf-pre 2.06 - - qmaiga 32.71
- - aqme-10 2.35 - - AIGSolve 46.84
QuBE7-c(0.5)
QuBE7-m(0.62)
depqbf-pre(2.06)
aqme-10(2.35)
depqbf(3.83)
QuBE7(31.07)
qmaiga(32.71)
AIGSolve(46.84)
nenofex-qbfeval10(126.27)