Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/closure3
Name
Last modified
Size
Description
Parent Directory
-
closure3__41_11.min1.thm1
2017-02-06 12:46
1.0K
closure3__48_14.min1.thm1
2017-02-06 12:46
598
closure3__49_15.min1.thm1
2017-02-06 12:46
598
closure3__50_17.min1.thm1
2017-02-06 12:46
873
closure3__55_36.min1.thm1
2017-02-06 12:46
1.2K
closure3__68_11.min1.thm1
2017-02-06 12:46
186
closure3__72_62.min1.thm1
2017-02-06 12:46
1.5K
closure3__82_33.min1.thm1
2017-02-06 12:46
1.9K
closure3__83_51.min1.thm1
2017-02-06 12:46
1.0K
closure3__102_54.min1.thm1
2017-02-06 12:46
737
closure3__108_66.min1.thm1
2017-02-06 12:46
951
closure3__134_39.min1.thm1
2017-02-06 12:46
2.0K
closure3__135_29.min1.thm1
2017-02-06 12:46
1.6K
closure3__136_33.min1.thm1
2017-02-06 12:46
1.1K
closure3__139_30.min1.thm1
2017-02-06 12:46
2.2K
closure3__155_37.min1.thm1
2017-02-06 12:46
1.0K
closure3__180_13.min1.thm1
2017-02-06 12:46
473
closure3__182_22.min1.thm1
2017-02-06 12:46
473
closure3__184_16.min1.thm1
2017-02-06 12:46
498
closure3__195_18.min1.thm1
2017-02-06 12:46
600
closure3__196_27.min1.thm1
2017-02-06 12:46
489
closure3__196_27.min1.thm1.tptp
2017-02-06 16:48
412
closure3__199_23.min1.thm1
2017-02-06 12:46
685
closure3__200_21.min1.thm1
2017-02-06 12:46
1.3K
closure3__204_53.min1.thm1
2017-02-06 12:46
848
closure3__205_19.min1.thm1
2017-02-06 12:46
724
closure3__213_18.min1.thm1
2017-02-06 12:46
639
closure3__227_18.min1.thm1
2017-02-06 12:46
883
closure3__228_19.min1.thm1
2017-02-06 12:46
1.1K
closure3__230_14.min1.thm1
2017-02-06 12:46
625
closure3__231_16.min1.thm1
2017-02-06 12:46
705
closure3__232_17.min1.thm1
2017-02-06 12:46
1.6K
closure3__240_17.min1.thm1
2017-02-06 12:46
625
closure3__241_17.min1.thm1
2017-02-06 12:46
625
closure3__247_49.min1.thm1
2017-02-06 12:46
622
closure3__247_49.min1.thm1.tptp
2017-02-06 16:48
548
closure3__250_26.min1.thm1
2017-02-06 12:46
1.0K
closure3__252_22.min1.thm1
2017-02-06 12:46
1.3K
closure3__253_24.min1.thm1
2017-02-06 12:46
1.0K
closure3__254_27.min1.thm1
2017-02-06 12:46
1.3K
closure3__256_31.min1.thm1
2017-02-06 12:46
829
closure3__257_49.min1.thm1
2017-02-06 12:46
622
closure3__257_49.min1.thm1.tptp
2017-02-06 16:48
548
closure3__258_36.min1.thm1
2017-02-06 12:46
829
closure3__259_36.min1.thm1
2017-02-06 12:46
1.0K
closure3__260_16.min1.thm1
2017-02-06 12:46
804
closure3__261_16.min1.thm1
2017-02-06 12:46
336
closure3__263_17.min1.thm1
2017-02-06 12:46
1.4K
closure3__280_18.min1.thm1
2017-02-06 12:46
459
closure3__280_18.min1.thm1.tptp
2017-02-06 16:48
393
closure3__282_17.min1.thm1
2017-02-06 12:46
463
closure3__282_17.min1.thm1.tptp
2017-02-06 16:48
398
closure3__284_16.min1.thm1
2017-02-06 12:46
721
closure3__286_16.min1.thm1
2017-02-06 12:46
1.1K
closure3__287_34.min1.thm1
2017-02-06 12:46
1.4K
closure3__288_18.min1.thm1
2017-02-06 12:46
1.5K
closure3__289_11.min1.thm1
2017-02-06 12:46
630
closure3__290_44.min1.thm1
2017-02-06 12:46
1.8K
closure3__295_13.min1.thm1
2017-02-06 12:46
203
closure3__298_43.min1.thm1
2017-02-06 12:46
1.4K
closure3__301_22.min1.thm1
2017-02-06 12:46
1.4K
closure3__303_17.min1.thm1
2017-02-06 12:46
663
closure3__304_15.min1.thm1
2017-02-06 12:46
950
closure3__305_24.min1.thm1
2017-02-06 12:46
1.2K
closure3__306_21.min1.thm1
2017-02-06 12:46
1.0K
closure3__311_21.min1.thm1
2017-02-06 12:46
357
closure3__311_21.min1.thm1.tptp
2017-02-06 16:48
289
closure3__312_33.min1.thm1
2017-02-06 12:46
1.5K
closure3__314_16.min1.thm1
2017-02-06 12:46
490
closure3__315_21.min1.thm1
2017-02-06 12:46
390
closure3__315_21.min1.thm1.tptp
2017-02-06 16:48
307
closure3__318_16.min1.thm1
2017-02-06 12:46
1.0K
closure3__319_52.min1.thm1
2017-02-06 12:46
891
closure3__325_13.min1.thm1
2017-02-06 12:46
203
closure3__332_21.min1.thm1
2017-02-06 12:46
710
closure3__337_21.min1.thm1
2017-02-06 12:46
357
closure3__337_21.min1.thm1.tptp
2017-02-06 16:48
289
closure3__338_33.min1.thm1
2017-02-06 12:46
1.5K
closure3__340_16.min1.thm1
2017-02-06 12:46
490
closure3__341_21.min1.thm1
2017-02-06 12:46
392
closure3__341_21.min1.thm1.tptp
2017-02-06 16:48
309
closure3__354_37.min1.thm1
2017-02-06 12:46
325
closure3__355_19.min1.thm1
2017-02-06 12:46
1.0K
closure3__356_38.min1.thm1
2017-02-06 12:46
1.7K
closure3__358_16.min1.thm1
2017-02-06 12:46
1.1K
closure3__365_13.min1.thm1
2017-02-06 12:46
343
closure3__365_13.min1.thm1.tptp
2017-02-06 16:48
278
closure3__366_35.min1.thm1
2017-02-06 12:46
437
closure3__375_13.min1.thm1
2017-02-06 12:46
203
closure3__383_21.min1.thm1
2017-02-06 12:46
357
closure3__383_21.min1.thm1.tptp
2017-02-06 16:48
289
closure3__384_33.min1.thm1
2017-02-06 12:46
1.5K
closure3__386_16.min1.thm1
2017-02-06 12:46
490
closure3__387_18.min1.thm1
2017-02-06 12:46
413
closure3__404_48.min1.thm1
2017-02-06 12:46
258
closure3__408_42.min1.thm1
2017-02-06 12:46
916
closure3__418_68.min1.thm1
2017-02-06 12:46
639
closure3__421_60.min1.thm1
2017-02-06 12:46
728
closure3__425_46.min1.thm1
2017-02-06 12:46
1.4K
closure3__426_18.min1.thm1
2017-02-06 12:46
959
closure3__427_27.min1.thm1
2017-02-06 12:46
1.2K
closure3__428_23.min1.thm1
2017-02-06 12:46
1.2K
closure3__430_21.min1.thm1
2017-02-06 12:46
527
closure3__430_21.min1.thm1.tptp
2017-02-06 16:48
463
closure3__432_19.min1.thm1
2017-02-06 12:46
1.0K
closure3__433_50.min1.thm1
2017-02-06 12:46
926
closure3__435_18.min1.thm1
2017-02-06 12:46
628
closure3__450_72.min1.thm1
2017-02-06 12:46
559
closure3__450_72.min1.thm1.tptp
2017-02-06 16:48
482
closure3__451_18.min1.thm1
2017-02-06 12:46
559
closure3__451_18.min1.thm1.tptp
2017-02-06 16:48
482
closure3__452_18.min1.thm1
2017-02-06 12:46
384
closure3__454_19.min1.thm1
2017-02-06 12:46
1.2K
closure3__470_16.min1.thm1
2017-02-06 12:46
467
closure3__470_16.min1.thm1.tptp
2017-02-06 16:48
390
closure3__485_48.min1.thm1
2017-02-06 12:46
1.7K
closure3__486_11.min1.thm1
2017-02-06 12:46
403
closure3__509_25.min1.thm1
2017-02-06 12:46
2.4K
closure3__510_24.min1.thm1
2017-02-06 12:46
1.8K
closure3__511_21.min1.thm1
2017-02-06 12:46
1.6K
closure3__520_16.min1.thm1
2017-02-06 12:46
827
closure3__528_60.min1.thm1
2017-02-06 12:46
1.2K
closure3__529_38.min1.thm1
2017-02-06 12:46
776
closure3__530_52.min1.thm1
2017-02-06 12:46
752
closure3__531_37.min1.thm1
2017-02-06 12:46
776
closure3__532_52.min1.thm1
2017-02-06 12:46
752
closure3__533_37.min1.thm1
2017-02-06 12:46
776
closure3__547_31.min1.thm1
2017-02-06 12:46
809
closure3__553_60.min1.thm1
2017-02-06 12:46
563
closure3__553_60.min1.thm1.tptp
2017-02-06 16:48
508
closure3__557_22.min1.thm1
2017-02-06 12:46
1.2K
closure3__559_67.min1.thm1
2017-02-06 12:46
1.5K
closure3__560_23.min1.thm1
2017-02-06 12:46
798
closure3__566_60.min1.thm1
2017-02-06 12:46
563
closure3__566_60.min1.thm1.tptp
2017-02-06 16:48
508
closure3__570_22.min1.thm1
2017-02-06 12:46
1.3K
closure3__572_67.min1.thm1
2017-02-06 12:46
1.5K
closure3__573_23.min1.thm1
2017-02-06 12:46
798
closure3__584_64.min1.thm1
2017-02-06 12:46
714
closure3__588_22.min1.thm1
2017-02-06 12:46
1.4K
closure3__589_25.min1.thm1
2017-02-06 12:46
1.2K
closure3__591_48.min1.thm1
2017-02-06 12:46
1.5K
closure3__594_21.min1.thm1
2017-02-06 12:46
1.2K
closure3__596_19.min1.thm1
2017-02-06 12:46
769
closure3__607_52.min1.thm1
2017-02-06 12:46
752
closure3__608_37.min1.thm1
2017-02-06 12:46
776
closure3__609_52.min1.thm1
2017-02-06 12:46
752
closure3__610_37.min1.thm1
2017-02-06 12:46
776
closure3__624_57.min1.thm1
2017-02-06 12:46
684
closure3__626_62.min1.thm1
2017-02-06 12:46
1.6K
closure3__627_68.min1.thm1
2017-02-06 12:46
618
closure3__631_19.min1.thm1
2017-02-06 12:46
495
closure3__631_19.min1.thm1.tptp
2017-02-06 16:48
431
closure3__633_17.min1.thm1
2017-02-06 12:46
1.4K
closure3__639_16.min1.thm1
2017-02-06 12:46
636
closure3__648_57.min1.thm1
2017-02-06 12:46
1.8K
closure3__649_49.min1.thm1
2017-02-06 12:46
1.2K
closure3__650_49.min1.thm1
2017-02-06 12:46
1.2K
closure3__667_64.min1.thm1
2017-02-06 12:46
714
closure3__671_20.min1.thm1
2017-02-06 12:46
1.4K
closure3__672_15.min1.thm1
2017-02-06 12:46
1.2K
closure3__673_63.min1.thm1
2017-02-06 12:46
1.2K
closure3__675_64.min1.thm1
2017-02-06 12:46
619
closure3__677_15.min1.thm1
2017-02-06 12:46
1.1K
closure3__678_63.min1.thm1
2017-02-06 12:46
1.2K
closure3__679_69.min1.thm1
2017-02-06 12:46
620
closure3__681_33.min1.thm1
2017-02-06 12:46
1.0K
closure3__684_19.min1.thm1
2017-02-06 12:46
581
closure3__684_19.min1.thm1.tptp
2017-02-06 16:48
517
closure3__711_59.min1.thm1
2017-02-06 12:46
547
closure3__711_59.min1.thm1.tptp
2017-02-06 16:48
492
closure3__727_24.min1.thm1
2017-02-06 12:46
489
closure3__729_67.min1.thm1
2017-02-06 12:46
1.0K
closure3__731_73.min1.thm1
2017-02-06 12:46
613
closure3__741_57.min1.thm1
2017-02-06 12:46
535
closure3__741_57.min1.thm1.tptp
2017-02-06 16:48
480
closure3__747_16.min1.thm1
2017-02-06 12:46
474
closure3__748_42.min1.thm1
2017-02-06 12:46
436
closure3__748_42.min1.thm1.tptp
2017-02-06 16:48
355
closure3__749_58.min1.thm1
2017-02-06 12:46
1.2K
closure3__757_28.min1.thm1
2017-02-06 12:46
624
closure3__757_28.min1.thm1.tptp
2017-02-06 16:48
547
closure3__758_74.min1.thm1
2017-02-06 12:46
1.0K
closure3__760_69.min1.thm1
2017-02-06 12:46
591
closure3__780_44.min1.thm1
2017-02-06 12:46
1.0K
closure3__795_20.min1.thm1
2017-02-06 12:46
2.3K
closure3__797_44.min1.thm1
2017-02-06 12:46
922
closure3__800_35.min1.thm1
2017-02-06 12:46
395
closure3__808_18.min1.thm1
2017-02-06 12:46
3.3K
closure3__811_70.min1.thm1
2017-02-06 12:46
734
closure3__821_63.min1.thm1
2017-02-06 12:46
583
closure3__821_63.min1.thm1.tptp
2017-02-06 16:48
528
closure3__824_20.min1.thm1
2017-02-06 12:46
1.3K
closure3__832_25.min1.thm1
2017-02-06 12:46
1.1K
closure3__843_16.min1.thm1
2017-02-06 12:46
3.2K
closure3__844_21.min1.thm1
2017-02-06 12:46
2.8K
closure3__849_27.min1.thm1
2017-02-06 12:46
3.4K
closure3__868_17.min1.thm1
2017-02-06 12:46
1.5K
closure3__873_54.min1.thm1
2017-02-06 12:46
1.0K
closure3__874_21.min1.thm1
2017-02-06 12:46
1.5K
closure3__876_57.min1.thm1
2017-02-06 12:46
1.4K
closure3__880_12.min1.thm1
2017-02-06 12:46
1.1K
closure3__880_12.min1.thm1.tptp
2017-02-06 16:48
1.0K
closure3__894_52.min1.thm1
2017-02-06 12:46
1.0K
closure3__895_19.min1.thm1
2017-02-06 12:46
1.5K
closure3__897_71.min1.thm1
2017-02-06 12:46
1.5K
closure3__914_34.min1.thm1
2017-02-06 12:46
1.3K
closure3__915_58.min1.thm1
2017-02-06 12:46
1.9K
closure3__917_59.min1.thm1
2017-02-06 12:46
559
closure3__917_59.min1.thm1.tptp
2017-02-06 16:48
481
closure3__920_46.min1.thm1
2017-02-06 12:46
1.1K
closure3__921_50.min1.thm1
2017-02-06 12:46
716
closure3__922_21.min1.thm1
2017-02-06 12:46
1.3K
closure3__925_25.min1.thm1
2017-02-06 12:46
3.1K
closure3__926_34.min1.thm1
2017-02-06 12:46
1.8K
closure3__942_24.min1.thm1
2017-02-06 12:46
1.0K
closure3__944_60.min1.thm1
2017-02-06 12:46
1.5K
closure3__970_18.min1.thm1
2017-02-06 12:46
2.8K
closure3__971_18.min1.thm1
2017-02-06 12:46
656
closure3__971_18.min1.thm1.tptp
2017-02-06 16:48
570
closure3__973_42.min1.thm1
2017-02-06 12:46
2.1K
closure3__976_33.min1.thm1
2017-02-06 12:46
343
closure3__977_57.min1.thm1
2017-02-06 12:46
4.2K
closure3__1004_61.min1.thm1
2017-02-06 12:46
579
closure3__1004_61.min1.thm1.tptp
2017-02-06 16:48
524
closure3__1015_23.min1.thm1
2017-02-06 12:46
1.1K
closure3__1017_15.min1.thm1
2017-02-06 12:46
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80