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

InstanceResultTime
texas.parsesys^4.E-f3UNSAT0.68
texas.parsesys^3.E-f2SAT0.7
texas.ifetch1^3.E-f2UNSAT0.84
texas.ifetch1^2.E-f2UNSAT0.85
vis.elevator^1.E-f3UNSAT0.88
texas.ifetch1^1.E-f3UNSAT1.05
texas.ifetch1^8.E-f4SAT1.12
texas.ifetch1^4.E-f4UNSAT1.28
vis.emodel.E-f4UNSAT1.28
texas.ifetch1^8.E-f2SAT1.29
texas.ifetch1^1.E-f4UNSAT1.34
texas.ifetch1^9.E-f4SAT1.44
texas.ifetch1^7.E-f2SAT1.6
texas.ifetch1^3.E-f4UNSAT1.6
texas.parsesys^4.E-f4UNSAT1.7
vis.prodcell^21.E-f2UNSAT1.92
texas.ifetch1^5.E-f2SAT2.2
ken.flash^10.C-f4UNSAT2.26
ken.flash^06.C-f2UNSAT2.28
eijk.S344.S-f2SAT2.41
texas.two_proc^6.E-f2SAT2.62
cmu.periodic.N-f2SAT3.01
texas.ifetch1^2.E-f3UNSAT3.19
nusmv.reactor^3.C-f4UNSAT3.3
vis.elevator^1.E-f4UNSAT3.62
texas.ifetch1^9.E-f2SAT3.72
nusmv.reactor^5.C-f4UNSAT3.92
nusmv.brp.B-f2SAT3.98
nusmv.tcas^1.B-f2SAT4.02
cmu.periodic.N-f3SAT4.04
vis.prodcell^04.E-f3UNSAT4.27
ken.flash^08.C-f3UNSAT4.52
eijk.S208c.S-f2SAT6.42
texas.parsesys^2.E-f2UNSAT6.57
ken.oop^1.C-f2SAT6.92
ken.flash^08.C-f4UNSAT6.97
ken.oop^2.C-f2SAT7.15
vis.prodcell^04.E-f4UNSAT8.82
ken.flash^10.C-f2UNSAT9.33
eijk.S526.S-f2SAT9.56
eijk.S444.S-f2SAT10.16
ken.flash^09.C-f2UNSAT10.2
vis.prodcell^08.E-f3UNSAT11.45
nusmv.reactor^6.C-f2SAT14.13
vis.prodcell^20.E-f4UNSAT14.15
ken.flash^03.C-f3UNSAT14.73
eijk.S208.S-f2SAT14.9
eijk.S208o.S-f2SAT16.19
nusmv.tcas^1.B-f4SAT17.47
vis.prodcell^08.E-f4UNSAT18.76
ken.flash^03.C-f4UNSAT24.14
vis.prodcell^21.E-f3UNSAT46.62
vis.prodcell^21.E-f4UNSAT53.35
vis.prodcell^03.E-f3UNSAT66.81
vis.prodcell^02.E-f4UNSAT75.2
texas.PI_main^14.E-f3UNSAT76.39
nusmv.syncarb5^2.B-f4SAT85.4
vis.prodcell^09.E-f4UNSAT86.18
ken.flash^09.C-f4UNSAT93.53
texas.parsesys^3.E-f4SAT122.54
texas.PI_main^01.E-f2SAT142.38
eijk.S298.S-f2SAT158.26
vis.arbiter.E-f3FAIL159.49
nusmv.syncarb5^2.B-f3SAT161.59
eijk.S208o.S-f3SAT163.24
ken.flash^02.C-f2SAT163.7
cmu.gigamax.B-f2SAT164.77
nusmv.tcas-t^6.B-f2SAT165.89
nusmv.queue.B-f2FAIL199.6
texas.PI_main^08.E-f3FAIL206.01
irst.dme4.B-f2FAIL206.54
nusmv.tcas^5.B-f2FAIL210.82
texas.PI_main^11.E-f4FAIL211.81
texas.PI_main^05.E-f4FAIL213.06
vis.4-arbit^1.E-f2SAT213.07
irst.dme5.B-f2FAIL214.24
nusmv.reactor^7.C-f2FAIL217.94
nusmv.reactor^4.C-f2FAIL218.71
vis.arbiter.E-f2SAT221.22
texas.PI_main^15.E-f4FAIL222.06
vis.prodcell^07.E-f4FAIL223.51
texas.PI_main^13.E-f3FAIL232.05
vis.prodcell^10.E-f3FAIL234.77
texas.PI_main^05.E-f3FAIL234.84
eijk.S382.S-f2FAIL242.62
texas.PI_main^16.E-f3FAIL248.81
vis.elevator^2.E-f3FAIL253.08
eijk.S349.S-f2FAIL258.13
eijk.S208.S-f3SAT268.42
vis.4-arbit^2.E-f2SAT283.63
irst.dme6.B-f2FAIL297.58
vis.bakery.E-f4FAIL298.17
eijk.S832.S-f2FAIL305.54
eijk.S820.S-f2FAIL408.77
cmu.periodic.N-f4FAIL526.16
texas.two_proc^1.E-f3FAIL600
vis.eisenberg.E-f3FAIL600
vis.prodcell^22.E-f3FAIL600
cmu.gigamax.B-f4FAIL600
eijk.S1423.S-f2FAIL600
eijk.S510.S-f4FAIL600
eijk.S820.S-f3FAIL600
irst.dme5.B-f3FAIL600
ken.flash^04.C-f2FAIL600
nusmv.guidance^3.C-f2FAIL600
nusmv.reactor^3.C-f3FAIL600
nusmv.tcas^2.B-f2FAIL600
nusmv.tcas^6.B-f3FAIL600
texas.PI_main^12.E-f3FAIL600
texas.two_proc^1.E-f4FAIL600
vis.4-arbit^2.E-f3FAIL600
vis.prodcell^04.E-f2FAIL600
vis.prodcell^22.E-f4FAIL600
eijk.S1423.S-f3FAIL600
eijk.S298.S-f4FAIL600
eijk.S820.S-f4FAIL600
ken.flash^05.C-f3FAIL600
nusmv.brp.B-f4FAIL600
nusmv.guidance^5.C-f4FAIL600
nusmv.reactor^7.C-f3FAIL600
nusmv.tcas^2.B-f3FAIL600
nusmv.tcas^6.B-f4FAIL600
texas.PI_main^12.E-f4FAIL600
texas.two_proc^2.E-f3FAIL600
vis.4-arbit^2.E-f4FAIL600
vis.prodcell^19.E-f2FAIL600
vis.prodcell^23.E-f2FAIL600
eijk.S1423.S-f4FAIL600
eijk.S526.S-f3FAIL600
irst.dme6.B-f3FAIL600
nusmv.dme1-16.B-f2FAIL600
nusmv.guidance^7.C-f4FAIL600
nusmv.reactor^7.C-f4FAIL600
nusmv.tcas^3.B-f2FAIL600
nusmv.tcas-t^3.B-f2FAIL600
texas.parsesys^1.E-f3FAIL600
texas.PI_main^05.E-f2FAIL600
texas.two_proc^3.E-f4FAIL600
vis.prodcell^23.E-f3FAIL600
eijk.S526.S-f4FAIL600
eijk.S832.S-f3FAIL600
ken.flash^01.C-f4FAIL600
ken.flash^07.C-f3FAIL600
ken.flash^11.C-f3FAIL600
nusmv.dme2-16.B-f2FAIL600
nusmv.guidance^9.C-f3FAIL600
nusmv.reactor^4.C-f3FAIL600
nusmv.syncarb10^2.B-f3FAIL600
nusmv.tcas^3.B-f4FAIL600
nusmv.tcas-t^4.B-f4FAIL600
texas.two_proc^5.E-f3FAIL600
vis.elevator^2.E-f4FAIL600
vis.prodcell^07.E-f2FAIL600
vis.prodcell^23.E-f4FAIL600
cmu.dme1.B-f3FAIL600
eijk.bs1512.S-f3FAIL600
eijk.S5378.S-f2FAIL600
eijk.S838.S-f3FAIL600
ken.flash^07.C-f4FAIL600
ken.flash^11.C-f4FAIL600
nusmv.dme2-16.B-f3FAIL600
nusmv.reactor^4.C-f4FAIL600
nusmv.tcas^4.B-f3FAIL600
nusmv.tcas-t^6.B-f4FAIL600
texas.parsesys^2.E-f4FAIL600
texas.PI_main^15.E-f3FAIL600
vis.prodcell^24.E-f2FAIL600
cmu.dme2.B-f4FAIL600
eijk.bs3271.S-f4FAIL600
eijk.S382.S-f4FAIL600
eijk.S641.S-f3FAIL600
eijk.S838.S-f4FAIL600
ken.flash^02.C-f4FAIL600
nusmv.dme2-16.B-f4FAIL600
nusmv.queue.B-f3FAIL600
nusmv.tcas^4.B-f4FAIL600
texas.PI_main^08.E-f2FAIL600
vis.coherence^1.E-f4FAIL600
vis.prodcell^02.E-f3FAIL600
vis.prodcell^24.E-f3FAIL600
eijk.bs3330.S-f2FAIL600
eijk.S420.S-f4FAIL600
eijk.S641.S-f4FAIL600
ken.oop^1.C-f3FAIL600
nusmv.guidance^1.C-f3FAIL600
nusmv.queue.B-f4FAIL600
vis.4-arbit^1.E-f3FAIL600
vis.coherence^2.E-f3FAIL600
vis.prodcell^22.E-f2FAIL600
vis.prodcell^24.E-f4FAIL600
cmu.gigamax.B-f3FAIL600
eijk.bs4863.S-f2FAIL600
nusmv.guidance^2.C-f3FAIL600
nusmv.reactor^2.C-f2FAIL600
nusmv.reactor^6.C-f4FAIL600
nusmv.tcas^5.B-f4FAIL600