Index of /~mptp/1147/MPTP2/ilp0/goboard4
Name
Last modified
Size
Description
Parent Directory
-
goboard4__78_20.min1.thm1
2017-02-06 12:46
652
goboard4__78_20.min1.thm1.tptp
2017-02-06 16:47
566
goboard4__82_37.min1.thm1
2017-02-06 12:46
870
goboard4__85_27.min1.thm1
2017-02-06 12:46
1.2K
goboard4__86_17.min1.thm1
2017-02-06 12:46
1.9K
goboard4__88_17.min1.thm1
2017-02-06 12:46
1.2K
goboard4__104_27.min1.thm1
2017-02-06 12:46
1.1K
goboard4__105_25.min1.thm1
2017-02-06 12:46
1.5K
goboard4__106_16.min1.thm1
2017-02-06 12:46
1.7K
goboard4__108_19.min1.thm1
2017-02-06 12:46
2.4K
goboard4__115_18.min1.thm1
2017-02-06 12:46
1.6K
goboard4__117_21.min1.thm1
2017-02-06 12:46
2.2K
goboard4__128_39.min1.thm1
2017-02-06 12:46
877
goboard4__132_26.min1.thm1
2017-02-06 12:46
1.4K
goboard4__143_27.min1.thm1
2017-02-06 12:46
698
goboard4__147_41.min1.thm1
2017-02-06 12:46
1.0K
goboard4__151_44.min1.thm1
2017-02-06 12:46
1.5K
goboard4__155_24.min1.thm1
2017-02-06 12:46
1.2K
goboard4__163_35.min1.thm1
2017-02-06 12:46
1.6K
goboard4__164_39.min1.thm1
2017-02-06 12:46
873
goboard4__168_28.min1.thm1
2017-02-06 12:46
1.1K
goboard4__171_27.min1.thm1
2017-02-06 12:46
1.3K
goboard4__191_20.min1.thm1
2017-02-06 12:46
1.3K
goboard4__202_33.min1.thm1
2017-02-06 12:46
1.5K
goboard4__203_20.min1.thm1
2017-02-06 12:46
1.5K
goboard4__207_25.min1.thm1
2017-02-06 12:46
1.7K
goboard4__214_28.min1.thm1
2017-02-06 12:46
1.4K
goboard4__220_32.min1.thm1
2017-02-06 12:46
2.6K
goboard4__226_27.min1.thm1
2017-02-06 12:46
1.1K
goboard4__228_15.min1.thm1
2017-02-06 12:46
192
goboard4__236_15.min1.thm1
2017-02-06 12:46
2.0K
goboard4__243_30.min1.thm1
2017-02-06 12:46
1.1K
goboard4__245_22.min1.thm1
2017-02-06 12:46
1.6K
goboard4__246_23.min1.thm1
2017-02-06 12:46
1.2K
goboard4__252_15.min1.thm1
2017-02-06 12:46
1.7K
goboard4__253_22.min1.thm1
2017-02-06 12:46
1.6K
goboard4__254_29.min1.thm1
2017-02-06 12:46
2.2K
goboard4__260_23.min1.thm1
2017-02-06 12:46
1.2K
goboard4__267_14.min1.thm1
2017-02-06 12:46
1.0K
goboard4__269_19.min1.thm1
2017-02-06 12:46
214
goboard4__272_27.min1.thm1
2017-02-06 12:46
471
goboard4__272_27.min1.thm1.tptp
2017-02-06 16:47
392
goboard4__276_21.min1.thm1
2017-02-06 12:46
1.9K
goboard4__277_56.min1.thm1
2017-02-06 12:46
1.8K
goboard4__279_49.min1.thm1
2017-02-06 12:46
1.1K
goboard4__282_23.min1.thm1
2017-02-06 12:46
1.5K
goboard4__286_21.min1.thm1
2017-02-06 12:46
2.1K
goboard4__289_22.min1.thm1
2017-02-06 12:46
1.5K
goboard4__291_31.min1.thm1
2017-02-06 12:46
2.8K
goboard4__299_30.min1.thm1
2017-02-06 12:46
1.5K
goboard4__308_38.min1.thm1
2017-02-06 12:46
1.7K
goboard4__311_28.min1.thm1
2017-02-06 12:46
634
goboard4__314_32.min1.thm1
2017-02-06 12:46
1.5K
goboard4__318_23.min1.thm1
2017-02-06 12:46
967
goboard4__330_29.min1.thm1
2017-02-06 12:46
633
goboard4__345_34.min1.thm1
2017-02-06 12:46
1.5K
goboard4__352_23.min1.thm1
2017-02-06 12:46
2.2K
goboard4__353_29.min1.thm1
2017-02-06 12:46
1.7K
goboard4__355_30.min1.thm1
2017-02-06 12:46
1.7K
goboard4__360_21.min1.thm1
2017-02-06 12:46
1.6K
goboard4__362_20.min1.thm1
2017-02-06 12:46
921
goboard4__365_31.min1.thm1
2017-02-06 12:46
1.3K
goboard4__377_36.min1.thm1
2017-02-06 12:46
1.2K
goboard4__382_24.min1.thm1
2017-02-06 12:46
1.3K
goboard4__388_21.min1.thm1
2017-02-06 12:46
2.1K
goboard4__389_29.min1.thm1
2017-02-06 12:46
2.0K
goboard4__397_31.min1.thm1
2017-02-06 12:46
712
goboard4__406_35.min1.thm1
2017-02-06 12:46
1.6K
goboard4__418_31.min1.thm1
2017-02-06 12:46
713
goboard4__421_36.min1.thm1
2017-02-06 12:46
1.6K
goboard4__426_23.min1.thm1
2017-02-06 12:46
967
goboard4__428_25.min1.thm1
2017-02-06 12:46
865
goboard4__429_27.min1.thm1
2017-02-06 12:46
2.9K
goboard4__432_23.min1.thm1
2017-02-06 12:46
2.0K
goboard4__442_28.min1.thm1
2017-02-06 12:46
1.6K
goboard4__444_25.min1.thm1
2017-02-06 12:46
2.7K
goboard4__445_32.min1.thm1
2017-02-06 12:46
2.5K
goboard4__449_23.min1.thm1
2017-02-06 12:46
196
goboard4__452_25.min1.thm1
2017-02-06 12:46
2.2K
goboard4__454_33.min1.thm1
2017-02-06 12:46
1.6K
goboard4__456_29.min1.thm1
2017-02-06 12:46
1.4K
goboard4__457_26.min1.thm1
2017-02-06 12:46
2.0K
goboard4__458_31.min1.thm1
2017-02-06 12:46
1.5K
goboard4__460_31.min1.thm1
2017-02-06 12:46
1.4K
goboard4__462_48.min1.thm1
2017-02-06 12:46
1.5K
goboard4__467_28.min1.thm1
2017-02-06 12:46
1.1K
goboard4__468_31.min1.thm1
2017-02-06 12:46
1.2K
goboard4__470_24.min1.thm1
2017-02-06 12:46
2.0K
goboard4__475_31.min1.thm1
2017-02-06 12:46
1.5K
goboard4__478_33.min1.thm1
2017-02-06 12:46
1.5K
goboard4__479_54.min1.thm1
2017-02-06 12:46
2.0K
goboard4__484_32.min1.thm1
2017-02-06 12:46
1.1K
goboard4__493_25.min1.thm1
2017-02-06 12:46
2.2K
goboard4__496_21.min1.thm1
2017-02-06 12:46
1.5K
goboard4__497_34.min1.thm1
2017-02-06 12:46
2.4K
goboard4__500_21.min1.thm1
2017-02-06 12:46
1.2K
goboard4__501_34.min1.thm1
2017-02-06 12:46
3.1K
goboard4__509_35.min1.thm1
2017-02-06 12:46
1.1K
goboard4__513_31.min1.thm1
2017-02-06 12:46
1.9K
goboard4__514_58.min1.thm1
2017-02-06 12:46
2.4K
goboard4__516_30.min1.thm1
2017-02-06 12:46
1.2K
goboard4__524_31.min1.thm1
2017-02-06 12:46
1.9K
goboard4__526_31.min1.thm1
2017-02-06 12:46
2.1K
goboard4__527_30.min1.thm1
2017-02-06 12:46
1.6K
goboard4__530_34.min1.thm1
2017-02-06 12:46
1.2K
goboard4__532_23.min1.thm1
2017-02-06 12:46
245
goboard4__537_33.min1.thm1
2017-02-06 12:46
820
goboard4__538_33.min1.thm1
2017-02-06 12:46
2.5K
goboard4__542_53.min1.thm1
2017-02-06 12:46
2.0K
goboard4__544_31.min1.thm1
2017-02-06 12:46
2.0K
goboard4__546_58.min1.thm1
2017-02-06 12:46
1.9K
goboard4__551_33.min1.thm1
2017-02-06 12:46
2.1K
goboard4__552_36.min1.thm1
2017-02-06 12:46
2.9K
goboard4__556_31.min1.thm1
2017-02-06 12:46
1.7K
goboard4__560_31.min1.thm1
2017-02-06 12:46
1.6K
goboard4__561_31.min1.thm1
2017-02-06 12:46
1.6K
goboard4__563_33.min1.thm1
2017-02-06 12:46
1.2K
goboard4__564_52.min1.thm1
2017-02-06 12:46
2.1K
goboard4__565_29.min1.thm1
2017-02-06 12:46
3.4K
goboard4__566_36.min1.thm1
2017-02-06 12:46
2.0K
goboard4__575_45.min1.thm1
2017-02-06 12:46
1.5K
goboard4__590_53.min1.thm1
2017-02-06 12:46
1.0K
goboard4__592_70.min1.thm1
2017-02-06 12:46
1.6K
goboard4__599_37.min1.thm1
2017-02-06 12:46
824
goboard4__599_37.min1.thm1.tptp
2017-02-06 16:47
762
goboard4__603_32.min1.thm1
2017-02-06 12:46
2.0K
goboard4__604_58.min1.thm1
2017-02-06 12:46
1.3K
goboard4__605_37.min1.thm1
2017-02-06 12:46
1.2K
goboard4__606_32.min1.thm1
2017-02-06 12:46
899
goboard4__606_32.min1.thm1.tptp
2017-02-06 16:47
837
goboard4__608_32.min1.thm1
2017-02-06 12:46
1.3K
goboard4__611_33.min1.thm1
2017-02-06 12:46
1.0K
goboard4__617_31.min1.thm1
2017-02-06 12:46
1.4K
goboard4__618_58.min1.thm1
2017-02-06 12:46
2.2K
goboard4__627_37.min1.thm1
2017-02-06 12:46
846
goboard4__627_37.min1.thm1.tptp
2017-02-06 16:47
784
goboard4__631_35.min1.thm1
2017-02-06 12:46
2.1K
goboard4__632_58.min1.thm1
2017-02-06 12:46
1.4K
goboard4__633_37.min1.thm1
2017-02-06 12:46
1.3K
goboard4__634_32.min1.thm1
2017-02-06 12:46
910
goboard4__634_32.min1.thm1.tptp
2017-02-06 16:47
848
goboard4__636_32.min1.thm1
2017-02-06 12:46
1.3K
goboard4__639_36.min1.thm1
2017-02-06 12:46
1.1K
goboard4__645_31.min1.thm1
2017-02-06 12:46
1.5K
goboard4__646_62.min1.thm1
2017-02-06 12:46
3.0K
goboard4__665_22.min1.thm1
2017-02-06 12:46
2.1K
goboard4__666_32.min1.thm1
2017-02-06 12:46
718
goboard4__680_34.min1.thm1
2017-02-06 12:46
1.5K
goboard4__688_32.min1.thm1
2017-02-06 12:46
1.8K
goboard4__693_72.min1.thm1
2017-02-06 12:46
1.6K
goboard4__695_40.min1.thm1
2017-02-06 12:46
1.1K
goboard4__696_31.min1.thm1
2017-02-06 12:46
618
goboard4__696_31.min1.thm1.tptp
2017-02-06 16:47
545
goboard4__698_50.min1.thm1
2017-02-06 12:46
1.5K
goboard4__702_26.min1.thm1
2017-02-06 12:46
1.3K
goboard4__708_31.min1.thm1
2017-02-06 12:46
1.9K
goboard4__710_32.min1.thm1
2017-02-06 12:46
1.6K
goboard4__711_39.min1.thm1
2017-02-06 12:46
2.2K
goboard4__718_30.min1.thm1
2017-02-06 12:46
1.1K
goboard4__723_38.min1.thm1
2017-02-06 12:46
1.6K
goboard4__724_38.min1.thm1
2017-02-06 12:46
1.4K
goboard4__734_31.min1.thm1
2017-02-06 12:46
704
goboard4__738_33.min1.thm1
2017-02-06 12:46
1.3K
goboard4__739_31.min1.thm1
2017-02-06 12:46
2.4K
goboard4__740_46.min1.thm1
2017-02-06 12:46
1.5K
goboard4__742_31.min1.thm1
2017-02-06 12:46
2.2K
goboard4__747_35.min1.thm1
2017-02-06 12:46
1.1K
goboard4__752_22.min1.thm1
2017-02-06 12:46
968
goboard4__756_33.min1.thm1
2017-02-06 12:46
1.2K
goboard4__765_29.min1.thm1
2017-02-06 12:46
902
goboard4__769_34.min1.thm1
2017-02-06 12:46
1.5K
goboard4__770_34.min1.thm1
2017-02-06 12:46
1.6K
goboard4__774_38.min1.thm1
2017-02-06 12:46
1.4K
goboard4__778_28.min1.thm1
2017-02-06 12:46
1.0K
goboard4__779_23.min1.thm1
2017-02-06 12:46
968
goboard4__794_28.min1.thm1
2017-02-06 12:46
639
goboard4__811_23.min1.thm1
2017-02-06 12:46
447
goboard4__815_45.min1.thm1
2017-02-06 12:46
1.5K
goboard4__817_46.min1.thm1
2017-02-06 12:46
940
goboard4__833_43.min1.thm1
2017-02-06 12:46
2.0K
goboard4__834_49.min1.thm1
2017-02-06 12:46
946
goboard4__849_33.min1.thm1
2017-02-06 12:46
1.7K
goboard4__857_26.min1.thm1
2017-02-06 12:46
1.7K
goboard4__860_27.min1.thm1
2017-02-06 12:46
1.5K
goboard4__861_25.min1.thm1
2017-02-06 12:46
1.7K
goboard4__862_32.min1.thm1
2017-02-06 12:46
2.2K
goboard4__870_27.min1.thm1
2017-02-06 12:46
1.5K
goboard4__873_31.min1.thm1
2017-02-06 12:46
1.7K
goboard4__876_25.min1.thm1
2017-02-06 12:46
1.7K
goboard4__877_32.min1.thm1
2017-02-06 12:46
2.2K
goboard4__880_36.min1.thm1
2017-02-06 12:46
1.2K
goboard4__881_57.min1.thm1
2017-02-06 12:46
360
goboard4__883_52.min1.thm1
2017-02-06 12:46
1.8K
goboard4__888_38.min1.thm1
2017-02-06 12:46
1.0K
goboard4__895_61.min1.thm1
2017-02-06 12:46
1.9K
goboard4__900_41.min1.thm1
2017-02-06 12:46
1.3K
goboard4__901_32.min1.thm1
2017-02-06 12:46
1.3K
goboard4__907_27.min1.thm1
2017-02-06 12:46
1.8K
goboard4__909_31.min1.thm1
2017-02-06 12:46
3.2K
goboard4__912_34.min1.thm1
2017-02-06 12:46
2.8K
goboard4__913_34.min1.thm1
2017-02-06 12:46
2.1K
goboard4__917_30.min1.thm1
2017-02-06 12:46
1.6K
goboard4__918_33.min1.thm1
2017-02-06 12:46
1.7K
goboard4__920_25.min1.thm1
2017-02-06 12:46
2.0K
goboard4__923_34.min1.thm1
2017-02-06 12:46
1.9K
goboard4__944_35.min1.thm1
2017-02-06 12:46
2.1K
goboard4__945_39.min1.thm1
2017-02-06 12:46
1.6K
goboard4__963_34.min1.thm1
2017-02-06 12:46
1.4K
goboard4__968_34.min1.thm1
2017-02-06 12:46
1.9K
goboard4__974_35.min1.thm1
2017-02-06 12:46
2.2K
goboard4__978_34.min1.thm1
2017-02-06 12:46
1.4K
goboard4__987_33.min1.thm1
2017-02-06 12:46
1.0K
goboard4__995_53.min1.thm1
2017-02-06 12:46
1.2K
goboard4__996_34.min1.thm1
2017-02-06 12:46
3.2K
goboard4__997_44.min1.thm1
2017-02-06 12:46
2.4K
goboard4__1004_31.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1009_26.min1.thm1
2017-02-06 12:46
2.8K
goboard4__1011_27.min1.thm1
2017-02-06 12:46
501
goboard4__1014_63.min1.thm1
2017-02-06 12:46
2.7K
goboard4__1016_57.min1.thm1
2017-02-06 12:46
907
goboard4__1016_57.min1.thm1.tptp
2017-02-06 16:47
833
goboard4__1024_57.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1031_35.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1039_45.min1.thm1
2017-02-06 12:46
2.7K
goboard4__1057_41.min1.thm1
2017-02-06 12:46
972
goboard4__1074_41.min1.thm1
2017-02-06 12:46
972
goboard4__1081_57.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1104_33.min1.thm1
2017-02-06 12:46
273
goboard4__1108_64.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1114_37.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1124_44.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1134_50.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1145_45.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1152_40.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1155_54.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1156_42.min1.thm1
2017-02-06 12:46
2.0K
goboard4__1162_41.min1.thm1
2017-02-06 12:46
2.7K
goboard4__1165_43.min1.thm1
2017-02-06 12:46
2.5K
goboard4__1166_41.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1169_40.min1.thm1
2017-02-06 12:46
2.8K
goboard4__1177_45.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1192_50.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1194_48.min1.thm1
2017-02-06 12:46
2.6K
goboard4__1203_51.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1208_46.min1.thm1
2017-02-06 12:46
398
goboard4__1211_42.min1.thm1
2017-02-06 12:46
386
goboard4__1214_38.min1.thm1
2017-02-06 12:46
376
goboard4__1217_34.min1.thm1
2017-02-06 12:46
362
goboard4__1223_31.min1.thm1
2017-02-06 12:46
1.5K
goboard4__1227_29.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1230_30.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1232_39.min1.thm1
2017-02-06 12:46
2.9K
goboard4__1240_36.min1.thm1
2017-02-06 12:46
775
goboard4__1250_38.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1259_46.min1.thm1
2017-02-06 12:46
2.0K
goboard4__1262_36.min1.thm1
2017-02-06 12:46
776
goboard4__1265_40.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1270_31.min1.thm1
2017-02-06 12:46
1.0K
goboard4__1273_39.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1280_28.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1291_44.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1293_39.min1.thm1
2017-02-06 12:46
4.1K
goboard4__1294_37.min1.thm1
2017-02-06 12:46
775
goboard4__1298_40.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1304_41.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1310_46.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1317_37.min1.thm1
2017-02-06 12:46
2.0K
goboard4__1332_33.min1.thm1
2017-02-06 12:46
273
goboard4__1335_39.min1.thm1
2017-02-06 12:46
1.5K
goboard4__1336_70.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1354_50.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1361_32.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1368_44.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1374_50.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1382_40.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1385_41.min1.thm1
2017-02-06 12:46
2.7K
goboard4__1386_70.min1.thm1
2017-02-06 12:46
3.8K
goboard4__1394_45.min1.thm1
2017-02-06 12:46
2.0K
goboard4__1410_50.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1412_48.min1.thm1
2017-02-06 12:46
2.6K
goboard4__1415_53.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1419_53.min1.thm1
2017-02-06 12:46
2.3K
goboard4__1422_46.min1.thm1
2017-02-06 12:46
398
goboard4__1425_42.min1.thm1
2017-02-06 12:46
386
goboard4__1428_38.min1.thm1
2017-02-06 12:46
543
goboard4__1431_34.min1.thm1
2017-02-06 12:46
362
goboard4__1433_42.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1436_32.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1442_29.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1443_37.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1451_39.min1.thm1
2017-02-06 12:46
837
goboard4__1461_43.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1473_40.min1.thm1
2017-02-06 12:46
838
goboard4__1476_43.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1481_31.min1.thm1
2017-02-06 12:46
1.0K
goboard4__1483_42.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1488_34.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1505_28.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1516_32.min1.thm1
2017-02-06 12:46
3.0K
goboard4__1518_29.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1519_40.min1.thm1
2017-02-06 12:46
837
goboard4__1523_40.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1529_41.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1535_46.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1540_40.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1548_38.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1553_42.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1555_36.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1558_37.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1578_46.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1580_40.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1593_42.min1.thm1
2017-02-06 12:46
1.5K
goboard4__1594_49.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1606_41.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1607_34.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1608_37.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1615_37.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1637_46.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1639_40.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1652_41.min1.thm1
2017-02-06 12:46
1.5K
goboard4__1653_48.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1664_34.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1667_35.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1670_63.min1.thm1
2017-02-06 12:46
1.9K
goboard4__1680_44.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1686_34.min1.thm1
2017-02-06 12:46
2.6K
goboard4__1689_34.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1690_46.min1.thm1
2017-02-06 12:46
2.8K
goboard4__1693_33.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1705_45.min1.thm1
2017-02-06 12:46
2.4K
goboard4__1707_43.min1.thm1
2017-02-06 12:46
3.0K
goboard4__1708_42.min1.thm1
2017-02-06 12:46
2.3K
goboard4__1712_35.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1713_42.min1.thm1
2017-02-06 12:46
3.6K
goboard4__1725_43.min1.thm1
2017-02-06 12:46
783
goboard4__1731_43.min1.thm1
2017-02-06 12:46
2.8K
goboard4__1732_58.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1734_45.min1.thm1
2017-02-06 12:46
2.8K
goboard4__1738_47.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1744_34.min1.thm1
2017-02-06 12:46
1.0K
goboard4__1747_57.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1761_65.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1765_35.min1.thm1
2017-02-06 12:46
2.0K
goboard4__1772_49.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1772_49.min1.thm1.tptp
2017-02-06 16:47
1.0K
goboard4__1776_44.min1.thm1
2017-02-06 12:46
2.5K
goboard4__1777_70.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1778_49.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1779_44.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1779_44.min1.thm1.tptp
2017-02-06 16:47
1.1K
goboard4__1780_53.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1781_44.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1784_45.min1.thm1
2017-02-06 12:46
1.0K
goboard4__1790_44.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1791_76.min1.thm1
2017-02-06 12:46
2.9K
goboard4__1803_49.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1803_49.min1.thm1.tptp
2017-02-06 16:47
1.0K
goboard4__1807_47.min1.thm1
2017-02-06 12:46
2.5K
goboard4__1808_70.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1809_50.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1810_44.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1810_44.min1.thm1.tptp
2017-02-06 16:47
1.1K
goboard4__1811_53.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1812_44.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1815_48.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1823_45.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1825_34.min1.thm1
2017-02-06 12:46
4.0K
goboard4__1839_59.min1.thm1
2017-02-06 12:46
395
goboard4__1849_46.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1850_40.min1.thm1
2017-02-06 12:46
3.0K
goboard4__1852_39.min1.thm1
2017-02-06 12:46
2.7K
goboard4__1853_43.min1.thm1
2017-02-06 12:46
2.3K
goboard4__1857_28.min1.thm1
2017-02-06 12:46
4.7K
goboard4__1863_67.min1.thm1
2017-02-06 12:46
3.0K
goboard4__1865_61.min1.thm1
2017-02-06 12:46
1.0K
goboard4__1865_61.min1.thm1.tptp
2017-02-06 16:47
967
goboard4__1867_59.min1.thm1
2017-02-06 12:46
395
goboard4__1871_47.min1.thm1
2017-02-06 12:46
2.3K
goboard4__1876_45.min1.thm1
2017-02-06 12:46
2.4K
goboard4__1877_70.min1.thm1
2017-02-06 12:46
4.3K
goboard4__1896_44.min1.thm1
2017-02-06 12:46
1.9K
goboard4__1897_48.min1.thm1
2017-02-06 12:46
2.8K
goboard4__1902_41.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1905_50.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1910_40.min1.thm1
2017-02-06 12:46
1.1K
goboard4__1911_35.min1.thm1
2017-02-06 12:46
1.0K
goboard4__1918_44.min1.thm1
2017-02-06 12:46
2.4K
goboard4__1920_43.min1.thm1
2017-02-06 12:46
3.0K
goboard4__1921_52.min1.thm1
2017-02-06 12:46
2.7K
goboard4__1929_42.min1.thm1
2017-02-06 12:46
2.3K
goboard4__1949_35.min1.thm1
2017-02-06 12:46
217
goboard4__1952_43.min1.thm1
2017-02-06 12:46
2.3K
goboard4__1953_42.min1.thm1
2017-02-06 12:46
1.6K
goboard4__1954_38.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1955_43.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1957_46.min1.thm1
2017-02-06 12:46
1.7K
goboard4__1959_60.min1.thm1
2017-02-06 12:46
2.1K
goboard4__1964_40.min1.thm1
2017-02-06 12:46
1.2K
goboard4__1965_43.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1967_36.min1.thm1
2017-02-06 12:46
2.0K
goboard4__1969_42.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1972_43.min1.thm1
2017-02-06 12:46
1.9K
goboard4__1974_45.min1.thm1
2017-02-06 12:46
1.3K
goboard4__1975_66.min1.thm1
2017-02-06 12:46
2.2K
goboard4__1981_44.min1.thm1
2017-02-06 12:46
1.4K
goboard4__1988_35.min1.thm1
2017-02-06 12:46
265
goboard4__1993_43.min1.thm1
2017-02-06 12:46
1.8K
goboard4__1998_65.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2000_42.min1.thm1
2017-02-06 12:46
2.6K
goboard4__2002_70.min1.thm1
2017-02-06 12:46
2.6K
goboard4__2008_45.min1.thm1
2017-02-06 12:46
2.1K
goboard4__2009_48.min1.thm1
2017-02-06 12:46
2.9K
goboard4__2013_43.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2016_43.min1.thm1
2017-02-06 12:46
1.9K
goboard4__2018_45.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2020_64.min1.thm1
2017-02-06 12:46
2.4K
goboard4__2021_41.min1.thm1
2017-02-06 12:46
3.7K
goboard4__2022_48.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2028_42.min1.thm1
2017-02-06 12:46
721
goboard4__2030_43.min1.thm1
2017-02-06 12:46
667
goboard4__2031_50.min1.thm1
2017-02-06 12:46
1.9K
goboard4__2032_50.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2047_34.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2048_53.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2049_44.min1.thm1
2017-02-06 12:46
697
goboard4__2050_68.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2052_39.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2056_35.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2069_34.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2070_33.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2072_43.min1.thm1
2017-02-06 12:46
2.8K
goboard4__2073_34.min1.thm1
2017-02-06 12:46
568
goboard4__2077_44.min1.thm1
2017-02-06 12:46
3.2K
goboard4__2085_34.min1.thm1
2017-02-06 12:46
568
goboard4__2089_39.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2098_57.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2107_44.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2115_68.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2117_39.min1.thm1
2017-02-06 12:46
2.8K
goboard4__2118_61.min1.thm1
2017-02-06 12:46
3.5K
goboard4__2123_35.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2124_42.min1.thm1
2017-02-06 12:46
3.6K
goboard4__2137_43.min1.thm1
2017-02-06 12:46
783
goboard4__2144_58.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2146_39.min1.thm1
2017-02-06 12:46
2.8K
goboard4__2147_38.min1.thm1
2017-02-06 12:46
3.0K
goboard4__2152_47.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2158_34.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2165_55.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2166_39.min1.thm1
2017-02-06 12:46
2.8K
goboard4__2167_49.min1.thm1
2017-02-06 12:46
2.7K
goboard4__2172_69.min1.thm1
2017-02-06 12:46
4.4K
goboard4__2185_57.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2199_65.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2203_38.min1.thm1
2017-02-06 12:46
2.0K
goboard4__2211_44.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2211_44.min1.thm1.tptp
2017-02-06 16:47
1.1K
goboard4__2212_44.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2215_59.min1.thm1
2017-02-06 12:46
3.2K
goboard4__2216_44.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2216_44.min1.thm1.tptp
2017-02-06 16:47
1.0K
goboard4__2220_44.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2221_70.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2222_49.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2223_53.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2224_44.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2226_45.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2243_49.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2243_49.min1.thm1.tptp
2017-02-06 16:47
1.0K
goboard4__2247_47.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2248_70.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2249_44.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2249_44.min1.thm1.tptp
2017-02-06 16:47
1.1K
goboard4__2251_50.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2252_53.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2253_44.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2256_48.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2264_45.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2265_62.min1.thm1
2017-02-06 12:46
3.8K
goboard4__2288_67.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2290_34.min1.thm1
2017-02-06 12:46
2.3K
goboard4__2293_39.min1.thm1
2017-02-06 12:46
2.7K
goboard4__2296_53.min1.thm1
2017-02-06 12:46
5.0K
goboard4__2299_38.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2302_67.min1.thm1
2017-02-06 12:46
3.0K
goboard4__2304_61.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2304_61.min1.thm1.tptp
2017-02-06 16:47
967
goboard4__2311_32.min1.thm1
2017-02-06 12:46
3.1K
goboard4__2312_40.min1.thm1
2017-02-06 12:46
2.8K
goboard4__2314_58.min1.thm1
2017-02-06 12:46
3.5K
goboard4__2315_44.min1.thm1
2017-02-06 12:46
3.1K
goboard4__2332_35.min1.thm1
2017-02-06 12:46
217
goboard4__2335_43.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2336_42.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2337_38.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2338_43.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2340_42.min1.thm1
2017-02-06 12:46
2.0K
goboard4__2342_60.min1.thm1
2017-02-06 12:46
2.1K
goboard4__2347_40.min1.thm1
2017-02-06 12:46
1.2K
goboard4__2348_43.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2350_36.min1.thm1
2017-02-06 12:46
2.0K
goboard4__2352_42.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2355_43.min1.thm1
2017-02-06 12:46
1.9K
goboard4__2357_45.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2358_66.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2364_44.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2369_42.min1.thm1
2017-02-06 12:46
721
goboard4__2371_43.min1.thm1
2017-02-06 12:46
667
goboard4__2384_42.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2385_39.min1.thm1
2017-02-06 12:46
2.9K
goboard4__2390_41.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2393_50.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2398_40.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2399_35.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2411_50.min1.thm1
2017-02-06 12:46
1.9K
goboard4__2412_50.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2418_35.min1.thm1
2017-02-06 12:46
265
goboard4__2421_43.min1.thm1
2017-02-06 12:46
2.3K
goboard4__2427_65.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2429_42.min1.thm1
2017-02-06 12:46
3.4K
goboard4__2431_70.min1.thm1
2017-02-06 12:46
2.6K
goboard4__2437_45.min1.thm1
2017-02-06 12:46
2.1K
goboard4__2438_48.min1.thm1
2017-02-06 12:46
2.9K
goboard4__2442_43.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2445_43.min1.thm1
2017-02-06 12:46
1.9K
goboard4__2447_45.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2449_64.min1.thm1
2017-02-06 12:46
2.4K
goboard4__2450_41.min1.thm1
2017-02-06 12:46
3.7K
goboard4__2451_48.min1.thm1
2017-02-06 12:46
2.2K
goboard4__2467_34.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2468_53.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2469_44.min1.thm1
2017-02-06 12:46
697
goboard4__2470_68.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2472_39.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2475_32.min1.thm1
2017-02-06 12:46
390
goboard4__2478_28.min1.thm1
2017-02-06 12:46
376
goboard4__2483_20.min1.thm1
2017-02-06 12:46
350
goboard4__2486_16.min1.thm1
2017-02-06 12:46
340
goboard4__2488_10.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2497_32.min1.thm1
2017-02-06 12:46
421
goboard4__2497_32.min1.thm1.tptp
2017-02-06 16:47
344
goboard4__2499_17.min1.thm1
2017-02-06 12:46
1.6K
goboard4__2501_20.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2520_26.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2524_18.min1.thm1
2017-02-06 12:46
503
goboard4__2524_18.min1.thm1.tptp
2017-02-06 16:47
449
goboard4__2530_17.min1.thm1
2017-02-06 12:46
665
goboard4__2556_27.min1.thm1
2017-02-06 12:46
939
goboard4__2559_26.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2560_34.min1.thm1
2017-02-06 12:46
2.4K
goboard4__2568_14.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2569_39.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2570_26.min1.thm1
2017-02-06 12:46
778
goboard4__2571_19.min1.thm1
2017-02-06 12:46
1.8K
goboard4__2596_30.min1.thm1
2017-02-06 12:46
592
goboard4__2597_63.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2599_25.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2601_12.min1.thm1
2017-02-06 12:46
1.4K
goboard4__2604_25.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2605_17.min1.thm1
2017-02-06 12:46
2.4K
goboard4__2610_23.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2612_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2613_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2615_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2627_15.min1.thm1
2017-02-06 12:46
252
goboard4__2630_49.min1.thm1
2017-02-06 12:46
971
goboard4__2641_17.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2643_16.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2645_53.min1.thm1
2017-02-06 12:46
444
goboard4__2645_53.min1.thm1.tptp
2017-02-06 16:47
358
goboard4__2646_50.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2656_17.min1.thm1
2017-02-06 12:46
348
goboard4__2660_18.min1.thm1
2017-02-06 12:46
2.8K
goboard4__2679_15.min1.thm1
2017-02-06 12:46
252
goboard4__2682_49.min1.thm1
2017-02-06 12:46
971
goboard4__2693_17.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2695_16.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2697_53.min1.thm1
2017-02-06 12:46
444
goboard4__2697_53.min1.thm1.tptp
2017-02-06 16:47
358
goboard4__2698_50.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2708_17.min1.thm1
2017-02-06 12:46
348
goboard4__2740_17.min1.thm1
2017-02-06 12:46
2.3K
goboard4__2741_17.min1.thm1
2017-02-06 12:46
2.4K
goboard4__2746_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2747_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2748_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2760_15.min1.thm1
2017-02-06 12:46
252
goboard4__2763_49.min1.thm1
2017-02-06 12:46
971
goboard4__2774_17.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2776_16.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2778_53.min1.thm1
2017-02-06 12:46
444
goboard4__2778_53.min1.thm1.tptp
2017-02-06 16:47
358
goboard4__2779_50.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2789_17.min1.thm1
2017-02-06 12:46
348
goboard4__2808_15.min1.thm1
2017-02-06 12:46
252
goboard4__2811_49.min1.thm1
2017-02-06 12:46
971
goboard4__2822_17.min1.thm1
2017-02-06 12:46
2.5K
goboard4__2824_16.min1.thm1
2017-02-06 12:46
1.3K
goboard4__2826_53.min1.thm1
2017-02-06 12:46
444
goboard4__2826_53.min1.thm1.tptp
2017-02-06 16:47
358
goboard4__2827_50.min1.thm1
2017-02-06 12:46
1.0K
goboard4__2837_17.min1.thm1
2017-02-06 12:46
348
goboard4__2843_14.min1.thm1
2017-02-06 12:46
2.3K
goboard4__2896_20.min1.thm1
2017-02-06 12:46
1.2K
goboard4__2897_16.min1.thm1
2017-02-06 12:46
755
goboard4__2898_59.min1.thm1
2017-02-06 12:46
949
goboard4__2899_24.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2904_21.min1.thm1
2017-02-06 12:46
1.2K
goboard4__2905_16.min1.thm1
2017-02-06 12:46
756
goboard4__2906_59.min1.thm1
2017-02-06 12:46
949
goboard4__2907_25.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2909_42.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2910_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2911_17.min1.thm1
2017-02-06 12:46
640
goboard4__2913_17.min1.thm1
2017-02-06 12:46
2.3K
goboard4__2928_21.min1.thm1
2017-02-06 12:46
1.2K
goboard4__2932_17.min1.thm1
2017-02-06 12:46
633
goboard4__2934_17.min1.thm1
2017-02-06 12:46
2.3K
goboard4__2949_21.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2953_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2962_21.min1.thm1
2017-02-06 12:46
1.2K
goboard4__2966_41.min1.thm1
2017-02-06 12:46
1.7K
goboard4__2975_21.min1.thm1
2017-02-06 12:46
1.1K
goboard4__2979_32.min1.thm1
2017-02-06 12:46
651
goboard4__2980_29.min1.thm1
2017-02-06 12:46
643
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80