Instances of family tipdiam solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
eijk.S208c.S-d3SAT0.04
eijk.S420.S-d4SAT0.05
eijk.S208o.S-d3SAT0.05
eijk.S510.S-d3SAT0.05
cmu.dme1.B-d3SAT0.05
texas.ifetch1^1.E-d3SAT0.05
eijk.S208c.S-d4SAT0.06
eijk.S208.S-d4SAT0.06
texas.ifetch1^3.E-d3SAT0.06
vis.arbiter.E-d4SAT0.06
cmu.dme2.B-d3SAT0.06
texas.parsesys^1.E-d3SAT0.06
vis.4-arbit^1.E-d3SAT0.06
vis.bakery.E-d3SAT0.06
eijk.S641.S-d3SAT0.06
eijk.S510.S-d4SAT0.08
eijk.S382.S-d4SAT0.08
nusmv.brp.B-d2SAT0.09
vis.bakery.E-d4SAT0.1
vis.eisenberg.E-d4SAT0.1
irst.dme4.B-d3SAT0.1
eijk.bs1512.S-d3SAT0.1
nusmv.queue.B-d2SAT0.11
vis.4-arbit^1.E-d4SAT0.13
eijk.S526.S-d4SAT0.13
vis.emodel.E-d4SAT0.13
eijk.S386.S-d3SAT0.14
nusmv.brp.B-d3SAT0.16
vis.prodcell^01.E-d3SAT0.24
eijk.S386.S-d4SAT0.26
nusmv.reactor^4.C-d2SAT0.28
nusmv.queue.B-d3SAT0.49
vis.prodcell^01.E-d4SAT0.58
eijk.bs6669.S-d3SAT0.88
vis.coherence^1.E-d4SAT0.92
eijk.bs4863.S-d2SAT0.93
eijk.S349.S-d3SAT1.17
ken.flash^06.C-d2UNSAT1.21
ken.flash^02.C-d2SAT1.31
eijk.S344.S-d3SAT1.49
cmu.gigamax.B-d2SAT1.61
ken.flash^13.C-d3UNSAT1.61
eijk.S641.S-d4SAT1.92
nusmv.queue.B-d4SAT2.19
eijk.S713.S-d4SAT3.16
irst.dme6.B-d3SAT3.6
ken.flash^06.C-d3UNSAT5.39
nusmv.reactor^1.C-d3SAT6.05
nusmv.tcas-t^1.B-d2SAT9.77
nusmv.tcas^1.B-d2SAT9.78
nusmv.dme2-16.B-d3SAT20.7
eijk.S1238.S-d3UNSAT23.87
ken.flash^02.C-d3SAT29.13
nusmv.reactor^3.C-d4SAT30.92
eijk.bs4863.S-d3SAT43.86
ken.flash^14.C-d2UNSAT44.17
eijk.S1196.S-d3UNSAT64.34
nusmv.reactor^1.C-d4SAT66.79
eijk.S832.S-d4SAT178.08
irst.dme5.B-d4SAT580.3
cmu.gigamax.B-d4FAIL600
ken.flash^05.C-d3FAIL600
ken.flash^11.C-d2FAIL600
ken.oop^1.C-d4FAIL600
nusmv.guidance^5.C-d3FAIL600
ken.flash^11.C-d4FAIL600
nusmv.guidance^6.C-d3FAIL600
ken.flash^12.C-d4FAIL600
nusmv.tcas^1.B-d3FAIL600
ken.flash^01.C-d3FAIL600
ken.flash^08.C-d3FAIL600
nusmv.tcas^1.B-d4FAIL600
ken.flash^08.C-d4FAIL600
nusmv.dme2-16.B-d4FAIL600
ken.flash^09.C-d4FAIL600
ken.flash^14.C-d3FAIL600
nusmv.guidance^1.C-d2FAIL600
ken.flash^04.C-d2FAIL600
ken.flash^10.C-d3FAIL600
ken.flash^14.C-d4FAIL600
nusmv.guidance^2.C-d3FAIL600
ken.flash^05.C-d2FAIL600
ken.flash^10.C-d4FAIL600
ken.oop^1.C-d3FAIL600
nusmv.guidance^4.C-d3FAIL600