Instances of family tipfixpoint solved by QuBE7
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
nusmv.syncarb10^2.B-f4FAIL9610.12
eijk.S298.S-f4FAIL13832.3
eijk.S713.S-f2FAIL16955.5
eijk.S641.S-f2FAIL18506.4
cmu.dme1.B-f3FAIL20784.7
nusmv.syncarb10^2.B-f3FAIL24139.7
eijk.S420.S-f2SAT30777.7
nusmv.syncarb10^2.B-f2FAIL43200.1
cmu.dme1.B-f2FAIL43200.1
cmu.dme2.B-f2FAIL43200.1
eijk.S344.S-f3FAIL43200.1
eijk.S349.S-f3FAIL43200.1
eijk.S386.S-f2FAIL43200.1