Instances of family tipdiam solved by Nenofex
QBFEVAL'08

InstanceResultTime
cmu.dme1.B-d2SAT0
texas.parsesys^1.E-d2SAT0
eijk.S208o.S-d2SAT0
eijk.S208.S-d2SAT0
eijk.S208c.S-d2SAT0.01
eijk.S510.S-d3SAT0.01
eijk.S208o.S-d3SAT0.02
eijk.S208.S-d3SAT0.02
vis.bakery.E-d2SAT0.02
nusmv.dme1-16.B-d2SAT0.02
vis.eisenberg.E-d2SAT0.03
eijk.S208c.S-d3SAT0.03
texas.parsesys^1.E-d3SAT0.06
cmu.dme2.B-d2SAT0.06
eijk.S444.S-d2SAT0.06
eijk.S382.S-d2SAT0.06
eijk.S510.S-d4SAT0.06
vis.eisenberg.E-d3SAT0.06
vis.bakery.E-d3SAT0.06
eijk.S298.S-d2SAT0.07
eijk.S208o.S-d4SAT0.08
eijk.S526.S-d2SAT0.08
eijk.S208.S-d4SAT0.1
eijk.S420.S-d4SAT0.11
eijk.S208c.S-d4SAT0.11
texas.ifetch1^9.E-d3SAT0.16
texas.parsesys^1.E-d4SAT0.18
eijk.S386.S-d2SAT0.23
texas.ifetch1^3.E-d3SAT0.25
texas.ifetch1^1.E-d3SAT0.26
vis.bakery.E-d4SAT0.34
vis.eisenberg.E-d4SAT0.39
eijk.S444.S-d3SAT0.43
eijk.S832.S-d2SAT0.56
eijk.S526.S-d3SAT0.62
nusmv.queue.B-d2SAT0.68
eijk.S382.S-d3SAT0.8
eijk.S820.S-d2SAT0.87
eijk.S298.S-d3SAT0.89
vis.coherence^1.E-d2SAT1.6
cmu.dme1.B-d3SAT1.65
eijk.S953.S-d2SAT1.74
eijk.S641.S-d3SAT1.93
vis.4-arbit^1.E-d2SAT2.45
vis.emodel.E-d2SAT2.67
vis.arbiter.E-d4SAT2.87
irst.dme4.B-d2SAT5.18
cmu.dme2.B-d3SAT5.81
eijk.S298.S-d4SAT7.21
eijk.S382.S-d4SAT11.23
eijk.S386.S-d3SAT11.59
nusmv.brp.B-d2SAT12.42
eijk.S444.S-d4SAT17.07
eijk.S526.S-d4SAT17.56
eijk.S344.S-d2SAT25.67
eijk.S1423.S-d2SAT26.85
eijk.S349.S-d2SAT37.13
eijk.S953.S-d3SAT142.66
cmu.dme1.B-d4SAT174.22
eijk.S1238.S-d2SAT216.43
eijk.S344.S-d3FAIL229.55
nusmv.dme2-16.B-d2FAIL237.68
eijk.bs3330.S-d2FAIL245.45
eijk.S953.S-d4FAIL248.21
texas.ifetch1^1.E-d4FAIL268.3
eijk.S349.S-d3FAIL269.67
irst.dme4.B-d3FAIL272.42
eijk.S832.S-d4FAIL295.25
eijk.S1423.S-d3FAIL297.31
ken.flash^13.C-d2FAIL316.46
eijk.bs1512.S-d2FAIL322.23
texas.ifetch1^9.E-d4FAIL325.16
eijk.bs1512.S-d3FAIL344.66
ken.flash^06.C-d2FAIL353.27
vis.prodcell^01.E-d3FAIL354.81
eijk.S344.S-d4FAIL364.66
vis.prodcell^01.E-d4FAIL364.96
texas.ifetch1^3.E-d4FAIL365.96
eijk.S832.S-d3FAIL375.76
vis.prodcell^01.E-d2FAIL378.65
eijk.S1238.S-d3FAIL383.94
ken.flash^12.C-d2FAIL409.61
ken.flash^14.C-d2FAIL417.14
irst.dme6.B-d3FAIL420.93
eijk.bs6669.S-d3FAIL426.09
eijk.S820.S-d4FAIL430.3
eijk.bs1512.S-d4FAIL438.12
eijk.S1196.S-d4FAIL439.04
eijk.S1423.S-d4FAIL470.59
vis.elevator^1.E-d3FAIL473.27
ken.flash^09.C-d3FAIL480.35
vis.elevator^1.E-d4FAIL482.17
eijk.bs4863.S-d2FAIL482.53
vis.4-arbit^1.E-d4FAIL482.86
nusmv.queue.B-d3FAIL491.63
vis.elevator^1.E-d2FAIL492.62
irst.dme4.B-d4FAIL500.02
eijk.bs3330.S-d4FAIL509.1
eijk.S349.S-d4FAIL527.54
nusmv.brp.B-d4FAIL529.88
irst.dme5.B-d3FAIL532.71
irst.dme6.B-d4FAIL543.84
vis.coherence^1.E-d4FAIL552.78
vis.4-arbit^1.E-d3FAIL556.69
ken.flash^06.C-d4FAIL562.5
ken.flash^13.C-d3FAIL597.27
nusmv.guidance^6.C-d3FAIL600
nusmv.reactor^2.C-d3FAIL600
nusmv.reactor^5.C-d2FAIL600
nusmv.tcas-t^1.B-d4FAIL600
cmu.periodic.N-d4FAIL600
eijk.bs4863.S-d3FAIL600
eijk.S713.S-d4FAIL600
irst.dme6.B-d2FAIL600
ken.flash^02.C-d4FAIL600
ken.flash^05.C-d3FAIL600
ken.flash^08.C-d4FAIL600
ken.flash^11.C-d3FAIL600
ken.oop^2.C-d4FAIL600
nusmv.dme2-16.B-d3FAIL600
nusmv.reactor^2.C-d4FAIL600
nusmv.reactor^5.C-d3FAIL600
eijk.bs4863.S-d4FAIL600
eijk.S1238.S-d4FAIL600
ken.flash^03.C-d2FAIL600
ken.flash^05.C-d4FAIL600
ken.flash^09.C-d2FAIL600
ken.flash^11.C-d4FAIL600
ken.flash^14.C-d3FAIL600
nusmv.dme2-16.B-d4FAIL600
nusmv.reactor^3.C-d2FAIL600
nusmv.reactor^5.C-d4FAIL600
vis.coherence^1.E-d3FAIL600
cmu.dme2.B-d4FAIL600
eijk.S820.S-d3FAIL600
ken.flash^03.C-d3FAIL600
ken.flash^14.C-d4FAIL600
nusmv.brp.B-d3FAIL600
nusmv.guidance^1.C-d2FAIL600
nusmv.queue.B-d4FAIL600
nusmv.reactor^3.C-d3FAIL600
nusmv.tcas^1.B-d2FAIL600
vis.emodel.E-d3FAIL600
cmu.gigamax.B-d2FAIL600
eijk.bs6669.S-d4FAIL600
ken.flash^01.C-d2FAIL600
ken.flash^03.C-d4FAIL600
ken.flash^06.C-d3FAIL600
ken.flash^09.C-d4FAIL600
ken.flash^12.C-d3FAIL600
ken.oop^1.C-d2FAIL600
nusmv.guidance^1.C-d3FAIL600
nusmv.reactor^1.C-d2FAIL600
nusmv.reactor^3.C-d4FAIL600
nusmv.tcas^1.B-d3FAIL600
vis.emodel.E-d4FAIL600
cmu.gigamax.B-d3FAIL600
eijk.S1196.S-d2FAIL600
eijk.S386.S-d4FAIL600
ken.flash^01.C-d3FAIL600
ken.flash^04.C-d2FAIL600
ken.flash^10.C-d2FAIL600
ken.flash^12.C-d4FAIL600
ken.oop^1.C-d3FAIL600
nusmv.guidance^1.C-d4FAIL600
nusmv.reactor^1.C-d3FAIL600
nusmv.reactor^4.C-d2FAIL600
nusmv.tcas^1.B-d4FAIL600
cmu.gigamax.B-d4FAIL600
eijk.bs3330.S-d3FAIL600
eijk.S1196.S-d3FAIL600
irst.dme5.B-d2FAIL600
ken.flash^01.C-d4FAIL600
ken.flash^04.C-d3FAIL600
ken.flash^07.C-d4FAIL600
ken.flash^10.C-d3FAIL600
ken.oop^1.C-d4FAIL600
nusmv.dme1-16.B-d3FAIL600
nusmv.guidance^2.C-d3FAIL600
nusmv.reactor^1.C-d4FAIL600
nusmv.reactor^4.C-d3FAIL600
nusmv.tcas-t^1.B-d2FAIL600
cmu.periodic.N-d2FAIL600
ken.flash^02.C-d2FAIL600
ken.flash^04.C-d4FAIL600
ken.flash^08.C-d2FAIL600
ken.flash^10.C-d4FAIL600
ken.oop^2.C-d2FAIL600
nusmv.dme1-16.B-d4FAIL600
nusmv.guidance^4.C-d3FAIL600
nusmv.reactor^2.C-d2FAIL600
nusmv.reactor^4.C-d4FAIL600
nusmv.tcas-t^1.B-d3FAIL600
cmu.periodic.N-d3FAIL600
eijk.S641.S-d4FAIL600
irst.dme5.B-d4FAIL600
ken.flash^02.C-d3FAIL600
ken.flash^05.C-d2FAIL600
ken.flash^08.C-d3FAIL600
ken.flash^11.C-d2FAIL600
ken.flash^13.C-d4FAIL600
ken.oop^2.C-d3FAIL600
nusmv.guidance^5.C-d3FAIL600