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

InstanceResultTime
texas.ifetch1^4.E-f2UNSAT0.02
texas.parsesys^4.E-f2UNSAT0.02
nusmv.syncarb5^2.B-f2SAT0.19
vis.emodel.E-f2UNSAT0.21
texas.PI_main^14.E-f2UNSAT0.43
nusmv.reactor^5.C-f2UNSAT1.12
cmu.gigamax.B-f2SAT3.19
texas.parsesys^3.E-f2SAT3.77
texas.parsesys^1.E-f2SAT15.95
texas.parsesys^2.E-f2UNSAT50.27
texas.ifetch1^3.E-f2UNSAT55.32
vis.elevator^1.E-f2UNSAT59.7
texas.ifetch1^1.E-f2UNSAT80.73
vis.eisenberg.E-f2SAT232.77
irst.dme5.B-f2FAIL269.33
irst.dme6.B-f2FAIL444.6
eijk.S349.S-f2FAIL791.02
eijk.bs1512.S-f2FAIL963.87
eijk.S420.S-f2FAIL1000.9
cmu.dme1.B-f2FAIL1028.95
ken.oop^2.C-f2FAIL1124.51
eijk.S953.S-f2FAIL1322.02
irst.dme4.B-f2FAIL1524.01
nusmv.reactor^2.C-f2FAIL1638.73
eijk.S510.S-f2FAIL1789.04
eijk.S344.S-f2FAIL2024.89
texas.ifetch1^2.E-f2FAIL2102.52
eijk.S208o.S-f2SAT2336.32
texas.two_proc^4.E-f2FAIL2466.09
nusmv.reactor^6.C-f2FAIL2632.57
eijk.S386.S-f2FAIL2759.69
vis.bakery.E-f2SAT2826.14
texas.PI_main^10.E-f2FAIL2888.55
eijk.S526.S-f2FAIL3175.46
nusmv.reactor^7.C-f2FAIL3358.68
texas.ifetch1^9.E-f2FAIL3731.27
eijk.S208.S-f2SAT3756.48
texas.ifetch1^8.E-f2FAIL4187.22
nusmv.reactor^4.C-f2FAIL4234.53
nusmv.reactor^3.C-f2FAIL4404.93
vis.4-arbit^2.E-f2FAIL4778.18
eijk.S838.S-f2FAIL4841.7
texas.PI_main^11.E-f2FAIL4848.33
eijk.S820.S-f2FAIL5686.7
vis.coherence^5.E-f2FAIL5998.01
cmu.dme2.B-f2FAIL5999.85
nusmv.brp.B-f2FAIL5999.91
eijk.S208c.S-f2FAIL5999.92
texas.two_proc^5.E-f2FAIL5999.94
texas.ifetch1^7.E-f2FAIL5999.95
eijk.S444.S-f2FAIL6000.09
texas.PI_main^02.E-f2FAIL6000.13
texas.two_proc^3.E-f2FAIL6000.14
texas.two_proc^6.E-f2FAIL6000.15
texas.two_proc^1.E-f2FAIL6000.16
eijk.S298.S-f2FAIL6000.18
texas.two_proc^2.E-f2FAIL6000.23
vis.coherence^3.E-f2FAIL6000.23
vis.elevator^2.E-f2FAIL6000.25
eijk.S641.S-f2FAIL6000.25
vis.arbiter.E-f2FAIL6000.27
eijk.S382.S-f2FAIL6000.28
texas.ifetch1^5.E-f2FAIL6000.31
texas.PI_main^01.E-f2FAIL6000.33
vis.4-arbit^1.E-f2FAIL6000.33
texas.PI_main^16.E-f2FAIL6000.37
ken.oop^1.C-f2FAIL6000.4
texas.PI_main^12.E-f2FAIL6000.44
vis.coherence^1.E-f2FAIL6000.47
eijk.S832.S-f2FAIL6000.48
vis.elevator^3.E-f2FAIL6000.52
vis.coherence^2.E-f2FAIL6000.59
eijk.S713.S-f2FAIL6000.65
nusmv.syncarb10^2.B-f2FAIL6000.7