Sota solver results for family mA-t2-5qbf-5cnf-20var-320cl
QBFEVAL'05


InstanceSolverResultTime
5qbf-5cnf-20var-320cl.0sSolveUNSAT0
5qbf-5cnf-20var-320cl.1sSolveUNSAT0.01
5qbf-5cnf-20var-320cl.2WalkQSATUNSAT0.01
5qbf-5cnf-20var-320cl.3sempropUNSAT0.01
5qbf-5cnf-20var-320cl.4sempropUNSAT0
5qbf-5cnf-20var-320cl.5sSolveUNSAT0
5qbf-5cnf-20var-320cl.6sSolveUNSAT0
5qbf-5cnf-20var-320cl.7sempropUNSAT0
5qbf-5cnf-20var-320cl.8sSolveUNSAT0
5qbf-5cnf-20var-320cl.9sSolveUNSAT0