Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s1
Best Solver: aqme-10 Time: 2.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 10.17 depqbf 10.64 QuBE7-c 29.22
- - - - QuBE7 11 QuBE7-m 43.05
- - - - - - struqs-10 93.69
- - - - - - quantor-3.1 129.46
aqme-10(2.06)
depqbf-pre(10.17)
depqbf(10.64)
QuBE7(11)
QuBE7-c(29.22)
QuBE7-m(43.05)
struqs-10(93.69)
quantor-3.1(129.46)