Instances of family tipfixpoint solved by SQBF
QBFEVAL'06

InstanceResultTime
texas.ifetch1^4.E-f2UNSAT0.01
texas.parsesys^4.E-f2UNSAT0.01
vis.elevator^1.E-f2UNSAT0.02
vis.emodel.E-f2UNSAT0.02
texas.ifetch1^1.E-f2UNSAT0.04
texas.parsesys^3.E-f2SAT0.13
nusmv.reactor^5.C-f2UNSAT0.13
texas.ifetch1^8.E-f2SAT0.15
texas.PI_main^14.E-f2UNSAT0.34
texas.parsesys^1.E-f2SAT0.78
vis.eisenberg.E-f2SAT0.87
texas.PI_main^01.E-f2SAT1.1
vis.bakery.E-f2SAT1.5
nusmv.syncarb5^2.B-f2SAT4.12
texas.parsesys^2.E-f2UNSAT5.83
irst.dme4.B-f2FAIL123.91
eijk.S344.S-f2FAIL146.79
cmu.dme2.B-f2FAIL150.47
eijk.S349.S-f2FAIL164.32
eijk.S382.S-f2FAIL165.55
eijk.S444.S-f2FAIL166.13
ken.oop^2.C-f2FAIL175.22
ken.oop^1.C-f2FAIL175.62
irst.dme5.B-f2FAIL189.38
eijk.S526.S-f2FAIL189.96
cmu.dme1.B-f2FAIL194.59
nusmv.reactor^2.C-f2FAIL196.86
nusmv.brp.B-f2FAIL200.37
nusmv.reactor^7.C-f2FAIL200.41
nusmv.reactor^6.C-f2FAIL201.78
nusmv.reactor^3.C-f2FAIL203.79
texas.ifetch1^5.E-f2FAIL208.86
irst.dme6.B-f2FAIL210.4
nusmv.reactor^4.C-f2FAIL210.54
eijk.S298.S-f2FAIL215.69
eijk.bs1512.S-f2FAIL216.97
vis.4-arbit^2.E-f2FAIL218.88
texas.ifetch1^9.E-f2FAIL224.27
eijk.S386.S-f2FAIL233.65
eijk.S641.S-f2FAIL234.66
eijk.S953.S-f2FAIL239.4
eijk.S713.S-f2FAIL246.09
eijk.S420.S-f2FAIL251.9
texas.two_proc^1.E-f2FAIL257.29
vis.4-arbit^1.E-f2FAIL259.94
nusmv.syncarb10^2.B-f2FAIL267.46
texas.two_proc^3.E-f2FAIL268.14
eijk.S838.S-f2FAIL269.98
eijk.S510.S-f2FAIL272.73
cmu.gigamax.B-f2FAIL273.73
texas.ifetch1^7.E-f2FAIL274.82
texas.two_proc^4.E-f2FAIL277.46
eijk.S208c.S-f2FAIL277.77
texas.two_proc^5.E-f2FAIL282.02
eijk.S820.S-f2FAIL287.85
texas.two_proc^2.E-f2FAIL333.27
vis.arbiter.E-f2FAIL362.22
texas.two_proc^6.E-f2FAIL381.5
vis.elevator^3.E-f2FAIL417.78
vis.elevator^2.E-f2FAIL432.31
eijk.S832.S-f2FAIL446.99
texas.PI_main^16.E-f2FAIL485.45
vis.coherence^5.E-f2FAIL499.97
vis.coherence^1.E-f2FAIL535.32
vis.coherence^2.E-f2FAIL541.55
vis.coherence^3.E-f2FAIL549.91
texas.PI_main^10.E-f2FAIL612.28
texas.PI_main^12.E-f2FAIL613.11
texas.PI_main^11.E-f2FAIL621.73
texas.PI_main^02.E-f2FAIL658.58
eijk.S208.S-f2FAIL722.5
eijk.S208o.S-f2FAIL1384.75
texas.ifetch1^3.E-f2FAIL5980.23
texas.ifetch1^2.E-f2FAIL5990.43