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

InstanceResultTime
nusmv.syncarb10^2.B-f2FAIL176.42
eijk.S713.S-f2FAIL321.91
cmu.dme1.B-f3FAIL334.4
nusmv.syncarb10^2.B-f3FAIL353.56
cmu.dme1.B-f2FAIL411.41
eijk.S641.S-f2FAIL416.23
eijk.S344.S-f3FAIL446.7
cmu.dme2.B-f2FAIL447.76
eijk.S420.S-f2FAIL530.61
eijk.S298.S-f4FAIL534.21
eijk.S349.S-f3FAIL602.76
nusmv.syncarb10^2.B-f4FAIL732.55
eijk.S386.S-f2FAIL772.25