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


InstanceSolverResultTime
2qbf-5cnf-20var-80cl.0sSolveSAT0.01
2qbf-5cnf-20var-80cl.1yQuaffleSAT0
2qbf-5cnf-20var-80cl.2QUANTORSAT0.01
2qbf-5cnf-20var-80cl.3sSolveSAT0.01
2qbf-5cnf-20var-80cl.4sSolveSAT0
2qbf-5cnf-20var-80cl.5sSolveSAT0
2qbf-5cnf-20var-80cl.6sSolveSAT0.01
2qbf-5cnf-20var-80cl.7sSolveSAT0
2qbf-5cnf-20var-80cl.8sSolveSAT0
2qbf-5cnf-20var-80cl.9sSolveSAT0