Sota solver details
QBFEVAL'04

Instance: s3271_d20_u
Best Solver: QBFL-JW Time: 0.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-BS 0.36 yQuaffle 2.83 semprop 33.36
QBFL-JW(0.35)
QBFL-BS(0.36)
yQuaffle(2.83)
semprop(33.36)