Sota solver results for family mA-t2-4qbf-5cnf-160var-5120cl
QBFEVAL'06


InstanceSolverResultTime
4qbf-5cnf-160var-5120cl.0sempropUNSAT0.02
4qbf-5cnf-160var-5120cl.1sempropUNSAT0.03
4qbf-5cnf-160var-5120cl.2sempropUNSAT0.03
4qbf-5cnf-160var-5120cl.3sempropUNSAT0.03
4qbf-5cnf-160var-5120cl.4sempropUNSAT0.02
4qbf-5cnf-160var-5120cl.5sempropUNSAT0.03
4qbf-5cnf-160var-5120cl.6yQuaffleUNSAT0.04
4qbf-5cnf-160var-5120cl.7sempropUNSAT0.02
4qbf-5cnf-160var-5120cl.8sempropUNSAT0.03
4qbf-5cnf-160var-5120cl.9sempropUNSAT0.02