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


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