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

InstanceResultTime
eijk.S344.S-f3FAIL520.71
eijk.S349.S-f3FAIL525.93
cmu.dme1.B-f2FAIL3652.27
cmu.dme1.B-f3FAIL4001.75
cmu.dme2.B-f2FAIL6230.67
eijk.S420.S-f2SAT6439.75
eijk.S386.S-f2FAIL20446.7
nusmv.syncarb10^2.B-f4FAIL43200
nusmv.syncarb10^2.B-f3FAIL43200
nusmv.syncarb10^2.B-f2FAIL43200
eijk.S298.S-f4FAIL43200
eijk.S641.S-f2FAIL43200
eijk.S713.S-f2FAIL43200