Instances of family tipdiam solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
vis.bakery.E-d3SAT0.58
texas.ifetch1^1.E-d3SAT0.61
cmu.dme1.B-d3SAT0.63
eijk.S420.S-d4SAT0.64
texas.parsesys^1.E-d3SAT0.64
eijk.S208.S-d4SAT0.65
vis.eisenberg.E-d4SAT0.65
eijk.S510.S-d3SAT0.66
vis.arbiter.E-d4SAT0.66
eijk.S208c.S-d4SAT0.66
eijk.S641.S-d3SAT0.67
eijk.S510.S-d4SAT0.68
texas.ifetch1^3.E-d3SAT0.68
vis.bakery.E-d4SAT0.68
eijk.S713.S-d4SAT0.76
eijk.bs1512.S-d3SAT0.77
eijk.S382.S-d4SAT0.79
eijk.S641.S-d4SAT0.82
nusmv.brp.B-d2SAT0.82
eijk.S386.S-d3SAT0.91
eijk.S526.S-d4SAT0.92
nusmv.queue.B-d2SAT1.1
nusmv.brp.B-d3SAT1.12
vis.prodcell^01.E-d3SAT1.3
eijk.S208o.S-d3SAT1.59
eijk.S208c.S-d3SAT1.59
cmu.dme2.B-d3SAT1.66
vis.4-arbit^1.E-d3SAT1.7
nusmv.reactor^4.C-d2SAT1.97
nusmv.tcas^1.B-d3SAT3.24
eijk.bs6669.S-d3SAT3.84
eijk.S344.S-d3SAT4.17
eijk.S386.S-d4SAT4.52
nusmv.tcas^1.B-d4SAT5.42
irst.dme4.B-d3SAT5.52
ken.flash^06.C-d2UNSAT5.64
nusmv.queue.B-d3SAT6.06
ken.flash^13.C-d3UNSAT7.44
eijk.S349.S-d3SAT12.87
ken.flash^02.C-d2SAT15.31
irst.dme6.B-d3SAT16.23
ken.flash^02.C-d3SAT83.89
ken.flash^14.C-d3UNSAT87.62
nusmv.reactor^1.C-d4SAT89.03
ken.flash^14.C-d4FAIL106.4
vis.prodcell^01.E-d4SAT149.67
nusmv.reactor^1.C-d3SAT163.87
ken.flash^14.C-d2UNSAT164.01
vis.4-arbit^1.E-d4SAT164.29
nusmv.reactor^3.C-d4SAT165.64
ken.flash^06.C-d3UNSAT166.61
eijk.bs4863.S-d2FAIL184.56
cmu.gigamax.B-d2FAIL249.73
eijk.S1238.S-d3UNSAT253.95
nusmv.queue.B-d4FAIL293.92
irst.dme5.B-d4SAT307.38
ken.flash^10.C-d3UNSAT325.93
nusmv.dme2-16.B-d3FAIL348.13
vis.emodel.E-d4FAIL365.47
ken.flash^12.C-d4FAIL600
ken.flash^01.C-d3FAIL600
ken.flash^08.C-d3FAIL600
eijk.bs4863.S-d3FAIL600
ken.flash^08.C-d4FAIL600
nusmv.dme2-16.B-d4FAIL600
nusmv.tcas-t^1.B-d2FAIL600
ken.flash^09.C-d4FAIL600
nusmv.guidance^1.C-d2FAIL600
vis.coherence^1.E-d4FAIL600
eijk.S1196.S-d3FAIL600
ken.flash^04.C-d2FAIL600
nusmv.guidance^2.C-d3FAIL600
eijk.S832.S-d4FAIL600
ken.flash^05.C-d2FAIL600
ken.flash^10.C-d4FAIL600
ken.oop^1.C-d3FAIL600
nusmv.guidance^4.C-d3FAIL600
ken.flash^05.C-d3FAIL600
ken.flash^11.C-d2FAIL600
ken.oop^1.C-d4FAIL600
nusmv.guidance^5.C-d3FAIL600
cmu.gigamax.B-d4FAIL600
ken.flash^11.C-d4FAIL600
nusmv.guidance^6.C-d3FAIL600
nusmv.tcas^1.B-d2FAIL600