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


InstanceSolverResultTime
2qbf-5cnf-80var-2560cl.0qbfbddUNSAT0
2qbf-5cnf-80var-2560cl.1sempropUNSAT0
2qbf-5cnf-80var-2560cl.2WalkQSATUNSAT0
2qbf-5cnf-80var-2560cl.3sempropUNSAT0
2qbf-5cnf-80var-2560cl.4qbfbddUNSAT0
2qbf-5cnf-80var-2560cl.5QChaffLearnUNSAT0.01
2qbf-5cnf-80var-2560cl.6qbfbddUNSAT0
2qbf-5cnf-80var-2560cl.7qbfbddUNSAT0
2qbf-5cnf-80var-2560cl.8qbfbddUNSAT0
2qbf-5cnf-80var-2560cl.9sempropUNSAT0.01