eprover-E-2.0/HEURISTICS/che_X_auto_sched3.c

809        SpecAvgFArity3Plus(spec)&&
1037        SpecAvgFArity3Plus(spec)&&
1097        SpecAvgFArity3Plus(spec)&&
1229        SpecAvgFArity3Plus(spec)&&
1541        SpecAvgFArity3Plus(spec)&&
1553        SpecAvgFArity3Plus(spec)&&
1685        SpecAvgFArity3Plus(spec)&&
1805        SpecAvgFArity3Plus(spec)&&
1985        SpecAvgFArity3Plus(spec)&&
2093        SpecAvgFArity3Plus(spec)&&
2153        SpecAvgFArity3Plus(spec)&&
2177        SpecAvgFArity3Plus(spec)&&
2225        SpecAvgFArity3Plus(spec)&&
2309        SpecAvgFArity3Plus(spec)&&
2393        SpecAvgFArity3Plus(spec)&&
2465        SpecAvgFArity3Plus(spec)&&
2549        SpecAvgFArity3Plus(spec)&&
2597        SpecAvgFArity3Plus(spec)&&
2729        SpecAvgFArity3Plus(spec)&&
2753        SpecAvgFArity3Plus(spec)&&
2801        SpecAvgFArity3Plus(spec)&&
3125        SpecAvgFArity3Plus(spec)&&
3209        SpecAvgFArity3Plus(spec)&&
3365        SpecAvgFArity3Plus(spec)&&
3713        SpecAvgFArity3Plus(spec)&&
4013        SpecAvgFArity3Plus(spec)&&
4037        SpecAvgFArity3Plus(spec)&&
4445        SpecAvgFArity3Plus(spec)&&
4505        SpecAvgFArity3Plus(spec)&&
4565        SpecAvgFArity3Plus(spec)&&
4577        SpecAvgFArity3Plus(spec)&&
4613        SpecAvgFArity3Plus(spec)&&
4745        SpecAvgFArity3Plus(spec)&&
5057        SpecAvgFArity3Plus(spec)&&
5213        SpecAvgFArity3Plus(spec)&&
5237        SpecAvgFArity3Plus(spec)&&
5321        SpecAvgFArity3Plus(spec)&&
5333        SpecAvgFArity3Plus(spec)&&
5513        SpecAvgFArity3Plus(spec)&&
5705        SpecAvgFArity3Plus(spec)&&
5753        SpecAvgFArity3Plus(spec)&&
5957        SpecAvgFArity3Plus(spec)&&
5969        SpecAvgFArity3Plus(spec)&&
6101        SpecAvgFArity3Plus(spec)&&
6689        SpecAvgFArity3Plus(spec)&&
6737        SpecAvgFArity3Plus(spec)&&
6809        SpecAvgFArity3Plus(spec)&&
6941        SpecAvgFArity3Plus(spec)&&
6989        SpecAvgFArity3Plus(spec)&&
7037        SpecAvgFArity3Plus(spec)&&
7121        SpecAvgFArity3Plus(spec)&&
7181        SpecAvgFArity3Plus(spec)&&
7241        SpecAvgFArity3Plus(spec)&&
7421        SpecAvgFArity3Plus(spec)&&
7721        SpecAvgFArity3Plus(spec)&&
7949        SpecAvgFArity3Plus(spec)&&
7997        SpecAvgFArity3Plus(spec)&&
8129        SpecAvgFArity3Plus(spec)&&
8189        SpecAvgFArity3Plus(spec)&&
8321        SpecAvgFArity3Plus(spec)&&
8777        SpecAvgFArity3Plus(spec)&&
8921        SpecAvgFArity3Plus(spec)&&
9077        SpecAvgFArity3Plus(spec)&&
9101        SpecAvgFArity3Plus(spec)&&
9197        SpecAvgFArity3Plus(spec)&&
9305        SpecAvgFArity3Plus(spec)&&
9593        SpecAvgFArity3Plus(spec)&&
9677        SpecAvgFArity3Plus(spec)&&
9749        SpecAvgFArity3Plus(spec)&&
10001        SpecAvgFArity3Plus(spec)&&
10037        SpecAvgFArity3Plus(spec)&&
10166        SpecAvgFArity3Plus(spec)&&
10375        SpecAvgFArity3Plus(spec)&&