Instances of family tipdiam solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
texas.ifetch1^1.E-d3SAT0.01
eijk.S208c.S-d4SAT0.01
eijk.S510.S-d3SAT0.02
eijk.S208c.S-d3SAT0.02
eijk.S420.S-d4SAT0.02
eijk.S208o.S-d3SAT0.02
eijk.S208.S-d4SAT0.02
vis.bakery.E-d3SAT0.02
texas.parsesys^1.E-d3SAT0.02
eijk.S510.S-d4SAT0.04
texas.ifetch1^3.E-d3SAT0.04
vis.arbiter.E-d4SAT0.04
vis.bakery.E-d4SAT0.06
vis.eisenberg.E-d4SAT0.06
nusmv.brp.B-d2SAT0.07
nusmv.queue.B-d2SAT0.07
cmu.dme1.B-d3SAT0.2
eijk.S382.S-d4SAT0.36
ken.flash^02.C-d2SAT0.4
nusmv.reactor^4.C-d2SAT0.64
ken.flash^06.C-d2UNSAT0.67
ken.flash^13.C-d3UNSAT0.94
ken.flash^02.C-d3SAT1.13
eijk.S526.S-d4SAT1.48
ken.flash^14.C-d2UNSAT1.68
ken.flash^06.C-d3UNSAT1.92
nusmv.reactor^1.C-d3SAT3.08
ken.flash^14.C-d3UNSAT4.68
nusmv.reactor^1.C-d4SAT6.44
nusmv.reactor^3.C-d4SAT6.72
eijk.S641.S-d3SAT8.24
ken.flash^14.C-d4UNSAT10.63
eijk.bs4863.S-d2FAIL16.05
nusmv.brp.B-d3SAT18.06
irst.dme6.B-d3SAT20.8
vis.4-arbit^1.E-d3SAT26.38
eijk.S344.S-d3SAT27.23
cmu.dme2.B-d3SAT37.26
eijk.S386.S-d3SAT78.25
eijk.S641.S-d4SAT78.56
eijk.S713.S-d4SAT85.17
eijk.S1196.S-d3UNSAT116.47
ken.flash^10.C-d4UNSAT125.28
ken.flash^10.C-d3UNSAT137.38
eijk.S349.S-d3SAT153.36
eijk.S386.S-d4SAT163.44
vis.4-arbit^1.E-d4SAT165.17
vis.prodcell^01.E-d4SAT170.59
ken.flash^09.C-d4UNSAT192.96
vis.coherence^1.E-d4SAT195.88
irst.dme5.B-d4SAT201.28
eijk.bs4863.S-d3FAIL231.03
vis.emodel.E-d4SAT279.84
nusmv.dme2-16.B-d3SAT414.45
eijk.S1238.S-d3UNSAT456.9
irst.dme4.B-d3SAT516.42
eijk.bs6669.S-d3FAIL580.92
eijk.bs1512.S-d3FAIL600
ken.flash^11.C-d4FAIL600
nusmv.guidance^6.C-d3FAIL600
nusmv.tcas^1.B-d2FAIL600
ken.flash^12.C-d4FAIL600
nusmv.tcas^1.B-d3FAIL600
ken.flash^01.C-d3FAIL600
ken.flash^08.C-d3FAIL600
nusmv.queue.B-d3FAIL600
nusmv.tcas^1.B-d4FAIL600
ken.flash^08.C-d4FAIL600
nusmv.dme2-16.B-d4FAIL600
nusmv.queue.B-d4FAIL600
nusmv.tcas-t^1.B-d2FAIL600
nusmv.guidance^1.C-d2FAIL600
ken.flash^04.C-d2FAIL600
nusmv.guidance^2.C-d3FAIL600
cmu.gigamax.B-d2FAIL600
eijk.S832.S-d4FAIL600
ken.flash^05.C-d2FAIL600
ken.oop^1.C-d3FAIL600
nusmv.guidance^4.C-d3FAIL600
cmu.gigamax.B-d4FAIL600
ken.flash^05.C-d3FAIL600
ken.flash^11.C-d2FAIL600
ken.oop^1.C-d4FAIL600
nusmv.guidance^5.C-d3FAIL600
vis.prodcell^01.E-d3FAIL600