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


InstanceSolverResultTime
6qbf-5cnf-40var-320cl.0sSolveUNSAT0.15
6qbf-5cnf-40var-320cl.1ssolve-utSAT0.35
6qbf-5cnf-40var-320cl.2sSolveSAT0.13
6qbf-5cnf-40var-320cl.3QbflUNSAT134.23
6qbf-5cnf-40var-320cl.4ssolve+utSAT11.57
6qbf-5cnf-40var-320cl.5ssolve+utSAT0.14
6qbf-5cnf-40var-320cl.6ssolve-utSAT0.16
6qbf-5cnf-40var-320cl.7ssolve-utSAT0.14
6qbf-5cnf-40var-320cl.8sSolveSAT0.15
6qbf-5cnf-40var-320cl.9sSolveSAT0.19