Results for instance x220.3
QBFEVAL'06



Solver Time Result
preQuantor0.01FAIL
semprop0.14SAT
qube3.025.46UNSAT
qube5.0123.03UNSAT
qube4.0123.7UNSAT
QUANTOR151.58FAIL
QUANTOR_hc151.81FAIL
Quaffle559.67FAIL
yQuaffle598.4FAIL
ssolve-ut600.36FAIL
GRL600.9FAIL
WalkQSAT600.96FAIL
sKizzo-0.9-abs1644.6FAIL
Qbfl6000.28FAIL
sSolve6000.36FAIL
ssolve+ut6000.37FAIL
SQBF6000.42FAIL
2clsQ6000.42FAIL
sKizzo-0.9-grn6000.76FAIL
sKizzo-0.9-std6000.79FAIL
openQbf6000.9FAIL