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


InstanceSolverResultTime
6qbf-5cnf-80var-640cl.0sempropUNSAT0.1
6qbf-5cnf-80var-640cl.1ssolve-utSAT0.15
6qbf-5cnf-80var-640cl.2ssolve-utSAT0.15
6qbf-5cnf-80var-640cl.3ssolve-utSAT0.17
6qbf-5cnf-80var-640cl.4ssolve+utSAT0.15
6qbf-5cnf-80var-640cl.5ssolve+utSAT1755.72
6qbf-5cnf-80var-640cl.6ssolve-utSAT1.12
6qbf-5cnf-80var-640cl.7sSolveSAT0.13
6qbf-5cnf-80var-640cl.8ssolve-utUNSAT0.15
6qbf-5cnf-80var-640cl.9ssolve-utSAT0.19