Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/closure1
Name
Last modified
Size
Description
Parent Directory
-
closure1__51_15.min1.thm1
2017-02-06 12:46
717
closure1__51_15.min1.thm1.tptp
2017-02-06 16:48
657
closure1__56_32.min1.thm1
2017-02-06 12:46
969
closure1__57_64.min1.thm1
2017-02-06 12:46
1.9K
closure1__59_27.min1.thm1
2017-02-06 12:46
623
closure1__60_13.min1.thm1
2017-02-06 12:46
273
closure1__62_25.min1.thm1
2017-02-06 12:46
1.4K
closure1__63_11.min1.thm1
2017-02-06 12:46
573
closure1__68_13.min1.thm1
2017-02-06 12:46
208
closure1__71_21.min1.thm1
2017-02-06 12:46
515
closure1__75_37.min1.thm1
2017-02-06 12:46
792
closure1__77_21.min1.thm1
2017-02-06 12:46
1.2K
closure1__80_18.min1.thm1
2017-02-06 12:46
719
closure1__81_17.min1.thm1
2017-02-06 12:46
1.1K
closure1__93_42.min1.thm1
2017-02-06 12:46
553
closure1__94_16.min1.thm1
2017-02-06 12:46
459
closure1__95_17.min1.thm1
2017-02-06 12:46
626
closure1__105_17.min1.thm1
2017-02-06 12:46
1.2K
closure1__111_11.min1.thm1
2017-02-06 12:46
1.3K
closure1__123_34.min1.thm1
2017-02-06 12:46
1.4K
closure1__126_38.min1.thm1
2017-02-06 12:46
2.8K
closure1__127_19.min1.thm1
2017-02-06 12:46
2.8K
closure1__137_14.min1.thm1
2017-02-06 12:46
2.1K
closure1__150_32.min1.thm1
2017-02-06 12:46
1.4K
closure1__151_32.min1.thm1
2017-02-06 12:46
1.9K
closure1__152_15.min1.thm1
2017-02-06 12:46
1.0K
closure1__153_36.min1.thm1
2017-02-06 12:46
2.5K
closure1__154_17.min1.thm1
2017-02-06 12:46
2.6K
closure1__162_16.min1.thm1
2017-02-06 12:46
626
closure1__163_54.min1.thm1
2017-02-06 12:46
1.4K
closure1__164_16.min1.thm1
2017-02-06 12:46
626
closure1__165_17.min1.thm1
2017-02-06 12:46
626
closure1__170_34.min1.thm1
2017-02-06 12:46
605
closure1__170_34.min1.thm1.tptp
2017-02-06 16:48
535
closure1__171_34.min1.thm1
2017-02-06 12:46
605
closure1__171_34.min1.thm1.tptp
2017-02-06 16:48
535
closure1__172_40.min1.thm1
2017-02-06 12:46
1.1K
closure1__175_30.min1.thm1
2017-02-06 12:46
1.0K
closure1__177_19.min1.thm1
2017-02-06 12:46
1.5K
closure1__178_25.min1.thm1
2017-02-06 12:46
1.7K
closure1__179_40.min1.thm1
2017-02-06 12:46
2.5K
closure1__180_23.min1.thm1
2017-02-06 12:46
859
closure1__181_20.min1.thm1
2017-02-06 12:46
1.8K
closure1__182_27.min1.thm1
2017-02-06 12:46
1.5K
closure1__184_29.min1.thm1
2017-02-06 12:46
1.6K
closure1__200_34.min1.thm1
2017-02-06 12:46
605
closure1__200_34.min1.thm1.tptp
2017-02-06 16:48
535
closure1__201_22.min1.thm1
2017-02-06 12:46
809
closure1__202_25.min1.thm1
2017-02-06 12:46
1.0K
closure1__204_34.min1.thm1
2017-02-06 12:46
1.9K
closure1__205_16.min1.thm1
2017-02-06 12:46
628
closure1__206_30.min1.thm1
2017-02-06 12:46
1.7K
closure1__208_22.min1.thm1
2017-02-06 12:46
967
closure1__210_17.min1.thm1
2017-02-06 12:46
1.1K
closure1__222_18.min1.thm1
2017-02-06 12:46
1.2K
closure1__230_16.min1.thm1
2017-02-06 12:46
638
closure1__231_36.min1.thm1
2017-02-06 12:46
1.0K
closure1__232_64.min1.thm1
2017-02-06 12:46
1.8K
closure1__234_29.min1.thm1
2017-02-06 12:46
620
closure1__235_13.min1.thm1
2017-02-06 12:46
271
closure1__237_28.min1.thm1
2017-02-06 12:46
1.4K
closure1__238_12.min1.thm1
2017-02-06 12:46
568
closure1__243_13.min1.thm1
2017-02-06 12:46
203
closure1__250_38.min1.thm1
2017-02-06 12:46
782
closure1__252_21.min1.thm1
2017-02-06 12:46
1.6K
closure1__255_31.min1.thm1
2017-02-06 12:46
1.0K
closure1__256_64.min1.thm1
2017-02-06 12:46
1.8K
closure1__258_29.min1.thm1
2017-02-06 12:46
620
closure1__259_13.min1.thm1
2017-02-06 12:46
271
closure1__261_28.min1.thm1
2017-02-06 12:46
1.4K
closure1__262_12.min1.thm1
2017-02-06 12:46
568
closure1__267_13.min1.thm1
2017-02-06 12:46
203
closure1__274_38.min1.thm1
2017-02-06 12:46
782
closure1__276_21.min1.thm1
2017-02-06 12:46
1.6K
closure1__282_13.min1.thm1
2017-02-06 12:46
203
closure1__290_38.min1.thm1
2017-02-06 12:46
782
closure1__293_37.min1.thm1
2017-02-06 12:46
622
closure1__293_37.min1.thm1.tptp
2017-02-06 16:48
552
closure1__294_33.min1.thm1
2017-02-06 12:46
782
closure1__314_54.min1.thm1
2017-02-06 12:46
2.3K
closure1__315_49.min1.thm1
2017-02-06 12:46
2.3K
closure1__317_18.min1.thm1
2017-02-06 12:46
1.2K
closure1__319_15.min1.thm1
2017-02-06 12:46
732
closure1__319_15.min1.thm1.tptp
2017-02-06 16:48
672
closure1__322_34.min1.thm1
2017-02-06 12:46
1.0K
closure1__323_66.min1.thm1
2017-02-06 12:46
1.9K
closure1__325_29.min1.thm1
2017-02-06 12:46
631
closure1__326_17.min1.thm1
2017-02-06 12:46
278
closure1__328_27.min1.thm1
2017-02-06 12:46
1.5K
closure1__329_15.min1.thm1
2017-02-06 12:46
584
closure1__334_17.min1.thm1
2017-02-06 12:46
219
closure1__337_25.min1.thm1
2017-02-06 12:46
552
closure1__341_41.min1.thm1
2017-02-06 12:46
817
closure1__343_25.min1.thm1
2017-02-06 12:46
1.3K
closure1__347_20.min1.thm1
2017-02-06 12:46
906
closure1__348_18.min1.thm1
2017-02-06 12:46
1.2K
closure1__354_17.min1.thm1
2017-02-06 12:46
1.7K
closure1__362_18.min1.thm1
2017-02-06 12:46
789
closure1__364_54.min1.thm1
2017-02-06 12:46
2.0K
closure1__366_15.min1.thm1
2017-02-06 12:46
927
closure1__382_14.min1.thm1
2017-02-06 12:46
3.1K
closure1__413_34.min1.thm1
2017-02-06 12:46
1.4K
closure1__418_25.min1.thm1
2017-02-06 12:46
2.2K
closure1__431_18.min1.thm1
2017-02-06 12:46
2.1K
closure1__432_17.min1.thm1
2017-02-06 12:46
2.6K
closure1__444_31.min1.thm1
2017-02-06 12:46
2.9K
closure1__445_21.min1.thm1
2017-02-06 12:46
2.1K
closure1__446_26.min1.thm1
2017-02-06 12:46
2.3K
closure1__459_14.min1.thm1
2017-02-06 12:46
1.3K
closure1__460_44.min1.thm1
2017-02-06 12:46
1.8K
closure1__461_29.min1.thm1
2017-02-06 12:46
630
closure1__462_13.min1.thm1
2017-02-06 12:46
270
closure1__464_27.min1.thm1
2017-02-06 12:46
1.3K
closure1__465_13.min1.thm1
2017-02-06 12:46
590
closure1__466_16.min1.thm1
2017-02-06 12:46
2.0K
closure1__467_16.min1.thm1
2017-02-06 12:46
1.5K
closure1__475_15.min1.thm1
2017-02-06 12:46
205
closure1__478_26.min1.thm1
2017-02-06 12:46
1.1K
closure1__483_41.min1.thm1
2017-02-06 12:46
807
closure1__485_24.min1.thm1
2017-02-06 12:46
713
closure1__486_26.min1.thm1
2017-02-06 12:46
394
closure1__486_26.min1.thm1.tptp
2017-02-06 16:48
311
closure1__490_16.min1.thm1
2017-02-06 12:46
639
closure1__492_40.min1.thm1
2017-02-06 12:46
334
closure1__498_15.min1.thm1
2017-02-06 12:46
205
closure1__501_23.min1.thm1
2017-02-06 12:46
500
closure1__505_41.min1.thm1
2017-02-06 12:46
807
closure1__507_23.min1.thm1
2017-02-06 12:46
904
closure1__510_16.min1.thm1
2017-02-06 12:46
414
closure1__512_56.min1.thm1
2017-02-06 12:46
430
closure1__512_56.min1.thm1.tptp
2017-02-06 16:48
342
closure1__519_15.min1.thm1
2017-02-06 12:46
205
closure1__522_23.min1.thm1
2017-02-06 12:46
744
closure1__526_41.min1.thm1
2017-02-06 12:46
807
closure1__528_24.min1.thm1
2017-02-06 12:46
713
closure1__529_23.min1.thm1
2017-02-06 12:46
394
closure1__529_23.min1.thm1.tptp
2017-02-06 16:48
311
closure1__532_16.min1.thm1
2017-02-06 12:46
546
closure1__534_13.min1.thm1
2017-02-06 12:46
528
closure1__543_46.min1.thm1
2017-02-06 12:46
1.1K
closure1__548_20.min1.thm1
2017-02-06 12:46
3.8K
closure1__554_21.min1.thm1
2017-02-06 12:46
3.1K
closure1__559_20.min1.thm1
2017-02-06 12:46
3.1K
closure1__564_20.min1.thm1
2017-02-06 12:46
2.0K
closure1__566_15.min1.thm1
2017-02-06 12:46
1.9K
closure1__567_20.min1.thm1
2017-02-06 12:46
2.0K
closure1__568_20.min1.thm1
2017-02-06 12:46
1.9K
closure1__569_25.min1.thm1
2017-02-06 12:46
1.9K
closure1__570_30.min1.thm1
2017-02-06 12:46
2.4K
closure1__571_41.min1.thm1
2017-02-06 12:46
2.1K
closure1__572_21.min1.thm1
2017-02-06 12:46
3.4K
closure1__580_44.min1.thm1
2017-02-06 12:46
1.1K
closure1__584_18.min1.thm1
2017-02-06 12:46
3.8K
closure1__586_14.min1.thm1
2017-02-06 12:46
824
closure1__592_44.min1.thm1
2017-02-06 12:46
1.1K
closure1__597_19.min1.thm1
2017-02-06 12:46
3.1K
closure1__599_14.min1.thm1
2017-02-06 12:46
824
closure1__605_44.min1.thm1
2017-02-06 12:46
1.1K
closure1__609_18.min1.thm1
2017-02-06 12:46
3.1K
closure1__611_14.min1.thm1
2017-02-06 12:46
824
closure1__617_44.min1.thm1
2017-02-06 12:46
1.1K
closure1__621_18.min1.thm1
2017-02-06 12:46
2.0K
closure1__623_13.min1.thm1
2017-02-06 12:46
1.8K
closure1__624_18.min1.thm1
2017-02-06 12:46
2.0K
closure1__625_18.min1.thm1
2017-02-06 12:46
1.8K
closure1__626_23.min1.thm1
2017-02-06 12:46
1.8K
closure1__627_28.min1.thm1
2017-02-06 12:46
2.4K
closure1__628_39.min1.thm1
2017-02-06 12:46
2.1K
closure1__629_19.min1.thm1
2017-02-06 12:46
3.3K
closure1__631_14.min1.thm1
2017-02-06 12:46
824
closure1__644_16.min1.thm1
2017-02-06 12:46
1.1K
closure1__645_19.min1.thm1
2017-02-06 12:46
2.8K
closure1__646_19.min1.thm1
2017-02-06 12:46
3.1K
closure1__647_17.min1.thm1
2017-02-06 12:46
3.2K
closure1__658_24.min1.thm1
2017-02-06 12:46
1.5K
closure1__659_23.min1.thm1
2017-02-06 12:46
1.3K
closure1__660_17.min1.thm1
2017-02-06 12:46
3.9K
closure1__668_16.min1.thm1
2017-02-06 12:46
2.0K
closure1__669_16.min1.thm1
2017-02-06 12:46
1.8K
closure1__670_21.min1.thm1
2017-02-06 12:46
1.7K
closure1__671_26.min1.thm1
2017-02-06 12:46
2.4K
closure1__673_34.min1.thm1
2017-02-06 12:46
2.0K
closure1__674_16.min1.thm1
2017-02-06 12:46
1.7K
closure1__676_26.min1.thm1
2017-02-06 12:46
3.3K
closure1__677_16.min1.thm1
2017-02-06 12:46
1.5K
closure1__678_29.min1.thm1
2017-02-06 12:46
3.3K
closure1__691_33.min1.thm1
2017-02-06 12:46
4.4K
closure1__692_16.min1.thm1
2017-02-06 12:46
3.6K
closure1__693_19.min1.thm1
2017-02-06 12:46
3.4K
closure1__700_16.min1.thm1
2017-02-06 12:46
2.0K
closure1__701_16.min1.thm1
2017-02-06 12:46
1.8K
closure1__702_18.min1.thm1
2017-02-06 12:46
1.7K
closure1__703_23.min1.thm1
2017-02-06 12:46
2.4K
closure1__705_31.min1.thm1
2017-02-06 12:46
2.0K
closure1__708_36.min1.thm1
2017-02-06 12:46
4.3K
closure1__709_25.min1.thm1
2017-02-06 12:46
2.8K
closure1__711_34.min1.thm1
2017-02-06 12:46
3.6K
closure1__712_50.min1.thm1
2017-02-06 12:46
4.8K
closure1__714_37.min1.thm1
2017-02-06 12:46
5.3K
closure1__715_32.min1.thm1
2017-02-06 12:46
3.8K
closure1__716_17.min1.thm1
2017-02-06 12:46
5.0K
closure1__724_50.min1.thm1
2017-02-06 12:46
2.4K
closure1__725_16.min1.thm1
2017-02-06 12:46
2.6K
closure1__735_34.min1.thm1
2017-02-06 12:46
1.8K
closure1__736_42.min1.thm1
2017-02-06 12:46
4.0K
closure1__746_22.min1.thm1
2017-02-06 12:46
2.3K
closure1__749_22.min1.thm1
2017-02-06 12:46
1.4K
closure1__750_32.min1.thm1
2017-02-06 12:46
2.1K
closure1__763_22.min1.thm1
2017-02-06 12:46
2.3K
closure1__764_22.min1.thm1
2017-02-06 12:46
2.3K
closure1__781_22.min1.thm1
2017-02-06 12:46
2.3K
closure1__782_16.min1.thm1
2017-02-06 12:46
2.0K
closure1__784_13.min1.thm1
2017-02-06 12:46
1.8K
closure1__785_16.min1.thm1
2017-02-06 12:46
2.0K
closure1__786_16.min1.thm1
2017-02-06 12:46
1.8K
closure1__787_21.min1.thm1
2017-02-06 12:46
1.8K
closure1__788_26.min1.thm1
2017-02-06 12:46
3.5K
closure1__789_46.min1.thm1
2017-02-06 12:46
4.1K
closure1__800_27.min1.thm1
2017-02-06 12:46
619
closure1__801_16.min1.thm1
2017-02-06 12:46
785
closure1__808_15.min1.thm1
2017-02-06 12:46
272
closure1__811_13.min1.thm1
2017-02-06 12:46
570
closure1__813_15.min1.thm1
2017-02-06 12:46
205
closure1__816_28.min1.thm1
2017-02-06 12:46
1.1K
closure1__821_39.min1.thm1
2017-02-06 12:46
785
closure1__826_16.min1.thm1
2017-02-06 12:46
633
closure1__840_67.min1.thm1
2017-02-06 12:46
1.8K
closure1__846_36.min1.thm1
2017-02-06 12:46
768
closure1__849_11.min1.thm1
2017-02-06 12:46
568
closure1__865_67.min1.thm1
2017-02-06 12:46
1.8K
closure1__868_67.min1.thm1
2017-02-06 12:46
1.8K
closure1__870_15.min1.thm1
2017-02-06 12:46
270
closure1__871_27.min1.thm1
2017-02-06 12:46
620
closure1__874_11.min1.thm1
2017-02-06 12:46
568
closure1__875_27.min1.thm1
2017-02-06 12:46
620
closure1__878_11.min1.thm1
2017-02-06 12:46
568
closure1__883_13.min1.thm1
2017-02-06 12:46
203
closure1__886_21.min1.thm1
2017-02-06 12:46
569
closure1__890_37.min1.thm1
2017-02-06 12:46
782
closure1__893_32.min1.thm1
2017-02-06 12:46
782
closure1__894_21.min1.thm1
2017-02-06 12:46
1.3K
closure1__916_67.min1.thm1
2017-02-06 12:46
1.8K
closure1__919_36.min1.thm1
2017-02-06 12:46
768
closure1__922_11.min1.thm1
2017-02-06 12:46
568
closure1__940_67.min1.thm1
2017-02-06 12:46
1.8K
closure1__943_67.min1.thm1
2017-02-06 12:46
1.8K
closure1__945_15.min1.thm1
2017-02-06 12:46
270
closure1__946_25.min1.thm1
2017-02-06 12:46
620
closure1__949_11.min1.thm1
2017-02-06 12:46
568
closure1__951_25.min1.thm1
2017-02-06 12:46
620
closure1__954_11.min1.thm1
2017-02-06 12:46
568
closure1__1004_13.min1.thm1
2017-02-06 12:46
1.4K
closure1__1013_28.min1.thm1
2017-02-06 12:46
1.5K
closure1__1016_24.min1.thm1
2017-02-06 12:46
4.4K
closure1__1024_14.min1.thm1
2017-02-06 12:46
2.7K
closure1__1036_15.min1.thm1
2017-02-06 12:46
1.5K
closure1__1044_14.min1.thm1
2017-02-06 12:46
622
closure1__1051_14.min1.thm1
2017-02-06 12:46
622
closure1__1058_14.min1.thm1
2017-02-06 12:46
622
closure1__1065_14.min1.thm1
2017-02-06 12:46
622
closure1__1072_14.min1.thm1
2017-02-06 12:46
624
closure1__1079_14.min1.thm1
2017-02-06 12:46
625
closure1__1089_56.min1.thm1
2017-02-06 12:46
1.5K
closure1__1097_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1104_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1111_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1118_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1125_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1132_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1142_38.min1.thm1
2017-02-06 12:46
1.4K
closure1__1153_44.min1.thm1
2017-02-06 12:46
1.4K
closure1__1166_50.min1.thm1
2017-02-06 12:46
1.4K
closure1__1177_50.min1.thm1
2017-02-06 12:46
1.4K
closure1__1210_20.min1.thm1
2017-02-06 12:46
1.7K
closure1__1220_21.min1.thm1
2017-02-06 12:46
737
closure1__1222_46.min1.thm1
2017-02-06 12:46
290
closure1__1231_12.min1.thm1
2017-02-06 12:46
1.9K
closure1__1235_19.min1.thm1
2017-02-06 12:46
1.8K
closure1__1236_25.min1.thm1
2017-02-06 12:46
2.4K
closure1__1237_21.min1.thm1
2017-02-06 12:46
2.1K
closure1__1256_71.min1.thm1
2017-02-06 12:46
836
closure1__1257_25.min1.thm1
2017-02-06 12:46
1.8K
closure1__1261_69.min1.thm1
2017-02-06 12:46
824
closure1__1262_23.min1.thm1
2017-02-06 12:46
1.8K
closure1__1265_18.min1.thm1
2017-02-06 12:46
1.4K
closure1__1280_29.min1.thm1
2017-02-06 12:46
467
closure1__1280_29.min1.thm1.tptp
2017-02-06 16:48
390
closure1__1284_14.min1.thm1
2017-02-06 12:46
1.4K
closure1__1285_12.min1.thm1
2017-02-06 12:46
595
closure1__1286_35.min1.thm1
2017-02-06 12:46
1.9K
closure1__1304_54.min1.thm1
2017-02-06 12:46
2.1K
closure1__1305_17.min1.thm1
2017-02-06 12:46
1.1K
closure1__1308_17.min1.thm1
2017-02-06 12:46
2.3K
closure1__1310_24.min1.thm1
2017-02-06 12:46
1.1K
closure1__1318_17.min1.thm1
2017-02-06 12:46
2.3K
closure1__1321_36.min1.thm1
2017-02-06 12:46
1.6K
closure1__1322_73.min1.thm1
2017-02-06 12:46
1.5K
closure1__1324_19.min1.thm1
2017-02-06 12:46
2.6K
closure1__1330_36.min1.thm1
2017-02-06 12:46
1.6K
closure1__1332_68.min1.thm1
2017-02-06 12:46
1.5K
closure1__1333_17.min1.thm1
2017-02-06 12:46
1.1K
closure1__1334_27.min1.thm1
2017-02-06 12:46
2.4K
closure1__1336_17.min1.thm1
2017-02-06 12:46
2.7K
closure1__1354_18.min1.thm1
2017-02-06 12:46
1.5K
closure1__1356_23.min1.thm1
2017-02-06 12:46
1.2K
closure1__1358_56.min1.thm1
2017-02-06 12:46
2.2K
closure1__1361_19.min1.thm1
2017-02-06 12:46
1.2K
closure1__1362_21.min1.thm1
2017-02-06 12:46
1.0K
closure1__1363_21.min1.thm1
2017-02-06 12:46
602
closure1__1403_43.min1.thm1
2017-02-06 12:46
1.8K
closure1__1407_18.min1.thm1
2017-02-06 12:46
1.3K
closure1__1409_24.min1.thm1
2017-02-06 12:46
1.8K
closure1__1410_39.min1.thm1
2017-02-06 12:46
2.0K
closure1__1411_33.min1.thm1
2017-02-06 12:46
3.6K
closure1__1412_32.min1.thm1
2017-02-06 12:46
4.2K
closure1__1413_19.min1.thm1
2017-02-06 12:46
3.9K
closure1__1415_14.min1.thm1
2017-02-06 12:46
2.0K
closure1__1428_18.min1.thm1
2017-02-06 12:46
1.4K
closure1__1434_29.min1.thm1
2017-02-06 12:46
2.0K
closure1__1441_22.min1.thm1
2017-02-06 12:46
617
closure1__1442_21.min1.thm1
2017-02-06 12:46
936
closure1__1446_50.min1.thm1
2017-02-06 12:46
332
closure1__1447_38.min1.thm1
2017-02-06 12:46
690
closure1__1452_13.min1.thm1
2017-02-06 12:46
766
closure1__1454_17.min1.thm1
2017-02-06 12:46
1.5K
closure1__1455_18.min1.thm1
2017-02-06 12:46
2.0K
closure1__1456_18.min1.thm1
2017-02-06 12:46
1.5K
closure1__1458_19.min1.thm1
2017-02-06 12:46
1.1K
closure1__1460_53.min1.thm1
2017-02-06 12:46
426
closure1__1460_53.min1.thm1.tptp
2017-02-06 16:48
338
closure1__1472_25.min1.thm1
2017-02-06 12:46
1.3K
closure1__1473_21.min1.thm1
2017-02-06 12:46
885
closure1__1480_25.min1.thm1
2017-02-06 12:46
1.3K
closure1__1481_21.min1.thm1
2017-02-06 12:46
885
closure1__1490_17.min1.thm1
2017-02-06 12:46
964
closure1__1509_14.min1.thm1
2017-02-06 12:46
1.3K
closure1__1512_32.min1.thm1
2017-02-06 12:46
1.0K
closure1__1513_64.min1.thm1
2017-02-06 12:46
1.9K
closure1__1515_27.min1.thm1
2017-02-06 12:46
623
closure1__1516_15.min1.thm1
2017-02-06 12:46
272
closure1__1518_25.min1.thm1
2017-02-06 12:46
1.4K
closure1__1519_13.min1.thm1
2017-02-06 12:46
574
closure1__1524_15.min1.thm1
2017-02-06 12:46
209
closure1__1527_23.min1.thm1
2017-02-06 12:46
524
closure1__1531_39.min1.thm1
2017-02-06 12:46
795
closure1__1536_18.min1.thm1
2017-02-06 12:46
765
closure1__1539_13.min1.thm1
2017-02-06 12:46
765
closure1__1547_13.min1.thm1
2017-02-06 12:46
1.1K
closure1__1548_30.min1.thm1
2017-02-06 12:46
962
closure1__1549_63.min1.thm1
2017-02-06 12:46
1.8K
closure1__1551_28.min1.thm1
2017-02-06 12:46
620
closure1__1552_13.min1.thm1
2017-02-06 12:46
271
closure1__1555_11.min1.thm1
2017-02-06 12:46
568
closure1__1560_13.min1.thm1
2017-02-06 12:46
203
closure1__1563_21.min1.thm1
2017-02-06 12:46
505
closure1__1567_20.min1.thm1
2017-02-06 12:46
2.0K
closure1__1569_15.min1.thm1
2017-02-06 12:46
1.5K
closure1__1570_32.min1.thm1
2017-02-06 12:46
782
closure1__1575_14.min1.thm1
2017-02-06 12:46
765
closure1__1580_13.min1.thm1
2017-02-06 12:46
203
closure1__1583_21.min1.thm1
2017-02-06 12:46
739
closure1__1587_37.min1.thm1
2017-02-06 12:46
782
closure1__1592_18.min1.thm1
2017-02-06 12:46
849
closure1__1609_13.min1.thm1
2017-02-06 12:46
1.7K
closure1__1612_49.min1.thm1
2017-02-06 12:46
2.1K
closure1__1615_32.min1.thm1
2017-02-06 12:46
1.0K
closure1__1616_64.min1.thm1
2017-02-06 12:46
1.9K
closure1__1618_27.min1.thm1
2017-02-06 12:46
627
closure1__1619_15.min1.thm1
2017-02-06 12:46
276
closure1__1621_25.min1.thm1
2017-02-06 12:46
1.4K
closure1__1622_13.min1.thm1
2017-02-06 12:46
578
closure1__1627_15.min1.thm1
2017-02-06 12:46
213
closure1__1630_23.min1.thm1
2017-02-06 12:46
669
closure1__1634_39.min1.thm1
2017-02-06 12:46
803
closure1__1641_51.min1.thm1
2017-02-06 12:46
950
closure1__1643_46.min1.thm1
2017-02-06 12:46
863
closure1__1645_30.min1.thm1
2017-02-06 12:46
798
closure1__1647_21.min1.thm1
2017-02-06 12:46
1.5K
closure1__1650_45.min1.thm1
2017-02-06 12:46
1.8K
closure1__1660_30.min1.thm1
2017-02-06 12:46
425
closure1__1671_43.min1.thm1
2017-02-06 12:46
1.8K
closure1__1673_13.min1.thm1
2017-02-06 12:46
2.0K
closure1__1675_18.min1.thm1
2017-02-06 12:46
1.7K
closure1__1699_71.min1.thm1
2017-02-06 12:46
1.4K
closure1__1700_12.min1.thm1
2017-02-06 12:46
1.7K
closure1__1701_22.min1.thm1
2017-02-06 12:46
1.7K
closure1__1703_16.min1.thm1
2017-02-06 12:46
4.0K
closure1__1704_64.min1.thm1
2017-02-06 12:46
611
closure1__1705_19.min1.thm1
2017-02-06 12:46
1.4K
closure1__1706_19.min1.thm1
2017-02-06 12:46
3.4K
closure1__1707_19.min1.thm1
2017-02-06 12:46
3.2K
closure1__1724_71.min1.thm1
2017-02-06 12:46
1.6K
closure1__1727_19.min1.thm1
2017-02-06 12:46
1.4K
closure1__1728_17.min1.thm1
2017-02-06 12:46
5.0K
closure1__1746_71.min1.thm1
2017-02-06 12:46
1.4K
closure1__1748_12.min1.thm1
2017-02-06 12:46
1.6K
closure1__1749_19.min1.thm1
2017-02-06 12:46
3.4K
closure1__1756_72.min1.thm1
2017-02-06 12:46
1.4K
closure1__1758_72.min1.thm1
2017-02-06 12:46
1.4K
closure1__1765_14.min1.thm1
2017-02-06 12:46
1.9K
closure1__1772_27.min1.thm1
2017-02-06 12:46
1.1K
closure1__1773_22.min1.thm1
2017-02-06 12:46
1.4K
closure1__1792_71.min1.thm1
2017-02-06 12:46
1.6K
closure1__1796_19.min1.thm1
2017-02-06 12:46
1.6K
closure1__1797_16.min1.thm1
2017-02-06 12:46
1.4K
closure1__1799_35.min1.thm1
2017-02-06 12:46
2.7K
closure1__1800_24.min1.thm1
2017-02-06 12:46
3.8K
closure1__1802_19.min1.thm1
2017-02-06 12:46
4.6K
closure1__1822_55.min1.thm1
2017-02-06 12:46
1.6K
closure1__1823_67.min1.thm1
2017-02-06 12:46
2.9K
closure1__1825_15.min1.thm1
2017-02-06 12:46
1.8K
closure1__1827_12.min1.thm1
2017-02-06 12:46
2.8K
closure1__1838_28.min1.thm1
2017-02-06 12:46
2.3K
closure1__1839_16.min1.thm1
2017-02-06 12:46
1.2K
closure1__1851_28.min1.thm1
2017-02-06 12:46
2.3K
closure1__1852_16.min1.thm1
2017-02-06 12:46
1.2K
closure1__1874_18.min1.thm1
2017-02-06 12:46
1.9K
closure1__1874_18.min1.thm1.tptp
2017-02-06 16:48
1.9K
closure1__1891_31.min1.thm1
2017-02-06 12:46
1.9K
closure1__1895_38.min1.thm1
2017-02-06 12:46
2.3K
closure1__1896_29.min1.thm1
2017-02-06 12:46
6.1K
closure1__1897_19.min1.thm1
2017-02-06 12:46
6.1K
closure1__1899_20.min1.thm1
2017-02-06 12:46
5.4K
closure1__1911_26.min1.thm1
2017-02-06 12:46
2.3K
closure1__1917_29.min1.thm1
2017-02-06 12:46
3.8K
closure1__1928_61.min1.thm1
2017-02-06 12:46
1.3K
closure1__1943_29.min1.thm1
2017-02-06 12:46
1.3K
closure1__1944_34.min1.thm1
2017-02-06 12:46
2.0K
closure1__1948_38.min1.thm1
2017-02-06 12:46
1.4K
closure1__1954_51.min1.thm1
2017-02-06 12:46
2.6K
closure1__1958_36.min1.thm1
2017-02-06 12:46
1.2K
closure1__1959_35.min1.thm1
2017-02-06 12:46
1.0K
closure1__1975_19.min1.thm1
2017-02-06 12:46
2.2K
closure1__1988_35.min1.thm1
2017-02-06 12:46
1.0K
closure1__1989_67.min1.thm1
2017-02-06 12:46
1.9K
closure1__1991_29.min1.thm1
2017-02-06 12:46
631
closure1__1992_20.min1.thm1
2017-02-06 12:46
1.9K
closure1__1998_17.min1.thm1
2017-02-06 12:46
278
closure1__2001_15.min1.thm1
2017-02-06 12:46
584
closure1__2006_17.min1.thm1
2017-02-06 12:46
219
closure1__2013_41.min1.thm1
2017-02-06 12:46
817
closure1__2018_44.min1.thm1
2017-02-06 12:46
460
closure1__2029_24.min1.thm1
2017-02-06 12:46
542
closure1__2033_53.min1.thm1
2017-02-06 12:46
878
closure1__2036_24.min1.thm1
2017-02-06 12:46
698
closure1__2047_33.min1.thm1
2017-02-06 12:46
1.0K
closure1__2048_65.min1.thm1
2017-02-06 12:46
1.9K
closure1__2050_28.min1.thm1
2017-02-06 12:46
628
closure1__2051_15.min1.thm1
2017-02-06 12:46
277
closure1__2054_13.min1.thm1
2017-02-06 12:46
578
closure1__2055_44.min1.thm1
2017-02-06 12:46
2.4K
closure1__2062_15.min1.thm1
2017-02-06 12:46
213
closure1__2069_39.min1.thm1
2017-02-06 12:46
804
closure1__2074_42.min1.thm1
2017-02-06 12:46
452
closure1__2087_17.min1.thm1
2017-02-06 12:46
3.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80