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


InstanceSolverResultTime
4qbf-5cnf-80var-1280cl.0sempropUNSAT0.01
4qbf-5cnf-80var-1280cl.1sempropUNSAT0.01
4qbf-5cnf-80var-1280cl.2sempropUNSAT0
4qbf-5cnf-80var-1280cl.3sempropUNSAT0.03
4qbf-5cnf-80var-1280cl.4sempropUNSAT0
4qbf-5cnf-80var-1280cl.5WalkQSATUNSAT0.02
4qbf-5cnf-80var-1280cl.6sempropUNSAT0.02
4qbf-5cnf-80var-1280cl.7sempropUNSAT0.01
4qbf-5cnf-80var-1280cl.8sempropUNSAT0.01
4qbf-5cnf-80var-1280cl.9sempropUNSAT0.02