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

InstanceResultTime
cmu.dme1.B-f3FAIL21.6
cmu.dme2.B-f2FAIL69.21
eijk.S420.S-f2FAIL74.27
cmu.dme1.B-f2FAIL77.1
eijk.S349.S-f3FAIL88.51
eijk.S386.S-f2FAIL124.06
eijk.S641.S-f2FAIL303.94
eijk.S713.S-f2FAIL344.79
nusmv.syncarb10^2.B-f4FAIL354.24
nusmv.syncarb10^2.B-f3FAIL390.93
eijk.S298.S-f4FAIL407.06
eijk.S344.S-f3FAIL554.91
nusmv.syncarb10^2.B-f2FAIL3393.36