Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: vis.prodcell^01.E-d4
Best Solver: QuBE7 Time: 0.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 1.07 aqme-10 6.1 depqbf-pre 13.51
- - QuBE7-m 1.12 - - struqs-10 87.73
QuBE7(0.94)
QuBE7-c(1.07)
QuBE7-m(1.12)
aqme-10(6.1)
depqbf-pre(13.51)
struqs-10(87.73)
depqbf(229.93)
qmaiga(980.05)