Instances of family tipfixpoint solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
texas.ifetch1^8.E-f2SAT1.02
eijk.S298.S-f2SAT1.11
eijk.S208o.S-f2SAT1.11
vis.emodel.E-f2UNSAT1.16
texas.ifetch1^4.E-f2UNSAT1.2
texas.ifetch1^1.E-f2UNSAT1.22
texas.ifetch1^7.E-f2SAT1.22
eijk.S382.S-f2SAT1.22
texas.ifetch1^3.E-f2UNSAT1.26
eijk.S444.S-f2SAT1.27
texas.ifetch1^5.E-f2SAT1.28
eijk.S344.S-f2SAT1.3
eijk.S526.S-f2SAT1.32
texas.ifetch1^2.E-f2UNSAT1.32
texas.ifetch1^9.E-f2SAT1.33
texas.ifetch1^8.E-f3SAT1.35
nusmv.brp.B-f2SAT1.39
eijk.S349.S-f2SAT1.42
texas.parsesys^4.E-f2UNSAT1.44
texas.ifetch1^7.E-f3SAT1.53
texas.ifetch1^1.E-f3UNSAT1.63
eijk.S208c.S-f2SAT1.63
nusmv.syncarb5^2.B-f2SAT1.74
texas.parsesys^3.E-f2SAT1.86
nusmv.syncarb5^2.B-f3SAT2.22
ken.oop^2.C-f2SAT2.39
texas.ifetch1^4.E-f3UNSAT2.45
texas.parsesys^4.E-f4UNSAT2.48
texas.ifetch1^1.E-f4UNSAT2.48
vis.elevator^1.E-f2UNSAT2.48
texas.ifetch1^3.E-f3UNSAT2.52
texas.two_proc^1.E-f2SAT2.54
vis.emodel.E-f3UNSAT2.57
nusmv.syncarb5^2.B-f4SAT2.59
ken.oop^1.C-f2SAT2.65
texas.two_proc^3.E-f2SAT2.67
texas.ifetch1^3.E-f4UNSAT2.69
texas.ifetch1^5.E-f4SAT2.7
texas.ifetch1^8.E-f4SAT2.71
texas.ifetch1^7.E-f4SAT2.71
vis.eisenberg.E-f2SAT2.72
texas.ifetch1^2.E-f3UNSAT2.74
texas.PI_main^14.E-f2UNSAT2.74
texas.ifetch1^5.E-f3SAT2.77
texas.two_proc^5.E-f2SAT2.78
texas.PI_main^10.E-f2SAT2.79
texas.two_proc^6.E-f2SAT2.8
vis.arbiter.E-f2SAT2.8
texas.ifetch1^4.E-f4UNSAT2.81
vis.emodel.E-f4UNSAT2.81
texas.ifetch1^9.E-f4SAT2.82
texas.PI_main^16.E-f2SAT2.84
texas.two_proc^2.E-f2SAT2.84
vis.elevator^1.E-f4UNSAT2.86
texas.PI_main^01.E-f2SAT2.89
irst.dme4.B-f2SAT2.92
irst.dme5.B-f2SAT2.92
texas.PI_main^03.E-f2SAT2.93
eijk.S208o.S-f3SAT2.93
texas.ifetch1^2.E-f4UNSAT2.95
nusmv.reactor^3.C-f4UNSAT2.96
eijk.S526.S-f3SAT2.98
texas.parsesys^4.E-f3UNSAT3
vis.prodcell^09.E-f2UNSAT3
nusmv.reactor^5.C-f2UNSAT3.02
vis.prodcell^21.E-f2UNSAT3.03
texas.parsesys^3.E-f3SAT3.03
vis.elevator^1.E-f3UNSAT3.06
nusmv.guidance^3.C-f2SAT3.1
vis.prodcell^11.E-f2UNSAT3.12
nusmv.reactor^5.C-f3UNSAT3.14
texas.parsesys^1.E-f3SAT3.22
nusmv.reactor^7.C-f2SAT3.24
texas.two_proc^4.E-f2SAT3.26
nusmv.guidance^9.C-f2SAT3.27
eijk.bs3271.S-f2SAT3.31
texas.PI_main^13.E-f2SAT3.32
nusmv.reactor^4.C-f2SAT3.34
ken.flash^08.C-f2UNSAT3.35
nusmv.guidance^5.C-f2SAT3.38
vis.prodcell^03.E-f3UNSAT3.39
vis.prodcell^09.E-f3UNSAT3.44
nusmv.guidance^2.C-f2SAT3.46
ken.flash^02.C-f2SAT3.46
nusmv.reactor^6.C-f2SAT3.5
ken.flash^10.C-f2UNSAT3.52
nusmv.guidance^8.C-f2SAT3.52
texas.PI_main^14.E-f3UNSAT3.53
vis.prodcell^11.E-f3UNSAT3.59
nusmv.guidance^7.C-f2SAT3.62
vis.prodcell^09.E-f4UNSAT3.68
vis.prodcell^21.E-f4UNSAT3.68
vis.prodcell^06.E-f3UNSAT3.76
vis.bakery.E-f2SAT3.78
nusmv.reactor^5.C-f4UNSAT3.79
vis.prodcell^04.E-f3UNSAT3.82
ken.flash^08.C-f4UNSAT3.84
ken.flash^06.C-f2UNSAT3.94
vis.prodcell^08.E-f3UNSAT4.12
eijk.S208c.S-f3SAT4.26
cmu.periodic.N-f2SAT4.28
ken.flash^10.C-f3UNSAT4.29
vis.prodcell^03.E-f4UNSAT4.31
vis.prodcell^01.E-f4UNSAT4.33
vis.prodcell^02.E-f4UNSAT4.36
eijk.bs3271.S-f3SAT4.4
vis.prodcell^04.E-f4UNSAT4.42
vis.prodcell^20.E-f4UNSAT4.52
eijk.S444.S-f3SAT4.54
texas.parsesys^2.E-f2UNSAT4.56
texas.PI_main^14.E-f4UNSAT4.59
vis.prodcell^06.E-f4UNSAT4.61
irst.dme6.B-f2SAT4.62
vis.prodcell^05.E-f4UNSAT4.64
ken.flash^03.C-f2UNSAT4.74
nusmv.tcas-t^6.B-f3SAT4.84
vis.coherence^3.E-f2SAT4.84
vis.prodcell^08.E-f4UNSAT5
ken.flash^10.C-f4UNSAT5.05
cmu.gigamax.B-f2SAT5.15
eijk.S1238.S-f4UNSAT5.2
nusmv.guidance^4.C-f2SAT5.22
ken.flash^09.C-f2UNSAT5.32
vis.coherence^1.E-f2SAT5.33
nusmv.dme2-16.B-f2SAT5.82
eijk.S208o.S-f4SAT5.85
eijk.S349.S-f4SAT6.14
nusmv.reactor^3.C-f2SAT6.2
texas.parsesys^3.E-f4SAT6.74
texas.parsesys^1.E-f4SAT6.75
vis.eisenberg.E-f3SAT7.08
texas.parsesys^1.E-f2SAT7.1
ken.flash^03.C-f3UNSAT7.3
eijk.S298.S-f3SAT7.3
vis.coherence^2.E-f2SAT8.77
ken.flash^02.C-f3SAT9.34
eijk.S208.S-f2SAT9.37
nusmv.tcas-t^6.B-f2SAT9.78
ken.flash^09.C-f3UNSAT10.69
ken.flash^06.C-f3UNSAT10.79
vis.coherence^5.E-f2SAT12.51
vis.bakery.E-f3SAT12.85
eijk.S208c.S-f4SAT15.87
nusmv.reactor^7.C-f3SAT18.33
nusmv.reactor^4.C-f3SAT20.56
eijk.S820.S-f2SAT21.58
texas.parsesys^2.E-f3UNSAT21.87
vis.4-arbit^1.E-f2SAT22.23
texas.PI_main^05.E-f2SAT22.42
texas.PI_main^02.E-f2SAT24.24
texas.PI_main^08.E-f2SAT24.59
nusmv.guidance^1.C-f2SAT24.63
nusmv.guidance^3.C-f3SAT27.31
vis.prodcell^18.E-f2SAT27.44
vis.prodcell^16.E-f2SAT27.58
nusmv.reactor^2.C-f3SAT28.22
vis.prodcell^19.E-f2SAT30
vis.arbiter.E-f3SAT30.59
vis.prodcell^13.E-f2SAT30.8
vis.prodcell^17.E-f2SAT31.39
vis.prodcell^15.E-f2SAT31.76
eijk.S382.S-f3SAT33.34
vis.prodcell^14.E-f2SAT34.3
vis.prodcell^01.E-f2SAT42.25
vis.4-arbit^2.E-f3SAT45.13
vis.prodcell^23.E-f2SAT45.41
cmu.periodic.N-f3SAT46.49
vis.prodcell^24.E-f2SAT46.8
ken.flash^06.C-f4UNSAT48.68
vis.prodcell^20.E-f2SAT52.35
texas.parsesys^2.E-f4UNSAT53.82
ken.flash^03.C-f4UNSAT54.71
vis.prodcell^03.E-f2SAT55.47
eijk.S208.S-f3SAT56.32
nusmv.guidance^6.C-f3SAT57.03
nusmv.reactor^3.C-f3SAT67.5
nusmv.guidance^9.C-f3SAT68.12
nusmv.guidance^7.C-f3SAT70.94
vis.prodcell^22.E-f2SAT77.51
eijk.S1196.S-f4UNSAT78.71
texas.two_proc^6.E-f3SAT86.42
vis.prodcell^08.E-f2UNSAT88.49
vis.prodcell^21.E-f3UNSAT88.63
ken.flash^08.C-f3UNSAT88.86
vis.prodcell^11.E-f4UNSAT90.06
ken.flash^09.C-f4UNSAT92.85
nusmv.reactor^2.C-f2SAT136.38
nusmv.guidance^6.C-f2SAT141.42
nusmv.reactor^6.C-f3SAT148.4
nusmv.queue.B-f2SAT153.77
vis.elevator^2.E-f2SAT158.09
vis.4-arbit^2.E-f2SAT172.16
vis.prodcell^12.E-f2SAT179.4
vis.prodcell^05.E-f2SAT189.32
vis.eisenberg.E-f4SAT204.32
eijk.S344.S-f4SAT217.19
eijk.S526.S-f4SAT222.35
texas.ifetch1^9.E-f3SAT231.01
cmu.gigamax.B-f3UNSAT247.38
vis.4-arbit^1.E-f3SAT336.21
eijk.S208.S-f4SAT416.85
texas.PI_main^11.E-f4FAIL520.26
vis.prodcell^05.E-f3FAIL523.83
cmu.dme1.B-f4FAIL526.43
texas.PI_main^02.E-f4FAIL532.07
texas.PI_main^08.E-f4FAIL532.68
cmu.dme1.B-f3FAIL537.25
nusmv.guidance^1.C-f3FAIL537.84
texas.PI_main^13.E-f4FAIL540.65
texas.PI_main^15.E-f4FAIL541.31
irst.dme4.B-f3FAIL541.68
texas.PI_main^16.E-f4FAIL542.95
eijk.S349.S-f3FAIL545.14
eijk.S838.S-f4FAIL545.78
ken.flash^12.C-f4FAIL547.11
nusmv.tcas^3.B-f2FAIL547.25
texas.PI_main^05.E-f3FAIL547.37
eijk.bs6669.S-f2FAIL547.63
irst.dme4.B-f4FAIL547.72
nusmv.tcas^2.B-f2FAIL548.26
eijk.S832.S-f2FAIL548.35
nusmv.guidance^5.C-f4FAIL548.89
cmu.dme2.B-f4FAIL549.27
nusmv.guidance^2.C-f3FAIL549.76
cmu.dme2.B-f2FAIL549.77
nusmv.guidance^5.C-f3FAIL550.07
irst.dme6.B-f3FAIL550.08
nusmv.tcas^5.B-f2FAIL550.33
cmu.dme1.B-f2FAIL550.55
eijk.bs3384.S-f2FAIL550.55
nusmv.dme1-16.B-f4FAIL551.18
eijk.bs1512.S-f3FAIL552.99
nusmv.dme1-16.B-f2FAIL553
nusmv.dme1-16.B-f3FAIL553.03
vis.prodcell^14.E-f3FAIL553.19
nusmv.reactor^6.C-f4FAIL553.25
texas.two_proc^4.E-f3FAIL553.95
irst.dme5.B-f3FAIL554.21
vis.prodcell^14.E-f4FAIL554.28
nusmv.reactor^7.C-f4FAIL554.29
eijk.S1423.S-f3FAIL554.3
vis.coherence^2.E-f3FAIL554.3
irst.dme6.B-f4FAIL554.43
nusmv.reactor^2.C-f4FAIL554.45
eijk.S420.S-f3FAIL554.63
eijk.bs6669.S-f4FAIL554.79
nusmv.tcas^2.B-f3FAIL554.81
texas.two_proc^3.E-f3FAIL554.86
eijk.S838.S-f3FAIL554.96
eijk.bs1512.S-f2FAIL555
eijk.bs6669.S-f3FAIL555.17
nusmv.dme2-16.B-f3FAIL555.17
eijk.S5378.S-f2FAIL555.35
vis.prodcell^24.E-f3FAIL555.47
eijk.bs4863.S-f4FAIL556.01
eijk.S953.S-f4FAIL556.08
nusmv.guidance^7.C-f4FAIL556.11
vis.prodcell^23.E-f3FAIL556.12
nusmv.dme2-16.B-f4FAIL556.19
eijk.S382.S-f4FAIL556.47
eijk.S713.S-f2FAIL556.54
eijk.S386.S-f4FAIL556.56
vis.4-arbit^1.E-f4FAIL556.6
eijk.S1423.S-f4FAIL556.74
eijk.S1423.S-f2FAIL556.79
vis.prodcell^13.E-f3FAIL557.01
cmu.dme2.B-f3FAIL557.04
eijk.bs4863.S-f2FAIL557.16
cmu.gigamax.B-f4FAIL557.44
nusmv.tcas^6.B-f2FAIL557.76
eijk.S344.S-f3FAIL558.08
nusmv.tcas-t^1.B-f3FAIL558.2
nusmv.queue.B-f3FAIL558.24
nusmv.tcas^4.B-f2FAIL558.25
eijk.S444.S-f4FAIL558.31
nusmv.guidance^8.C-f3FAIL558.32
irst.dme5.B-f4FAIL558.56
texas.two_proc^4.E-f4FAIL558.78
eijk.S386.S-f2FAIL558.84
eijk.S510.S-f3FAIL559.04
eijk.bs1512.S-f4FAIL559.18
nusmv.guidance^1.C-f4FAIL559.34
vis.prodcell^02.E-f2FAIL559.42
vis.prodcell^17.E-f4FAIL559.68
eijk.bs4863.S-f3FAIL559.79
eijk.bs3384.S-f4FAIL559.89
nusmv.tcas-t^6.B-f4FAIL560.18
vis.prodcell^17.E-f3FAIL560.22
eijk.S510.S-f4FAIL560.59
vis.prodcell^07.E-f2FAIL560.7
nusmv.guidance^6.C-f4FAIL560.87
ken.flash^01.C-f2FAIL560.93
eijk.bs3271.S-f4FAIL560.93
texas.PI_main^10.E-f3FAIL561.11
eijk.bs3330.S-f2FAIL561.16
texas.PI_main^10.E-f4FAIL561.16
eijk.S5378.S-f3FAIL561.16
texas.PI_main^16.E-f3FAIL561.26
eijk.S641.S-f4FAIL561.37
eijk.S713.S-f4FAIL561.45
nusmv.reactor^4.C-f4FAIL561.64
eijk.S5378.S-f4FAIL561.78
nusmv.tcas^4.B-f3FAIL562.26
nusmv.tcas^5.B-f3FAIL562.33
vis.prodcell^07.E-f4FAIL562.48
ken.oop^2.C-f3FAIL562.97
vis.prodcell^18.E-f4FAIL563.08
eijk.bs3330.S-f3FAIL563.13
nusmv.guidance^3.C-f4FAIL563.18
vis.prodcell^06.E-f2FAIL563.33
nusmv.guidance^2.C-f4FAIL563.38
ken.oop^1.C-f3FAIL563.51
ken.flash^04.C-f2FAIL563.56
texas.PI_main^12.E-f4FAIL563.95
texas.PI_main^05.E-f4FAIL564.04
vis.prodcell^23.E-f4FAIL564.05
texas.two_proc^3.E-f4FAIL564.23
eijk.S298.S-f4FAIL564.29
nusmv.tcas^3.B-f3FAIL564.36
nusmv.guidance^4.C-f3FAIL564.38
nusmv.queue.B-f4FAIL564.44
eijk.bs3384.S-f3FAIL564.54
texas.two_proc^2.E-f4FAIL564.76
texas.two_proc^5.E-f3FAIL564.88
vis.coherence^2.E-f4FAIL564.88
eijk.S953.S-f3FAIL564.92
vis.prodcell^10.E-f3FAIL565.08
vis.prodcell^16.E-f4FAIL565.53
vis.prodcell^19.E-f4FAIL565.66
vis.coherence^3.E-f4FAIL565.68
vis.coherence^5.E-f4FAIL565.8
vis.prodcell^12.E-f4FAIL565.85
vis.prodcell^22.E-f4FAIL565.92
vis.prodcell^07.E-f3FAIL566.69
vis.prodcell^10.E-f4FAIL566.7
vis.prodcell^18.E-f3FAIL566.8
vis.prodcell^02.E-f3FAIL567.27
nusmv.tcas-t^1.B-f4FAIL567.31
nusmv.brp.B-f3FAIL567.37
ken.flash^07.C-f2FAIL567.38
texas.PI_main^11.E-f3FAIL567.41
vis.prodcell^15.E-f4FAIL567.47
texas.two_proc^1.E-f4FAIL567.53
vis.prodcell^16.E-f3FAIL567.66
nusmv.tcas^6.B-f3FAIL567.77
vis.prodcell^01.E-f3FAIL567.92
vis.prodcell^24.E-f4FAIL567.94
vis.elevator^2.E-f4FAIL567.98
nusmv.tcas-t^4.B-f2FAIL568.04
vis.prodcell^12.E-f3FAIL568.17
nusmv.tcas^3.B-f4FAIL568.28
nusmv.tcas^1.B-f2FAIL568.37
eijk.bs3330.S-f4FAIL568.5
nusmv.guidance^9.C-f4FAIL568.63
vis.prodcell^15.E-f3FAIL568.87
vis.coherence^5.E-f3FAIL569.07
vis.prodcell^19.E-f3FAIL569.16
nusmv.tcas-t^1.B-f2FAIL569.17
vis.prodcell^22.E-f3FAIL569.2
texas.PI_main^08.E-f3FAIL569.27
vis.coherence^1.E-f4FAIL569.68
eijk.S641.S-f2FAIL569.8
vis.prodcell^20.E-f3FAIL569.88
nusmv.tcas-t^3.B-f2FAIL570.25
texas.two_proc^2.E-f3FAIL570.43
nusmv.guidance^8.C-f4FAIL570.56
nusmv.guidance^4.C-f4FAIL570.61
vis.4-arbit^2.E-f4FAIL570.68
vis.coherence^1.E-f3FAIL571.08
texas.PI_main^01.E-f4FAIL571.28
texas.PI_main^03.E-f4FAIL571.56
nusmv.tcas^2.B-f4FAIL571.58
vis.prodcell^13.E-f4FAIL573.05
nusmv.tcas-t^2.B-f2FAIL573.3
texas.PI_main^15.E-f3FAIL573.74
eijk.S713.S-f3FAIL574.18
nusmv.tcas^6.B-f4FAIL574.23
texas.PI_main^01.E-f3FAIL574.4
vis.prodcell^04.E-f2FAIL574.52
ken.flash^12.C-f3FAIL574.84
ken.flash^02.C-f4FAIL575
nusmv.tcas-t^2.B-f3FAIL575.08
nusmv.tcas^4.B-f4FAIL575.4
nusmv.tcas^5.B-f4FAIL575.7
eijk.S641.S-f3FAIL575.96
nusmv.tcas-t^3.B-f4FAIL576.01
eijk.S420.S-f2FAIL576.1
eijk.S820.S-f4FAIL576.62
cmu.periodic.N-f4FAIL577.24
vis.coherence^3.E-f3FAIL577.39
nusmv.tcas^1.B-f4FAIL577.51
nusmv.tcas-t^2.B-f4FAIL577.89
texas.PI_main^13.E-f3FAIL578
texas.two_proc^5.E-f4FAIL579.34
vis.elevator^3.E-f4FAIL579.53
nusmv.tcas-t^4.B-f4FAIL579.58
nusmv.tcas-t^5.B-f4FAIL579.62
texas.PI_main^02.E-f3FAIL580
texas.two_proc^6.E-f4FAIL580.04
eijk.S953.S-f2FAIL580.27
texas.PI_main^15.E-f2FAIL580.55
texas.PI_main^12.E-f2FAIL581.4
nusmv.tcas-t^5.B-f2FAIL581.49
nusmv.tcas^1.B-f3FAIL581.96
eijk.S838.S-f2FAIL582.53
nusmv.syncarb10^2.B-f3FAIL583.77
ken.flash^11.C-f3FAIL584.25
eijk.S832.S-f3FAIL584.79
eijk.S386.S-f3FAIL586.07
nusmv.tcas-t^3.B-f3FAIL587.08
nusmv.tcas-t^5.B-f3FAIL588.05
ken.oop^1.C-f4FAIL589.77
texas.two_proc^1.E-f3FAIL590.39
nusmv.tcas-t^4.B-f3FAIL590.58
eijk.S1196.S-f3FAIL592.4
eijk.S510.S-f2FAIL593.51
eijk.S1196.S-f2FAIL593.71
ken.flash^05.C-f3FAIL594.23
vis.arbiter.E-f4FAIL594.53
nusmv.syncarb10^2.B-f2FAIL596.58
nusmv.syncarb10^2.B-f4FAIL596.62
vis.elevator^3.E-f2FAIL597.91
nusmv.brp.B-f4FAIL598.22
vis.bakery.E-f4FAIL598.27
ken.oop^2.C-f4FAIL598.35
eijk.S420.S-f4FAIL598.47
texas.PI_main^11.E-f2FAIL598.49
vis.elevator^2.E-f3FAIL598.63
vis.elevator^3.E-f3FAIL598.7
ken.flash^01.C-f3FAIL598.73
ken.flash^12.C-f2FAIL598.84
eijk.S820.S-f3FAIL599.04
ken.flash^01.C-f4FAIL599.44
ken.flash^07.C-f3FAIL599.91
ken.flash^04.C-f3FAIL599.97
texas.PI_main^03.E-f3FAIL599.99
texas.PI_main^12.E-f3FAIL600
eijk.S1238.S-f2FAIL600
eijk.S832.S-f4FAIL600
ken.flash^11.C-f4FAIL600
eijk.S1238.S-f3FAIL600
ken.flash^04.C-f4FAIL600
ken.flash^05.C-f2FAIL600
ken.flash^07.C-f4FAIL600
ken.flash^05.C-f4FAIL600
ken.flash^11.C-f2FAIL600