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


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