Index of /~mptp/1147/MPTP2/ilp0/goboard8
Name
Last modified
Size
Description
Parent Directory
-
goboard8__50_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__55_13.min1.thm1
2017-02-06 12:46
928
goboard8__67_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__71_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__78_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__80_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__86_74.min1.thm1
2017-02-06 12:46
2.5K
goboard8__93_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__107_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__112_13.min1.thm1
2017-02-06 12:46
928
goboard8__123_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__128_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__129_25.min1.thm1
2017-02-06 12:46
2.4K
goboard8__132_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__139_16.min1.thm1
2017-02-06 12:46
929
goboard8__140_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__142_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__148_63.min1.thm1
2017-02-06 12:46
1.7K
goboard8__155_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__169_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__174_13.min1.thm1
2017-02-06 12:46
928
goboard8__185_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__190_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__195_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__197_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__203_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__205_23.min1.thm1
2017-02-06 12:46
2.4K
goboard8__210_69.min1.thm1
2017-02-06 12:46
2.5K
goboard8__217_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__231_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__236_13.min1.thm1
2017-02-06 12:46
928
goboard8__248_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__252_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__259_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__261_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__267_74.min1.thm1
2017-02-06 12:46
2.5K
goboard8__274_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__288_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__293_13.min1.thm1
2017-02-06 12:46
928
goboard8__304_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__307_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__308_25.min1.thm1
2017-02-06 12:46
2.4K
goboard8__311_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__318_16.min1.thm1
2017-02-06 12:46
929
goboard8__319_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__321_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__322_16.min1.thm1
2017-02-06 12:46
929
goboard8__328_65.min1.thm1
2017-02-06 12:46
1.8K
goboard8__335_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__349_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__354_13.min1.thm1
2017-02-06 12:46
928
goboard8__365_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__368_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__373_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__375_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__376_16.min1.thm1
2017-02-06 12:46
929
goboard8__377_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__379_23.min1.thm1
2017-02-06 12:46
2.4K
goboard8__389_76.min1.thm1
2017-02-06 12:46
2.6K
goboard8__396_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__410_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__414_13.min1.thm1
2017-02-06 12:46
928
goboard8__417_22.min1.thm1
2017-02-06 12:46
824
goboard8__417_22.min1.thm1.tptp
2017-02-06 16:47
741
goboard8__424_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__429_21.min1.thm1
2017-02-06 12:46
2.1K
goboard8__431_26.min1.thm1
2017-02-06 12:46
2.3K
goboard8__434_20.min1.thm1
2017-02-06 12:46
2.3K
goboard8__443_59.min1.thm1
2017-02-06 12:46
1.6K
goboard8__449_36.min1.thm1
2017-02-06 12:46
2.3K
goboard8__450_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__464_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__467_38.min1.thm1
2017-02-06 12:46
3.7K
goboard8__468_13.min1.thm1
2017-02-06 12:46
928
goboard8__471_22.min1.thm1
2017-02-06 12:46
824
goboard8__471_22.min1.thm1.tptp
2017-02-06 16:47
741
goboard8__478_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__481_21.min1.thm1
2017-02-06 12:46
2.1K
goboard8__483_26.min1.thm1
2017-02-06 12:46
2.3K
goboard8__486_20.min1.thm1
2017-02-06 12:46
2.3K
goboard8__491_16.min1.thm1
2017-02-06 12:46
929
goboard8__497_61.min1.thm1
2017-02-06 12:46
1.7K
goboard8__503_36.min1.thm1
2017-02-06 12:46
2.3K
goboard8__504_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__519_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__524_13.min1.thm1
2017-02-06 12:46
928
goboard8__534_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__544_23.min1.thm1
2017-02-06 12:46
825
goboard8__544_23.min1.thm1.tptp
2017-02-06 16:47
742
goboard8__548_38.min1.thm1
2017-02-06 12:46
3.1K
goboard8__561_4.min1.thm1
2017-02-06 12:46
1.9K
goboard8__567_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__582_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__587_13.min1.thm1
2017-02-06 12:46
932
goboard8__597_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__606_38.min1.thm1
2017-02-06 12:46
3.2K
goboard8__614_16.min1.thm1
2017-02-06 12:46
933
goboard8__615_23.min1.thm1
2017-02-06 12:46
836
goboard8__615_23.min1.thm1.tptp
2017-02-06 16:47
753
goboard8__626_4.min1.thm1
2017-02-06 12:46
2.0K
goboard8__632_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__646_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__651_13.min1.thm1
2017-02-06 12:46
932
goboard8__662_23.min1.thm1
2017-02-06 12:46
2.1K
goboard8__663_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__667_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__669_24.min1.thm1
2017-02-06 12:46
3.3K
goboard8__674_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__682_74.min1.thm1
2017-02-06 12:46
2.6K
goboard8__689_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__703_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__708_13.min1.thm1
2017-02-06 12:46
932
goboard8__719_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__721_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__723_23.min1.thm1
2017-02-06 12:46
2.9K
goboard8__724_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__725_23.min1.thm1
2017-02-06 12:46
3.1K
goboard8__728_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__730_24.min1.thm1
2017-02-06 12:46
3.3K
goboard8__735_16.min1.thm1
2017-02-06 12:46
933
goboard8__736_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__744_63.min1.thm1
2017-02-06 12:46
1.8K
goboard8__751_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__765_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__770_13.min1.thm1
2017-02-06 12:46
932
goboard8__781_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__783_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__785_23.min1.thm1
2017-02-06 12:46
2.9K
goboard8__786_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__788_24.min1.thm1
2017-02-06 12:46
3.3K
goboard8__791_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__799_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__801_21.min1.thm1
2017-02-06 12:46
3.1K
goboard8__806_69.min1.thm1
2017-02-06 12:46
2.6K
goboard8__813_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__827_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__832_13.min1.thm1
2017-02-06 12:46
932
goboard8__843_23.min1.thm1
2017-02-06 12:46
2.1K
goboard8__844_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__848_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__850_24.min1.thm1
2017-02-06 12:46
3.3K
goboard8__855_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__863_74.min1.thm1
2017-02-06 12:46
2.6K
goboard8__870_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__884_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__889_13.min1.thm1
2017-02-06 12:46
932
goboard8__900_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__902_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__903_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__904_23.min1.thm1
2017-02-06 12:46
3.1K
goboard8__907_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__909_24.min1.thm1
2017-02-06 12:46
3.3K
goboard8__914_16.min1.thm1
2017-02-06 12:46
933
goboard8__915_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__918_16.min1.thm1
2017-02-06 12:46
933
goboard8__924_65.min1.thm1
2017-02-06 12:46
1.9K
goboard8__931_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__945_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__950_13.min1.thm1
2017-02-06 12:46
932
goboard8__961_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__963_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__964_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__966_24.min1.thm1
2017-02-06 12:46
3.3K
goboard8__969_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__972_16.min1.thm1
2017-02-06 12:46
933
goboard8__973_12.min1.thm1
2017-02-06 12:46
1.1K
goboard8__975_21.min1.thm1
2017-02-06 12:46
3.1K
goboard8__985_76.min1.thm1
2017-02-06 12:46
2.7K
goboard8__992_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__1006_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1010_13.min1.thm1
2017-02-06 12:46
932
goboard8__1013_20.min1.thm1
2017-02-06 12:46
835
goboard8__1013_20.min1.thm1.tptp
2017-02-06 16:47
752
goboard8__1020_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1022_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__1024_23.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1025_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1027_24.min1.thm1
2017-02-06 12:46
2.8K
goboard8__1030_18.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1039_59.min1.thm1
2017-02-06 12:46
1.6K
goboard8__1045_36.min1.thm1
2017-02-06 12:46
2.3K
goboard8__1046_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__1060_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1064_13.min1.thm1
2017-02-06 12:46
932
goboard8__1067_20.min1.thm1
2017-02-06 12:46
835
goboard8__1067_20.min1.thm1.tptp
2017-02-06 16:47
752
goboard8__1074_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1076_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__1077_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1079_24.min1.thm1
2017-02-06 12:46
2.8K
goboard8__1082_18.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1087_16.min1.thm1
2017-02-06 12:46
933
goboard8__1093_61.min1.thm1
2017-02-06 12:46
1.7K
goboard8__1099_36.min1.thm1
2017-02-06 12:46
2.3K
goboard8__1100_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__1115_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1120_13.min1.thm1
2017-02-06 12:46
932
goboard8__1130_17.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1132_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__1134_23.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1140_21.min1.thm1
2017-02-06 12:46
836
goboard8__1140_21.min1.thm1.tptp
2017-02-06 16:47
753
goboard8__1157_75.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1164_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__1179_19.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1184_13.min1.thm1
2017-02-06 12:46
932
goboard8__1193_20.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1195_25.min1.thm1
2017-02-06 12:46
3.6K
goboard8__1200_36.min1.thm1
2017-02-06 12:46
3.0K
goboard8__1210_16.min1.thm1
2017-02-06 12:46
933
goboard8__1211_21.min1.thm1
2017-02-06 12:46
836
goboard8__1211_21.min1.thm1.tptp
2017-02-06 16:47
753
goboard8__1220_75.min1.thm1
2017-02-06 12:46
2.0K
goboard8__1227_41.min1.thm1
2017-02-06 12:46
1.3K
goboard8__1241_15.min1.thm1
2017-02-06 12:46
491
goboard8__1241_15.min1.thm1.tptp
2017-02-06 16:47
437
goboard8__1242_40.min1.thm1
2017-02-06 12:46
486
goboard8__1243_28.min1.thm1
2017-02-06 12:46
753
goboard8__1244_22.min1.thm1
2017-02-06 12:46
835
goboard8__1244_22.min1.thm1.tptp
2017-02-06 16:47
752
goboard8__1245_29.min1.thm1
2017-02-06 12:46
750
goboard8__1245_29.min1.thm1.tptp
2017-02-06 16:47
674
goboard8__1254_24.min1.thm1
2017-02-06 12:46
2.2K
goboard8__1256_22.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1260_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1261_23.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1262_34.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1265_18.min1.thm1
2017-02-06 12:46
1.7K
goboard8__1273_15.min1.thm1
2017-02-06 12:46
936
goboard8__1274_24.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1278_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1279_23.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1280_34.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1283_18.min1.thm1
2017-02-06 12:46
1.8K
goboard8__1297_15.min1.thm1
2017-02-06 12:46
491
goboard8__1297_15.min1.thm1.tptp
2017-02-06 16:47
437
goboard8__1298_40.min1.thm1
2017-02-06 12:46
486
goboard8__1299_36.min1.thm1
2017-02-06 12:46
825
goboard8__1300_22.min1.thm1
2017-02-06 12:46
835
goboard8__1300_22.min1.thm1.tptp
2017-02-06 16:47
752
goboard8__1301_29.min1.thm1
2017-02-06 12:46
750
goboard8__1301_29.min1.thm1.tptp
2017-02-06 16:47
674
goboard8__1312_22.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1316_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1317_23.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1318_34.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1321_26.min1.thm1
2017-02-06 12:46
3.3K
goboard8__1328_28.min1.thm1
2017-02-06 12:46
2.2K
goboard8__1329_15.min1.thm1
2017-02-06 12:46
936
goboard8__1330_24.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1334_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1335_23.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1336_34.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1339_26.min1.thm1
2017-02-06 12:46
3.1K
goboard8__1353_15.min1.thm1
2017-02-06 12:46
491
goboard8__1353_15.min1.thm1.tptp
2017-02-06 16:47
437
goboard8__1354_40.min1.thm1
2017-02-06 12:46
486
goboard8__1355_28.min1.thm1
2017-02-06 12:46
753
goboard8__1356_20.min1.thm1
2017-02-06 12:46
835
goboard8__1356_20.min1.thm1.tptp
2017-02-06 16:47
752
goboard8__1357_29.min1.thm1
2017-02-06 12:46
750
goboard8__1357_29.min1.thm1.tptp
2017-02-06 16:47
674
goboard8__1366_24.min1.thm1
2017-02-06 12:46
2.2K
goboard8__1368_22.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1372_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1373_25.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1374_32.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1377_18.min1.thm1
2017-02-06 12:46
1.7K
goboard8__1385_15.min1.thm1
2017-02-06 12:46
936
goboard8__1386_24.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1390_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1391_25.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1392_32.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1395_18.min1.thm1
2017-02-06 12:46
1.8K
goboard8__1409_15.min1.thm1
2017-02-06 12:46
491
goboard8__1409_15.min1.thm1.tptp
2017-02-06 16:47
437
goboard8__1410_40.min1.thm1
2017-02-06 12:46
486
goboard8__1411_38.min1.thm1
2017-02-06 12:46
825
goboard8__1412_20.min1.thm1
2017-02-06 12:46
835
goboard8__1412_20.min1.thm1.tptp
2017-02-06 16:47
752
goboard8__1413_29.min1.thm1
2017-02-06 12:46
750
goboard8__1413_29.min1.thm1.tptp
2017-02-06 16:47
674
goboard8__1424_22.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1428_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1429_25.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1430_32.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1433_28.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1440_28.min1.thm1
2017-02-06 12:46
2.2K
goboard8__1441_15.min1.thm1
2017-02-06 12:46
936
goboard8__1442_24.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1446_15.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1447_25.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1448_32.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1451_28.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1467_15.min1.thm1
2017-02-06 12:46
812
goboard8__1471_17.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1472_39.min1.thm1
2017-02-06 12:46
3.5K
goboard8__1475_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1509_20.min1.thm1
2017-02-06 12:46
837
goboard8__1509_20.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1522_29.min1.thm1
2017-02-06 12:46
770
goboard8__1541_20.min1.thm1
2017-02-06 12:46
837
goboard8__1541_20.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1545_34.min1.thm1
2017-02-06 12:46
3.5K
goboard8__1549_30.min1.thm1
2017-02-06 12:46
908
goboard8__1550_26.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1587_15.min1.thm1
2017-02-06 12:46
812
goboard8__1591_17.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1592_39.min1.thm1
2017-02-06 12:46
3.5K
goboard8__1595_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1638_20.min1.thm1
2017-02-06 12:46
837
goboard8__1638_20.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1655_39.min1.thm1
2017-02-06 12:46
967
goboard8__1674_20.min1.thm1
2017-02-06 12:46
837
goboard8__1674_20.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1678_34.min1.thm1
2017-02-06 12:46
3.5K
goboard8__1684_39.min1.thm1
2017-02-06 12:46
842
goboard8__1723_15.min1.thm1
2017-02-06 12:46
812
goboard8__1727_17.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1728_41.min1.thm1
2017-02-06 12:46
3.2K
goboard8__1731_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1765_22.min1.thm1
2017-02-06 12:46
837
goboard8__1765_22.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1766_30.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1778_29.min1.thm1
2017-02-06 12:46
770
goboard8__1797_22.min1.thm1
2017-02-06 12:46
837
goboard8__1797_22.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1805_30.min1.thm1
2017-02-06 12:46
908
goboard8__1806_26.min1.thm1
2017-02-06 12:46
1.9K
goboard8__1843_15.min1.thm1
2017-02-06 12:46
812
goboard8__1847_17.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1848_41.min1.thm1
2017-02-06 12:46
3.2K
goboard8__1851_15.min1.thm1
2017-02-06 12:46
1.5K
goboard8__1892_22.min1.thm1
2017-02-06 12:46
837
goboard8__1892_22.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1893_30.min1.thm1
2017-02-06 12:46
2.1K
goboard8__1909_37.min1.thm1
2017-02-06 12:46
967
goboard8__1928_22.min1.thm1
2017-02-06 12:46
837
goboard8__1928_22.min1.thm1.tptp
2017-02-06 16:47
754
goboard8__1938_37.min1.thm1
2017-02-06 12:46
842
goboard8__1973_13.min1.thm1
2017-02-06 12:46
810
goboard8__1974_20.min1.thm1
2017-02-06 12:46
2.7K
goboard8__1976_17.min1.thm1
2017-02-06 12:46
1.8K
goboard8__1980_22.min1.thm1
2017-02-06 12:46
1.8K
goboard8__1981_12.min1.thm1
2017-02-06 12:46
2.4K
goboard8__1983_15.min1.thm1
2017-02-06 12:46
593
goboard8__1984_12.min1.thm1
2017-02-06 12:46
2.4K
goboard8__1986_15.min1.thm1
2017-02-06 12:46
593
goboard8__1987_12.min1.thm1
2017-02-06 12:46
866
goboard8__1989_21.min1.thm1
2017-02-06 12:46
2.5K
goboard8__1990_25.min1.thm1
2017-02-06 12:46
1.8K
goboard8__1991_13.min1.thm1
2017-02-06 12:46
933
goboard8__1993_20.min1.thm1
2017-02-06 12:46
2.9K
goboard8__1997_65.min1.thm1
2017-02-06 12:46
1.0K
goboard8__2002_37.min1.thm1
2017-02-06 12:46
560
goboard8__2003_16.min1.thm1
2017-02-06 12:46
1.0K
goboard8__2004_16.min1.thm1
2017-02-06 12:46
1.0K
goboard8__2005_25.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2006_23.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2007_12.min1.thm1
2017-02-06 12:46
937
goboard8__2043_13.min1.thm1
2017-02-06 12:46
810
goboard8__2044_20.min1.thm1
2017-02-06 12:46
2.7K
goboard8__2046_17.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2050_22.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2051_12.min1.thm1
2017-02-06 12:46
2.4K
goboard8__2053_15.min1.thm1
2017-02-06 12:46
593
goboard8__2054_12.min1.thm1
2017-02-06 12:46
2.4K
goboard8__2056_15.min1.thm1
2017-02-06 12:46
593
goboard8__2057_12.min1.thm1
2017-02-06 12:46
866
goboard8__2059_21.min1.thm1
2017-02-06 12:46
2.5K
goboard8__2060_25.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2061_13.min1.thm1
2017-02-06 12:46
933
goboard8__2063_20.min1.thm1
2017-02-06 12:46
2.9K
goboard8__2067_65.min1.thm1
2017-02-06 12:46
1.0K
goboard8__2072_37.min1.thm1
2017-02-06 12:46
560
goboard8__2073_16.min1.thm1
2017-02-06 12:46
1.0K
goboard8__2074_16.min1.thm1
2017-02-06 12:46
1.0K
goboard8__2075_25.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2076_23.min1.thm1
2017-02-06 12:46
1.8K
goboard8__2077_12.min1.thm1
2017-02-06 12:46
937
goboard8__2079_24.min1.thm1
2017-02-06 12:46
2.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80