Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/mssublat
Name
Last modified
Size
Description
Parent Directory
-
mssublat__1632_19.min1.thm1
2017-02-06 12:45
1.9K
mssublat__1616_58.min1.thm1
2017-02-06 12:45
1.6K
mssublat__1595_63.min1.thm1
2017-02-06 12:45
748
mssublat__1546_15.min1.thm1.tptp
2017-02-06 16:47
293
mssublat__1546_15.min1.thm1
2017-02-06 12:45
373
mssublat__1522_18.min1.thm1.tptp
2017-02-06 16:47
252
mssublat__1522_18.min1.thm1
2017-02-06 12:45
334
mssublat__1519_18.min1.thm1.tptp
2017-02-06 16:47
637
mssublat__1519_18.min1.thm1
2017-02-06 12:45
694
mssublat__1476_32.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1470_67.min1.thm1
2017-02-06 12:45
670
mssublat__1468_35.min1.thm1
2017-02-06 12:45
676
mssublat__1467_53.min1.thm1
2017-02-06 12:45
3.8K
mssublat__1464_52.min1.thm1
2017-02-06 12:45
960
mssublat__1449_10.min1.thm1
2017-02-06 12:45
1.8K
mssublat__1435_16.min1.thm1
2017-02-06 12:45
945
mssublat__1430_16.min1.thm1.tptp
2017-02-06 16:47
345
mssublat__1430_16.min1.thm1
2017-02-06 12:45
424
mssublat__1426_30.min1.thm1
2017-02-06 12:45
1.6K
mssublat__1424_48.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1420_56.min1.thm1
2017-02-06 12:45
1.4K
mssublat__1419_19.min1.thm1.tptp
2017-02-06 16:47
639
mssublat__1419_19.min1.thm1
2017-02-06 12:45
696
mssublat__1414_15.min1.thm1
2017-02-06 12:45
1.8K
mssublat__1398_21.min1.thm1
2017-02-06 12:45
2.2K
mssublat__1397_56.min1.thm1
2017-02-06 12:45
672
mssublat__1392_37.min1.thm1
2017-02-06 12:45
678
mssublat__1391_50.min1.thm1
2017-02-06 12:45
3.6K
mssublat__1375_41.min1.thm1
2017-02-06 12:45
874
mssublat__1374_19.min1.thm1.tptp
2017-02-06 16:47
278
mssublat__1374_19.min1.thm1
2017-02-06 12:45
343
mssublat__1370_50.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1367_31.min1.thm1
2017-02-06 12:45
2.8K
mssublat__1365_22.min1.thm1
2017-02-06 12:45
3.7K
mssublat__1353_43.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1352_39.min1.thm1
2017-02-06 12:45
840
mssublat__1346_77.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1345_17.min1.thm1
2017-02-06 12:45
570
mssublat__1335_32.min1.thm1
2017-02-06 12:45
3.0K
mssublat__1332_51.min1.thm1
2017-02-06 12:45
2.0K
mssublat__1331_67.min1.thm1.tptp
2017-02-06 16:47
432
mssublat__1331_67.min1.thm1
2017-02-06 12:45
520
mssublat__1328_15.min1.thm1
2017-02-06 12:45
261
mssublat__1318_15.min1.thm1
2017-02-06 12:45
1.8K
mssublat__1312_18.min1.thm1
2017-02-06 12:45
1.6K
mssublat__1308_74.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1303_33.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1299_65.min1.thm1
2017-02-06 12:45
1.6K
mssublat__1287_58.min1.thm1
2017-02-06 12:45
630
mssublat__1283_72.min1.thm1
2017-02-06 12:45
766
mssublat__1282_64.min1.thm1
2017-02-06 12:45
670
mssublat__1281_60.min1.thm1
2017-02-06 12:45
809
mssublat__1275_48.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1274_42.min1.thm1
2017-02-06 12:45
3.8K
mssublat__1272_10.min1.thm1
2017-02-06 12:45
1.8K
mssublat__1266_46.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1250_58.min1.thm1
2017-02-06 12:45
630
mssublat__1246_72.min1.thm1
2017-02-06 12:45
766
mssublat__1245_64.min1.thm1
2017-02-06 12:45
670
mssublat__1244_54.min1.thm1
2017-02-06 12:45
670
mssublat__1235_48.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1234_42.min1.thm1
2017-02-06 12:45
3.8K
mssublat__1232_10.min1.thm1
2017-02-06 12:45
1.8K
mssublat__1226_46.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1195_24.min1.thm1
2017-02-06 12:45
844
mssublat__1186_63.min1.thm1
2017-02-06 12:45
860
mssublat__1183_51.min1.thm1
2017-02-06 12:45
1.0K
mssublat__1171_66.min1.thm1
2017-02-06 12:45
1.2K
mssublat__1167_55.min1.thm1
2017-02-06 12:45
813
mssublat__1164_61.min1.thm1
2017-02-06 12:45
1.3K
mssublat__1163_50.min1.thm1
2017-02-06 12:45
745
mssublat__1161_17.min1.thm1
2017-02-06 12:45
357
mssublat__1158_73.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1138_49.min1.thm1
2017-02-06 12:45
460
mssublat__1137_30.min1.thm1
2017-02-06 12:45
931
mssublat__1134_17.min1.thm1
2017-02-06 12:45
357
mssublat__1131_73.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1127_17.min1.thm1
2017-02-06 12:45
357
mssublat__1124_73.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1118_57.min1.thm1
2017-02-06 12:45
813
mssublat__1117_57.min1.thm1
2017-02-06 12:45
813
mssublat__1103_38.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1100_31.min1.thm1
2017-02-06 12:45
1.0K
mssublat__1099_26.min1.thm1
2017-02-06 12:45
2.8K
mssublat__1091_62.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1089_20.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1087_16.min1.thm1
2017-02-06 12:45
1.8K
mssublat__1085_71.min1.thm1
2017-02-06 12:45
642
mssublat__1084_43.min1.thm1
2017-02-06 12:45
2.0K
mssublat__1083_41.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1078_39.min1.thm1
2017-02-06 12:45
1.7K
mssublat__1073_36.min1.thm1
2017-02-06 12:45
1.0K
mssublat__1072_32.min1.thm1
2017-02-06 12:45
1.1K
mssublat__1071_17.min1.thm1
2017-02-06 12:45
820
mssublat__1070_41.min1.thm1.tptp
2017-02-06 16:47
278
mssublat__1070_41.min1.thm1
2017-02-06 12:45
356
mssublat__1062_35.min1.thm1
2017-02-06 12:45
1.6K
mssublat__1056_59.min1.thm1
2017-02-06 12:45
1.6K
mssublat__1055_57.min1.thm1
2017-02-06 12:45
813
mssublat__1054_33.min1.thm1.tptp
2017-02-06 16:47
431
mssublat__1054_33.min1.thm1
2017-02-06 12:45
491
mssublat__1052_39.min1.thm1
2017-02-06 12:45
1.2K
mssublat__1049_31.min1.thm1
2017-02-06 12:45
2.4K
mssublat__1038_17.min1.thm1.tptp
2017-02-06 16:47
1.0K
mssublat__1038_17.min1.thm1
2017-02-06 12:45
1.0K
mssublat__1036_19.min1.thm1
2017-02-06 12:45
963
mssublat__1035_28.min1.thm1
2017-02-06 12:45
963
mssublat__1026_29.min1.thm1
2017-02-06 12:45
2.3K
mssublat__1025_19.min1.thm1
2017-02-06 12:45
1.7K
mssublat__1024_37.min1.thm1
2017-02-06 12:45
2.3K
mssublat__1023_45.min1.thm1
2017-02-06 12:45
2.0K
mssublat__1022_45.min1.thm1
2017-02-06 12:45
2.0K
mssublat__1015_61.min1.thm1
2017-02-06 12:45
1.5K
mssublat__1008_15.min1.thm1
2017-02-06 12:45
2.7K
mssublat__988_26.min1.thm1
2017-02-06 12:45
1.5K
mssublat__987_16.min1.thm1
2017-02-06 12:45
2.0K
mssublat__984_24.min1.thm1
2017-02-06 12:45
1.0K
mssublat__980_40.min1.thm1.tptp
2017-02-06 16:47
278
mssublat__980_40.min1.thm1
2017-02-06 12:45
356
mssublat__948_34.min1.thm1
2017-02-06 12:45
1.5K
mssublat__946_28.min1.thm1
2017-02-06 12:45
1.0K
mssublat__943_44.min1.thm1.tptp
2017-02-06 16:47
294
mssublat__943_44.min1.thm1
2017-02-06 12:45
372
mssublat__932_28.min1.thm1
2017-02-06 12:45
1.0K
mssublat__906_17.min1.thm1
2017-02-06 12:45
2.4K
mssublat__905_42.min1.thm1
2017-02-06 12:45
2.1K
mssublat__890_19.min1.thm1
2017-02-06 12:45
2.1K
mssublat__887_51.min1.thm1
2017-02-06 12:45
2.3K
mssublat__883_44.min1.thm1
2017-02-06 12:45
1.6K
mssublat__882_24.min1.thm1
2017-02-06 12:45
1.3K
mssublat__881_24.min1.thm1
2017-02-06 12:45
1.6K
mssublat__879_24.min1.thm1
2017-02-06 12:45
1.3K
mssublat__875_40.min1.thm1
2017-02-06 12:45
487
mssublat__866_56.min1.thm1
2017-02-06 12:45
1.0K
mssublat__863_20.min1.thm1
2017-02-06 12:45
1.1K
mssublat__853_24.min1.thm1
2017-02-06 12:45
2.4K
mssublat__850_57.min1.thm1
2017-02-06 12:45
1.4K
mssublat__849_43.min1.thm1
2017-02-06 12:45
1.7K
mssublat__845_57.min1.thm1
2017-02-06 12:45
813
mssublat__843_36.min1.thm1
2017-02-06 12:45
2.5K
mssublat__842_51.min1.thm1
2017-02-06 12:45
1.5K
mssublat__831_12.min1.thm1
2017-02-06 12:45
2.4K
mssublat__828_23.min1.thm1
2017-02-06 12:45
1.3K
mssublat__827_15.min1.thm1
2017-02-06 12:45
1.6K
mssublat__823_58.min1.thm1
2017-02-06 12:45
3.1K
mssublat__820_17.min1.thm1
2017-02-06 12:45
1.5K
mssublat__816_23.min1.thm1
2017-02-06 12:45
2.2K
mssublat__815_59.min1.thm1
2017-02-06 12:45
856
mssublat__813_29.min1.thm1
2017-02-06 12:45
689
mssublat__811_25.min1.thm1
2017-02-06 12:45
2.6K
mssublat__810_46.min1.thm1
2017-02-06 12:45
1.5K
mssublat__807_62.min1.thm1
2017-02-06 12:45
1.7K
mssublat__794_47.min1.thm1
2017-02-06 12:45
1.6K
mssublat__792_66.min1.thm1
2017-02-06 12:45
2.4K
mssublat__791_30.min1.thm1
2017-02-06 12:45
2.5K
mssublat__788_23.min1.thm1
2017-02-06 12:45
635
mssublat__783_25.min1.thm1
2017-02-06 12:45
2.5K
mssublat__777_25.min1.thm1
2017-02-06 12:45
1.1K
mssublat__776_25.min1.thm1
2017-02-06 12:45
397
mssublat__774_62.min1.thm1
2017-02-06 12:45
2.2K
mssublat__773_32.min1.thm1
2017-02-06 12:45
3.2K
mssublat__772_26.min1.thm1
2017-02-06 12:45
1.9K
mssublat__767_28.min1.thm1
2017-02-06 12:45
2.6K
mssublat__766_25.min1.thm1
2017-02-06 12:45
1.1K
mssublat__762_23.min1.thm1
2017-02-06 12:45
635
mssublat__758_29.min1.thm1
2017-02-06 12:45
602
mssublat__756_30.min1.thm1
2017-02-06 12:45
2.5K
mssublat__754_25.min1.thm1
2017-02-06 12:45
2.9K
mssublat__753_31.min1.thm1
2017-02-06 12:45
1.9K
mssublat__750_62.min1.thm1
2017-02-06 12:45
1.7K
mssublat__744_22.min1.thm1
2017-02-06 12:45
1.2K
mssublat__743_34.min1.thm1
2017-02-06 12:45
2.0K
mssublat__742_41.min1.thm1
2017-02-06 12:45
1.3K
mssublat__738_24.min1.thm1
2017-02-06 12:45
1.1K
mssublat__732_70.min1.thm1
2017-02-06 12:45
1.4K
mssublat__726_64.min1.thm1
2017-02-06 12:45
1.2K
mssublat__719_76.min1.thm1
2017-02-06 12:45
1.4K
mssublat__717_67.min1.thm1
2017-02-06 12:45
962
mssublat__716_42.min1.thm1
2017-02-06 12:45
695
mssublat__715_21.min1.thm1
2017-02-06 12:45
633
mssublat__689_57.min1.thm1
2017-02-06 12:45
813
mssublat__685_57.min1.thm1
2017-02-06 12:45
1.4K
mssublat__684_24.min1.thm1
2017-02-06 12:45
2.4K
mssublat__683_51.min1.thm1
2017-02-06 12:45
1.5K
mssublat__674_12.min1.thm1
2017-02-06 12:45
1.0K
mssublat__673_30.min1.thm1
2017-02-06 12:45
2.4K
mssublat__669_30.min1.thm1
2017-02-06 12:45
1.9K
mssublat__663_55.min1.thm1
2017-02-06 12:45
813
mssublat__660_55.min1.thm1
2017-02-06 12:45
1.4K
mssublat__659_39.min1.thm1
2017-02-06 12:45
1.8K
mssublat__657_36.min1.thm1
2017-02-06 12:45
1.5K
mssublat__646_17.min1.thm1
2017-02-06 12:45
1.8K
mssublat__643_44.min1.thm1
2017-02-06 12:45
1.1K
mssublat__631_19.min1.thm1
2017-02-06 12:45
1.5K
mssublat__630_37.min1.thm1
2017-02-06 12:45
2.2K
mssublat__623_34.min1.thm1
2017-02-06 12:45
812
mssublat__622_40.min1.thm1
2017-02-06 12:45
962
mssublat__609_28.min1.thm1
2017-02-06 12:45
1.5K
mssublat__608_16.min1.thm1
2017-02-06 12:45
263
mssublat__607_24.min1.thm1
2017-02-06 12:45
1.0K
mssublat__605_24.min1.thm1
2017-02-06 12:45
1.3K
mssublat__603_6.min1.thm1
2017-02-06 12:45
929
mssublat__598_29.min1.thm1
2017-02-06 12:45
1.5K
mssublat__596_36.min1.thm1
2017-02-06 12:45
1.6K
mssublat__587_18.min1.thm1.tptp
2017-02-06 16:47
290
mssublat__587_18.min1.thm1
2017-02-06 12:45
355
mssublat__585_23.min1.thm1
2017-02-06 12:45
691
mssublat__579_31.min1.thm1
2017-02-06 12:45
1.3K
mssublat__578_37.min1.thm1
2017-02-06 12:45
1.1K
mssublat__573_49.min1.thm1
2017-02-06 12:45
720
mssublat__572_66.min1.thm1
2017-02-06 12:45
640
mssublat__567_67.min1.thm1
2017-02-06 12:45
1.8K
mssublat__563_55.min1.thm1
2017-02-06 12:45
2.4K
mssublat__559_49.min1.thm1.tptp
2017-02-06 16:47
576
mssublat__559_49.min1.thm1
2017-02-06 12:45
651
mssublat__547_13.min1.thm1
2017-02-06 12:45
754
mssublat__545_32.min1.thm1
2017-02-06 12:45
1.2K
mssublat__542_39.min1.thm1
2017-02-06 12:45
1.0K
mssublat__533_17.min1.thm1
2017-02-06 12:45
802
mssublat__524_38.min1.thm1
2017-02-06 12:45
807
mssublat__523_44.min1.thm1
2017-02-06 12:45
969
mssublat__510_21.min1.thm1.tptp
2017-02-06 16:47
300
mssublat__510_21.min1.thm1
2017-02-06 12:45
365
mssublat__508_27.min1.thm1
2017-02-06 12:45
701
mssublat__506_32.min1.thm1
2017-02-06 12:45
1.4K
mssublat__505_19.min1.thm1
2017-02-06 12:45
267
mssublat__504_46.min1.thm1.tptp
2017-02-06 16:47
359
mssublat__504_46.min1.thm1
2017-02-06 12:45
437
mssublat__488_46.min1.thm1
2017-02-06 12:45
913
mssublat__484_48.min1.thm1
2017-02-06 12:45
1.0K
mssublat__482_25.min1.thm1
2017-02-06 12:45
1.4K
mssublat__479_39.min1.thm1
2017-02-06 12:45
639
mssublat__477_23.min1.thm1
2017-02-06 12:45
635
mssublat__470_31.min1.thm1
2017-02-06 12:45
1.2K
mssublat__463_15.min1.thm1
2017-02-06 12:45
931
mssublat__454_75.min1.thm1.tptp
2017-02-06 16:47
399
mssublat__454_75.min1.thm1
2017-02-06 12:45
482
mssublat__450_15.min1.thm1
2017-02-06 12:45
931
mssublat__436_29.min1.thm1
2017-02-06 12:45
1.3K
mssublat__434_36.min1.thm1
2017-02-06 12:45
1.6K
mssublat__428_15.min1.thm1
2017-02-06 12:45
262
mssublat__423_67.min1.thm1
2017-02-06 12:45
1.8K
mssublat__420_49.min1.thm1
2017-02-06 12:45
719
mssublat__419_55.min1.thm1
2017-02-06 12:45
2.4K
mssublat__411_49.min1.thm1.tptp
2017-02-06 16:47
576
mssublat__411_49.min1.thm1
2017-02-06 12:45
651
mssublat__400_57.min1.thm1
2017-02-06 12:45
1.0K
mssublat__398_13.min1.thm1
2017-02-06 12:45
4.4K
mssublat__395_32.min1.thm1
2017-02-06 12:45
2.3K
mssublat__391_47.min1.thm1.tptp
2017-02-06 16:47
576
mssublat__391_47.min1.thm1
2017-02-06 12:45
651
mssublat__390_15.min1.thm1
2017-02-06 12:45
260
mssublat__386_55.min1.thm1
2017-02-06 12:45
2.4K
mssublat__374_14.min1.thm1.tptp
2017-02-06 16:47
338
mssublat__374_14.min1.thm1
2017-02-06 12:45
424
mssublat__364_68.min1.thm1
2017-02-06 12:45
1.0K
mssublat__363_31.min1.thm1
2017-02-06 12:45
1.0K
mssublat__351_19.min1.thm1
2017-02-06 12:45
2.8K
mssublat__348_20.min1.thm1
2017-02-06 12:45
2.6K
mssublat__346_28.min1.thm1
2017-02-06 12:45
1.4K
mssublat__339_46.min1.thm1
2017-02-06 12:45
1.2K
mssublat__338_52.min1.thm1.tptp
2017-02-06 16:47
304
mssublat__338_52.min1.thm1
2017-02-06 12:45
382
mssublat__328_19.min1.thm1
2017-02-06 12:45
1.8K
mssublat__327_20.min1.thm1
2017-02-06 12:45
2.6K
mssublat__324_67.min1.thm1
2017-02-06 12:45
1.8K
mssublat__305_34.min1.thm1
2017-02-06 12:45
3.5K
mssublat__301_26.min1.thm1
2017-02-06 12:45
1.0K
mssublat__297_66.min1.thm1
2017-02-06 12:45
1.3K
mssublat__295_61.min1.thm1
2017-02-06 12:45
1.1K
mssublat__280_19.min1.thm1
2017-02-06 12:45
850
mssublat__279_24.min1.thm1
2017-02-06 12:45
1.1K
mssublat__271_40.min1.thm1
2017-02-06 12:45
1.2K
mssublat__270_15.min1.thm1
2017-02-06 12:45
260
mssublat__267_52.min1.thm1.tptp
2017-02-06 16:47
565
mssublat__267_52.min1.thm1
2017-02-06 12:45
640
mssublat__266_68.min1.thm1
2017-02-06 12:45
1.0K
mssublat__265_31.min1.thm1
2017-02-06 12:45
1.0K
mssublat__260_52.min1.thm1.tptp
2017-02-06 16:47
565
mssublat__260_52.min1.thm1
2017-02-06 12:45
640
mssublat__258_67.min1.thm1
2017-02-06 12:45
1.8K
mssublat__246_16.min1.thm1
2017-02-06 12:45
825
mssublat__242_42.min1.thm1
2017-02-06 12:45
1.3K
mssublat__240_19.min1.thm1
2017-02-06 12:45
1.5K
mssublat__239_37.min1.thm1.tptp
2017-02-06 16:47
567
mssublat__239_37.min1.thm1
2017-02-06 12:45
642
mssublat__237_54.min1.thm1.tptp
2017-02-06 16:47
568
mssublat__237_54.min1.thm1
2017-02-06 12:45
643
mssublat__236_43.min1.thm1.tptp
2017-02-06 16:47
286
mssublat__236_43.min1.thm1
2017-02-06 12:45
372
mssublat__235_30.min1.thm1
2017-02-06 12:45
1.5K
mssublat__232_26.min1.thm1
2017-02-06 12:45
1.0K
mssublat__230_25.min1.thm1
2017-02-06 12:45
1.3K
mssublat__228_69.min1.thm1
2017-02-06 12:45
1.8K
mssublat__226_43.min1.thm1
2017-02-06 12:45
1.3K
mssublat__225_15.min1.thm1
2017-02-06 12:45
1.9K
mssublat__215_61.min1.thm1
2017-02-06 12:45
1.9K
mssublat__209_24.min1.thm1
2017-02-06 12:45
1.4K
mssublat__208_61.min1.thm1
2017-02-06 12:45
662
mssublat__205_35.min1.thm1
2017-02-06 12:45
915
mssublat__203_24.min1.thm1
2017-02-06 12:45
951
mssublat__202_33.min1.thm1
2017-02-06 12:45
889
mssublat__201_37.min1.thm1
2017-02-06 12:45
1.1K
mssublat__198_29.min1.thm1
2017-02-06 12:45
1.3K
mssublat__197_37.min1.thm1
2017-02-06 12:45
1.0K
mssublat__196_62.min1.thm1
2017-02-06 12:45
1.3K
mssublat__192_68.min1.thm1
2017-02-06 12:45
1.8K
mssublat__191_36.min1.thm1
2017-02-06 12:45
1.1K
mssublat__179_18.min1.thm1
2017-02-06 12:45
1.0K
mssublat__177_34.min1.thm1
2017-02-06 12:45
913
mssublat__175_24.min1.thm1
2017-02-06 12:45
950
mssublat__174_54.min1.thm1.tptp
2017-02-06 16:47
567
mssublat__174_54.min1.thm1
2017-02-06 12:45
642
mssublat__171_66.min1.thm1
2017-02-06 12:45
1.6K
mssublat__170_62.min1.thm1
2017-02-06 12:45
575
mssublat__168_60.min1.thm1
2017-02-06 12:45
969
mssublat__166_54.min1.thm1.tptp
2017-02-06 16:47
567
mssublat__166_54.min1.thm1
2017-02-06 12:45
642
mssublat__148_61.min1.thm1
2017-02-06 12:45
1.1K
mssublat__144_28.min1.thm1
2017-02-06 12:45
1.0K
mssublat__143_28.min1.thm1
2017-02-06 12:45
1.0K
mssublat__132_17.min1.thm1
2017-02-06 12:45
1.7K
mssublat__130_63.min1.thm1
2017-02-06 12:45
1.8K
mssublat__129_55.min1.thm1
2017-02-06 12:45
2.6K
mssublat__127_24.min1.thm1
2017-02-06 12:45
948
mssublat__113_37.min1.thm1.tptp
2017-02-06 16:47
279
mssublat__113_37.min1.thm1
2017-02-06 12:45
336
mssublat__106_17.min1.thm1
2017-02-06 12:45
1.3K
mssublat__104_13.min1.thm1
2017-02-06 12:45
368
mssublat__93_37.min1.thm1
2017-02-06 12:45
490
mssublat__92_19.min1.thm1
2017-02-06 12:45
633
mssublat__88_19.min1.thm1
2017-02-06 12:45
756
mssublat__87_16.min1.thm1
2017-02-06 12:45
1.7K
mssublat__86_19.min1.thm1
2017-02-06 12:45
1.2K
mssublat__83_11.min1.thm1
2017-02-06 12:45
212
mssublat__82_20.min1.thm1
2017-02-06 12:45
1.2K
mssublat__79_39.min1.thm1
2017-02-06 12:45
1.6K
mssublat__72_19.min1.thm1
2017-02-06 12:45
298
mssublat__71_29.min1.thm1
2017-02-06 12:45
970
mssublat__65_17.min1.thm1
2017-02-06 12:45
280
mssublat__64_29.min1.thm1
2017-02-06 12:45
970
mssublat__58_15.min1.thm1
2017-02-06 12:45
260
mssublat__57_29.min1.thm1
2017-02-06 12:45
970
mssublat__51_9.min1.thm1
2017-02-06 12:45
1.0K
mssublat__50_29.min1.thm1
2017-02-06 12:45
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80