Sota solver results for family mA-t2-4qbf-5cnf-40var-640cl
QBFEVAL'05


InstanceSolverResultTime
4qbf-5cnf-40var-640cl.0QChaffLearnUNSAT0.01
4qbf-5cnf-40var-640cl.1sSolveUNSAT0
4qbf-5cnf-40var-640cl.2QChaffLearnUNSAT0
4qbf-5cnf-40var-640cl.3sempropUNSAT0
4qbf-5cnf-40var-640cl.4sSolveUNSAT0
4qbf-5cnf-40var-640cl.5sempropUNSAT0
4qbf-5cnf-40var-640cl.6sempropUNSAT0
4qbf-5cnf-40var-640cl.7sSolveUNSAT0
4qbf-5cnf-40var-640cl.8sempropUNSAT0.01
4qbf-5cnf-40var-640cl.9QChaffLearnUNSAT0