Instances of family tipdiam solved by <a href='solver_detail.php?solver=2'>openQbf</a> <br> QBFEVAL'06

qbflib.org

Instances of family tipdiam solved by openQbf
QBFEVAL'06

Instance	Result	Time
eijk.S208c.S-d2	SAT	0.15
eijk.S208o.S-d2	SAT	0.15
texas.parsesys^1.E-d2	SAT	0.15
vis.bakery.E-d2	SAT	0.15
cmu.dme1.B-d2	SAT	0.16
eijk.S208.S-d2	SAT	0.17
vis.eisenberg.E-d2	SAT	0.17
eijk.S526.S-d2	SAT	0.19
eijk.S444.S-d2	SAT	0.2
eijk.S298.S-d2	SAT	0.22
eijk.S382.S-d2	SAT	0.22
cmu.dme2.B-d2	SAT	0.23
eijk.S386.S-d2	SAT	0.25
vis.4-arbit^1.E-d2	SAT	0.31
vis.emodel.E-d2	SAT	0.38
vis.coherence^1.E-d2	SAT	0.38
irst.dme5.B-d2	SAT	0.39
eijk.S953.S-d2	SAT	0.4
nusmv.dme2-16.B-d2	SAT	0.79
eijk.S1423.S-d2	SAT	1.2
eijk.bs1512.S-d2	SAT	2.55
nusmv.dme1-16.B-d2	SAT	4.13
irst.dme4.B-d2	SAT	26.99
eijk.S349.S-d2	SAT	41.16
eijk.S344.S-d2	SAT	46.72
eijk.S832.S-d2	SAT	105.16
eijk.S820.S-d2	SAT	107.16
eijk.S1238.S-d2	SAT	1071.6
irst.dme6.B-d2	FAIL	6000.83
eijk.S1196.S-d2	FAIL	6000.83

Contact | Organization | Links | Citing QBFLIB