Sota solver results for family mA-t2-4qbf-5cnf-40var-1280cl
QBFEVAL'06


InstanceSolverResultTime
4qbf-5cnf-40var-1280cl.0sempropUNSAT0
4qbf-5cnf-40var-1280cl.1SQBFUNSAT0
4qbf-5cnf-40var-1280cl.2qube4.0UNSAT0.01
4qbf-5cnf-40var-1280cl.3yQuaffleUNSAT0.01
4qbf-5cnf-40var-1280cl.4yQuaffleUNSAT0.01
4qbf-5cnf-40var-1280cl.5WalkQSATUNSAT0
4qbf-5cnf-40var-1280cl.6sempropUNSAT0.01
4qbf-5cnf-40var-1280cl.7WalkQSATUNSAT0
4qbf-5cnf-40var-1280cl.8yQuaffleUNSAT0.01
4qbf-5cnf-40var-1280cl.9qube3.0UNSAT0.01