Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: x30.7
Best Solver: QuBE7 Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 0.32 depqbf-pre 1.66 depqbf 3.02
- - QuBE7-m 0.33 aqme-10 1.71 - -
QuBE7(0.24)
QuBE7-c(0.32)
QuBE7-m(0.33)
depqbf-pre(1.66)
aqme-10(1.71)
depqbf(3.02)
quantor-3.1(39.93)
nenofex-qbfeval10(127.87)