Results for instance x165.0
QBFEVAL'06



Solver Time Result
semprop0.08SAT
preQuantor65.39FAIL
QUANTOR95.04FAIL
QUANTOR_hc95.87FAIL
qube5.0441.21UNSAT
qube4.0445.47UNSAT
yQuaffle553.59FAIL
Quaffle581.09FAIL
ssolve+ut600.28FAIL
GRL600.87FAIL
WalkQSAT600.96FAIL
sKizzo-0.9-abs3249.7FAIL
SQBF4678.94FAIL
Qbfl5999.82FAIL
ssolve-ut6000.31FAIL
sSolve6000.31FAIL
2clsQ6000.42FAIL
qube3.06000.56FAIL
sKizzo-0.9-std6000.6FAIL
sKizzo-0.9-grn6000.68FAIL
openQbf6000.91FAIL