with pruning,memberOf,divByN,pullUp,Bsort,,Bsort with invariant
10,8.02,8.87,9.31,9.08,,
20,11.4,9.56,11.2,8.97,,
30,28.9,9.17,36.0,12.2,,
40,59.0,10.2,214,26.0,,
50,378,12.7,552,100,,
60,4.834,16.6,8252,470,,
70,,16.4,,2.575,,
80,,17.5,,x,,
,,,,,,
,,,,,,
,,,,,,
No heuristics,memberOf,divByN,,,,
10,8.32,9.05,8.33,8.04,,
20,10.0,11.1,9.74,10.1,,
30,21.7,16.4,34.0,15.2,,
40,41.1,47.5,256 ,68.8,,
50,183 ,199 ,755 ,365 ,,
60,889 ,865 ,,3.190,,
70,1868,3337,,,,
,,,,,,
with invariant,memberOf,divByN,,bsort,,
10,15.9,,x,,,
20,12.1,,11.8,18.4,,
30,12.5,,11.5,17.3,,
40,14.1,,14.1,18.7,,
50,14.7,,11.6,18.7,,
60,17.3,,11.3,17.0,,
70,14.0,,11.6,17.0,,
80,13.9,,12.8,18.7,,
90,,,,,,
100,,,,,,
,,,,,,
All heuristics except invariant,memberOf,,,b,,
10,9.81,11.8,8.96,8.18,,
20,12.0,11.8,10.9,8.69,,
30,27.6,10.3,32.8,12.2,,
40,54.4,10.7,190 ,24.4,,
50,356,13.1,466 ,83.4,,
60,6.421,14.9,5.410,374,,
70,,16.2,,1851,,
simplify,,,,,,
10,9.87,10.7,10.1,,,
20,10.6,10.1,9.83,,,
30,20.9,15.1,29.9,,,
40,30.1,35.9,199 ,,,
50,111 ,173 ,555 ,,,
60,474 ,501 ,,373,,
70,986 ,2048,,1839,,
80,4425,9112,,,,