Instances of family tipdiam solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
eijk.S208.S-d2SAT0
texas.parsesys^1.E-d2SAT0
vis.bakery.E-d2SAT0
eijk.S208c.S-d2SAT0.01
eijk.S208o.S-d2SAT0.01
cmu.dme1.B-d2SAT0.01
eijk.S298.S-d2SAT0.01
vis.coherence^1.E-d2SAT0.01
eijk.S382.S-d2SAT0.01
vis.eisenberg.E-d2SAT0.01
eijk.S444.S-d2SAT0.02
eijk.S526.S-d2SAT0.02
cmu.dme2.B-d2SAT0.02
irst.dme5.B-d2SAT0.03
eijk.S386.S-d2SAT0.04
eijk.S953.S-d2SAT0.04
eijk.S820.S-d2SAT0.07
eijk.S832.S-d2SAT0.1
irst.dme6.B-d2SAT0.11
vis.emodel.E-d2SAT0.12
nusmv.dme2-16.B-d2SAT0.22
vis.4-arbit^1.E-d2SAT0.41
eijk.S344.S-d2SAT0.42
eijk.S349.S-d2SAT0.51
irst.dme4.B-d2SAT0.8
eijk.S1423.S-d2SAT6.37
eijk.S1238.S-d2SAT8.18
eijk.bs1512.S-d2SAT22.09
eijk.S1196.S-d2SAT22.8
nusmv.dme1-16.B-d2SAT1199.19