Sota solver details
QBFEVAL'10 - 2QBF Track.

Instance: stmt7_33_34
Best Solver: quantor-3.1 Time: 0.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - aqme-10 2.71 QuBE7 17.54
- - - - - - QuBE7-c 37.86
quantor-3.1(0.46)
aqme-10(2.71)
QuBE7(17.54)
QuBE7-c(37.86)
QuBE7-m(52.27)
depqbf-pre(258.57)
struqs-10(501.66)