eprover-E-2.0/HEURISTICS/che_X_auto_sched1.c

832        SpecAvgFArity3Plus(spec)&&
1198        SpecAvgFArity3Plus(spec)&&
1488        SpecAvgFArity3Plus(spec)&&
1548        SpecAvgFArity3Plus(spec)&&
1656        SpecAvgFArity3Plus(spec)&&
1908        SpecAvgFArity3Plus(spec)&&
1920        SpecAvgFArity3Plus(spec)&&
2124        SpecAvgFArity3Plus(spec)&&
2352        SpecAvgFArity3Plus(spec)&&
2412        SpecAvgFArity3Plus(spec)&&
2436        SpecAvgFArity3Plus(spec)&&
2544        SpecAvgFArity3Plus(spec)&&
2616        SpecAvgFArity3Plus(spec)&&
2688        SpecAvgFArity3Plus(spec)&&
2772        SpecAvgFArity3Plus(spec)&&
2928        SpecAvgFArity3Plus(spec)&&
2952        SpecAvgFArity3Plus(spec)&&
3000        SpecAvgFArity3Plus(spec)&&
3312        SpecAvgFArity3Plus(spec)&&
3396        SpecAvgFArity3Plus(spec)&&
3552        SpecAvgFArity3Plus(spec)&&
3876        SpecAvgFArity3Plus(spec)&&
4128        SpecAvgFArity3Plus(spec)&&
4152        SpecAvgFArity3Plus(spec)&&
4488        SpecAvgFArity3Plus(spec)&&
4536        SpecAvgFArity3Plus(spec)&&
4596        SpecAvgFArity3Plus(spec)&&
4608        SpecAvgFArity3Plus(spec)&&
4632        SpecAvgFArity3Plus(spec)&&
4764        SpecAvgFArity3Plus(spec)&&
5004        SpecAvgFArity3Plus(spec)&&
5136        SpecAvgFArity3Plus(spec)&&
5160        SpecAvgFArity3Plus(spec)&&
5244        SpecAvgFArity3Plus(spec)&&
5256        SpecAvgFArity3Plus(spec)&&
5436        SpecAvgFArity3Plus(spec)&&
5604        SpecAvgFArity3Plus(spec)&&
5652        SpecAvgFArity3Plus(spec)&&
5844        SpecAvgFArity3Plus(spec)&&
5856        SpecAvgFArity3Plus(spec)&&
5976        SpecAvgFArity3Plus(spec)&&
6588        SpecAvgFArity3Plus(spec)&&
6708        SpecAvgFArity3Plus(spec)&&
6756        SpecAvgFArity3Plus(spec)&&
6804        SpecAvgFArity3Plus(spec)&&
6888        SpecAvgFArity3Plus(spec)&&
6984        SpecAvgFArity3Plus(spec)&&
7140        SpecAvgFArity3Plus(spec)&&
7416        SpecAvgFArity3Plus(spec)&&
7656        SpecAvgFArity3Plus(spec)&&
7824        SpecAvgFArity3Plus(spec)&&
7872        SpecAvgFArity3Plus(spec)&&
7980        SpecAvgFArity3Plus(spec)&&
8364        SpecAvgFArity3Plus(spec)&&
8496        SpecAvgFArity3Plus(spec)&&
8628        SpecAvgFArity3Plus(spec)&&
8652        SpecAvgFArity3Plus(spec)&&
8748        SpecAvgFArity3Plus(spec)&&
8844        SpecAvgFArity3Plus(spec)&&
9084        SpecAvgFArity3Plus(spec)&&
9168        SpecAvgFArity3Plus(spec)&&
9240        SpecAvgFArity3Plus(spec)&&
9468        SpecAvgFArity3Plus(spec)&&
9504        SpecAvgFArity3Plus(spec)&&
9673        SpecAvgFArity3Plus(spec)&&
9840        SpecAvgFArity3Plus(spec)&&
9987        SpecAvgFArity3Plus(spec)&&
10686        SpecAvgFArity3Plus(spec)&&
11180        SpecAvgFArity3Plus(spec)&&
11237        SpecAvgFArity3Plus(spec)&&
11328        SpecAvgFArity3Plus(spec)&&
11442        SpecAvgFArity3Plus(spec)&&
11527        SpecAvgFArity3Plus(spec)&&