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


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