Sota solver details
QBFEVAL'04

Instance: BLOCKS3i.5.3
Best Solver: QUANTOR Time: 0.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QSAT 2.92 - -
QUANTOR(0.48)
QSAT(2.92)
yQuaffle(88.26)
QUBE-LRN(157.6)