Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_X_auto_sched3.c809 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)&&
[all …]
H A Dche_X_auto_sched7.c851 SpecAvgFArity3Plus(spec)&&
911 SpecAvgFArity3Plus(spec)&&
1043 SpecAvgFArity3Plus(spec)&&
1367 SpecAvgFArity3Plus(spec)&&
1379 SpecAvgFArity3Plus(spec)&&
1511 SpecAvgFArity3Plus(spec)&&
1631 SpecAvgFArity3Plus(spec)&&
1811 SpecAvgFArity3Plus(spec)&&
1883 SpecAvgFArity3Plus(spec)&&
1931 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_auto_sched4.c1115 SpecAvgFArity3Plus(spec)&&
1175 SpecAvgFArity3Plus(spec)&&
1307 SpecAvgFArity3Plus(spec)&&
1631 SpecAvgFArity3Plus(spec)&&
1643 SpecAvgFArity3Plus(spec)&&
1775 SpecAvgFArity3Plus(spec)&&
1895 SpecAvgFArity3Plus(spec)&&
2075 SpecAvgFArity3Plus(spec)&&
2147 SpecAvgFArity3Plus(spec)&&
2195 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_auto_sched5.c856 SpecAvgFArity3Plus(spec)&&
916 SpecAvgFArity3Plus(spec)&&
1048 SpecAvgFArity3Plus(spec)&&
1372 SpecAvgFArity3Plus(spec)&&
1384 SpecAvgFArity3Plus(spec)&&
1516 SpecAvgFArity3Plus(spec)&&
1636 SpecAvgFArity3Plus(spec)&&
1816 SpecAvgFArity3Plus(spec)&&
1888 SpecAvgFArity3Plus(spec)&&
1936 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_auto_sched6.c851 SpecAvgFArity3Plus(spec)&&
911 SpecAvgFArity3Plus(spec)&&
1043 SpecAvgFArity3Plus(spec)&&
1379 SpecAvgFArity3Plus(spec)&&
1391 SpecAvgFArity3Plus(spec)&&
1523 SpecAvgFArity3Plus(spec)&&
1643 SpecAvgFArity3Plus(spec)&&
1823 SpecAvgFArity3Plus(spec)&&
1895 SpecAvgFArity3Plus(spec)&&
1943 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_auto_sched2.c926 SpecAvgFArity3Plus(spec)&&
986 SpecAvgFArity3Plus(spec)&&
1118 SpecAvgFArity3Plus(spec)&&
1418 SpecAvgFArity3Plus(spec)&&
1430 SpecAvgFArity3Plus(spec)&&
1670 SpecAvgFArity3Plus(spec)&&
1838 SpecAvgFArity3Plus(spec)&&
1946 SpecAvgFArity3Plus(spec)&&
2006 SpecAvgFArity3Plus(spec)&&
2030 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_____auto.c1499 SpecAvgFArity3Plus(spec)&&
1511 SpecAvgFArity3Plus(spec)&&
1645 SpecAvgFArity3Plus(spec)&&
1740 SpecAvgFArity3Plus(spec)&&
1820 SpecAvgFArity3Plus(spec)&&
1832 SpecAvgFArity3Plus(spec)&&
1950 SpecAvgFArity3Plus(spec)&&
1962 SpecAvgFArity3Plus(spec)&&
2095 SpecAvgFArity3Plus(spec)&&
2222 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_auto_sched1.c832 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)&&
[all …]
H A Dche_X_____auto_dev.c1291 SpecAvgFArity3Plus(spec)&&
1441 SpecAvgFArity3Plus(spec)&&
1501 SpecAvgFArity3Plus(spec)&&
1609 SpecAvgFArity3Plus(spec)&&
1909 SpecAvgFArity3Plus(spec)&&
2017 SpecAvgFArity3Plus(spec)&&
2077 SpecAvgFArity3Plus(spec)&&
2209 SpecAvgFArity3Plus(spec)&&
2329 SpecAvgFArity3Plus(spec)&&
2533 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_auto_sched0.c1810 SpecAvgFArity3Plus(spec)&&
1822 SpecAvgFArity3Plus(spec)&&
2156 SpecAvgFArity3Plus(spec)&&
2308 SpecAvgFArity3Plus(spec)&&
2408 SpecAvgFArity3Plus(spec)&&
2768 SpecAvgFArity3Plus(spec)&&
3400 SpecAvgFArity3Plus(spec)&&
3412 SpecAvgFArity3Plus(spec)&&
3484 SpecAvgFArity3Plus(spec)&&
4053 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_X_____auto_casc.c797 SpecAvgFArity3Plus(spec)&&
946 SpecAvgFArity3Plus(spec)&&
1226 SpecAvgFArity3Plus(spec)&&
1888 SpecAvgFArity3Plus(spec)&&
2815 SpecAvgFArity3Plus(spec)&&
2971 SpecAvgFArity3Plus(spec)&&
3151 SpecAvgFArity3Plus(spec)&&
3452 SpecAvgFArity3Plus(spec)&&
3551 SpecAvgFArity3Plus(spec)&&
3563 SpecAvgFArity3Plus(spec)&&
[all …]
H A Dche_clausesetfeatures.h281 #define SpecAvgFArity3Plus(spec) \ macro