Results for instance x225.3
QBFEVAL'06



Solver Time Result
semprop0.13SAT
preQuantor81.1FAIL
QUANTOR102.56FAIL
QUANTOR_hc103.65FAIL
yQuaffle573.15FAIL
Quaffle589.58FAIL
GRL600.94FAIL
WalkQSAT600.99FAIL
qube3.03897.88UNSAT
SQBF4452.07FAIL
ssolve+ut6000.25FAIL
sSolve6000.36FAIL
ssolve-ut6000.37FAIL
qube4.06000.38FAIL
Qbfl6000.42FAIL
2clsQ6000.42FAIL
qube5.06000.65FAIL
sKizzo-0.9-std6000.78FAIL
sKizzo-0.9-grn6000.82FAIL
openQbf6000.94FAIL
sKizzo-0.9-abs6000.98FAIL