2020-01-20 01:19:50 +01:00
|
|
|
GROUPS334 = 24_24_54_G_0 14_24_48_G_1 16_24_54_G_0 26_26_48_G_4 16_18_48_G_0 24_26_48_G_1 14_24_54_G_2 24_26_54_G_0 18_18_54_G_0 14_16_54_G_2 26_26_48_G_5 16_26_48_G_0 26_26_40_G_0 14_26_54_G_2 18_26_54_G_0 14_26_48_G_1 14_14_54_G_0 14_14_54_G_4 16_18_54_G_0 14_24_48_G_0 14_26_54_G_4 14_16_48_G_1 14_24_40_G_0 16_24_48_G_1 14_14_48_G_4 14_24_54_G_0 14_14_48_G_5 18_26_48_G_0 14_14_40_G_0 14_26_40_G_0 16_16_48_G_0 14_18_54_G_0 16_24_54_G_2 18_24_48_G_0 14_16_54_G_0 16_24_48_G_0 16_16_48_G_1 16_26_54_G_2 14_26_54_G_6 16_16_40_G_0 16_16_54_G_0 26_26_48_G_1 26_26_48_G_0 14_18_54_G_2 16_26_48_G_1 18_26_54_G_2 14_14_40_G_4 14_26_40_G_4 14_26_54_G_0 14_16_48_G_0 14_18_48_G_0 14_14_48_G_0 24_24_48_G_0 14_26_48_G_5 16_26_54_G_0 16_26_40_G_0 18_26_40_G_0 26_26_40_G_4 24_26_40_G_0 18_18_40_G_0 24_24_48_G_1 14_26_48_G_4 18_24_40_G_0 16_24_40_G_0 24_26_54_G_2 14_16_40_G_0 18_18_48_G_0 14_18_40_G_0 16_18_40_G_0 18_24_54_G_0 24_26_48_G_0 18_24_54_G_2 24_24_40_G_0 14_14_48_G_1 14_26_48_G_0 16_18_54_G_2
|
|
|
|
|
|
|
|
|
|
GROUPS344 = 24_48_54_G_0 26_48_54_G_2 24_54_54_G_8 18_54_54_G_8 24_40_48_G_0 14_48_48_G_1 16_48_48_G_0 26_40_40_G_0 26_48_48_G_0 24_40_40_G_0 18_48_54_G_0 24_40_54_G_0 24_54_54_G_0 16_48_54_G_0 14_40_40_G_0 16_48_54_G_2 16_40_54_G_0 16_40_40_G_0 16_54_54_G_0 16_54_54_G_8 14_54_54_G_0 18_40_54_G_0 14_40_54_G_0 14_48_54_G_0 14_54_54_G_8 16_48_48_G_1 18_54_54_G_0 18_48_48_G_0 14_54_54_G_2 18_40_48_G_0 16_40_48_G_0 18_40_40_G_0 24_40_54_G_2 26_40_54_G_0 16_54_54_G_2 18_40_54_G_2 26_40_48_G_0 14_48_54_G_2 18_54_54_G_2 14_40_48_G_0 18_48_54_G_2 16_40_54_G_2 26_40_54_G_2 14_40_54_G_2 24_54_54_G_2 26_48_54_G_0 24_48_48_G_1 24_48_54_G_2 26_48_48_G_1 14_48_48_G_0 24_48_48_G_0
|
|
|
|
|
|
|
|
|
|
GROUPS444 = 48_54_54_G_2 48_48_48_G_1 40_40_48_G_0 48_54_54_G_8 48_54_54_G_0 40_40_40_G_0 48_48_54_G_0 40_48_54_G_0 40_48_48_G_0 40_54_54_G_2 48_48_48_G_0 40_40_54_G_0 40_54_54_G_0 40_48_54_G_2 40_54_54_G_8
|
|
|
|
|
|
|
|
|
|
JULIA = /opt/bin/julia
|
|
|
|
|
|
|
|
|
|
.PHONY: allgroups groups334 groups344 groups444 $(GROUPS334) $(GROUPS344) $(GROUPS444)
|
|
|
|
|
|
|
|
|
|
allgroups: groups334 groups344 groups444
|
|
|
|
|
|
|
|
|
|
groups334: $(GROUPS334)
|
|
|
|
|
|
|
|
|
|
groups344: $(GROUPS344)
|
|
|
|
|
|
|
|
|
|
groups444: $(GROUPS444)
|
|
|
|
|
|
|
|
|
|
$(GROUPS334) $(GROUPS344) $(GROUPS444):
|
|
|
|
|
@echo "Checking property (T) for" $@
|
2020-01-20 02:18:55 +01:00
|
|
|
@mkdir -p log
|
|
|
|
|
$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log
|
