Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/msafree
Name
Last modified
Size
Description
Parent Directory
-
msafree__54_16.min1.thm1
2017-02-06 12:45
832
msafree__56_53.min1.thm1
2017-02-06 12:45
2.2K
msafree__75_55.min1.thm1
2017-02-06 12:45
2.2K
msafree__77_17.min1.thm1
2017-02-06 12:45
879
msafree__82_41.min1.thm1
2017-02-06 12:45
1.3K
msafree__88_55.min1.thm1
2017-02-06 12:45
2.2K
msafree__89_24.min1.thm1
2017-02-06 12:45
1.6K
msafree__90_15.min1.thm1
2017-02-06 12:45
902
msafree__92_19.min1.thm1
2017-02-06 12:45
1.1K
msafree__93_15.min1.thm1
2017-02-06 12:45
255
msafree__97_19.min1.thm1
2017-02-06 12:45
1.7K
msafree__99_19.min1.thm1
2017-02-06 12:45
259
msafree__102_27.min1.thm1
2017-02-06 12:45
1.6K
msafree__106_26.min1.thm1
2017-02-06 12:45
1.2K
msafree__109_20.min1.thm1
2017-02-06 12:45
1.0K
msafree__114_22.min1.thm1
2017-02-06 12:45
1.0K
msafree__115_31.min1.thm1
2017-02-06 12:45
1.5K
msafree__117_19.min1.thm1
2017-02-06 12:45
1.2K
msafree__123_18.min1.thm1
2017-02-06 12:45
1.1K
msafree__138_55.min1.thm1
2017-02-06 12:45
2.2K
msafree__139_22.min1.thm1
2017-02-06 12:45
1.3K
msafree__140_21.min1.thm1
2017-02-06 12:45
1.4K
msafree__161_62.min1.thm1
2017-02-06 12:45
726
msafree__165_19.min1.thm1
2017-02-06 12:45
908
msafree__177_49.min1.thm1
2017-02-06 12:45
678
msafree__178_21.min1.thm1
2017-02-06 12:45
678
msafree__182_47.min1.thm1
2017-02-06 12:45
670
msafree__183_19.min1.thm1
2017-02-06 12:45
670
msafree__197_27.min1.thm1
2017-02-06 12:45
895
msafree__198_28.min1.thm1
2017-02-06 12:45
588
msafree__199_19.min1.thm1
2017-02-06 12:45
740
msafree__208_27.min1.thm1
2017-02-06 12:45
1.1K
msafree__209_28.min1.thm1
2017-02-06 12:45
616
msafree__210_19.min1.thm1
2017-02-06 12:45
902
msafree__229_24.min1.thm1
2017-02-06 12:45
578
msafree__231_27.min1.thm1
2017-02-06 12:45
1.1K
msafree__240_26.min1.thm1
2017-02-06 12:45
426
msafree__240_26.min1.thm1.tptp
2017-02-06 16:47
340
msafree__241_27.min1.thm1
2017-02-06 12:45
768
msafree__245_19.min1.thm1
2017-02-06 12:45
284
msafree__253_21.min1.thm1
2017-02-06 12:45
574
msafree__259_12.min1.thm1
2017-02-06 12:45
915
msafree__265_51.min1.thm1
2017-02-06 12:45
1.1K
msafree__266_21.min1.thm1
2017-02-06 12:45
286
msafree__267_35.min1.thm1
2017-02-06 12:45
877
msafree__274_17.min1.thm1
2017-02-06 12:45
367
msafree__274_17.min1.thm1.tptp
2017-02-06 16:47
302
msafree__275_33.min1.thm1
2017-02-06 12:45
1.2K
msafree__277_32.min1.thm1
2017-02-06 12:45
1.4K
msafree__278_25.min1.thm1
2017-02-06 12:45
778
msafree__278_25.min1.thm1.tptp
2017-02-06 16:47
726
msafree__292_43.min1.thm1
2017-02-06 12:45
334
msafree__292_43.min1.thm1.tptp
2017-02-06 16:47
256
msafree__294_17.min1.thm1
2017-02-06 12:45
962
msafree__295_35.min1.thm1
2017-02-06 12:45
1.1K
msafree__296_35.min1.thm1
2017-02-06 12:45
1.4K
msafree__297_37.min1.thm1
2017-02-06 12:45
727
msafree__299_19.min1.thm1
2017-02-06 12:45
1.4K
msafree__310_15.min1.thm1
2017-02-06 12:45
1.0K
msafree__311_16.min1.thm1
2017-02-06 12:45
505
msafree__311_16.min1.thm1.tptp
2017-02-06 16:47
439
msafree__312_24.min1.thm1
2017-02-06 12:45
1.1K
msafree__313_28.min1.thm1
2017-02-06 12:45
570
msafree__314_19.min1.thm1
2017-02-06 12:45
656
msafree__326_33.min1.thm1
2017-02-06 12:45
950
msafree__331_15.min1.thm1
2017-02-06 12:45
424
msafree__332_28.min1.thm1
2017-02-06 12:45
1.2K
msafree__333_16.min1.thm1
2017-02-06 12:45
681
msafree__337_23.min1.thm1
2017-02-06 12:45
620
msafree__338_40.min1.thm1
2017-02-06 12:45
1.0K
msafree__339_14.min1.thm1
2017-02-06 12:45
450
msafree__362_39.min1.thm1
2017-02-06 12:45
1.6K
msafree__364_26.min1.thm1
2017-02-06 12:45
1.7K
msafree__365_25.min1.thm1
2017-02-06 12:45
1.4K
msafree__366_31.min1.thm1
2017-02-06 12:45
2.1K
msafree__367_19.min1.thm1
2017-02-06 12:45
2.9K
msafree__382_54.min1.thm1
2017-02-06 12:45
1.2K
msafree__416_72.min1.thm1
2017-02-06 12:45
729
msafree__418_26.min1.thm1
2017-02-06 12:45
567
msafree__418_26.min1.thm1.tptp
2017-02-06 16:47
505
msafree__419_35.min1.thm1
2017-02-06 12:45
849
msafree__422_26.min1.thm1
2017-02-06 12:45
509
msafree__422_26.min1.thm1.tptp
2017-02-06 16:47
454
msafree__426_36.min1.thm1
2017-02-06 12:45
1.1K
msafree__430_50.min1.thm1
2017-02-06 12:45
582
msafree__430_50.min1.thm1.tptp
2017-02-06 16:47
520
msafree__432_54.min1.thm1
2017-02-06 12:45
1.0K
msafree__514_21.min1.thm1
2017-02-06 12:45
612
msafree__528_19.min1.thm1
2017-02-06 12:45
596
msafree__562_43.min1.thm1
2017-02-06 12:45
293
msafree__564_52.min1.thm1
2017-02-06 12:45
1.2K
msafree__567_15.min1.thm1
2017-02-06 12:45
1.0K
msafree__581_20.min1.thm1
2017-02-06 12:45
2.2K
msafree__613_59.min1.thm1
2017-02-06 12:45
1.2K
msafree__624_37.min1.thm1
2017-02-06 12:45
1.2K
msafree__626_14.min1.thm1
2017-02-06 12:45
418
msafree__633_70.min1.thm1
2017-02-06 12:45
932
msafree__640_18.min1.thm1
2017-02-06 12:45
668
msafree__646_68.min1.thm1
2017-02-06 12:45
440
msafree__663_24.min1.thm1
2017-02-06 12:45
1.8K
msafree__665_21.min1.thm1
2017-02-06 12:45
1.7K
msafree__666_34.min1.thm1
2017-02-06 12:45
1.2K
msafree__679_34.min1.thm1
2017-02-06 12:45
1.2K
msafree__683_16.min1.thm1
2017-02-06 12:45
773
msafree__684_26.min1.thm1
2017-02-06 12:45
1.7K
msafree__686_21.min1.thm1
2017-02-06 12:45
2.5K
msafree__687_41.min1.thm1
2017-02-06 12:45
1.1K
msafree__688_48.min1.thm1
2017-02-06 12:45
2.1K
msafree__691_27.min1.thm1
2017-02-06 12:45
1.3K
msafree__693_34.min1.thm1
2017-02-06 12:45
972
msafree__694_21.min1.thm1
2017-02-06 12:45
678
msafree__696_44.min1.thm1
2017-02-06 12:45
1.0K
msafree__697_36.min1.thm1
2017-02-06 12:45
1.2K
msafree__702_26.min1.thm1
2017-02-06 12:45
1.7K
msafree__704_21.min1.thm1
2017-02-06 12:45
2.5K
msafree__705_34.min1.thm1
2017-02-06 12:45
1.2K
msafree__706_41.min1.thm1
2017-02-06 12:45
1.1K
msafree__707_48.min1.thm1
2017-02-06 12:45
2.1K
msafree__710_17.min1.thm1
2017-02-06 12:45
1.2K
msafree__712_36.min1.thm1
2017-02-06 12:45
924
msafree__715_10.min1.thm1
2017-02-06 12:45
1.0K
msafree__717_34.min1.thm1
2017-02-06 12:45
1.2K
msafree__719_29.min1.thm1
2017-02-06 12:45
531
msafree__726_74.min1.thm1
2017-02-06 12:45
1.4K
msafree__727_19.min1.thm1
2017-02-06 12:45
2.4K
msafree__729_45.min1.thm1
2017-02-06 12:45
1.2K
msafree__736_19.min1.thm1
2017-02-06 12:45
781
msafree__738_16.min1.thm1
2017-02-06 12:45
413
msafree__752_37.min1.thm1
2017-02-06 12:45
1.1K
msafree__754_71.min1.thm1
2017-02-06 12:45
2.6K
msafree__770_26.min1.thm1
2017-02-06 12:45
1.8K
msafree__772_23.min1.thm1
2017-02-06 12:45
1.7K
msafree__773_36.min1.thm1
2017-02-06 12:45
1.2K
msafree__786_36.min1.thm1
2017-02-06 12:45
1.2K
msafree__790_18.min1.thm1
2017-02-06 12:45
817
msafree__791_28.min1.thm1
2017-02-06 12:45
1.7K
msafree__793_23.min1.thm1
2017-02-06 12:45
2.6K
msafree__794_43.min1.thm1
2017-02-06 12:45
1.2K
msafree__795_50.min1.thm1
2017-02-06 12:45
2.2K
msafree__798_30.min1.thm1
2017-02-06 12:45
1.4K
msafree__800_36.min1.thm1
2017-02-06 12:45
1.0K
msafree__801_23.min1.thm1
2017-02-06 12:45
694
msafree__803_46.min1.thm1
2017-02-06 12:45
1.0K
msafree__804_38.min1.thm1
2017-02-06 12:45
1.3K
msafree__813_36.min1.thm1
2017-02-06 12:45
1.2K
msafree__817_18.min1.thm1
2017-02-06 12:45
824
msafree__818_28.min1.thm1
2017-02-06 12:45
1.7K
msafree__820_23.min1.thm1
2017-02-06 12:45
3.1K
msafree__821_43.min1.thm1
2017-02-06 12:45
1.2K
msafree__822_50.min1.thm1
2017-02-06 12:45
2.2K
msafree__825_23.min1.thm1
2017-02-06 12:45
1.4K
msafree__827_19.min1.thm1
2017-02-06 12:45
1.8K
msafree__830_27.min1.thm1
2017-02-06 12:45
1.2K
msafree__831_29.min1.thm1
2017-02-06 12:45
1.0K
msafree__834_50.min1.thm1
2017-02-06 12:45
2.2K
msafree__840_36.min1.thm1
2017-02-06 12:45
1.5K
msafree__843_23.min1.thm1
2017-02-06 12:45
1.1K
msafree__849_28.min1.thm1
2017-02-06 12:45
1.7K
msafree__851_23.min1.thm1
2017-02-06 12:45
2.6K
msafree__852_36.min1.thm1
2017-02-06 12:45
1.2K
msafree__853_43.min1.thm1
2017-02-06 12:45
1.2K
msafree__854_50.min1.thm1
2017-02-06 12:45
2.2K
msafree__857_19.min1.thm1
2017-02-06 12:45
1.4K
msafree__859_38.min1.thm1
2017-02-06 12:45
1.0K
msafree__863_12.min1.thm1
2017-02-06 12:45
1.3K
msafree__865_36.min1.thm1
2017-02-06 12:45
1.4K
msafree__888_50.min1.thm1
2017-02-06 12:45
1.1K
msafree__889_46.min1.thm1
2017-02-06 12:45
870
msafree__896_37.min1.thm1
2017-02-06 12:45
1.2K
msafree__903_38.min1.thm1
2017-02-06 12:45
1.1K
msafree__909_18.min1.thm1
2017-02-06 12:45
526
msafree__909_18.min1.thm1.tptp
2017-02-06 16:47
450
msafree__914_37.min1.thm1
2017-02-06 12:45
1.1K
msafree__916_38.min1.thm1
2017-02-06 12:45
1.8K
msafree__919_31.min1.thm1
2017-02-06 12:45
1.1K
msafree__920_17.min1.thm1
2017-02-06 12:45
1.1K
msafree__930_45.min1.thm1
2017-02-06 12:45
297
msafree__931_76.min1.thm1
2017-02-06 12:45
1.2K
msafree__934_16.min1.thm1
2017-02-06 12:45
1.9K
msafree__960_16.min1.thm1
2017-02-06 12:45
521
msafree__960_16.min1.thm1.tptp
2017-02-06 16:47
443
msafree__970_39.min1.thm1
2017-02-06 12:45
1.1K
msafree__971_42.min1.thm1
2017-02-06 12:45
1.9K
msafree__978_15.min1.thm1
2017-02-06 12:45
1.3K
msafree__980_51.min1.thm1
2017-02-06 12:45
2.1K
msafree__982_36.min1.thm1
2017-02-06 12:45
924
msafree__984_34.min1.thm1
2017-02-06 12:45
1.2K
msafree__985_46.min1.thm1
2017-02-06 12:45
1.9K
msafree__989_16.min1.thm1
2017-02-06 12:45
1.3K
msafree__1005_56.min1.thm1
2017-02-06 12:45
1.1K
msafree__1008_18.min1.thm1
2017-02-06 12:45
565
msafree__1008_18.min1.thm1.tptp
2017-02-06 16:47
499
msafree__1020_46.min1.thm1
2017-02-06 12:45
366
msafree__1020_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__1021_28.min1.thm1
2017-02-06 12:45
514
msafree__1021_28.min1.thm1.tptp
2017-02-06 16:47
437
msafree__1022_21.min1.thm1
2017-02-06 12:45
739
msafree__1036_44.min1.thm1
2017-02-06 12:45
358
msafree__1036_44.min1.thm1.tptp
2017-02-06 16:47
280
msafree__1037_38.min1.thm1
2017-02-06 12:45
1.5K
msafree__1038_16.min1.thm1
2017-02-06 12:45
1.2K
msafree__1050_30.min1.thm1
2017-02-06 12:45
743
msafree__1051_43.min1.thm1
2017-02-06 12:45
2.0K
msafree__1061_24.min1.thm1
2017-02-06 12:45
1.7K
msafree__1069_14.min1.thm1
2017-02-06 12:45
751
msafree__1070_33.min1.thm1
2017-02-06 12:45
1.4K
msafree__1071_26.min1.thm1
2017-02-06 12:45
930
msafree__1084_46.min1.thm1
2017-02-06 12:45
2.2K
msafree__1085_10.min1.thm1
2017-02-06 12:45
348
msafree__1086_14.min1.thm1
2017-02-06 12:45
522
msafree__1086_14.min1.thm1.tptp
2017-02-06 16:47
436
msafree__1102_16.min1.thm1
2017-02-06 12:45
745
msafree__1103_45.min1.thm1
2017-02-06 12:45
2.0K
msafree__1123_43.min1.thm1
2017-02-06 12:45
2.0K
msafree__1136_19.min1.thm1
2017-02-06 12:45
1.3K
msafree__1138_14.min1.thm1
2017-02-06 12:45
743
msafree__1176_46.min1.thm1
2017-02-06 12:45
2.6K
msafree__1178_26.min1.thm1
2017-02-06 12:45
2.1K
msafree__1186_32.min1.thm1
2017-02-06 12:45
554
msafree__1190_76.min1.thm1
2017-02-06 12:45
1.5K
msafree__1200_46.min1.thm1
2017-02-06 12:45
2.8K
msafree__1201_26.min1.thm1
2017-02-06 12:45
2.4K
msafree__1209_35.min1.thm1
2017-02-06 12:45
1.2K
msafree__1213_22.min1.thm1
2017-02-06 12:45
1.7K
msafree__1214_72.min1.thm1
2017-02-06 12:45
2.6K
msafree__1223_32.min1.thm1
2017-02-06 12:45
1.4K
msafree__1239_43.min1.thm1
2017-02-06 12:45
1.1K
msafree__1247_39.min1.thm1
2017-02-06 12:45
950
msafree__1260_47.min1.thm1
2017-02-06 12:45
297
msafree__1262_8.min1.thm1
2017-02-06 12:45
1.2K
msafree__1267_27.min1.thm1
2017-02-06 12:45
1.5K
msafree__1268_18.min1.thm1
2017-02-06 12:45
1.2K
msafree__1284_42.min1.thm1
2017-02-06 12:45
1.1K
msafree__1291_28.min1.thm1
2017-02-06 12:45
491
msafree__1291_28.min1.thm1.tptp
2017-02-06 16:47
436
msafree__1295_38.min1.thm1
2017-02-06 12:45
1.3K
msafree__1296_24.min1.thm1
2017-02-06 12:45
1.6K
msafree__1299_30.min1.thm1
2017-02-06 12:45
1.0K
msafree__1307_43.min1.thm1
2017-02-06 12:45
2.3K
msafree__1314_37.min1.thm1
2017-02-06 12:45
2.1K
msafree__1318_45.min1.thm1
2017-02-06 12:45
2.1K
msafree__1319_31.min1.thm1
2017-02-06 12:45
1.1K
msafree__1322_26.min1.thm1
2017-02-06 12:45
525
msafree__1322_26.min1.thm1.tptp
2017-02-06 16:47
470
msafree__1326_38.min1.thm1
2017-02-06 12:45
1.2K
msafree__1332_27.min1.thm1
2017-02-06 12:45
1.6K
msafree__1333_41.min1.thm1
2017-02-06 12:45
1.9K
msafree__1334_19.min1.thm1
2017-02-06 12:45
727
msafree__1338_48.min1.thm1
2017-02-06 12:45
2.1K
msafree__1343_28.min1.thm1
2017-02-06 12:45
538
msafree__1346_28.min1.thm1
2017-02-06 12:45
1.8K
msafree__1347_42.min1.thm1
2017-02-06 12:45
2.1K
msafree__1348_19.min1.thm1
2017-02-06 12:45
780
msafree__1363_46.min1.thm1
2017-02-06 12:45
638
msafree__1365_39.min1.thm1
2017-02-06 12:45
1.5K
msafree__1366_39.min1.thm1
2017-02-06 12:45
1.5K
msafree__1367_25.min1.thm1
2017-02-06 12:45
655
msafree__1373_25.min1.thm1
2017-02-06 12:45
563
msafree__1373_25.min1.thm1.tptp
2017-02-06 16:47
501
msafree__1379_14.min1.thm1
2017-02-06 12:45
968
msafree__1384_26.min1.thm1
2017-02-06 12:45
587
msafree__1386_18.min1.thm1
2017-02-06 12:45
1.0K
msafree__1391_29.min1.thm1
2017-02-06 12:45
599
msafree__1392_28.min1.thm1
2017-02-06 12:45
758
msafree__1400_34.min1.thm1
2017-02-06 12:45
721
msafree__1401_42.min1.thm1
2017-02-06 12:45
846
msafree__1403_32.min1.thm1
2017-02-06 12:45
615
msafree__1404_37.min1.thm1
2017-02-06 12:45
250
msafree__1415_31.min1.thm1
2017-02-06 12:45
709
msafree__1417_18.min1.thm1
2017-02-06 12:45
1.0K
msafree__1422_29.min1.thm1
2017-02-06 12:45
599
msafree__1423_42.min1.thm1
2017-02-06 12:45
846
msafree__1425_32.min1.thm1
2017-02-06 12:45
615
msafree__1426_37.min1.thm1
2017-02-06 12:45
250
msafree__1459_54.min1.thm1
2017-02-06 12:45
1.4K
msafree__1460_29.min1.thm1
2017-02-06 12:45
1.9K
msafree__1464_12.min1.thm1
2017-02-06 12:45
682
msafree__1468_29.min1.thm1
2017-02-06 12:45
833
msafree__1469_28.min1.thm1
2017-02-06 12:45
1.7K
msafree__1472_17.min1.thm1
2017-02-06 12:45
740
msafree__1472_17.min1.thm1.tptp
2017-02-06 16:47
671
msafree__1477_47.min1.thm1
2017-02-06 12:45
1.8K
msafree__1478_40.min1.thm1
2017-02-06 12:45
2.5K
msafree__1482_19.min1.thm1
2017-02-06 12:45
1.8K
msafree__1483_19.min1.thm1
2017-02-06 12:45
1.7K
msafree__1500_54.min1.thm1
2017-02-06 12:45
1.4K
msafree__1501_29.min1.thm1
2017-02-06 12:45
1.9K
msafree__1502_37.min1.thm1
2017-02-06 12:45
1.4K
msafree__1503_21.min1.thm1
2017-02-06 12:45
1.6K
msafree__1526_46.min1.thm1
2017-02-06 12:45
366
msafree__1526_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__1528_17.min1.thm1
2017-02-06 12:45
399
msafree__1533_41.min1.thm1
2017-02-06 12:45
1.1K
msafree__1538_46.min1.thm1
2017-02-06 12:45
1.0K
msafree__1539_25.min1.thm1
2017-02-06 12:45
1.2K
msafree__1542_51.min1.thm1
2017-02-06 12:45
1.1K
msafree__1548_46.min1.thm1
2017-02-06 12:45
366
msafree__1548_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__1549_25.min1.thm1
2017-02-06 12:45
1.2K
msafree__1550_18.min1.thm1
2017-02-06 12:45
2.2K
msafree__1570_46.min1.thm1
2017-02-06 12:45
366
msafree__1570_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__1571_25.min1.thm1
2017-02-06 12:45
1.3K
msafree__1571_25.min1.thm1.tptp
2017-02-06 16:47
1.2K
msafree__1611_21.min1.thm1
2017-02-06 12:45
590
msafree__1611_21.min1.thm1.tptp
2017-02-06 16:47
522
msafree__1613_50.min1.thm1
2017-02-06 12:45
467
msafree__1613_50.min1.thm1.tptp
2017-02-06 16:47
389
msafree__1616_41.min1.thm1
2017-02-06 12:45
1.1K
msafree__1617_44.min1.thm1
2017-02-06 12:45
1.9K
msafree__1620_39.min1.thm1
2017-02-06 12:45
2.1K
msafree__1622_33.min1.thm1
2017-02-06 12:45
842
msafree__1630_25.min1.thm1
2017-02-06 12:45
603
msafree__1631_39.min1.thm1
2017-02-06 12:45
1.5K
msafree__1634_39.min1.thm1
2017-02-06 12:45
936
msafree__1636_26.min1.thm1
2017-02-06 12:45
1.2K
msafree__1637_39.min1.thm1
2017-02-06 12:45
1.9K
msafree__1656_59.min1.thm1
2017-02-06 12:45
715
msafree__1657_21.min1.thm1
2017-02-06 12:45
715
msafree__1661_57.min1.thm1
2017-02-06 12:45
707
msafree__1662_19.min1.thm1
2017-02-06 12:45
707
msafree__1673_15.min1.thm1
2017-02-06 12:45
1.3K
msafree__1674_66.min1.thm1
2017-02-06 12:45
581
msafree__1697_44.min1.thm1
2017-02-06 12:45
1.9K
msafree__1698_14.min1.thm1
2017-02-06 12:45
439
msafree__1710_11.min1.thm1
2017-02-06 12:45
489
msafree__1727_56.min1.thm1
2017-02-06 12:45
1.1K
msafree__1733_46.min1.thm1
2017-02-06 12:45
366
msafree__1733_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__1734_27.min1.thm1
2017-02-06 12:45
655
msafree__1737_42.min1.thm1
2017-02-06 12:45
2.0K
msafree__1741_51.min1.thm1
2017-02-06 12:45
2.1K
msafree__1743_52.min1.thm1
2017-02-06 12:45
2.3K
msafree__1765_32.min1.thm1
2017-02-06 12:45
555
msafree__1769_58.min1.thm1
2017-02-06 12:45
2.1K
msafree__1772_37.min1.thm1
2017-02-06 12:45
1.2K
msafree__1802_30.min1.thm1
2017-02-06 12:45
2.7K
msafree__1810_38.min1.thm1
2017-02-06 12:45
586
msafree__1814_23.min1.thm1
2017-02-06 12:45
2.2K
msafree__1823_54.min1.thm1
2017-02-06 12:45
2.9K
msafree__1824_33.min1.thm1
2017-02-06 12:45
2.7K
msafree__1836_27.min1.thm1
2017-02-06 12:45
2.1K
msafree__1837_25.min1.thm1
2017-02-06 12:45
1.6K
msafree__1845_20.min1.thm1
2017-02-06 12:45
784
msafree__1862_32.min1.thm1
2017-02-06 12:45
1.5K
msafree__1872_37.min1.thm1
2017-02-06 12:45
2.2K
msafree__1873_40.min1.thm1
2017-02-06 12:45
910
msafree__1876_30.min1.thm1
2017-02-06 12:45
541
msafree__1876_30.min1.thm1.tptp
2017-02-06 16:47
486
msafree__1880_42.min1.thm1
2017-02-06 12:45
1.2K
msafree__1885_39.min1.thm1
2017-02-06 12:45
1.8K
msafree__1889_55.min1.thm1
2017-02-06 12:45
1.1K
msafree__1890_60.min1.thm1
2017-02-06 12:45
2.2K
msafree__1905_36.min1.thm1
2017-02-06 12:45
573
msafree__1905_36.min1.thm1.tptp
2017-02-06 16:47
518
msafree__1909_42.min1.thm1
2017-02-06 12:45
1.3K
msafree__1910_28.min1.thm1
2017-02-06 12:45
1.7K
msafree__1913_34.min1.thm1
2017-02-06 12:45
1.0K
msafree__1920_41.min1.thm1
2017-02-06 12:45
293
msafree__1926_51.min1.thm1
2017-02-06 12:45
1.5K
msafree__1927_60.min1.thm1
2017-02-06 12:45
2.2K
msafree__1928_48.min1.thm1
2017-02-06 12:45
882
msafree__1938_54.min1.thm1
2017-02-06 12:45
1.3K
msafree__1940_50.min1.thm1
2017-02-06 12:45
1.0K
msafree__1945_23.min1.thm1
2017-02-06 12:45
864
msafree__1947_46.min1.thm1
2017-02-06 12:45
1.5K
msafree__1949_18.min1.thm1
2017-02-06 12:45
721
msafree__1961_46.min1.thm1
2017-02-06 12:45
366
msafree__1961_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__1962_27.min1.thm1
2017-02-06 12:45
516
msafree__1962_27.min1.thm1.tptp
2017-02-06 16:47
439
msafree__1963_21.min1.thm1
2017-02-06 12:45
741
msafree__1977_42.min1.thm1
2017-02-06 12:45
342
msafree__1977_42.min1.thm1.tptp
2017-02-06 16:47
264
msafree__1978_34.min1.thm1
2017-02-06 12:45
1.3K
msafree__1979_14.min1.thm1
2017-02-06 12:45
1.2K
msafree__1997_26.min1.thm1
2017-02-06 12:45
493
msafree__1997_26.min1.thm1.tptp
2017-02-06 16:47
438
msafree__2000_25.min1.thm1
2017-02-06 12:45
2.5K
msafree__2002_23.min1.thm1
2017-02-06 12:45
1.5K
msafree__2004_6.min1.thm1
2017-02-06 12:45
1.0K
msafree__2007_16.min1.thm1
2017-02-06 12:45
1.3K
msafree__2013_20.min1.thm1
2017-02-06 12:45
1.2K
msafree__2017_12.min1.thm1
2017-02-06 12:45
426
msafree__2020_7.min1.thm1
2017-02-06 12:45
1.6K
msafree__2021_27.min1.thm1
2017-02-06 12:45
1.1K
msafree__2023_26.min1.thm1
2017-02-06 12:45
1.4K
msafree__2024_38.min1.thm1
2017-02-06 12:45
2.2K
msafree__2026_17.min1.thm1
2017-02-06 12:45
646
msafree__2048_10.min1.thm1
2017-02-06 12:45
1.1K
msafree__2057_22.min1.thm1
2017-02-06 12:45
693
msafree__2061_21.min1.thm1
2017-02-06 12:45
550
msafree__2066_40.min1.thm1
2017-02-06 12:45
1.2K
msafree__2070_19.min1.thm1
2017-02-06 12:45
1.1K
msafree__2082_24.min1.thm1
2017-02-06 12:45
1.0K
msafree__2092_30.min1.thm1
2017-02-06 12:45
1.2K
msafree__2093_21.min1.thm1
2017-02-06 12:45
1.3K
msafree__2095_28.min1.thm1
2017-02-06 12:45
2.5K
msafree__2115_46.min1.thm1
2017-02-06 12:45
366
msafree__2115_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__2119_18.min1.thm1
2017-02-06 12:45
419
msafree__2119_18.min1.thm1.tptp
2017-02-06 16:47
337
msafree__2124_41.min1.thm1
2017-02-06 12:45
1.1K
msafree__2129_46.min1.thm1
2017-02-06 12:45
1.0K
msafree__2130_27.min1.thm1
2017-02-06 12:45
1.2K
msafree__2133_51.min1.thm1
2017-02-06 12:45
1.1K
msafree__2138_46.min1.thm1
2017-02-06 12:45
366
msafree__2138_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__2139_58.min1.thm1
2017-02-06 12:45
2.4K
msafree__2157_46.min1.thm1
2017-02-06 12:45
366
msafree__2157_46.min1.thm1.tptp
2017-02-06 16:47
288
msafree__2158_27.min1.thm1
2017-02-06 12:45
1.1K
msafree__2158_27.min1.thm1.tptp
2017-02-06 16:47
1.0K
msafree__2180_26.min1.thm1
2017-02-06 12:45
1.3K
msafree__2184_8.min1.thm1
2017-02-06 12:45
1.0K
msafree__2185_14.min1.thm1
2017-02-06 12:45
446
msafree__2189_31.min1.thm1
2017-02-06 12:45
569
msafree__2189_31.min1.thm1.tptp
2017-02-06 16:47
503
msafree__2191_46.min1.thm1
2017-02-06 12:45
1.7K
msafree__2192_69.min1.thm1
2017-02-06 12:45
1.1K
msafree__2210_31.min1.thm1
2017-02-06 12:45
725
msafree__2211_19.min1.thm1
2017-02-06 12:45
799
msafree__2229_14.min1.thm1
2017-02-06 12:45
414
msafree__2239_18.min1.thm1
2017-02-06 12:45
927
msafree__2241_15.min1.thm1
2017-02-06 12:45
644
msafree__2260_19.min1.thm1
2017-02-06 12:45
1.4K
msafree__2292_43.min1.thm1
2017-02-06 12:45
1.3K
msafree__2295_64.min1.thm1
2017-02-06 12:45
1.0K
msafree__2324_34.min1.thm1
2017-02-06 12:45
1.0K
msafree__2328_27.min1.thm1
2017-02-06 12:45
1.8K
msafree__2329_32.min1.thm1
2017-02-06 12:45
1.5K
msafree__2332_17.min1.thm1
2017-02-06 12:45
1.4K
msafree__2333_32.min1.thm1
2017-02-06 12:45
1.1K
msafree__2351_52.min1.thm1
2017-02-06 12:45
940
msafree__2352_25.min1.thm1
2017-02-06 12:45
1.5K
msafree__2353_34.min1.thm1
2017-02-06 12:45
1.5K
msafree__2369_32.min1.thm1
2017-02-06 12:45
1.1K
msafree__2375_32.min1.thm1
2017-02-06 12:45
1.5K
msafree__2379_27.min1.thm1
2017-02-06 12:45
1.8K
msafree__2380_32.min1.thm1
2017-02-06 12:45
1.6K
msafree__2388_24.min1.thm1
2017-02-06 12:45
1.6K
msafree__2397_27.min1.thm1
2017-02-06 12:45
1.8K
msafree__2399_40.min1.thm1
2017-02-06 12:45
2.4K
msafree__2400_32.min1.thm1
2017-02-06 12:45
1.5K
msafree__2402_17.min1.thm1
2017-02-06 12:45
1.5K
msafree__2415_15.min1.thm1
2017-02-06 12:45
440
msafree__2421_24.min1.thm1
2017-02-06 12:45
1.0K
msafree__2422_20.min1.thm1
2017-02-06 12:45
1.5K
msafree__2424_36.min1.thm1
2017-02-06 12:45
2.1K
msafree__2430_45.min1.thm1
2017-02-06 12:45
1.2K
msafree__2434_23.min1.thm1
2017-02-06 12:45
1.5K
msafree__2436_22.min1.thm1
2017-02-06 12:45
1.0K
msafree__2438_19.min1.thm1
2017-02-06 12:45
2.0K
msafree__2447_44.min1.thm1
2017-02-06 12:45
350
msafree__2447_44.min1.thm1.tptp
2017-02-06 16:47
272
msafree__2450_32.min1.thm1
2017-02-06 12:45
1.5K
msafree__2452_22.min1.thm1
2017-02-06 12:45
2.2K
msafree__2453_24.min1.thm1
2017-02-06 12:45
1.5K
msafree__2456_21.min1.thm1
2017-02-06 12:45
853
msafree__2463_20.min1.thm1
2017-02-06 12:45
1.0K
msafree__2465_18.min1.thm1
2017-02-06 12:45
2.4K
msafree__2484_17.min1.thm1
2017-02-06 12:45
753
msafree__2494_63.min1.thm1
2017-02-06 12:45
2.4K
msafree__2509_28.min1.thm1
2017-02-06 12:45
1.8K
msafree__2523_41.min1.thm1
2017-02-06 12:45
2.9K
msafree__2529_34.min1.thm1
2017-02-06 12:45
1.2K
msafree__2530_32.min1.thm1
2017-02-06 12:45
1.5K
msafree__2532_23.min1.thm1
2017-02-06 12:45
2.4K
msafree__2536_26.min1.thm1
2017-02-06 12:45
3.0K
msafree__2541_36.min1.thm1
2017-02-06 12:45
2.6K
msafree__2549_44.min1.thm1
2017-02-06 12:45
350
msafree__2549_44.min1.thm1.tptp
2017-02-06 16:47
272
msafree__2552_27.min1.thm1
2017-02-06 12:45
1.3K
msafree__2561_12.min1.thm1
2017-02-06 12:45
1.3K
msafree__2567_24.min1.thm1
2017-02-06 12:45
1.0K
msafree__2583_16.min1.thm1
2017-02-06 12:45
875
msafree__2601_14.min1.thm1
2017-02-06 12:45
670
msafree__2611_65.min1.thm1
2017-02-06 12:45
2.3K
msafree__2614_15.min1.thm1
2017-02-06 12:45
1.6K
msafree__2618_49.min1.thm1
2017-02-06 12:45
614
msafree__2618_49.min1.thm1.tptp
2017-02-06 16:47
528
msafree__2620_33.min1.thm1
2017-02-06 12:45
542
msafree__2625_45.min1.thm1
2017-02-06 12:45
350
msafree__2625_45.min1.thm1.tptp
2017-02-06 16:47
272
msafree__2631_29.min1.thm1
2017-02-06 12:45
1.3K
msafree__2638_15.min1.thm1
2017-02-06 12:45
444
msafree__2648_13.min1.thm1
2017-02-06 12:45
445
msafree__2662_29.min1.thm1
2017-02-06 12:45
1.0K
msafree__2663_28.min1.thm1
2017-02-06 12:45
1.3K
msafree__2664_22.min1.thm1
2017-02-06 12:45
1.7K
msafree__2665_17.min1.thm1
2017-02-06 12:45
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80