eprover-E-2.0/HEURISTICS/che_X_auto_sched6.c

827        SpecAvgFArity0(spec)&&
1115        SpecAvgFArity0(spec)&&
1367        SpecAvgFArity0(spec)&&
1439        SpecAvgFArity0(spec)&&
1631        SpecAvgFArity0(spec)&&
1931        SpecAvgFArity0(spec)&&
2015        SpecAvgFArity0(spec)&&
2279        SpecAvgFArity0(spec)&&
2471        SpecAvgFArity0(spec)&&
2567        SpecAvgFArity0(spec)&&
2579        SpecAvgFArity0(spec)&&
2603        SpecAvgFArity0(spec)&&
3059        SpecAvgFArity0(spec)&&
3143        SpecAvgFArity0(spec)&&
3527        SpecAvgFArity0(spec)&&
3563        SpecAvgFArity0(spec)&&
4079        SpecAvgFArity0(spec)&&
4115        SpecAvgFArity0(spec)&&
4235        SpecAvgFArity0(spec)&&
4559        SpecAvgFArity0(spec)&&
4643        SpecAvgFArity0(spec)&&
4715        SpecAvgFArity0(spec)&&
4835        SpecAvgFArity0(spec)&&
4907        SpecAvgFArity0(spec)&&
5003        SpecAvgFArity0(spec)&&
5075        SpecAvgFArity0(spec)&&
5279        SpecAvgFArity0(spec)&&
5339        SpecAvgFArity0(spec)&&
5411        SpecAvgFArity0(spec)&&
5507        SpecAvgFArity0(spec)&&
5735        SpecAvgFArity0(spec)&&
5819        SpecAvgFArity0(spec)&&
5987        SpecAvgFArity0(spec)&&
6239        SpecAvgFArity0(spec)&&
6287        SpecAvgFArity0(spec)&&
6419        SpecAvgFArity0(spec)&&
6503        SpecAvgFArity0(spec)&&
6695        SpecAvgFArity0(spec)&&
6719        SpecAvgFArity0(spec)&&
6851        SpecAvgFArity0(spec)&&
6863        SpecAvgFArity0(spec)&&
7067        SpecAvgFArity0(spec)&&
7175        SpecAvgFArity0(spec)&&
7283        SpecAvgFArity0(spec)&&
7439        SpecAvgFArity0(spec)&&
7475        SpecAvgFArity0(spec)&&
7499        SpecAvgFArity0(spec)&&
7799        SpecAvgFArity0(spec)&&
7943        SpecAvgFArity0(spec)&&
8135        SpecAvgFArity0(spec)&&
8255        SpecAvgFArity0(spec)&&
8315        SpecAvgFArity0(spec)&&
8327        SpecAvgFArity0(spec)&&
8459        SpecAvgFArity0(spec)&&
8483        SpecAvgFArity0(spec)&&
8555        SpecAvgFArity0(spec)&&
8759        SpecAvgFArity0(spec)&&
8795        SpecAvgFArity0(spec)&&
8831        SpecAvgFArity0(spec)&&
9095        SpecAvgFArity0(spec)&&
9179        SpecAvgFArity0(spec)&&
9323        SpecAvgFArity0(spec)&&
9371        SpecAvgFArity0(spec)&&
9431        SpecAvgFArity0(spec)&&
9575        SpecAvgFArity0(spec)&&
9803        SpecAvgFArity0(spec)&&
9947        SpecAvgFArity0(spec)&&
10007        SpecAvgFArity0(spec)&&