Index of /~mptp/1147/mptp/ilp0/aff_1
Name
Last modified
Size
Description
Parent Directory
-
aff_1__1305_17.min1.thm1
2017-02-06 12:46
545
aff_1__1304_14.min1.thm1
2017-02-06 12:46
945
aff_1__1303_16.min1.thm1
2017-02-06 12:46
945
aff_1__1302_17.min1.thm1
2017-02-06 12:46
2.9K
aff_1__1293_17.min1.thm1
2017-02-06 12:46
496
aff_1__1292_14.min1.thm1
2017-02-06 12:46
1.5K
aff_1__1291_13.min1.thm1
2017-02-06 12:46
1.6K
aff_1__1288_25.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1287_9.min1.thm1
2017-02-06 12:46
854
aff_1__1284_22.min1.thm1
2017-02-06 12:46
1.4K
aff_1__1283_13.min1.thm1
2017-02-06 12:46
741
aff_1__1282_15.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1277_13.min1.thm1
2017-02-06 12:46
741
aff_1__1265_17.min1.thm1
2017-02-06 12:46
448
aff_1__1264_16.min1.thm1
2017-02-06 12:46
1.5K
aff_1__1263_14.min1.thm1
2017-02-06 12:46
947
aff_1__1262_14.min1.thm1
2017-02-06 12:46
1.5K
aff_1__1260_14.min1.thm1
2017-02-06 12:46
947
aff_1__1259_17.min1.thm1
2017-02-06 12:46
2.9K
aff_1__1256_19.min1.thm1
2017-02-06 12:46
1.9K
aff_1__1255_18.min1.thm1
2017-02-06 12:46
849
aff_1__1252_18.min1.thm1
2017-02-06 12:46
849
aff_1__1232_20.min1.thm1.tptp
2017-02-06 16:48
851
aff_1__1232_20.min1.thm1
2017-02-06 12:46
828
aff_1__1226_16.min1.thm1
2017-02-06 12:46
2.1K
aff_1__1225_17.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1224_14.min1.thm1
2017-02-06 12:46
715
aff_1__1223_14.min1.thm1
2017-02-06 12:46
715
aff_1__1220_16.min1.thm1
2017-02-06 12:46
1.3K
aff_1__1215_23.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1213_12.min1.thm1
2017-02-06 12:46
767
aff_1__1212_15.min1.thm1
2017-02-06 12:46
2.4K
aff_1__1210_12.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1209_14.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1207_14.min1.thm1
2017-02-06 12:46
715
aff_1__1206_14.min1.thm1
2017-02-06 12:46
715
aff_1__1205_14.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1203_21.min1.thm1
2017-02-06 12:46
922
aff_1__1202_23.min1.thm1
2017-02-06 12:46
1.6K
aff_1__1201_9.min1.thm1
2017-02-06 12:46
767
aff_1__1200_15.min1.thm1
2017-02-06 12:46
715
aff_1__1199_23.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1197_12.min1.thm1
2017-02-06 12:46
767
aff_1__1196_23.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1192_16.min1.thm1
2017-02-06 12:46
1.3K
aff_1__1185_14.min1.thm1
2017-02-06 12:46
714
aff_1__1170_17.min1.thm1
2017-02-06 12:46
1.6K
aff_1__1169_18.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1166_22.min1.thm1
2017-02-06 12:46
924
aff_1__1165_23.min1.thm1
2017-02-06 12:46
1.1K
aff_1__1151_9.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1150_15.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1148_14.min1.thm1
2017-02-06 12:46
715
aff_1__1147_14.min1.thm1
2017-02-06 12:46
715
aff_1__1146_15.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1144_14.min1.thm1
2017-02-06 12:46
715
aff_1__1143_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1141_11.min1.thm1
2017-02-06 12:46
766
aff_1__1140_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1138_11.min1.thm1
2017-02-06 12:46
766
aff_1__1137_13.min1.thm1
2017-02-06 12:46
714
aff_1__1125_17.min1.thm1
2017-02-06 12:46
2.0K
aff_1__1124_15.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1123_18.min1.thm1
2017-02-06 12:46
1.4K
aff_1__1118_22.min1.thm1
2017-02-06 12:46
893
aff_1__1117_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__1112_22.min1.thm1
2017-02-06 12:46
892
aff_1__1103_55.min1.thm1.tptp
2017-02-06 16:48
825
aff_1__1103_55.min1.thm1
2017-02-06 12:46
814
aff_1__1100_6.min1.thm1
2017-02-06 12:46
1.3K
aff_1__1092_50.min1.thm1
2017-02-06 12:46
1.4K
aff_1__1088_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1087_11.min1.thm1
2017-02-06 12:46
2.0K
aff_1__1086_13.min1.thm1
2017-02-06 12:46
714
aff_1__1084_11.min1.thm1
2017-02-06 12:46
2.1K
aff_1__1081_18.min1.thm1
2017-02-06 12:46
796
aff_1__1072_17.min1.thm1.tptp
2017-02-06 16:48
235
aff_1__1072_17.min1.thm1
2017-02-06 12:46
323
aff_1__1070_19.min1.thm1
2017-02-06 12:46
1.6K
aff_1__1068_27.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1065_13.min1.thm1
2017-02-06 12:46
716
aff_1__1064_13.min1.thm1
2017-02-06 12:46
716
aff_1__1047_13.min1.thm1
2017-02-06 12:46
1.7K
aff_1__1046_16.min1.thm1
2017-02-06 12:46
1.8K
aff_1__1045_23.min1.thm1
2017-02-06 12:46
1.5K
aff_1__1044_20.min1.thm1
2017-02-06 12:46
1.1K
aff_1__1041_14.min1.thm1
2017-02-06 12:46
1.4K
aff_1__1040_13.min1.thm1
2017-02-06 12:46
714
aff_1__1039_14.min1.thm1
2017-02-06 12:46
1.5K
aff_1__1023_11.min1.thm1
2017-02-06 12:46
1.5K
aff_1__1022_13.min1.thm1
2017-02-06 12:46
714
aff_1__1021_13.min1.thm1
2017-02-06 12:46
1.4K
aff_1__1019_14.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1005_17.min1.thm1
2017-02-06 12:46
368
aff_1__1004_11.min1.thm1
2017-02-06 12:46
1.0K
aff_1__1003_14.min1.thm1
2017-02-06 12:46
1.3K
aff_1__1000_19.min1.thm1.tptp
2017-02-06 16:48
301
aff_1__1000_19.min1.thm1
2017-02-06 12:46
365
aff_1__998_21.min1.thm1
2017-02-06 12:46
426
aff_1__996_23.min1.thm1
2017-02-06 12:46
1.6K
aff_1__995_22.min1.thm1
2017-02-06 12:46
1.1K
aff_1__994_21.min1.thm1
2017-02-06 12:46
1.0K
aff_1__992_27.min1.thm1
2017-02-06 12:46
1.2K
aff_1__991_27.min1.thm1
2017-02-06 12:46
1.5K
aff_1__990_25.min1.thm1
2017-02-06 12:46
1.5K
aff_1__989_28.min1.thm1
2017-02-06 12:46
1.6K
aff_1__986_17.min1.thm1
2017-02-06 12:46
878
aff_1__982_43.min1.thm1
2017-02-06 12:46
477
aff_1__977_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__976_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__960_26.min1.thm1.tptp
2017-02-06 16:48
1.1K
aff_1__960_26.min1.thm1
2017-02-06 12:46
1.1K
aff_1__955_17.min1.thm1
2017-02-06 12:46
1.9K
aff_1__954_20.min1.thm1
2017-02-06 12:46
1.7K
aff_1__953_20.min1.thm1
2017-02-06 12:46
2.0K
aff_1__952_11.min1.thm1
2017-02-06 12:46
771
aff_1__951_14.min1.thm1
2017-02-06 12:46
776
aff_1__950_14.min1.thm1
2017-02-06 12:46
775
aff_1__949_19.min1.thm1
2017-02-06 12:46
826
aff_1__946_23.min1.thm1
2017-02-06 12:46
1.0K
aff_1__945_13.min1.thm1
2017-02-06 12:46
771
aff_1__944_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__943_18.min1.thm1
2017-02-06 12:46
1.5K
aff_1__930_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__929_20.min1.thm1
2017-02-06 12:46
1.7K
aff_1__928_20.min1.thm1
2017-02-06 12:46
1.4K
aff_1__927_11.min1.thm1
2017-02-06 12:46
771
aff_1__926_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__925_13.min1.thm1
2017-02-06 12:46
770
aff_1__924_18.min1.thm1
2017-02-06 12:46
1.5K
aff_1__910_13.min1.thm1.tptp
2017-02-06 16:48
618
aff_1__910_13.min1.thm1
2017-02-06 12:46
661
aff_1__905_17.min1.thm1
2017-02-06 12:46
1.7K
aff_1__904_15.min1.thm1
2017-02-06 12:46
1.2K
aff_1__903_18.min1.thm1
2017-02-06 12:46
1.3K
aff_1__891_16.min1.thm1.tptp
2017-02-06 16:48
478
aff_1__891_16.min1.thm1
2017-02-06 12:46
535
aff_1__886_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__885_15.min1.thm1
2017-02-06 12:46
705
aff_1__884_18.min1.thm1
2017-02-06 12:46
796
aff_1__875_14.min1.thm1
2017-02-06 12:46
274
aff_1__873_19.min1.thm1
2017-02-06 12:46
1.5K
aff_1__872_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__871_18.min1.thm1
2017-02-06 12:46
1.1K
aff_1__870_11.min1.thm1
2017-02-06 12:46
1.0K
aff_1__865_22.min1.thm1
2017-02-06 12:46
796
aff_1__855_17.min1.thm1
2017-02-06 12:46
1.1K
aff_1__853_19.min1.thm1
2017-02-06 12:46
1.7K
aff_1__852_22.min1.thm1
2017-02-06 12:46
798
aff_1__848_22.min1.thm1
2017-02-06 12:46
798
aff_1__835_19.min1.thm1
2017-02-06 12:46
1.7K
aff_1__834_18.min1.thm1
2017-02-06 12:46
1.0K
aff_1__831_19.min1.thm1
2017-02-06 12:46
1.0K
aff_1__829_19.min1.thm1
2017-02-06 12:46
1.7K
aff_1__828_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__827_18.min1.thm1
2017-02-06 12:46
1.7K
aff_1__826_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__801_19.min1.thm1
2017-02-06 12:46
1.3K
aff_1__800_15.min1.thm1
2017-02-06 12:46
1.5K
aff_1__792_19.min1.thm1
2017-02-06 12:46
1.0K
aff_1__791_49.min1.thm1
2017-02-06 12:46
1.2K
aff_1__790_15.min1.thm1
2017-02-06 12:46
1.0K
aff_1__776_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__775_49.min1.thm1
2017-02-06 12:46
1.0K
aff_1__767_20.min1.thm1
2017-02-06 12:46
892
aff_1__766_15.min1.thm1
2017-02-06 12:46
926
aff_1__756_17.min1.thm1.tptp
2017-02-06 16:48
310
aff_1__756_17.min1.thm1
2017-02-06 12:46
398
aff_1__754_19.min1.thm1
2017-02-06 12:46
1.2K
aff_1__753_17.min1.thm1
2017-02-06 12:46
707
aff_1__742_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__741_15.min1.thm1
2017-02-06 12:46
831
aff_1__740_18.min1.thm1
2017-02-06 12:46
796
aff_1__731_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__730_15.min1.thm1
2017-02-06 12:46
1.7K
aff_1__729_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__724_22.min1.thm1
2017-02-06 12:46
892
aff_1__714_17.min1.thm1
2017-02-06 12:46
1.7K
aff_1__713_20.min1.thm1
2017-02-06 12:46
1.4K
aff_1__712_11.min1.thm1
2017-02-06 12:46
770
aff_1__711_13.min1.thm1
2017-02-06 12:46
770
aff_1__710_17.min1.thm1
2017-02-06 12:46
1.2K
aff_1__697_17.min1.thm1
2017-02-06 12:46
1.3K
aff_1__695_19.min1.thm1
2017-02-06 12:46
1.5K
aff_1__694_18.min1.thm1
2017-02-06 12:46
1.0K
aff_1__693_14.min1.thm1
2017-02-06 12:46
606
aff_1__684_70.min1.thm1
2017-02-06 12:46
1.2K
aff_1__677_17.min1.thm1
2017-02-06 12:46
1.3K
aff_1__676_15.min1.thm1
2017-02-06 12:46
705
aff_1__668_19.min1.thm1
2017-02-06 12:46
816
aff_1__667_13.min1.thm1
2017-02-06 12:46
770
aff_1__666_13.min1.thm1
2017-02-06 12:46
770
aff_1__665_17.min1.thm1
2017-02-06 12:46
1.2K
aff_1__655_19.min1.thm1
2017-02-06 12:46
1.5K
aff_1__654_18.min1.thm1
2017-02-06 12:46
1.1K
aff_1__650_19.min1.thm1
2017-02-06 12:46
1.7K
aff_1__649_17.min1.thm1
2017-02-06 12:46
1.3K
aff_1__648_17.min1.thm1
2017-02-06 12:46
1.2K
aff_1__631_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__630_46.min1.thm1
2017-02-06 12:46
1.2K
aff_1__622_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__621_16.min1.thm1
2017-02-06 12:46
1.1K
aff_1__609_68.min1.thm1
2017-02-06 12:46
1.6K
aff_1__605_19.min1.thm1
2017-02-06 12:46
1.3K
aff_1__604_17.min1.thm1
2017-02-06 12:46
1.2K
aff_1__603_17.min1.thm1
2017-02-06 12:46
1.2K
aff_1__597_23.min1.thm1
2017-02-06 12:46
1.5K
aff_1__596_24.min1.thm1
2017-02-06 12:46
1.2K
aff_1__595_24.min1.thm1
2017-02-06 12:46
1.3K
aff_1__593_18.min1.thm1
2017-02-06 12:46
824
aff_1__582_17.min1.thm1
2017-02-06 12:46
1.4K
aff_1__581_19.min1.thm1
2017-02-06 12:46
1.2K
aff_1__578_19.min1.thm1
2017-02-06 12:46
1.1K
aff_1__577_21.min1.thm1
2017-02-06 12:46
1.4K
aff_1__573_16.min1.thm1
2017-02-06 12:46
1.4K
aff_1__546_17.min1.thm1.tptp
2017-02-06 16:48
849
aff_1__546_17.min1.thm1
2017-02-06 12:46
910
aff_1__544_19.min1.thm1
2017-02-06 12:46
1.5K
aff_1__543_16.min1.thm1
2017-02-06 12:46
1.5K
aff_1__542_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__541_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__540_19.min1.thm1
2017-02-06 12:46
836
aff_1__529_19.min1.thm1
2017-02-06 12:46
1.0K
aff_1__527_21.min1.thm1
2017-02-06 12:46
1.1K
aff_1__526_24.min1.thm1
2017-02-06 12:46
1.0K
aff_1__522_15.min1.thm1
2017-02-06 12:46
730
aff_1__520_13.min1.thm1
2017-02-06 12:46
570
aff_1__516_21.min1.thm1
2017-02-06 12:46
1.2K
aff_1__515_15.min1.thm1
2017-02-06 12:46
718
aff_1__514_15.min1.thm1
2017-02-06 12:46
1.4K
aff_1__512_18.min1.thm1
2017-02-06 12:46
1.0K
aff_1__511_24.min1.thm1
2017-02-06 12:46
1.0K
aff_1__508_15.min1.thm1
2017-02-06 12:46
718
aff_1__504_21.min1.thm1
2017-02-06 12:46
1.2K
aff_1__503_15.min1.thm1
2017-02-06 12:46
1.4K
aff_1__502_24.min1.thm1
2017-02-06 12:46
1.0K
aff_1__499_15.min1.thm1
2017-02-06 12:46
718
aff_1__498_15.min1.thm1
2017-02-06 12:46
718
aff_1__486_17.min1.thm1
2017-02-06 12:46
582
aff_1__485_30.min1.thm1.tptp
2017-02-06 16:48
261
aff_1__485_30.min1.thm1
2017-02-06 12:46
343
aff_1__484_11.min1.thm1
2017-02-06 12:46
1.0K
aff_1__474_17.min1.thm1
2017-02-06 12:46
650
aff_1__473_11.min1.thm1
2017-02-06 12:46
770
aff_1__472_13.min1.thm1
2017-02-06 12:46
770
aff_1__471_18.min1.thm1
2017-02-06 12:46
824
aff_1__462_17.min1.thm1
2017-02-06 12:46
1.1K
aff_1__461_21.min1.thm1
2017-02-06 12:46
1.1K
aff_1__442_17.min1.thm1
2017-02-06 12:46
476
aff_1__441_19.min1.thm1
2017-02-06 12:46
1.2K
aff_1__440_21.min1.thm1
2017-02-06 12:46
1.3K
aff_1__438_35.min1.thm1
2017-02-06 12:46
824
aff_1__427_18.min1.thm1
2017-02-06 12:46
1.1K
aff_1__425_13.min1.thm1
2017-02-06 12:46
568
aff_1__407_17.min1.thm1.tptp
2017-02-06 16:48
433
aff_1__407_17.min1.thm1
2017-02-06 12:46
497
aff_1__405_27.min1.thm1
2017-02-06 12:46
1.5K
aff_1__404_22.min1.thm1
2017-02-06 12:46
1.4K
aff_1__403_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__402_41.min1.thm1
2017-02-06 12:46
915
aff_1__397_16.min1.thm1
2017-02-06 12:46
1.4K
aff_1__396_16.min1.thm1
2017-02-06 12:46
1.4K
aff_1__386_17.min1.thm1.tptp
2017-02-06 16:48
433
aff_1__386_17.min1.thm1
2017-02-06 12:46
497
aff_1__384_27.min1.thm1
2017-02-06 12:46
1.5K
aff_1__383_22.min1.thm1
2017-02-06 12:46
1.4K
aff_1__382_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__381_41.min1.thm1
2017-02-06 12:46
915
aff_1__376_16.min1.thm1
2017-02-06 12:46
1.4K
aff_1__375_16.min1.thm1
2017-02-06 12:46
1.4K
aff_1__365_17.min1.thm1
2017-02-06 12:46
1.5K
aff_1__364_14.min1.thm1
2017-02-06 12:46
704
aff_1__363_16.min1.thm1
2017-02-06 12:46
704
aff_1__356_17.min1.thm1
2017-02-06 12:46
644
aff_1__355_27.min1.thm1
2017-02-06 12:46
767
aff_1__354_29.min1.thm1
2017-02-06 12:46
767
aff_1__346_17.min1.thm1.tptp
2017-02-06 16:48
433
aff_1__346_17.min1.thm1
2017-02-06 12:46
497
aff_1__344_27.min1.thm1
2017-02-06 12:46
1.3K
aff_1__343_22.min1.thm1
2017-02-06 12:46
1.0K
aff_1__342_17.min1.thm1
2017-02-06 12:46
1.3K
aff_1__341_41.min1.thm1
2017-02-06 12:46
915
aff_1__329_19.min1.thm1.tptp
2017-02-06 16:48
296
aff_1__329_19.min1.thm1
2017-02-06 12:46
356
aff_1__327_21.min1.thm1
2017-02-06 12:46
623
aff_1__326_19.min1.thm1
2017-02-06 12:46
623
aff_1__325_45.min1.thm1
2017-02-06 12:46
491
aff_1__321_23.min1.thm1
2017-02-06 12:46
637
aff_1__320_21.min1.thm1
2017-02-06 12:46
637
aff_1__319_47.min1.thm1
2017-02-06 12:46
495
aff_1__305_19.min1.thm1
2017-02-06 12:46
1.1K
aff_1__304_39.min1.thm1
2017-02-06 12:46
350
aff_1__302_36.min1.thm1.tptp
2017-02-06 16:48
496
aff_1__302_36.min1.thm1
2017-02-06 12:46
560
aff_1__281_15.min1.thm1
2017-02-06 12:46
1.0K
aff_1__278_17.min1.thm1
2017-02-06 12:46
704
aff_1__277_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__275_15.min1.thm1
2017-02-06 12:46
920
aff_1__264_14.min1.thm1.tptp
2017-02-06 16:48
319
aff_1__264_14.min1.thm1
2017-02-06 12:46
400
aff_1__263_16.min1.thm1.tptp
2017-02-06 16:48
319
aff_1__263_16.min1.thm1
2017-02-06 12:46
400
aff_1__262_13.min1.thm1.tptp
2017-02-06 16:48
319
aff_1__262_13.min1.thm1
2017-02-06 12:46
400
aff_1__258_20.min1.thm1.tptp
2017-02-06 16:48
618
aff_1__258_20.min1.thm1
2017-02-06 12:46
657
aff_1__249_14.min1.thm1
2017-02-06 12:46
658
aff_1__248_18.min1.thm1
2017-02-06 12:46
926
aff_1__247_21.min1.thm1.tptp
2017-02-06 16:48
2.0K
aff_1__247_21.min1.thm1
2017-02-06 12:46
1.9K
aff_1__240_17.min1.thm1
2017-02-06 12:46
828
aff_1__238_19.min1.thm1
2017-02-06 12:46
1.4K
aff_1__237_16.min1.thm1
2017-02-06 12:46
1.0K
aff_1__236_16.min1.thm1
2017-02-06 12:46
1.3K
aff_1__234_16.min1.thm1
2017-02-06 12:46
706
aff_1__233_16.min1.thm1
2017-02-06 12:46
1.3K
aff_1__231_16.min1.thm1
2017-02-06 12:46
706
aff_1__217_17.min1.thm1
2017-02-06 12:46
970
aff_1__215_19.min1.thm1
2017-02-06 12:46
1.6K
aff_1__214_22.min1.thm1
2017-02-06 12:46
1.1K
aff_1__213_22.min1.thm1
2017-02-06 12:46
2.2K
aff_1__212_22.min1.thm1
2017-02-06 12:46
1.5K
aff_1__210_17.min1.thm1
2017-02-06 12:46
922
aff_1__209_17.min1.thm1
2017-02-06 12:46
922
aff_1__199_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__197_19.min1.thm1
2017-02-06 12:46
1.3K
aff_1__196_16.min1.thm1
2017-02-06 12:46
1.0K
aff_1__195_16.min1.thm1
2017-02-06 12:46
706
aff_1__192_16.min1.thm1
2017-02-06 12:46
1.0K
aff_1__190_21.min1.thm1
2017-02-06 12:46
924
aff_1__189_22.min1.thm1
2017-02-06 12:46
1.1K
aff_1__188_22.min1.thm1
2017-02-06 12:46
1.5K
aff_1__187_17.min1.thm1
2017-02-06 12:46
922
aff_1__176_17.min1.thm1.tptp
2017-02-06 16:48
341
aff_1__176_17.min1.thm1
2017-02-06 12:46
427
aff_1__174_19.min1.thm1
2017-02-06 12:46
924
aff_1__173_22.min1.thm1
2017-02-06 12:46
1.6K
aff_1__172_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__171_18.min1.thm1
2017-02-06 12:46
1.0K
aff_1__165_19.min1.thm1
2017-02-06 12:46
925
aff_1__164_22.min1.thm1
2017-02-06 12:46
1.5K
aff_1__162_17.min1.thm1
2017-02-06 12:46
2.2K
aff_1__160_22.min1.thm1
2017-02-06 12:46
1.5K
aff_1__159_17.min1.thm1
2017-02-06 12:46
922
aff_1__158_17.min1.thm1
2017-02-06 12:46
2.2K
aff_1__156_22.min1.thm1
2017-02-06 12:46
1.5K
aff_1__155_17.min1.thm1
2017-02-06 12:46
922
aff_1__154_17.min1.thm1
2017-02-06 12:46
922
aff_1__142_17.min1.thm1
2017-02-06 12:46
1.1K
aff_1__141_15.min1.thm1
2017-02-06 12:46
746
aff_1__140_17.min1.thm1
2017-02-06 12:46
746
aff_1__139_17.min1.thm1
2017-02-06 12:46
705
aff_1__133_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__132_32.min1.thm1
2017-02-06 12:46
1.0K
aff_1__131_32.min1.thm1
2017-02-06 12:46
1.0K
aff_1__124_17.min1.thm1
2017-02-06 12:46
1.1K
aff_1__123_15.min1.thm1
2017-02-06 12:46
1.1K
aff_1__122_17.min1.thm1
2017-02-06 12:46
2.1K
aff_1__120_17.min1.thm1
2017-02-06 12:46
920
aff_1__113_17.min1.thm1
2017-02-06 12:46
2.5K
aff_1__112_15.min1.thm1
2017-02-06 12:46
1.7K
aff_1__111_17.min1.thm1
2017-02-06 12:46
1.7K
aff_1__100_17.min1.thm1
2017-02-06 12:46
1.1K
aff_1__99_34.min1.thm1
2017-02-06 12:46
1.4K
aff_1__98_20.min1.thm1
2017-02-06 12:46
1.0K
aff_1__97_21.min1.thm1
2017-02-06 12:46
1.1K
aff_1__96_34.min1.thm1
2017-02-06 12:46
1.4K
aff_1__87_17.min1.thm1
2017-02-06 12:46
1.0K
aff_1__86_20.min1.thm1
2017-02-06 12:46
1.0K
aff_1__85_20.min1.thm1
2017-02-06 12:46
1.0K
aff_1__79_17.min1.thm1
2017-02-06 12:46
939
aff_1__78_27.min1.thm1
2017-02-06 12:46
2.2K
aff_1__77_15.min1.thm1
2017-02-06 12:46
689
aff_1__70_17.min1.thm1
2017-02-06 12:46
955
aff_1__69_20.min1.thm1
2017-02-06 12:46
2.0K
aff_1__63_17.min1.thm1
2017-02-06 12:46
2.2K
aff_1__61_19.min1.thm1
2017-02-06 12:46
2.4K
aff_1__60_17.min1.thm1
2017-02-06 12:46
691
aff_1__50_16.min1.thm1
2017-02-06 12:46
1.9K
aff_1__49_20.min1.thm1
2017-02-06 12:46
1.9K
aff_1__43_14.min1.thm1
2017-02-06 12:46
433
aff_1__42_21.min1.thm1
2017-02-06 12:46
228
aff_1__41_11.min1.thm1
2017-02-06 12:46
1.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80