Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/projpl_1
Name
Last modified
Size
Description
Parent Directory
-
projpl_1__1138_17.min1.thm1
2017-02-06 12:44
741
projpl_1__1137_14.min1.thm1
2017-02-06 12:44
2.1K
projpl_1__1136_12.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1135_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1132_13.min1.thm1
2017-02-06 12:44
2.2K
projpl_1__1130_17.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1129_14.min1.thm1
2017-02-06 12:44
2.1K
projpl_1__1127_16.min1.thm1
2017-02-06 12:44
2.2K
projpl_1__1125_24.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1124_15.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1123_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1104_17.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__1103_14.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__1093_17.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__1092_13.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1091_19.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1089_13.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1077_17.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__1076_20.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__1075_13.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1074_17.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__1072_13.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1071_15.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1055_17.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1053_19.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1052_21.min1.thm1
2017-02-06 12:44
1.8K
projpl_1__1051_20.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1037_17.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1036_20.min1.thm1
2017-02-06 12:44
1.9K
projpl_1__1035_25.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__1023_17.min1.thm1.tptp
2017-02-06 16:47
603
projpl_1__1023_17.min1.thm1
2017-02-06 12:44
691
projpl_1__1020_16.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__1014_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1013_19.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1011_15.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1008_14.min1.thm1
2017-02-06 12:44
1.8K
projpl_1__1006_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__1005_19.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__1003_15.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__989_17.min1.thm1.tptp
2017-02-06 16:47
603
projpl_1__989_17.min1.thm1
2017-02-06 12:44
691
projpl_1__986_14.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__980_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__979_17.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__977_15.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__974_13.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__972_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__971_16.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__969_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__955_17.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__954_14.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__942_17.min1.thm1
2017-02-06 12:44
1.8K
projpl_1__941_24.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__924_37.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__923_46.min1.thm1.tptp
2017-02-06 16:47
298
projpl_1__923_46.min1.thm1
2017-02-06 12:44
368
projpl_1__918_37.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__917_46.min1.thm1.tptp
2017-02-06 16:47
298
projpl_1__917_46.min1.thm1
2017-02-06 12:44
368
projpl_1__912_37.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__911_46.min1.thm1.tptp
2017-02-06 16:47
298
projpl_1__911_46.min1.thm1
2017-02-06 12:44
368
projpl_1__906_37.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__905_46.min1.thm1.tptp
2017-02-06 16:47
298
projpl_1__905_46.min1.thm1
2017-02-06 12:44
368
projpl_1__900_37.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__899_46.min1.thm1.tptp
2017-02-06 16:47
298
projpl_1__899_46.min1.thm1
2017-02-06 12:44
368
projpl_1__894_37.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__893_46.min1.thm1.tptp
2017-02-06 16:47
298
projpl_1__893_46.min1.thm1
2017-02-06 12:44
368
projpl_1__890_16.min1.thm1.tptp
2017-02-06 16:47
543
projpl_1__890_16.min1.thm1
2017-02-06 12:44
609
projpl_1__876_32.min1.thm1
2017-02-06 12:44
911
projpl_1__871_32.min1.thm1
2017-02-06 12:44
911
projpl_1__866_32.min1.thm1
2017-02-06 12:44
911
projpl_1__863_16.min1.thm1.tptp
2017-02-06 16:47
371
projpl_1__863_16.min1.thm1
2017-02-06 12:44
440
projpl_1__846_15.min1.thm1
2017-02-06 12:44
2.6K
projpl_1__845_11.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__842_23.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__841_13.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__839_11.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__838_25.min1.thm1.tptp
2017-02-06 16:47
1.1K
projpl_1__838_25.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__836_22.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__824_17.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__823_18.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__821_42.min1.thm1
2017-02-06 12:44
1.9K
projpl_1__820_20.min1.thm1
2017-02-06 12:44
2.1K
projpl_1__819_20.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__809_19.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__808_25.min1.thm1.tptp
2017-02-06 16:47
1.8K
projpl_1__808_25.min1.thm1
2017-02-06 12:44
1.8K
projpl_1__805_14.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__790_36.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__788_20.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__786_17.min1.thm1
2017-02-06 12:44
764
projpl_1__777_21.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__775_38.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__767_49.min1.thm1.tptp
2017-02-06 16:47
944
projpl_1__767_49.min1.thm1
2017-02-06 12:44
967
projpl_1__765_20.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__763_24.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__758_38.min1.thm1.tptp
2017-02-06 16:47
2.1K
projpl_1__758_38.min1.thm1
2017-02-06 12:44
2.0K
projpl_1__757_31.min1.thm1.tptp
2017-02-06 16:47
1.8K
projpl_1__757_31.min1.thm1
2017-02-06 12:44
1.8K
projpl_1__744_18.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__741_25.min1.thm1
2017-02-06 12:44
3.0K
projpl_1__740_30.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__739_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__738_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__737_21.min1.thm1
2017-02-06 12:44
701
projpl_1__735_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__734_21.min1.thm1
2017-02-06 12:44
701
projpl_1__732_41.min1.thm1
2017-02-06 12:44
2.2K
projpl_1__730_36.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__729_21.min1.thm1
2017-02-06 12:44
701
projpl_1__727_23.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__725_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__724_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__723_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__722_23.min1.thm1
2017-02-06 12:44
756
projpl_1__720_23.min1.thm1
2017-02-06 12:44
756
projpl_1__718_23.min1.thm1
2017-02-06 12:44
756
projpl_1__713_25.min1.thm1
2017-02-06 12:44
3.0K
projpl_1__712_30.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__711_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__710_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__709_21.min1.thm1
2017-02-06 12:44
701
projpl_1__707_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__706_21.min1.thm1
2017-02-06 12:44
701
projpl_1__704_41.min1.thm1
2017-02-06 12:44
2.2K
projpl_1__702_36.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__701_21.min1.thm1
2017-02-06 12:44
701
projpl_1__699_23.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__697_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__696_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__695_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__694_23.min1.thm1
2017-02-06 12:44
756
projpl_1__692_23.min1.thm1
2017-02-06 12:44
756
projpl_1__690_23.min1.thm1
2017-02-06 12:44
756
projpl_1__685_25.min1.thm1
2017-02-06 12:44
3.0K
projpl_1__684_30.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__683_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__682_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__681_21.min1.thm1
2017-02-06 12:44
701
projpl_1__679_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__678_21.min1.thm1
2017-02-06 12:44
701
projpl_1__676_41.min1.thm1
2017-02-06 12:44
2.2K
projpl_1__675_21.min1.thm1
2017-02-06 12:44
701
projpl_1__673_23.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__671_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__670_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__669_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__668_23.min1.thm1
2017-02-06 12:44
756
projpl_1__666_23.min1.thm1
2017-02-06 12:44
756
projpl_1__664_23.min1.thm1
2017-02-06 12:44
756
projpl_1__660_20.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__656_26.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__655_30.min1.thm1
2017-02-06 12:44
656
projpl_1__639_17.min1.thm1
2017-02-06 12:44
496
projpl_1__638_14.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__637_9.min1.thm1.tptp
2017-02-06 16:47
286
projpl_1__637_9.min1.thm1
2017-02-06 12:44
357
projpl_1__636_12.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__634_9.min1.thm1.tptp
2017-02-06 16:47
286
projpl_1__634_9.min1.thm1
2017-02-06 12:44
357
projpl_1__633_23.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__632_14.min1.thm1
2017-02-06 12:44
883
projpl_1__631_12.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__629_18.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__628_22.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__627_22.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__612_17.min1.thm1
2017-02-06 12:44
495
projpl_1__611_14.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__610_24.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__609_11.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__607_29.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__606_24.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__605_11.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__603_29.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__602_24.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__590_17.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__589_20.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__588_13.min1.thm1
2017-02-06 12:44
948
projpl_1__578_16.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__568_17.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__567_20.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__565_17.min1.thm1
2017-02-06 12:44
734
projpl_1__563_26.min1.thm1
2017-02-06 12:44
556
projpl_1__550_17.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__549_20.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__547_42.min1.thm1
2017-02-06 12:44
2.3K
projpl_1__546_22.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__535_19.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__534_25.min1.thm1.tptp
2017-02-06 16:47
1.8K
projpl_1__534_25.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__531_14.min1.thm1
2017-02-06 12:44
2.0K
projpl_1__520_19.min1.thm1
2017-02-06 12:44
3.6K
projpl_1__519_28.min1.thm1
2017-02-06 12:44
3.0K
projpl_1__517_16.min1.thm1
2017-02-06 12:44
2.3K
projpl_1__516_37.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__514_30.min1.thm1.tptp
2017-02-06 16:47
917
projpl_1__514_30.min1.thm1
2017-02-06 12:44
940
projpl_1__503_17.min1.thm1
2017-02-06 12:44
2.0K
projpl_1__502_24.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__500_12.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__497_25.min1.thm1.tptp
2017-02-06 16:47
1.8K
projpl_1__497_25.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__496_26.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__495_11.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__492_20.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__489_11.min1.thm1.tptp
2017-02-06 16:47
646
projpl_1__489_11.min1.thm1
2017-02-06 12:44
693
projpl_1__480_17.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__479_32.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__478_10.min1.thm1
2017-02-06 12:44
892
projpl_1__477_30.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__475_32.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__474_10.min1.thm1
2017-02-06 12:44
892
projpl_1__473_29.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__471_32.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__470_10.min1.thm1
2017-02-06 12:44
892
projpl_1__469_29.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__467_10.min1.thm1
2017-02-06 12:44
891
projpl_1__452_16.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__451_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__450_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__449_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__448_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__447_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__446_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__445_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__444_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__443_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__442_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__441_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__440_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__439_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__438_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__437_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__436_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__435_33.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__434_34.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__433_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__432_34.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__431_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__430_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__429_34.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__428_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__427_34.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__426_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__425_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__424_34.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__423_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__421_27.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__420_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__419_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__418_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__417_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__416_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__414_27.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__413_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__412_27.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__411_26.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__409_26.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__408_26.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__407_26.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__406_26.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__405_26.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__404_26.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__402_26.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__386_70.min1.thm1
2017-02-06 12:44
778
projpl_1__381_17.min1.thm1
2017-02-06 12:44
2.0K
projpl_1__380_32.min1.thm1
2017-02-06 12:44
2.0K
projpl_1__379_34.min1.thm1
2017-02-06 12:44
2.0K
projpl_1__378_19.min1.thm1
2017-02-06 12:44
1.9K
projpl_1__377_19.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__367_39.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__366_24.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__354_14.min1.thm1
2017-02-06 12:44
815
projpl_1__351_21.min1.thm1
2017-02-06 12:44
660
projpl_1__347_21.min1.thm1
2017-02-06 12:44
661
projpl_1__344_16.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__342_11.min1.thm1.tptp
2017-02-06 16:47
286
projpl_1__342_11.min1.thm1
2017-02-06 12:44
357
projpl_1__341_13.min1.thm1
2017-02-06 12:44
948
projpl_1__340_11.min1.thm1.tptp
2017-02-06 16:47
285
projpl_1__340_11.min1.thm1
2017-02-06 12:44
356
projpl_1__339_13.min1.thm1
2017-02-06 12:44
948
projpl_1__338_11.min1.thm1.tptp
2017-02-06 16:47
285
projpl_1__338_11.min1.thm1
2017-02-06 12:44
356
projpl_1__337_35.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__326_16.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__324_29.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__322_9.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__312_16.min1.thm1
2017-02-06 12:44
226
projpl_1__310_9.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__289_61.min1.thm1
2017-02-06 12:44
713
projpl_1__285_17.min1.thm1
2017-02-06 12:44
1.8K
projpl_1__282_26.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__276_38.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__245_6.min1.thm1
2017-02-06 12:44
967
projpl_1__242_20.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__240_18.min1.thm1
2017-02-06 12:44
2.9K
projpl_1__238_36.min1.thm1
2017-02-06 12:44
1.9K
projpl_1__237_32.min1.thm1
2017-02-06 12:44
1.6K
projpl_1__227_67.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__225_23.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__224_24.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__223_20.min1.thm1.tptp
2017-02-06 16:47
349
projpl_1__223_20.min1.thm1
2017-02-06 12:44
420
projpl_1__222_21.min1.thm1.tptp
2017-02-06 16:47
799
projpl_1__222_21.min1.thm1
2017-02-06 12:44
838
projpl_1__216_29.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__214_19.min1.thm1
2017-02-06 12:44
746
projpl_1__200_20.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__196_24.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__195_24.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__194_24.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__193_24.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__192_24.min1.thm1
2017-02-06 12:44
1.2K
projpl_1__181_20.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__180_42.min1.thm1.tptp
2017-02-06 16:47
392
projpl_1__180_42.min1.thm1
2017-02-06 12:44
463
projpl_1__178_33.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__172_26.min1.thm1.tptp
2017-02-06 16:47
594
projpl_1__172_26.min1.thm1
2017-02-06 12:44
645
projpl_1__170_20.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__168_24.min1.thm1
2017-02-06 12:44
913
projpl_1__163_31.min1.thm1
2017-02-06 12:44
967
projpl_1__162_6.min1.thm1.tptp
2017-02-06 16:47
1.0K
projpl_1__162_6.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__147_31.min1.thm1
2017-02-06 12:44
967
projpl_1__145_29.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__144_33.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__136_27.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__135_22.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__134_22.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__119_31.min1.thm1
2017-02-06 12:44
967
projpl_1__117_29.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__116_37.min1.thm1
2017-02-06 12:44
1.4K
projpl_1__108_27.min1.thm1
2017-02-06 12:44
1.3K
projpl_1__107_22.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__106_22.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__84_17.min1.thm1
2017-02-06 12:44
1.5K
projpl_1__83_20.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__82_13.min1.thm1
2017-02-06 12:44
1.0K
projpl_1__77_19.min1.thm1
2017-02-06 12:44
925
projpl_1__76_27.min1.thm1
2017-02-06 12:44
925
projpl_1__71_19.min1.thm1
2017-02-06 12:44
1.7K
projpl_1__70_22.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__69_13.min1.thm1
2017-02-06 12:44
1.1K
projpl_1__62_36.min1.thm1
2017-02-06 12:44
927
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80