Sota solver details
QBFEVAL'04

Instance: s3271_d5_s
Best Solver: QBFL-BS Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QBFL-JW 0.05 yQuaffle 0.42 QUBE-LRN 1.15
- - - - - - QUBE-BJ 1.27
- - - - - - semprop 1.33
QBFL-BS(0.05)
QBFL-JW(0.05)
yQuaffle(0.42)
QUBE-LRN(1.15)
QUBE-BJ(1.27)
semprop(1.33)