Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ii32e1-50
Best Solver: aqme-10 Time: 3.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 4.41 QuBE7 18.17 - -
- - depqbf-pre 4.44 QuBE7-m 18.47 - -
- - struqs-10 6.7 QuBE7-c 18.63 - -
aqme-10(3.24)
depqbf(4.41)
depqbf-pre(4.44)
struqs-10(6.7)
QuBE7(18.17)
QuBE7-m(18.47)
QuBE7-c(18.63)