Sota solver details
QBFEVAL'07

Instance: emptyroom_e4_par---21_
Best Solver: sKizzo-0.10-qck Time: 75.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 84.51 qZilla 531.52 - -
- - QUANTOR_2.15 87.59 - - - -
- - preQuel_sKizzo-0.10 113.13 - - - -
sKizzo-0.10-qck(75.75)
sKizzo-0.10-std(84.51)
QUANTOR_2.15(87.59)
preQuel_sKizzo-0.10(113.13)
qZilla(531.52)