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


InstanceSolverResultTime
2qbf-5cnf-80var-640cl.0sempropUNSAT0.05
2qbf-5cnf-80var-640cl.1sSolveUNSAT1.06
2qbf-5cnf-80var-640cl.2GRLUNSAT0.01
2qbf-5cnf-80var-640cl.3sempropUNSAT0
2qbf-5cnf-80var-640cl.4sSolveUNSAT0.01
2qbf-5cnf-80var-640cl.5sSolveUNSAT0.02
2qbf-5cnf-80var-640cl.6sSolveUNSAT0.01
2qbf-5cnf-80var-640cl.7sSolveUNSAT0.34
2qbf-5cnf-80var-640cl.8sSolveUNSAT0.08
2qbf-5cnf-80var-640cl.9sSolveUNSAT0.01