Sota solver details
QBFEVAL'04

Instance: BLOCKS3ii.5.3
Best Solver: QSAT Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.09 QUANTOR 0.53 QUBE-LRN 4.78
- - yQuaffle 0.33 - - - -
QSAT(0.08)
sSolve(0.09)
yQuaffle(0.33)
QUANTOR(0.53)
QUBE-LRN(4.78)
QUBE-BJ(9.35)
semprop(17.74)