Sota solver details
QBFEVAL'10 - 2QBF Track.

Instance: stmt1_811_812
Best Solver: QuBE7-c Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 0.06 depqbf-pre 0.36 nenofex-qbfeval10 1.58
- - QuBE7-m 0.06 - - aqme-10 1.66
- - - - - - quantor-3.1 2.28
QuBE7-c(0.05)
QuBE7(0.06)
QuBE7-m(0.06)
depqbf-pre(0.36)
nenofex-qbfeval10(1.58)
aqme-10(1.66)
quantor-3.1(2.28)
struqs-10(5.97)
depqbf(102.2)