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


InstanceSolverResultTime
5qbf-5cnf-20var-640cl.02clsQUNSAT0
5qbf-5cnf-20var-640cl.1sempropUNSAT0
5qbf-5cnf-20var-640cl.2yQuaffleUNSAT0
5qbf-5cnf-20var-640cl.3sempropUNSAT0
5qbf-5cnf-20var-640cl.42clsQUNSAT0
5qbf-5cnf-20var-640cl.5WalkQSATUNSAT0
5qbf-5cnf-20var-640cl.62clsQUNSAT0
5qbf-5cnf-20var-640cl.72clsQUNSAT0
5qbf-5cnf-20var-640cl.8GRLUNSAT0.01
5qbf-5cnf-20var-640cl.9yQuaffleUNSAT0