Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ii32e1-00
Best Solver: depqbf Time: 1.39 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 1.42 - - - -
- - struqs-10 2.75 - - - -
- - aqme-10 3.57 - - - -
depqbf(1.39)
depqbf-pre(1.42)
struqs-10(2.75)
aqme-10(3.57)
QuBE7(159.94)
QuBE7-c(160.73)
QuBE7-m(166.79)