2020-01-27 14:26:24 +01:00
|
|
|
GROUPS333 = 14_14_14_0 14_14_14_1 14_14_14_2 14_14_14_6 14_14_16_0 14_14_16_1 14_14_16_4 14_14_16_5 14_14_18_0 14_14_18_4 14_14_24_0 14_14_24_1 14_14_24_4 14_14_24_5 14_14_26_0 14_14_26_1 14_14_26_3 14_14_26_4 14_14_26_5 14_14_26_7 14_16_16_0 14_16_16_1 14_16_18_0 14_16_24_0 14_16_24_1 14_16_26_0 14_16_26_1 14_16_26_3 14_16_26_7 14_18_18_0 14_18_24_0 14_18_26_0 14_18_26_3 14_24_24_0 14_24_24_1 14_24_26_0 14_24_26_1 14_24_26_3 14_24_26_7 14_26_26_0 14_26_26_1 14_26_26_15 14_26_26_3 14_26_26_4 14_26_26_5 16_16_16_0 16_16_16_1 16_16_18_0 16_16_24_0 16_16_24_1 16_16_26_0 16_16_26_1 16_18_18_0 16_18_24_0 16_18_26_0 16_24_24_0 16_24_24_1 16_24_26_0 16_24_26_1 16_26_26_0 16_26_26_1 16_26_26_3 16_26_26_5 18_18_18_0 18_18_24_0 18_18_26_0 18_24_24_0 18_24_26_0 18_26_26_0 18_26_26_1 24_24_24_0 24_24_24_1 24_24_26_0 24_24_26_1 24_26_26_0 24_26_26_1 24_26_26_3 24_26_26_5 26_26_26_0 26_26_26_1 26_26_26_21 26_26_26_5
|
2020-01-20 01:19:50 +01:00
|
|
|
|
2020-01-27 14:26:24 +01:00
|
|
|
GROUPS334 = 14_14_40_0 14_14_40_4 14_14_48_0 14_14_48_1 14_14_48_4 14_14_48_5 14_14_54_0 14_14_54_4 14_16_40_0 14_16_48_0 14_16_48_1 14_16_54_0 14_16_54_2 14_18_40_0 14_18_48_0 14_18_54_0 14_18_54_2 14_24_40_0 14_24_48_0 14_24_48_1 14_24_54_0 14_24_54_2 14_26_40_0 14_26_40_4 14_26_48_0 14_26_48_1 14_26_48_4 14_26_48_5 14_26_54_0 14_26_54_2 14_26_54_4 14_26_54_6 16_16_40_0 16_16_48_0 16_16_48_1 16_16_54_0 16_18_40_0 16_18_48_0 16_18_54_0 16_18_54_2 16_24_40_0 16_24_48_0 16_24_48_1 16_24_54_0 16_24_54_2 16_26_40_0 16_26_48_0 16_26_48_1 16_26_54_0 16_26_54_2 18_18_40_0 18_18_48_0 18_18_54_0 18_24_40_0 18_24_48_0 18_24_54_0 18_24_54_2 18_26_40_0 18_26_48_0 18_26_54_0 18_26_54_2 24_24_40_0 24_24_48_0 24_24_48_1 24_24_54_0 24_26_40_0 24_26_48_0 24_26_48_1 24_26_54_0 24_26_54_2 26_26_40_0 26_26_40_4 26_26_48_0 26_26_48_1 26_26_48_4 26_26_48_5 26_26_54_0 26_26_54_4
|
|
|
|
|
|
|
|
|
|
GROUPS344 = 14_40_40_0 14_40_48_0 14_40_54_0 14_40_54_2 14_48_48_0 14_48_48_1 14_48_54_0 14_48_54_2 14_54_54_0 14_54_54_2 14_54_54_8 16_40_40_0 16_40_48_0 16_40_54_0 16_40_54_2 16_48_48_0 16_48_48_1 16_48_54_0 16_48_54_2 16_54_54_0 16_54_54_2 16_54_54_8 18_40_40_0 18_40_48_0 18_40_54_0 18_40_54_2 18_48_48_0 18_48_54_0 18_48_54_2 18_54_54_0 18_54_54_2 18_54_54_8 24_40_40_0 24_40_48_0 24_40_54_0 24_40_54_2 24_48_48_0 24_48_48_1 24_48_54_0 24_48_54_2 24_54_54_0 24_54_54_2 24_54_54_8 26_40_40_0 26_40_48_0 26_40_54_0 26_40_54_2 26_48_48_0 26_48_48_1 26_48_54_0 26_48_54_2 26_54_54_0 26_54_54_2 26_54_54_8
|
|
|
|
|
|
|
|
|
|
GROUPS444 = 40_40_40_0 40_40_48_0 40_40_54_0 40_48_48_0 40_48_54_0 40_48_54_2 40_54_54_0 40_54_54_2 40_54_54_8 48_48_48_0 48_48_48_1 48_48_54_0 48_54_54_0 48_54_54_2 48_54_54_8 54_54_54_0 54_54_54_2
|
2020-01-20 01:19:50 +01:00
|
|
|
|
2020-02-12 01:12:49 +01:00
|
|
|
GROUPS555 = H_1 H_2 H_3 H_4 H_5 H_6 H_7 H_8
|
|
|
|
|
|
2020-01-20 01:19:50 +01:00
|
|
|
|
|
|
|
|
JULIA = /opt/bin/julia
|
|
|
|
|
|
2020-02-12 01:12:49 +01:00
|
|
|
.PHONY: allgroups groups333 groups334 groups344 groups444 groups555 $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555)
|
2020-01-20 01:19:50 +01:00
|
|
|
|
2020-02-12 01:12:49 +01:00
|
|
|
allgroups: groups334 groups344 groups444 group555
|
2020-01-20 01:19:50 +01:00
|
|
|
|
2020-01-27 14:26:24 +01:00
|
|
|
groups333: $(GROUPS333)
|
|
|
|
|
|
2020-01-20 01:19:50 +01:00
|
|
|
groups334: $(GROUPS334)
|
|
|
|
|
|
|
|
|
|
groups344: $(GROUPS344)
|
|
|
|
|
|
|
|
|
|
groups444: $(GROUPS444)
|
|
|
|
|
|
2020-02-12 01:12:49 +01:00
|
|
|
groups555: $(GROUPS555)
|
|
|
|
|
|
|
|
|
|
$(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555):
|
2020-01-20 01:19:50 +01:00
|
|
|
@echo "Checking property (T) for" $@
|
2020-01-20 02:18:55 +01:00
|
|
|
@mkdir -p log
|
|
|
|
|
$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log
|
