Instances of family tipfixpoint solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
texas.ifetch1^4.E-f2UNSAT0.02
texas.parsesys^4.E-f2UNSAT0.03
nusmv.syncarb5^2.B-f2SAT0.18
vis.emodel.E-f2UNSAT0.24
texas.PI_main^14.E-f2UNSAT0.47
nusmv.reactor^5.C-f2UNSAT1.2
cmu.gigamax.B-f2SAT3.25
texas.parsesys^3.E-f2SAT4.14
texas.parsesys^1.E-f2SAT17.53
texas.parsesys^2.E-f2UNSAT54.71
texas.ifetch1^3.E-f2UNSAT59
vis.elevator^1.E-f2UNSAT60.71
texas.ifetch1^1.E-f2UNSAT84.87
irst.dme6.B-f2FAIL137.79
irst.dme4.B-f2FAIL261.21
irst.dme5.B-f2FAIL290.24
vis.eisenberg.E-f2SAT450.97
texas.ifetch1^2.E-f2FAIL599.77
eijk.S526.S-f2FAIL808.13
texas.ifetch1^5.E-f2FAIL901.86
eijk.bs1512.S-f2FAIL952.62
eijk.S953.S-f2FAIL1030.93
texas.two_proc^1.E-f2FAIL1056.9
cmu.dme1.B-f2FAIL1124.62
ken.oop^2.C-f2FAIL1201.76
eijk.S298.S-f2FAIL1405.21
eijk.S510.S-f2FAIL1420.93
vis.elevator^2.E-f2FAIL1569.69
vis.coherence^5.E-f2FAIL1662.45
texas.PI_main^10.E-f2FAIL1930.07
nusmv.reactor^4.C-f2FAIL2016.55
eijk.S838.S-f2FAIL2142.43
nusmv.reactor^2.C-f2FAIL2154.33
texas.PI_main^01.E-f2FAIL2219.35
texas.PI_main^16.E-f2FAIL2300.05
eijk.S386.S-f2FAIL2305.23
eijk.S208o.S-f2SAT2470.27
nusmv.reactor^6.C-f2FAIL2558.15
eijk.S344.S-f2FAIL2803.91
texas.two_proc^4.E-f2FAIL2839.29
vis.bakery.E-f2SAT2856.31
eijk.S420.S-f2FAIL2909.33
eijk.S444.S-f2FAIL3099.59
cmu.dme2.B-f2FAIL3139.49
texas.two_proc^5.E-f2FAIL3281.95
texas.ifetch1^8.E-f2FAIL3286.84
eijk.S382.S-f2FAIL3358.11
texas.two_proc^2.E-f2FAIL3399.07
texas.two_proc^3.E-f2FAIL3409
nusmv.reactor^7.C-f2FAIL3423.76
vis.4-arbit^1.E-f2FAIL3520.08
texas.ifetch1^9.E-f2FAIL3932.38
texas.two_proc^6.E-f2FAIL3958.34
eijk.S208.S-f2SAT4012.42
nusmv.reactor^3.C-f2FAIL4170.24
texas.PI_main^02.E-f2FAIL4356.72
nusmv.brp.B-f2FAIL4394.34
vis.arbiter.E-f2FAIL4598.82
eijk.S349.S-f2FAIL5120.38
vis.4-arbit^2.E-f2FAIL5141.55
texas.PI_main^11.E-f2FAIL5212.55
eijk.S820.S-f2FAIL5999.63
ken.oop^1.C-f2FAIL5999.72
eijk.S208c.S-f2FAIL5999.97
texas.PI_main^12.E-f2FAIL6000.09
texas.ifetch1^7.E-f2FAIL6000.11
vis.coherence^3.E-f2FAIL6000.12
nusmv.syncarb10^2.B-f2FAIL6000.15
eijk.S832.S-f2FAIL6000.21
vis.coherence^1.E-f2FAIL6000.24
vis.elevator^3.E-f2FAIL6000.34
eijk.S713.S-f2FAIL6000.4
vis.coherence^2.E-f2FAIL6000.47
eijk.S641.S-f2FAIL6000.56