Home
last modified time | relevance | path

Searched refs:SpecAvgFArity0 (Results 1 – 12 of 12) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_X_____auto_casc.c1150 SpecAvgFArity0(spec)&&
1262 SpecAvgFArity0(spec)&&
1325 SpecAvgFArity0(spec)&&
1683 SpecAvgFArity0(spec)&&
1707 SpecAvgFArity0(spec)&&
1743 SpecAvgFArity0(spec)&&
2131 SpecAvgFArity0(spec)&&
2248 SpecAvgFArity0(spec)&&
2604 SpecAvgFArity0(spec)&&
2747 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched3.c1013 SpecAvgFArity0(spec)&&
1301 SpecAvgFArity0(spec)&&
1529 SpecAvgFArity0(spec)&&
1601 SpecAvgFArity0(spec)&&
1793 SpecAvgFArity0(spec)&&
2081 SpecAvgFArity0(spec)&&
2165 SpecAvgFArity0(spec)&&
2429 SpecAvgFArity0(spec)&&
2621 SpecAvgFArity0(spec)&&
2705 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched7.c827 SpecAvgFArity0(spec)&&
1115 SpecAvgFArity0(spec)&&
1355 SpecAvgFArity0(spec)&&
1427 SpecAvgFArity0(spec)&&
1619 SpecAvgFArity0(spec)&&
1919 SpecAvgFArity0(spec)&&
2003 SpecAvgFArity0(spec)&&
2267 SpecAvgFArity0(spec)&&
2459 SpecAvgFArity0(spec)&&
2555 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched4.c1091 SpecAvgFArity0(spec)&&
1379 SpecAvgFArity0(spec)&&
1619 SpecAvgFArity0(spec)&&
1691 SpecAvgFArity0(spec)&&
1883 SpecAvgFArity0(spec)&&
2183 SpecAvgFArity0(spec)&&
2267 SpecAvgFArity0(spec)&&
2531 SpecAvgFArity0(spec)&&
2723 SpecAvgFArity0(spec)&&
2807 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched5.c832 SpecAvgFArity0(spec)&&
1120 SpecAvgFArity0(spec)&&
1360 SpecAvgFArity0(spec)&&
1432 SpecAvgFArity0(spec)&&
1624 SpecAvgFArity0(spec)&&
1924 SpecAvgFArity0(spec)&&
2008 SpecAvgFArity0(spec)&&
2272 SpecAvgFArity0(spec)&&
2464 SpecAvgFArity0(spec)&&
2560 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched6.c827 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)&&
[all …]
H A Dche_X_auto_sched2.c902 SpecAvgFArity0(spec)&&
1178 SpecAvgFArity0(spec)&&
1406 SpecAvgFArity0(spec)&&
1478 SpecAvgFArity0(spec)&&
1658 SpecAvgFArity0(spec)&&
1934 SpecAvgFArity0(spec)&&
2018 SpecAvgFArity0(spec)&&
2270 SpecAvgFArity0(spec)&&
2462 SpecAvgFArity0(spec)&&
2546 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_____auto.c1422 SpecAvgFArity0(spec)&&
2031 SpecAvgFArity0(spec)&&
2060 SpecAvgFArity0(spec)&&
2390 SpecAvgFArity0(spec)&&
2450 SpecAvgFArity0(spec)&&
2690 SpecAvgFArity0(spec)&&
2834 SpecAvgFArity0(spec)&&
2906 SpecAvgFArity0(spec)&&
3122 SpecAvgFArity0(spec)&&
3134 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched1.c1021 SpecAvgFArity0(spec)&&
1134 SpecAvgFArity0(spec)&&
1464 SpecAvgFArity0(spec)&&
1716 SpecAvgFArity0(spec)&&
1896 SpecAvgFArity0(spec)&&
1968 SpecAvgFArity0(spec)&&
2340 SpecAvgFArity0(spec)&&
2424 SpecAvgFArity0(spec)&&
2652 SpecAvgFArity0(spec)&&
2832 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_____auto_dev.c1597 SpecAvgFArity0(spec)&&
1621 SpecAvgFArity0(spec)&&
1669 SpecAvgFArity0(spec)&&
1897 SpecAvgFArity0(spec)&&
2041 SpecAvgFArity0(spec)&&
2305 SpecAvgFArity0(spec)&&
2317 SpecAvgFArity0(spec)&&
2341 SpecAvgFArity0(spec)&&
3001 SpecAvgFArity0(spec)&&
3037 SpecAvgFArity0(spec)&&
[all …]
H A Dche_X_auto_sched0.c1738 SpecAvgFArity0(spec)&&
2533 SpecAvgFArity0(spec)&&
2545 SpecAvgFArity0(spec)&&
2557 SpecAvgFArity0(spec)&&
2949 SpecAvgFArity0(spec)&&
3388 SpecAvgFArity0(spec)&&
3424 SpecAvgFArity0(spec)&&
3436 SpecAvgFArity0(spec)&&
3448 SpecAvgFArity0(spec)&&
3664 SpecAvgFArity0(spec)&&
[all …]
H A Dche_clausesetfeatures.h275 #define SpecAvgFArity0(spec) \ macro