Index of /~mptp/1147/mptp/ilp0/hallmar1
Name
Last modified
Size
Description
Parent Directory
-
hallmar1__41_52.min1.thm1
2017-02-06 12:45
620
hallmar1__55_23.min1.thm1
2017-02-06 12:45
522
hallmar1__56_39.min1.thm1
2017-02-06 12:45
262
hallmar1__61_14.min1.thm1
2017-02-06 12:45
913
hallmar1__63_19.min1.thm1
2017-02-06 12:45
693
hallmar1__66_22.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__69_13.min1.thm1
2017-02-06 12:45
377
hallmar1__81_11.min1.thm1
2017-02-06 12:45
318
hallmar1__82_13.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__84_20.min1.thm1
2017-02-06 12:45
837
hallmar1__85_68.min1.thm1
2017-02-06 12:45
425
hallmar1__87_17.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__97_23.min1.thm1
2017-02-06 12:45
962
hallmar1__98_18.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__99_27.min1.thm1
2017-02-06 12:45
722
hallmar1__100_19.min1.thm1
2017-02-06 12:45
677
hallmar1__123_13.min1.thm1
2017-02-06 12:45
244
hallmar1__126_27.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__127_18.min1.thm1
2017-02-06 12:45
559
hallmar1__131_21.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__153_75.min1.thm1
2017-02-06 12:45
559
hallmar1__158_37.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__159_19.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__169_45.min1.thm1
2017-02-06 12:45
498
hallmar1__170_45.min1.thm1
2017-02-06 12:45
498
hallmar1__172_16.min1.thm1
2017-02-06 12:45
238
hallmar1__187_35.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__188_17.min1.thm1
2017-02-06 12:45
941
hallmar1__212_14.min1.thm1
2017-02-06 12:45
571
hallmar1__227_19.min1.thm1
2017-02-06 12:45
480
hallmar1__227_19.min1.thm1.tptp
2017-02-06 16:47
420
hallmar1__232_15.min1.thm1
2017-02-06 12:45
272
hallmar1__253_16.min1.thm1
2017-02-06 12:45
825
hallmar1__253_16.min1.thm1.tptp
2017-02-06 16:47
779
hallmar1__256_21.min1.thm1
2017-02-06 12:45
605
hallmar1__256_21.min1.thm1.tptp
2017-02-06 16:47
545
hallmar1__260_21.min1.thm1
2017-02-06 12:45
698
hallmar1__268_16.min1.thm1
2017-02-06 12:45
576
hallmar1__268_16.min1.thm1.tptp
2017-02-06 16:47
514
hallmar1__271_19.min1.thm1
2017-02-06 12:45
309
hallmar1__276_19.min1.thm1
2017-02-06 12:45
396
hallmar1__276_19.min1.thm1.tptp
2017-02-06 16:47
346
hallmar1__316_13.min1.thm1
2017-02-06 12:45
203
hallmar1__319_21.min1.thm1
2017-02-06 12:45
728
hallmar1__323_26.min1.thm1
2017-02-06 12:45
357
hallmar1__323_26.min1.thm1.tptp
2017-02-06 16:47
289
hallmar1__324_26.min1.thm1
2017-02-06 12:45
623
hallmar1__326_21.min1.thm1
2017-02-06 12:45
714
hallmar1__334_40.min1.thm1
2017-02-06 12:45
781
hallmar1__335_16.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__343_18.min1.thm1
2017-02-06 12:45
348
hallmar1__359_27.min1.thm1
2017-02-06 12:45
778
hallmar1__368_13.min1.thm1
2017-02-06 12:45
203
hallmar1__371_21.min1.thm1
2017-02-06 12:45
624
hallmar1__375_27.min1.thm1
2017-02-06 12:45
602
hallmar1__376_37.min1.thm1
2017-02-06 12:45
643
hallmar1__378_21.min1.thm1
2017-02-06 12:45
599
hallmar1__378_21.min1.thm1.tptp
2017-02-06 16:47
537
hallmar1__386_16.min1.thm1
2017-02-06 12:45
845
hallmar1__392_27.min1.thm1
2017-02-06 12:45
482
hallmar1__392_27.min1.thm1.tptp
2017-02-06 16:47
420
hallmar1__393_30.min1.thm1
2017-02-06 12:45
614
hallmar1__401_29.min1.thm1
2017-02-06 12:45
593
hallmar1__402_30.min1.thm1
2017-02-06 12:45
614
hallmar1__423_29.min1.thm1
2017-02-06 12:45
473
hallmar1__424_32.min1.thm1
2017-02-06 12:45
650
hallmar1__425_43.min1.thm1
2017-02-06 12:45
779
hallmar1__427_29.min1.thm1
2017-02-06 12:45
856
hallmar1__429_19.min1.thm1
2017-02-06 12:45
343
hallmar1__429_19.min1.thm1.tptp
2017-02-06 16:47
275
hallmar1__431_19.min1.thm1
2017-02-06 12:45
663
hallmar1__433_57.min1.thm1
2017-02-06 12:45
955
hallmar1__435_60.min1.thm1
2017-02-06 12:45
858
hallmar1__435_60.min1.thm1.tptp
2017-02-06 16:47
781
hallmar1__437_60.min1.thm1
2017-02-06 12:45
952
hallmar1__440_19.min1.thm1
2017-02-06 12:45
344
hallmar1__440_19.min1.thm1.tptp
2017-02-06 16:47
276
hallmar1__441_24.min1.thm1
2017-02-06 12:45
665
hallmar1__442_51.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__464_15.min1.thm1
2017-02-06 12:45
251
hallmar1__467_29.min1.thm1
2017-02-06 12:45
787
hallmar1__468_20.min1.thm1
2017-02-06 12:45
501
hallmar1__472_24.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__473_23.min1.thm1
2017-02-06 12:45
364
hallmar1__473_23.min1.thm1.tptp
2017-02-06 16:47
281
hallmar1__476_52.min1.thm1
2017-02-06 12:45
648
hallmar1__478_42.min1.thm1
2017-02-06 12:45
797
hallmar1__498_15.min1.thm1
2017-02-06 12:45
215
hallmar1__501_33.min1.thm1
2017-02-06 12:45
879
hallmar1__502_21.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__503_20.min1.thm1
2017-02-06 12:45
392
hallmar1__507_27.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__508_21.min1.thm1
2017-02-06 12:45
1.7K
hallmar1__509_20.min1.thm1
2017-02-06 12:45
392
hallmar1__529_22.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__530_15.min1.thm1
2017-02-06 12:45
400
hallmar1__530_15.min1.thm1.tptp
2017-02-06 16:47
322
hallmar1__531_44.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__532_24.min1.thm1
2017-02-06 12:45
542
hallmar1__533_14.min1.thm1
2017-02-06 12:45
536
hallmar1__552_19.min1.thm1
2017-02-06 12:45
535
hallmar1__553_18.min1.thm1
2017-02-06 12:45
349
hallmar1__553_18.min1.thm1.tptp
2017-02-06 16:47
281
hallmar1__568_19.min1.thm1
2017-02-06 12:45
535
hallmar1__569_18.min1.thm1
2017-02-06 12:45
349
hallmar1__569_18.min1.thm1.tptp
2017-02-06 16:47
281
hallmar1__594_13.min1.thm1
2017-02-06 12:45
203
hallmar1__601_34.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__612_11.min1.thm1
2017-02-06 12:45
197
hallmar1__619_32.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__637_43.min1.thm1
2017-02-06 12:45
1.7K
hallmar1__638_14.min1.thm1
2017-02-06 12:45
796
hallmar1__667_46.min1.thm1
2017-02-06 12:45
706
hallmar1__668_49.min1.thm1
2017-02-06 12:45
526
hallmar1__674_20.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__675_26.min1.thm1
2017-02-06 12:45
506
hallmar1__676_18.min1.thm1
2017-02-06 12:45
320
hallmar1__678_18.min1.thm1
2017-02-06 12:45
780
hallmar1__679_23.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__683_32.min1.thm1
2017-02-06 12:45
797
hallmar1__684_31.min1.thm1
2017-02-06 12:45
935
hallmar1__685_29.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__686_32.min1.thm1
2017-02-06 12:45
756
hallmar1__687_23.min1.thm1
2017-02-06 12:45
754
hallmar1__691_16.min1.thm1
2017-02-06 12:45
917
hallmar1__699_53.min1.thm1
2017-02-06 12:45
281
hallmar1__704_16.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__705_21.min1.thm1
2017-02-06 12:45
1.8K
hallmar1__709_18.min1.thm1
2017-02-06 12:45
262
hallmar1__721_21.min1.thm1
2017-02-06 12:45
694
hallmar1__723_28.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__725_17.min1.thm1
2017-02-06 12:45
404
hallmar1__732_14.min1.thm1
2017-02-06 12:45
641
hallmar1__745_15.min1.thm1
2017-02-06 12:45
370
hallmar1__745_15.min1.thm1.tptp
2017-02-06 16:47
292
hallmar1__749_22.min1.thm1
2017-02-06 12:45
778
hallmar1__762_40.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__770_16.min1.thm1
2017-02-06 12:45
1.8K
hallmar1__773_37.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__774_19.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__779_47.min1.thm1
2017-02-06 12:45
718
hallmar1__780_20.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__784_22.min1.thm1
2017-02-06 12:45
683
hallmar1__788_15.min1.thm1
2017-02-06 12:45
900
hallmar1__789_32.min1.thm1
2017-02-06 12:45
2.1K
hallmar1__790_19.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__792_36.min1.thm1
2017-02-06 12:45
952
hallmar1__793_26.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__794_42.min1.thm1
2017-02-06 12:45
626
hallmar1__795_21.min1.thm1
2017-02-06 12:45
1.8K
hallmar1__796_23.min1.thm1
2017-02-06 12:45
385
hallmar1__807_33.min1.thm1
2017-02-06 12:45
801
hallmar1__809_20.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__819_25.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__821_22.min1.thm1
2017-02-06 12:45
552
hallmar1__825_25.min1.thm1
2017-02-06 12:45
427
hallmar1__825_25.min1.thm1.tptp
2017-02-06 16:47
362
hallmar1__829_23.min1.thm1
2017-02-06 12:45
419
hallmar1__829_23.min1.thm1.tptp
2017-02-06 16:47
354
hallmar1__830_23.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__832_19.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__833_38.min1.thm1
2017-02-06 12:45
630
hallmar1__835_20.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__845_25.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__847_22.min1.thm1
2017-02-06 12:45
552
hallmar1__851_25.min1.thm1
2017-02-06 12:45
427
hallmar1__851_25.min1.thm1.tptp
2017-02-06 16:47
362
hallmar1__855_23.min1.thm1
2017-02-06 12:45
419
hallmar1__855_23.min1.thm1.tptp
2017-02-06 16:47
354
hallmar1__856_23.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__861_27.min1.thm1
2017-02-06 12:45
485
hallmar1__861_27.min1.thm1.tptp
2017-02-06 16:47
406
hallmar1__862_19.min1.thm1
2017-02-06 12:45
352
hallmar1__862_19.min1.thm1.tptp
2017-02-06 16:47
278
hallmar1__863_19.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__865_19.min1.thm1
2017-02-06 12:45
525
hallmar1__867_31.min1.thm1
2017-02-06 12:45
738
hallmar1__868_15.min1.thm1
2017-02-06 12:45
668
hallmar1__872_76.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__875_62.min1.thm1
2017-02-06 12:45
1.8K
hallmar1__877_14.min1.thm1
2017-02-06 12:45
273
hallmar1__892_22.min1.thm1
2017-02-06 12:45
959
hallmar1__902_16.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__903_21.min1.thm1
2017-02-06 12:45
924
hallmar1__910_16.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__911_19.min1.thm1
2017-02-06 12:45
2.3K
hallmar1__912_41.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__913_19.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__914_24.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__917_22.min1.thm1
2017-02-06 12:45
818
hallmar1__918_28.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__919_19.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__936_15.min1.thm1
2017-02-06 12:45
521
hallmar1__948_61.min1.thm1
2017-02-06 12:45
350
hallmar1__949_16.min1.thm1
2017-02-06 12:45
531
hallmar1__949_16.min1.thm1.tptp
2017-02-06 16:47
469
hallmar1__963_31.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__964_45.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__965_54.min1.thm1
2017-02-06 12:45
797
hallmar1__970_15.min1.thm1
2017-02-06 12:45
215
hallmar1__978_23.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__983_21.min1.thm1
2017-02-06 12:45
568
hallmar1__986_19.min1.thm1
2017-02-06 12:45
435
hallmar1__986_19.min1.thm1.tptp
2017-02-06 16:47
358
hallmar1__997_20.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1003_13.min1.thm1
2017-02-06 12:45
203
hallmar1__1006_21.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1028_25.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1041_17.min1.thm1
2017-02-06 12:45
839
hallmar1__1055_22.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__1058_17.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1059_19.min1.thm1
2017-02-06 12:45
607
hallmar1__1061_18.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__1074_19.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1075_17.min1.thm1
2017-02-06 12:45
1.8K
hallmar1__1092_20.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1095_16.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1096_24.min1.thm1
2017-02-06 12:45
1.7K
hallmar1__1098_21.min1.thm1
2017-02-06 12:45
2.6K
hallmar1__1099_16.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1100_27.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1111_11.min1.thm1
2017-02-06 12:45
457
hallmar1__1119_59.min1.thm1
2017-02-06 12:45
346
hallmar1__1120_17.min1.thm1
2017-02-06 12:45
639
hallmar1__1138_23.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1140_28.min1.thm1
2017-02-06 12:45
833
hallmar1__1141_22.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1142_31.min1.thm1
2017-02-06 12:45
808
hallmar1__1143_18.min1.thm1
2017-02-06 12:45
641
hallmar1__1148_50.min1.thm1
2017-02-06 12:45
816
hallmar1__1153_24.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1154_21.min1.thm1
2017-02-06 12:45
539
hallmar1__1154_21.min1.thm1.tptp
2017-02-06 16:47
462
hallmar1__1156_20.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1162_23.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1163_33.min1.thm1
2017-02-06 12:45
833
hallmar1__1164_21.min1.thm1
2017-02-06 12:45
921
hallmar1__1166_20.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1167_21.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1169_24.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__1170_22.min1.thm1
2017-02-06 12:45
915
hallmar1__1171_38.min1.thm1
2017-02-06 12:45
967
hallmar1__1177_24.min1.thm1
2017-02-06 12:45
2.2K
hallmar1__1178_32.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__1179_21.min1.thm1
2017-02-06 12:45
449
hallmar1__1179_21.min1.thm1.tptp
2017-02-06 16:47
379
hallmar1__1181_16.min1.thm1
2017-02-06 12:45
578
hallmar1__1181_16.min1.thm1.tptp
2017-02-06 16:47
523
hallmar1__1197_49.min1.thm1
2017-02-06 12:45
282
hallmar1__1198_24.min1.thm1
2017-02-06 12:45
795
hallmar1__1199_26.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1209_42.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1215_39.min1.thm1
2017-02-06 12:45
624
hallmar1__1216_19.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1224_51.min1.thm1
2017-02-06 12:45
1.7K
hallmar1__1225_19.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__1227_17.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1237_20.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1238_16.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1248_20.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1249_16.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1270_22.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1275_19.min1.thm1
2017-02-06 12:45
613
hallmar1__1276_22.min1.thm1
2017-02-06 12:45
941
hallmar1__1277_24.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1278_21.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__1280_20.min1.thm1
2017-02-06 12:45
939
hallmar1__1283_14.min1.thm1
2017-02-06 12:45
278
hallmar1__1296_20.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1297_55.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1301_13.min1.thm1
2017-02-06 12:45
420
hallmar1__1301_13.min1.thm1.tptp
2017-02-06 16:47
364
hallmar1__1304_35.min1.thm1
2017-02-06 12:45
600
hallmar1__1311_13.min1.thm1
2017-02-06 12:45
221
hallmar1__1315_38.min1.thm1
2017-02-06 12:45
595
hallmar1__1316_26.min1.thm1
2017-02-06 12:45
476
hallmar1__1317_48.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1321_21.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1334_50.min1.thm1
2017-02-06 12:45
854
hallmar1__1335_30.min1.thm1
2017-02-06 12:45
600
hallmar1__1342_13.min1.thm1
2017-02-06 12:45
221
hallmar1__1346_38.min1.thm1
2017-02-06 12:45
595
hallmar1__1347_26.min1.thm1
2017-02-06 12:45
476
hallmar1__1348_48.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1352_21.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1366_50.min1.thm1
2017-02-06 12:45
854
hallmar1__1367_46.min1.thm1
2017-02-06 12:45
622
hallmar1__1375_16.min1.thm1
2017-02-06 12:45
707
hallmar1__1381_27.min1.thm1
2017-02-06 12:45
484
hallmar1__1381_27.min1.thm1.tptp
2017-02-06 16:47
422
hallmar1__1383_49.min1.thm1
2017-02-06 12:45
652
hallmar1__1383_49.min1.thm1.tptp
2017-02-06 16:47
590
hallmar1__1384_75.min1.thm1
2017-02-06 12:45
788
hallmar1__1384_75.min1.thm1.tptp
2017-02-06 16:47
726
hallmar1__1397_8.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1398_75.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__1400_75.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__1411_34.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__1419_14.min1.thm1
2017-02-06 12:45
510
hallmar1__1422_14.min1.thm1
2017-02-06 12:45
416
hallmar1__1422_14.min1.thm1.tptp
2017-02-06 16:47
354
hallmar1__1424_19.min1.thm1
2017-02-06 12:45
677
hallmar1__1426_71.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1433_27.min1.thm1
2017-02-06 12:45
510
hallmar1__1434_18.min1.thm1
2017-02-06 12:45
2.3K
hallmar1__1435_22.min1.thm1
2017-02-06 12:45
372
hallmar1__1435_22.min1.thm1.tptp
2017-02-06 16:47
294
hallmar1__1436_20.min1.thm1
2017-02-06 12:45
661
hallmar1__1440_22.min1.thm1
2017-02-06 12:45
497
hallmar1__1442_55.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1444_27.min1.thm1
2017-02-06 12:45
478
hallmar1__1444_27.min1.thm1.tptp
2017-02-06 16:47
407
hallmar1__1453_8.min1.thm1
2017-02-06 12:45
2.3K
hallmar1__1460_29.min1.thm1
2017-02-06 12:45
645
hallmar1__1462_38.min1.thm1
2017-02-06 12:45
547
hallmar1__1462_38.min1.thm1.tptp
2017-02-06 16:47
485
hallmar1__1463_24.min1.thm1
2017-02-06 12:45
551
hallmar1__1463_24.min1.thm1.tptp
2017-02-06 16:47
489
hallmar1__1464_42.min1.thm1
2017-02-06 12:45
545
hallmar1__1464_42.min1.thm1.tptp
2017-02-06 16:47
483
hallmar1__1465_19.min1.thm1
2017-02-06 12:45
953
hallmar1__1468_35.min1.thm1
2017-02-06 12:45
2.0K
hallmar1__1480_60.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1484_54.min1.thm1
2017-02-06 12:45
632
hallmar1__1498_16.min1.thm1
2017-02-06 12:45
1.9K
hallmar1__1503_26.min1.thm1
2017-02-06 12:45
377
hallmar1__1503_26.min1.thm1.tptp
2017-02-06 16:47
299
hallmar1__1504_14.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__1508_19.min1.thm1
2017-02-06 12:45
423
hallmar1__1508_19.min1.thm1.tptp
2017-02-06 16:47
342
hallmar1__1520_25.min1.thm1
2017-02-06 12:45
508
hallmar1__1521_23.min1.thm1
2017-02-06 12:45
1.1K
hallmar1__1526_22.min1.thm1
2017-02-06 12:45
928
hallmar1__1529_28.min1.thm1
2017-02-06 12:45
892
hallmar1__1532_21.min1.thm1
2017-02-06 12:45
805
hallmar1__1534_26.min1.thm1
2017-02-06 12:45
381
hallmar1__1534_26.min1.thm1.tptp
2017-02-06 16:47
303
hallmar1__1536_46.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1540_19.min1.thm1
2017-02-06 12:45
440
hallmar1__1542_19.min1.thm1
2017-02-06 12:45
436
hallmar1__1542_19.min1.thm1.tptp
2017-02-06 16:47
355
hallmar1__1558_18.min1.thm1
2017-02-06 12:45
899
hallmar1__1576_33.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1577_23.min1.thm1
2017-02-06 12:45
950
hallmar1__1584_33.min1.thm1
2017-02-06 12:45
844
hallmar1__1584_33.min1.thm1.tptp
2017-02-06 16:47
806
hallmar1__1585_23.min1.thm1
2017-02-06 12:45
1.8K
hallmar1__1588_24.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1593_24.min1.thm1
2017-02-06 12:45
3.4K
hallmar1__1608_22.min1.thm1
2017-02-06 12:45
1.3K
hallmar1__1611_47.min1.thm1
2017-02-06 12:45
730
hallmar1__1616_24.min1.thm1
2017-02-06 12:45
486
hallmar1__1616_24.min1.thm1.tptp
2017-02-06 16:47
400
hallmar1__1619_23.min1.thm1
2017-02-06 12:45
1.0K
hallmar1__1622_16.min1.thm1
2017-02-06 12:45
902
hallmar1__1630_26.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__1631_19.min1.thm1
2017-02-06 12:45
752
hallmar1__1636_24.min1.thm1
2017-02-06 12:45
1.5K
hallmar1__1640_27.min1.thm1
2017-02-06 12:45
1.4K
hallmar1__1646_31.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__1647_19.min1.thm1
2017-02-06 12:45
623
hallmar1__1651_17.min1.thm1
2017-02-06 12:45
385
hallmar1__1651_17.min1.thm1.tptp
2017-02-06 16:47
304
hallmar1__1663_22.min1.thm1
2017-02-06 12:45
598
hallmar1__1667_16.min1.thm1
2017-02-06 12:45
731
hallmar1__1673_22.min1.thm1
2017-02-06 12:45
1.2K
hallmar1__1677_8.min1.thm1
2017-02-06 12:45
1.6K
hallmar1__1678_19.min1.thm1
2017-02-06 12:45
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80