Instances of family tipfixpoint solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
texas.parsesys^4.E-f3UNSAT0.03
texas.parsesys^4.E-f4UNSAT0.04
texas.ifetch1^4.E-f4UNSAT0.04
nusmv.reactor^3.C-f4UNSAT0.08
ken.flash^10.C-f2UNSAT0.14
texas.parsesys^3.E-f2SAT0.23
ken.flash^10.C-f4UNSAT0.32
irst.dme6.B-f2FAIL10.24
cmu.dme1.B-f3FAIL10.9
nusmv.dme1-16.B-f2FAIL11.01
texas.two_proc^2.E-f3FAIL11.15
cmu.dme2.B-f4FAIL11.27
texas.two_proc^5.E-f3FAIL11.3
irst.dme4.B-f2FAIL11.53
eijk.S1423.S-f2FAIL11.56
eijk.S526.S-f4FAIL11.73
texas.ifetch1^8.E-f4FAIL11.76
texas.ifetch1^3.E-f4FAIL11.79
eijk.S382.S-f2FAIL11.8
texas.ifetch1^1.E-f4FAIL11.91
vis.arbiter.E-f3FAIL11.91
texas.ifetch1^5.E-f2FAIL11.93
eijk.S838.S-f3FAIL11.95
eijk.S444.S-f2FAIL12
nusmv.queue.B-f2FAIL12.01
nusmv.reactor^4.C-f2FAIL12.05
eijk.S641.S-f4FAIL12.13
nusmv.reactor^7.C-f2FAIL12.15
texas.PI_main^14.E-f3FAIL12.23
eijk.S344.S-f2FAIL12.26
eijk.S382.S-f4FAIL12.31
eijk.S526.S-f2FAIL12.33
ken.flash^06.C-f2FAIL12.36
vis.elevator^1.E-f4FAIL12.42
nusmv.tcas^2.B-f2FAIL12.43
eijk.S298.S-f4FAIL12.44
vis.elevator^2.E-f4FAIL12.46
texas.PI_main^08.E-f3FAIL12.49
nusmv.reactor^3.C-f3FAIL12.49
eijk.S1423.S-f4FAIL12.62
texas.PI_main^15.E-f3FAIL12.63
nusmv.tcas^3.B-f2FAIL12.7
eijk.bs3330.S-f2FAIL12.7
eijk.S5378.S-f2FAIL12.75
texas.ifetch1^9.E-f4FAIL12.76
eijk.bs1512.S-f3FAIL12.77
eijk.S420.S-f4FAIL12.88
vis.4-arbit^2.E-f4FAIL12.91
nusmv.reactor^2.C-f2FAIL12.93
texas.parsesys^2.E-f2UNSAT12.96
vis.coherence^2.E-f3FAIL12.96
texas.ifetch1^7.E-f2FAIL12.98
texas.ifetch1^2.E-f2FAIL13
nusmv.queue.B-f3FAIL13.04
eijk.S1423.S-f3FAIL13.07
nusmv.guidance^5.C-f4FAIL13.07
nusmv.reactor^5.C-f4FAIL13.17
eijk.S526.S-f3FAIL13.19
nusmv.guidance^7.C-f4FAIL13.21
vis.prodcell^02.E-f4FAIL13.21
texas.ifetch1^2.E-f3FAIL13.21
eijk.S298.S-f2FAIL13.25
vis.elevator^1.E-f3FAIL13.31
vis.bakery.E-f4FAIL13.31
eijk.S832.S-f2FAIL13.31
texas.ifetch1^1.E-f3FAIL13.33
cmu.gigamax.B-f3FAIL13.4
ken.flash^09.C-f2FAIL13.5
texas.two_proc^3.E-f4FAIL13.57
eijk.S820.S-f4FAIL13.65
vis.prodcell^22.E-f2FAIL13.79
vis.prodcell^07.E-f4FAIL13.8
vis.prodcell^07.E-f2FAIL13.81
texas.ifetch1^3.E-f2FAIL13.83
eijk.bs4863.S-f2FAIL13.87
vis.prodcell^20.E-f4FAIL13.96
vis.prodcell^08.E-f4FAIL13.99
vis.elevator^2.E-f3FAIL13.99
nusmv.reactor^6.C-f2FAIL14.01
vis.prodcell^22.E-f4FAIL14.01
vis.prodcell^23.E-f4FAIL14.05
nusmv.guidance^3.C-f2FAIL14.11
vis.prodcell^04.E-f4FAIL14.12
eijk.S838.S-f4FAIL14.14
vis.prodcell^09.E-f4FAIL14.16
nusmv.reactor^6.C-f4FAIL14.19
texas.PI_main^05.E-f3FAIL14.21
texas.PI_main^12.E-f4FAIL14.31
nusmv.tcas^1.B-f4FAIL14.32
nusmv.tcas^6.B-f4FAIL14.41
vis.prodcell^24.E-f4FAIL14.41
nusmv.tcas^3.B-f4FAIL14.43
cmu.periodic.N-f4FAIL14.43
vis.prodcell^21.E-f4FAIL14.45
nusmv.tcas^4.B-f4FAIL14.46
texas.PI_main^16.E-f3FAIL14.49
vis.prodcell^19.E-f2FAIL14.57
ken.flash^04.C-f2FAIL14.59
ken.oop^1.C-f2FAIL14.62
texas.PI_main^08.E-f2FAIL14.64
nusmv.guidance^9.C-f3FAIL14.73
eijk.S510.S-f4FAIL14.73
ken.flash^01.C-f4FAIL14.75
nusmv.brp.B-f2FAIL14.8
vis.prodcell^04.E-f3FAIL14.81
nusmv.guidance^2.C-f3FAIL14.83
cmu.periodic.N-f2FAIL14.83
nusmv.tcas^5.B-f4FAIL14.85
texas.PI_main^11.E-f4FAIL14.85
eijk.S832.S-f3FAIL14.88
ken.flash^09.C-f4FAIL14.89
eijk.S820.S-f3FAIL14.93
texas.PI_main^05.E-f4FAIL14.93
vis.coherence^1.E-f4FAIL14.93
nusmv.tcas^1.B-f2FAIL14.97
nusmv.guidance^1.C-f3FAIL14.98
ken.flash^08.C-f3FAIL15.02
texas.PI_main^15.E-f4FAIL15.07
texas.PI_main^13.E-f3FAIL15.11
vis.4-arbit^1.E-f3FAIL15.12
vis.prodcell^02.E-f3FAIL15.15
vis.prodcell^08.E-f3FAIL15.18
texas.two_proc^6.E-f2FAIL15.21
eijk.bs3271.S-f4FAIL15.21
nusmv.reactor^7.C-f3FAIL15.23
vis.prodcell^10.E-f3FAIL15.27
nusmv.tcas-t^4.B-f4FAIL15.31
vis.prodcell^21.E-f3FAIL15.38
vis.prodcell^03.E-f3FAIL15.41
vis.prodcell^23.E-f3FAIL15.43
vis.prodcell^22.E-f3FAIL15.58
vis.prodcell^24.E-f3FAIL15.63
nusmv.brp.B-f4FAIL15.63
nusmv.dme2-16.B-f2FAIL15.69
nusmv.reactor^7.C-f4FAIL15.75
nusmv.reactor^4.C-f4FAIL15.77
texas.ifetch1^9.E-f2FAIL15.98
texas.two_proc^1.E-f3FAIL15.98
nusmv.queue.B-f4FAIL16
eijk.S820.S-f2FAIL16.05
eijk.S641.S-f3FAIL16.07
texas.two_proc^1.E-f4FAIL16.09
vis.4-arbit^2.E-f3FAIL16.15
ken.flash^11.C-f4FAIL16.31
nusmv.reactor^4.C-f3FAIL16.33
ken.flash^08.C-f4FAIL16.35
nusmv.tcas^6.B-f3FAIL16.36
cmu.gigamax.B-f4FAIL16.37
eijk.S349.S-f2FAIL16.48
nusmv.tcas^2.B-f3FAIL16.49
ken.flash^02.C-f4FAIL16.72
nusmv.tcas^4.B-f3FAIL16.74
ken.flash^03.C-f4FAIL16.8
ken.flash^07.C-f4FAIL17.17
nusmv.tcas^5.B-f2FAIL17.31
ken.flash^11.C-f3FAIL17.39
ken.flash^07.C-f3FAIL17.43
nusmv.tcas-t^6.B-f2FAIL17.59
ken.flash^03.C-f3FAIL17.65
nusmv.tcas-t^3.B-f2FAIL17.75
nusmv.tcas-t^6.B-f4FAIL17.76
vis.4-arbit^2.E-f2FAIL17.85
nusmv.dme2-16.B-f3FAIL18.01
texas.parsesys^2.E-f4FAIL18.01
cmu.periodic.N-f3FAIL18.12
cmu.gigamax.B-f2FAIL18.31
irst.dme6.B-f3FAIL18.55
ken.oop^1.C-f3FAIL18.75
ken.flash^05.C-f3FAIL18.98
vis.prodcell^21.E-f2FAIL19.13
vis.prodcell^24.E-f2FAIL19.27
vis.prodcell^23.E-f2FAIL19.43
texas.PI_main^12.E-f3FAIL19.52
ken.oop^2.C-f2FAIL20.01
vis.eisenberg.E-f3FAIL20.07
texas.ifetch1^8.E-f2FAIL20.52
irst.dme5.B-f3FAIL21.19
texas.PI_main^01.E-f2FAIL21.26
nusmv.syncarb10^2.B-f3FAIL22.19
eijk.S208.S-f3FAIL23.19
eijk.S208.S-f2FAIL26.35
nusmv.syncarb5^2.B-f4FAIL27.32
ken.flash^02.C-f2FAIL31.61
vis.arbiter.E-f2FAIL32.14
eijk.S208c.S-f2FAIL32.41
vis.prodcell^04.E-f2FAIL32.68
irst.dme5.B-f2FAIL33.86
nusmv.dme2-16.B-f4FAIL34.08
vis.emodel.E-f4FAIL34.09
vis.4-arbit^1.E-f2FAIL34.43
texas.PI_main^05.E-f2FAIL37.87
eijk.S208o.S-f2FAIL41.13
eijk.S208o.S-f3FAIL44.35
texas.parsesys^3.E-f4FAIL68.06
texas.parsesys^1.E-f3SAT136.54
nusmv.syncarb5^2.B-f3FAIL269.83