Instances of family tipdiam solved by quantor3.0
QBFEVAL'08

InstanceResultTime
vis.bakery.E-d2SAT0
cmu.dme2.B-d2SAT0
eijk.S208o.S-d2SAT0
cmu.dme1.B-d2SAT0
eijk.S298.S-d2SAT0
eijk.S382.S-d2SAT0
texas.parsesys^1.E-d3SAT0
eijk.S208o.S-d3SAT0
eijk.S510.S-d3SAT0
eijk.S208.S-d2SAT0
eijk.S526.S-d2SAT0
vis.eisenberg.E-d2SAT0
eijk.S208.S-d3SAT0
eijk.S420.S-d4SAT0.01
eijk.S208c.S-d3SAT0.01
eijk.S444.S-d2SAT0.01
texas.parsesys^1.E-d2SAT0.01
vis.bakery.E-d3SAT0.01
eijk.S208c.S-d4SAT0.01
texas.ifetch1^1.E-d3SAT0.01
eijk.S208o.S-d4SAT0.01
texas.ifetch1^3.E-d3SAT0.01
vis.eisenberg.E-d3SAT0.01
eijk.S208.S-d4SAT0.01
eijk.S386.S-d2SAT0.01
eijk.S208c.S-d2SAT0.02
eijk.S444.S-d3SAT0.02
eijk.S953.S-d2SAT0.02
texas.parsesys^1.E-d4SAT0.02
eijk.S510.S-d4SAT0.02
eijk.S298.S-d3SAT0.02
eijk.S382.S-d3SAT0.02
vis.coherence^1.E-d2SAT0.02
eijk.S526.S-d3SAT0.03
texas.ifetch1^9.E-d3SAT0.03
vis.eisenberg.E-d4SAT0.03
vis.bakery.E-d4SAT0.04
vis.4-arbit^1.E-d2SAT0.04
eijk.S832.S-d2SAT0.04
cmu.dme2.B-d3SAT0.05
cmu.dme1.B-d3SAT0.05
eijk.S820.S-d2SAT0.05
vis.emodel.E-d2SAT0.08
irst.dme4.B-d2SAT0.09
eijk.S641.S-d3SAT0.1
eijk.S444.S-d4SAT0.17
eijk.S382.S-d4SAT0.18
eijk.S386.S-d3SAT0.29
eijk.S349.S-d2SAT0.32
eijk.S344.S-d2SAT0.32
eijk.S526.S-d4SAT0.36
irst.dme5.B-d2SAT0.37
nusmv.brp.B-d2SAT0.38
eijk.S298.S-d4SAT0.4
eijk.S953.S-d3SAT0.44
vis.arbiter.E-d4SAT0.58
cmu.periodic.N-d2SAT0.68
eijk.S1423.S-d2SAT1.16
irst.dme6.B-d2SAT1.5
eijk.S1238.S-d2SAT4.26
vis.emodel.E-d3SAT5.14
ken.flash^13.C-d2UNSAT5.69
eijk.S1196.S-d2SAT6.54
nusmv.dme2-16.B-d2SAT7.22
eijk.S832.S-d3SAT8.02
eijk.S820.S-d3SAT9.29
cmu.dme2.B-d4SAT10.48
irst.dme4.B-d3SAT14.88
ken.flash^02.C-d2SAT19.27
vis.4-arbit^1.E-d4FAIL28.22
ken.oop^2.C-d2FAIL28.69
vis.coherence^1.E-d4FAIL29.42
nusmv.queue.B-d3FAIL29.75
nusmv.tcas-t^1.B-d2FAIL29.8
nusmv.tcas^1.B-d2FAIL29.82
vis.elevator^1.E-d3FAIL30.05
ken.flash^09.C-d4FAIL30.35
ken.flash^10.C-d4FAIL30.98
nusmv.tcas-t^1.B-d3FAIL31
nusmv.guidance^1.C-d4FAIL31.35
ken.oop^1.C-d2FAIL31.91
nusmv.dme1-16.B-d2SAT32.2
ken.oop^1.C-d3FAIL33.19
ken.flash^11.C-d4FAIL33.45
ken.flash^04.C-d2FAIL33.71
nusmv.queue.B-d2FAIL34.21
nusmv.guidance^5.C-d3FAIL34.36
nusmv.guidance^4.C-d3FAIL34.38
nusmv.guidance^6.C-d3FAIL34.42
ken.flash^12.C-d4FAIL34.45
nusmv.guidance^2.C-d3FAIL34.54
nusmv.guidance^1.C-d3FAIL34.6
nusmv.queue.B-d4FAIL34.67
ken.flash^10.C-d3FAIL34.73
irst.dme6.B-d4FAIL35.37
eijk.bs4863.S-d3FAIL35.6
eijk.bs3330.S-d4FAIL35.93
ken.flash^11.C-d3FAIL36.36
nusmv.reactor^4.C-d3FAIL36.43
nusmv.guidance^1.C-d2FAIL36.79
vis.elevator^1.E-d4FAIL36.83
eijk.S820.S-d4FAIL37.33
nusmv.tcas-t^1.B-d4FAIL37.57
ken.oop^2.C-d3FAIL37.61
eijk.S349.S-d3FAIL37.62
ken.flash^09.C-d3FAIL37.97
vis.prodcell^01.E-d3FAIL38.41
ken.flash^05.C-d2FAIL38.48
ken.flash^01.C-d4FAIL38.97
nusmv.tcas^1.B-d4FAIL38.99
eijk.S1238.S-d4FAIL39.41
eijk.S1196.S-d4FAIL39.53
ken.flash^04.C-d4FAIL39.63
irst.dme5.B-d4FAIL39.93
eijk.bs6669.S-d3FAIL40.24
vis.elevator^1.E-d2FAIL40.74
eijk.bs3330.S-d3FAIL41.71
vis.prodcell^01.E-d2SAT42.17
nusmv.reactor^5.C-d2FAIL42.35
nusmv.dme1-16.B-d4FAIL42.74
eijk.S1196.S-d3FAIL43.14
eijk.S349.S-d4FAIL43.26
ken.flash^05.C-d4FAIL43.73
ken.flash^01.C-d2FAIL44.25
eijk.S344.S-d3FAIL44.36
eijk.bs4863.S-d4FAIL44.4
ken.flash^03.C-d2FAIL44.46
nusmv.dme1-16.B-d3FAIL44.47
ken.oop^2.C-d4FAIL44.68
eijk.S344.S-d4FAIL45.04
nusmv.dme2-16.B-d4FAIL45.21
eijk.S1423.S-d4FAIL45.26
nusmv.reactor^2.C-d4FAIL45.27
nusmv.reactor^1.C-d4FAIL45.43
ken.flash^06.C-d4FAIL45.46
eijk.S386.S-d4SAT45.58
texas.ifetch1^3.E-d4FAIL45.76
texas.ifetch1^9.E-d4FAIL45.79
nusmv.reactor^3.C-d3FAIL45.91
ken.flash^10.C-d2FAIL45.92
ken.flash^07.C-d4FAIL45.97
eijk.S1238.S-d3FAIL46.09
ken.flash^04.C-d3FAIL46.57
nusmv.reactor^4.C-d2FAIL46.6
ken.flash^03.C-d3FAIL46.98
vis.prodcell^01.E-d4FAIL47.03
nusmv.dme2-16.B-d3FAIL47.03
ken.flash^08.C-d4FAIL47.04
eijk.S1423.S-d3FAIL47.06
vis.emodel.E-d4FAIL47.48
nusmv.reactor^5.C-d3FAIL47.54
nusmv.reactor^4.C-d4FAIL47.65
eijk.bs1512.S-d4FAIL47.94
nusmv.reactor^1.C-d3FAIL47.94
nusmv.reactor^2.C-d3FAIL48
nusmv.reactor^3.C-d4FAIL48.12
eijk.bs6669.S-d4FAIL48.13
eijk.bs3330.S-d2FAIL48.9
ken.flash^02.C-d4FAIL49.4
nusmv.tcas^1.B-d3FAIL49.92
ken.flash^12.C-d3FAIL50.42
ken.flash^14.C-d4FAIL50.46
texas.ifetch1^1.E-d4FAIL51.07
cmu.dme1.B-d4SAT51.62
nusmv.reactor^3.C-d2FAIL51.95
ken.flash^12.C-d2FAIL52.14
nusmv.reactor^5.C-d4FAIL53.26
ken.flash^05.C-d3FAIL53.6
nusmv.reactor^2.C-d2FAIL55.17
eijk.S832.S-d4FAIL55.3
irst.dme5.B-d3SAT55.82
ken.flash^11.C-d2FAIL56.14
cmu.gigamax.B-d2FAIL57.14
ken.flash^09.C-d2FAIL57.71
ken.oop^1.C-d4FAIL58.09
nusmv.reactor^1.C-d2FAIL59.58
eijk.bs4863.S-d2FAIL62.88
ken.flash^13.C-d4FAIL63.02
ken.flash^02.C-d3FAIL63.49
ken.flash^08.C-d3FAIL66.06
ken.flash^14.C-d3FAIL66.09
eijk.bs1512.S-d2FAIL66.38
eijk.bs1512.S-d3FAIL68.38
cmu.periodic.N-d3FAIL68.73
ken.flash^06.C-d2FAIL70.46
ken.flash^03.C-d4FAIL70.72
vis.4-arbit^1.E-d3FAIL70.93
irst.dme4.B-d4FAIL71.4
eijk.S713.S-d4FAIL76.89
cmu.gigamax.B-d3FAIL77.07
eijk.S641.S-d4FAIL77.79
eijk.S953.S-d4SAT78.39
ken.flash^13.C-d3FAIL103.81
cmu.periodic.N-d4FAIL103.82
ken.flash^06.C-d3FAIL105.68
ken.flash^01.C-d3FAIL122.45
irst.dme6.B-d3FAIL128.19
cmu.gigamax.B-d4FAIL138.2
ken.flash^08.C-d2FAIL138.56
ken.flash^14.C-d2FAIL161.55
vis.coherence^1.E-d3SAT304.65
nusmv.brp.B-d3FAIL600
nusmv.brp.B-d4FAIL600