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


InstanceSolverResultTime
2qbf-5cnf-40var-160cl.0sSolveSAT0.17
2qbf-5cnf-40var-160cl.1sSolveUNSAT0.16
2qbf-5cnf-40var-160cl.2qube3.0UNSAT0.07
2qbf-5cnf-40var-160cl.3ssolve-utSAT0.14
2qbf-5cnf-40var-160cl.4sSolveSAT0.2
2qbf-5cnf-40var-160cl.5sSolveSAT0.21
2qbf-5cnf-40var-160cl.6WalkQSATUNSAT0.01
2qbf-5cnf-40var-160cl.7ssolve-utUNSAT0.16
2qbf-5cnf-40var-160cl.8sSolveSAT0.21
2qbf-5cnf-40var-160cl.9ssolve-utSAT0.17