Results for instance ncf_4_8_8_edau.3
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
sKizzo-0.9-abs0.01SAT
sKizzo-0.9-grn0.01SAT
sKizzo-0.9-std0.01SAT
qube5.00.06SAT
qube4.00.07SAT
qube3.00.07SAT
2clsQ0.17SAT
QUANTOR_hc0.18SAT
QUANTOR0.18SAT
SQBF0.19SAT
ssolve-ut0.51SAT
sSolve7.57SAT
ssolve+ut10.7SAT
semprop13.97SAT
WalkQSAT19.2SAT
Quaffle519.49FAIL
yQuaffle589.38FAIL
Qbfl595.12FAIL
GRL600.97FAIL
openQbf6000.51FAIL