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

InstanceResultTime
texas.parsesys^4.E-f2UNSAT0.02
texas.ifetch1^4.E-f2UNSAT0.03
vis.emodel.E-f2UNSAT0.11
nusmv.syncarb5^2.B-f2SAT0.2
texas.PI_main^14.E-f2UNSAT0.43
nusmv.reactor^5.C-f2UNSAT1.13
cmu.gigamax.B-f2SAT3.66
texas.parsesys^3.E-f2SAT4.15
texas.parsesys^1.E-f2SAT30.2
texas.parsesys^2.E-f2UNSAT41.76
vis.eisenberg.E-f2SAT86.13
irst.dme5.B-f2FAIL385.68
irst.dme6.B-f2FAIL596.19
eijk.S208o.S-f2SAT694.29
eijk.S349.S-f2FAIL788.02
eijk.bs1512.S-f2FAIL890.76
eijk.S526.S-f2FAIL1155.45
irst.dme4.B-f2FAIL1251.36
cmu.dme1.B-f2FAIL1575.22
nusmv.reactor^3.C-f2FAIL1731.24
eijk.S510.S-f2FAIL1936.13
ken.oop^2.C-f2FAIL2240.66
texas.ifetch1^2.E-f2FAIL2487.7
eijk.S386.S-f2FAIL2515.13
texas.ifetch1^3.E-f2FAIL2543.57
eijk.S344.S-f2FAIL3277.62
vis.bakery.E-f2SAT3323.07
texas.ifetch1^7.E-f2FAIL3501.86
eijk.S953.S-f2FAIL3679.51
texas.ifetch1^5.E-f2FAIL3714.19
texas.ifetch1^9.E-f2FAIL3836.17
texas.ifetch1^8.E-f2FAIL3874.45
eijk.S208.S-f2SAT3901.09
nusmv.reactor^4.C-f2FAIL4192.16
texas.two_proc^4.E-f2FAIL4434.44
nusmv.reactor^7.C-f2FAIL4440.93
nusmv.reactor^6.C-f2FAIL4450.47
nusmv.brp.B-f2FAIL4643.34
eijk.S832.S-f2FAIL5068.24
texas.ifetch1^1.E-f2FAIL5074.01
nusmv.reactor^2.C-f2FAIL5224.75
vis.4-arbit^1.E-f2FAIL5636.44
eijk.S838.S-f2FAIL5668.57
eijk.S420.S-f2FAIL5935.66
cmu.dme2.B-f2FAIL5998.21
texas.two_proc^5.E-f2FAIL5999.69
texas.PI_main^02.E-f2FAIL5999.98
vis.elevator^3.E-f2FAIL5999.99
texas.two_proc^2.E-f2FAIL6000.2
texas.PI_main^10.E-f2FAIL6000.2
vis.arbiter.E-f2FAIL6000.25
eijk.S444.S-f2FAIL6000.26
eijk.S382.S-f2FAIL6000.26
eijk.S298.S-f2FAIL6000.27
vis.coherence^1.E-f2FAIL6000.32
ken.oop^1.C-f2FAIL6000.36
texas.two_proc^3.E-f2FAIL6000.37
texas.PI_main^12.E-f2FAIL6000.38
vis.elevator^2.E-f2FAIL6000.38
eijk.S820.S-f2FAIL6000.38
texas.PI_main^01.E-f2FAIL6000.39
texas.two_proc^1.E-f2FAIL6000.4
texas.two_proc^6.E-f2FAIL6000.42
vis.coherence^5.E-f2FAIL6000.44
vis.elevator^1.E-f2FAIL6000.45
texas.PI_main^16.E-f2FAIL6000.47
eijk.S713.S-f2FAIL6000.49
vis.4-arbit^2.E-f2FAIL6000.56
nusmv.syncarb10^2.B-f2FAIL6000.59
vis.coherence^3.E-f2FAIL6000.6
texas.PI_main^11.E-f2FAIL6000.62
eijk.S208c.S-f2FAIL6000.63
eijk.S641.S-f2FAIL6000.63
vis.coherence^2.E-f2FAIL6000.63