Instances of family tipfixpoint solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
texas.parsesys^4.E-f3UNSAT0.09
texas.ifetch1^8.E-f2SAT0.1
eijk.S298.S-f2SAT0.1
texas.parsesys^4.E-f4UNSAT0.12
texas.ifetch1^3.E-f2UNSAT0.12
texas.ifetch1^2.E-f2UNSAT0.13
texas.ifetch1^7.E-f2SAT0.13
texas.ifetch1^9.E-f2SAT0.13
texas.ifetch1^5.E-f2SAT0.14
texas.ifetch1^4.E-f4UNSAT0.15
nusmv.brp.B-f2SAT0.15
eijk.S382.S-f2SAT0.16
eijk.S208o.S-f2SAT0.16
ken.oop^1.C-f2SAT0.17
eijk.S344.S-f2SAT0.17
vis.4-arbit^1.E-f2SAT0.18
eijk.S444.S-f2SAT0.18
texas.ifetch1^1.E-f3UNSAT0.18
eijk.S526.S-f2SAT0.18
texas.ifetch1^2.E-f3UNSAT0.2
texas.ifetch1^8.E-f4SAT0.21
texas.two_proc^6.E-f2SAT0.24
nusmv.reactor^3.C-f4UNSAT0.24
vis.emodel.E-f4UNSAT0.25
ken.oop^2.C-f2SAT0.26
texas.ifetch1^9.E-f4SAT0.26
texas.ifetch1^1.E-f4UNSAT0.26
eijk.S349.S-f2SAT0.28
texas.ifetch1^3.E-f4UNSAT0.28
texas.PI_main^01.E-f2SAT0.36
vis.4-arbit^2.E-f2SAT0.4
vis.prodcell^21.E-f2UNSAT0.42
ken.flash^06.C-f2UNSAT0.42
ken.flash^10.C-f2UNSAT0.43
irst.dme5.B-f2SAT0.43
vis.elevator^1.E-f3UNSAT0.44
irst.dme4.B-f2SAT0.48
texas.parsesys^3.E-f2SAT0.48
eijk.S526.S-f3SAT0.5
eijk.S208c.S-f2SAT0.59
nusmv.reactor^4.C-f2SAT0.62
vis.elevator^1.E-f4UNSAT0.69
nusmv.reactor^7.C-f2SAT0.79
vis.prodcell^04.E-f3UNSAT0.82
nusmv.guidance^3.C-f2SAT0.83
vis.prodcell^03.E-f3UNSAT0.84
ken.flash^08.C-f3UNSAT0.86
texas.parsesys^1.E-f3SAT0.89
vis.prodcell^21.E-f3UNSAT1.01
ken.flash^10.C-f4UNSAT1.04
nusmv.reactor^5.C-f4UNSAT1.12
nusmv.reactor^6.C-f2SAT1.14
ken.flash^08.C-f4UNSAT1.28
vis.prodcell^04.E-f4UNSAT1.54
vis.prodcell^02.E-f4UNSAT1.61
eijk.S526.S-f4SAT1.64
ken.flash^09.C-f2UNSAT1.78
vis.prodcell^20.E-f4UNSAT1.9
ken.flash^03.C-f3UNSAT1.94
nusmv.syncarb5^2.B-f3SAT1.99
vis.prodcell^08.E-f3UNSAT2.05
vis.arbiter.E-f2SAT2.05
eijk.S208o.S-f3SAT2.1
vis.prodcell^21.E-f4UNSAT2.12
irst.dme6.B-f2SAT2.6
eijk.S208.S-f2SAT2.69
nusmv.syncarb5^2.B-f4SAT2.72
cmu.periodic.N-f2SAT2.8
texas.parsesys^2.E-f2UNSAT3.13
texas.PI_main^14.E-f3UNSAT3.18
ken.flash^03.C-f4UNSAT3.19
nusmv.reactor^2.C-f2SAT3.95
vis.prodcell^09.E-f4UNSAT4.17
vis.prodcell^08.E-f4UNSAT4.38
ken.flash^09.C-f4UNSAT4.48
nusmv.dme2-16.B-f2SAT4.53
vis.eisenberg.E-f3SAT6.56
nusmv.tcas-t^6.B-f2SAT11.11
ken.flash^02.C-f2SAT14.07
nusmv.reactor^7.C-f3SAT27.3
nusmv.queue.B-f2SAT28.42
eijk.S820.S-f2SAT32.09
nusmv.reactor^4.C-f3SAT32.56
texas.PI_main^05.E-f2SAT35.08
texas.PI_main^08.E-f2SAT37.96
vis.arbiter.E-f3SAT49.43
vis.prodcell^19.E-f2SAT49.62
vis.4-arbit^2.E-f3SAT79.84
vis.prodcell^23.E-f2SAT80.97
vis.prodcell^24.E-f2SAT81.26
cmu.periodic.N-f3SAT81.57
nusmv.guidance^9.C-f3SAT110.26
nusmv.reactor^3.C-f3SAT124.87
texas.parsesys^3.E-f4SAT126.93
vis.4-arbit^1.E-f3SAT131.02
vis.prodcell^22.E-f2SAT131.6
nusmv.tcas^1.B-f2SAT146.56
eijk.bs4863.S-f2SAT148.55
cmu.gigamax.B-f2SAT157.67
texas.two_proc^1.E-f3SAT164.96
vis.prodcell^07.E-f2SAT190.78
vis.prodcell^04.E-f2SAT245.47
eijk.S208.S-f3SAT249.62
texas.two_proc^2.E-f3SAT254.56
texas.two_proc^5.E-f3SAT285.77
nusmv.guidance^2.C-f3SAT292.62
eijk.S832.S-f2SAT297.22
vis.prodcell^24.E-f3SAT369.92
vis.prodcell^22.E-f3SAT380.02
vis.prodcell^23.E-f3FAIL600
cmu.periodic.N-f4FAIL600
eijk.S832.S-f3FAIL600
ken.flash^01.C-f4FAIL600
ken.flash^07.C-f3FAIL600
ken.flash^11.C-f3FAIL600
nusmv.syncarb10^2.B-f3FAIL600
nusmv.tcas^3.B-f4FAIL600
nusmv.tcas-t^4.B-f4FAIL600
texas.PI_main^13.E-f3FAIL600
texas.two_proc^3.E-f4FAIL600
vis.elevator^2.E-f3FAIL600
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
texas.PI_main^05.E-f3FAIL600
vis.elevator^2.E-f4FAIL600
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
nusmv.tcas-t^6.B-f4FAIL600
texas.parsesys^2.E-f4FAIL600
texas.PI_main^05.E-f4FAIL600
texas.PI_main^15.E-f3FAIL600
vis.bakery.E-f4FAIL600
vis.prodcell^07.E-f4FAIL600
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
nusmv.tcas^5.B-f2FAIL600
texas.PI_main^15.E-f4FAIL600
vis.coherence^1.E-f4FAIL600
vis.prodcell^02.E-f3FAIL600
vis.prodcell^24.E-f4FAIL600
cmu.gigamax.B-f3FAIL600
nusmv.reactor^6.C-f4FAIL600
nusmv.tcas^1.B-f4FAIL600
nusmv.tcas^5.B-f4FAIL600
texas.PI_main^08.E-f3FAIL600
texas.PI_main^16.E-f3FAIL600
vis.coherence^2.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.tcas^2.B-f2FAIL600
nusmv.tcas^6.B-f3FAIL600
texas.PI_main^11.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.tcas^2.B-f3FAIL600
nusmv.tcas^6.B-f4FAIL600
texas.PI_main^12.E-f3FAIL600
texas.two_proc^1.E-f4FAIL600
vis.prodcell^10.E-f3FAIL600
vis.prodcell^22.E-f4FAIL600
eijk.S1423.S-f4FAIL600
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.PI_main^12.E-f4FAIL600
vis.4-arbit^2.E-f4FAIL600