Results for instance x90.3
QBFEVAL'06



Solver Time Result
qube4.05.5UNSAT
qube5.05.51UNSAT
preQuantor62.76FAIL
QUANTOR66.42FAIL
QUANTOR_hc67.13FAIL
qube3.0270.2UNSAT
2clsQ325.06UNSAT
Quaffle547.17FAIL
GRL600.92FAIL
WalkQSAT601FAIL
semprop601FAIL
Qbfl5997.85FAIL
yQuaffle5998.63FAIL
ssolve+ut6000.25FAIL
sSolve6000.29FAIL
ssolve-ut6000.36FAIL
SQBF6000.42FAIL
sKizzo-0.9-abs6000.45FAIL
sKizzo-0.9-grn6000.68FAIL
sKizzo-0.9-std6000.68FAIL
openQbf6000.87FAIL