Index of /~mptp/1147/MPTP2/ilp0/topreal5
Name
Last modified
Size
Description
Parent Directory
-
topreal5__61_50.min1.thm1
2017-02-06 12:45
614
topreal5__61_50.min1.thm1.tptp
2017-02-06 16:46
539
topreal5__62_22.min1.thm1
2017-02-06 12:45
812
topreal5__63_17.min1.thm1
2017-02-06 12:45
1.7K
topreal5__64_15.min1.thm1
2017-02-06 12:45
686
topreal5__66_43.min1.thm1
2017-02-06 12:45
1.2K
topreal5__67_26.min1.thm1
2017-02-06 12:45
856
topreal5__68_35.min1.thm1
2017-02-06 12:45
1.5K
topreal5__69_17.min1.thm1
2017-02-06 12:45
2.0K
topreal5__77_52.min1.thm1
2017-02-06 12:45
506
topreal5__78_17.min1.thm1
2017-02-06 12:45
1.0K
topreal5__93_10.min1.thm1
2017-02-06 12:45
510
topreal5__101_34.min1.thm1
2017-02-06 12:45
1.4K
topreal5__102_17.min1.thm1
2017-02-06 12:45
1.0K
topreal5__103_27.min1.thm1
2017-02-06 12:45
859
topreal5__104_19.min1.thm1
2017-02-06 12:45
588
topreal5__110_26.min1.thm1
2017-02-06 12:45
543
topreal5__111_16.min1.thm1
2017-02-06 12:45
440
topreal5__113_43.min1.thm1
2017-02-06 12:45
1.3K
topreal5__118_26.min1.thm1
2017-02-06 12:45
543
topreal5__119_16.min1.thm1
2017-02-06 12:45
440
topreal5__121_43.min1.thm1
2017-02-06 12:45
1.3K
topreal5__125_21.min1.thm1
2017-02-06 12:45
506
topreal5__125_21.min1.thm1.tptp
2017-02-06 16:46
440
topreal5__126_14.min1.thm1
2017-02-06 12:45
549
topreal5__128_25.min1.thm1
2017-02-06 12:45
543
topreal5__129_14.min1.thm1
2017-02-06 12:45
456
topreal5__129_14.min1.thm1.tptp
2017-02-06 16:46
394
topreal5__130_29.min1.thm1
2017-02-06 12:45
543
topreal5__133_41.min1.thm1
2017-02-06 12:45
380
topreal5__134_13.min1.thm1
2017-02-06 12:45
632
topreal5__135_22.min1.thm1
2017-02-06 12:45
832
topreal5__137_18.min1.thm1
2017-02-06 12:45
922
topreal5__138_40.min1.thm1
2017-02-06 12:45
380
topreal5__139_12.min1.thm1
2017-02-06 12:45
637
topreal5__140_22.min1.thm1
2017-02-06 12:45
835
topreal5__142_18.min1.thm1
2017-02-06 12:45
922
topreal5__163_16.min1.thm1
2017-02-06 12:45
1.0K
topreal5__173_31.min1.thm1
2017-02-06 12:45
1.1K
topreal5__176_28.min1.thm1
2017-02-06 12:45
493
topreal5__179_16.min1.thm1
2017-02-06 12:45
352
topreal5__181_17.min1.thm1
2017-02-06 12:45
755
topreal5__200_16.min1.thm1
2017-02-06 12:45
1.0K
topreal5__209_31.min1.thm1
2017-02-06 12:45
1.1K
topreal5__210_35.min1.thm1
2017-02-06 12:45
2.3K
topreal5__213_16.min1.thm1
2017-02-06 12:45
414
topreal5__215_17.min1.thm1
2017-02-06 12:45
933
topreal5__235_73.min1.thm1
2017-02-06 12:45
885
topreal5__235_73.min1.thm1.tptp
2017-02-06 16:46
813
topreal5__236_57.min1.thm1
2017-02-06 12:45
1.3K
topreal5__237_61.min1.thm1
2017-02-06 12:45
772
topreal5__238_52.min1.thm1
2017-02-06 12:45
1.7K
topreal5__249_31.min1.thm1
2017-02-06 12:45
796
topreal5__250_14.min1.thm1
2017-02-06 12:45
1.3K
topreal5__252_13.min1.thm1
2017-02-06 12:45
1.4K
topreal5__253_14.min1.thm1
2017-02-06 12:45
1.3K
topreal5__254_18.min1.thm1
2017-02-06 12:45
1.4K
topreal5__257_47.min1.thm1
2017-02-06 12:45
1.7K
topreal5__262_14.min1.thm1
2017-02-06 12:45
458
topreal5__274_61.min1.thm1
2017-02-06 12:45
770
topreal5__281_57.min1.thm1
2017-02-06 12:45
1.3K
topreal5__282_54.min1.thm1
2017-02-06 12:45
796
topreal5__292_23.min1.thm1
2017-02-06 12:45
1.5K
topreal5__293_33.min1.thm1
2017-02-06 12:45
652
topreal5__294_14.min1.thm1
2017-02-06 12:45
2.4K
topreal5__296_13.min1.thm1
2017-02-06 12:45
1.4K
topreal5__297_14.min1.thm1
2017-02-06 12:45
2.4K
topreal5__298_18.min1.thm1
2017-02-06 12:45
1.4K
topreal5__301_22.min1.thm1
2017-02-06 12:45
1.0K
topreal5__304_22.min1.thm1
2017-02-06 12:45
901
topreal5__309_14.min1.thm1
2017-02-06 12:45
459
topreal5__323_31.min1.thm1
2017-02-06 12:45
783
topreal5__337_16.min1.thm1
2017-02-06 12:45
779
topreal5__340_41.min1.thm1
2017-02-06 12:45
1.1K
topreal5__345_41.min1.thm1
2017-02-06 12:45
1.3K
topreal5__379_56.min1.thm1
2017-02-06 12:45
619
topreal5__379_56.min1.thm1.tptp
2017-02-06 16:46
533
topreal5__384_29.min1.thm1
2017-02-06 12:45
614
topreal5__384_29.min1.thm1.tptp
2017-02-06 16:46
539
topreal5__386_28.min1.thm1
2017-02-06 12:45
1.3K
topreal5__389_48.min1.thm1
2017-02-06 12:45
1.0K
topreal5__394_23.min1.thm1
2017-02-06 12:45
475
topreal5__399_42.min1.thm1
2017-02-06 12:45
1.1K
topreal5__401_24.min1.thm1
2017-02-06 12:45
578
topreal5__414_56.min1.thm1
2017-02-06 12:45
619
topreal5__414_56.min1.thm1.tptp
2017-02-06 16:46
533
topreal5__419_29.min1.thm1
2017-02-06 12:45
614
topreal5__419_29.min1.thm1.tptp
2017-02-06 16:46
539
topreal5__421_28.min1.thm1
2017-02-06 12:45
1.3K
topreal5__424_21.min1.thm1
2017-02-06 12:45
794
topreal5__429_23.min1.thm1
2017-02-06 12:45
475
topreal5__434_42.min1.thm1
2017-02-06 12:45
1.1K
topreal5__436_24.min1.thm1
2017-02-06 12:45
578
topreal5__452_33.min1.thm1
2017-02-06 12:45
1.2K
topreal5__464_15.min1.thm1
2017-02-06 12:45
511
topreal5__465_15.min1.thm1
2017-02-06 12:45
511
topreal5__467_17.min1.thm1
2017-02-06 12:45
607
topreal5__470_30.min1.thm1
2017-02-06 12:45
639
topreal5__477_23.min1.thm1
2017-02-06 12:45
2.2K
topreal5__481_33.min1.thm1
2017-02-06 12:45
1.3K
topreal5__482_17.min1.thm1
2017-02-06 12:45
281
topreal5__484_33.min1.thm1
2017-02-06 12:45
761
topreal5__486_17.min1.thm1
2017-02-06 12:45
871
topreal5__487_17.min1.thm1
2017-02-06 12:45
286
topreal5__489_33.min1.thm1
2017-02-06 12:45
771
topreal5__496_34.min1.thm1
2017-02-06 12:45
1.5K
topreal5__499_23.min1.thm1
2017-02-06 12:45
1.5K
topreal5__503_53.min1.thm1
2017-02-06 12:45
598
topreal5__504_33.min1.thm1
2017-02-06 12:45
1.3K
topreal5__509_23.min1.thm1
2017-02-06 12:45
2.2K
topreal5__513_17.min1.thm1
2017-02-06 12:45
875
topreal5__518_34.min1.thm1
2017-02-06 12:45
1.5K
topreal5__521_23.min1.thm1
2017-02-06 12:45
1.4K
topreal5__523_53.min1.thm1
2017-02-06 12:45
602
topreal5__526_15.min1.thm1
2017-02-06 12:45
656
topreal5__527_15.min1.thm1
2017-02-06 12:45
647
topreal5__528_26.min1.thm1
2017-02-06 12:45
1.0K
topreal5__529_15.min1.thm1
2017-02-06 12:45
1.0K
topreal5__534_18.min1.thm1
2017-02-06 12:45
717
topreal5__538_40.min1.thm1
2017-02-06 12:45
2.4K
topreal5__539_32.min1.thm1
2017-02-06 12:45
2.0K
topreal5__546_56.min1.thm1
2017-02-06 12:45
1.5K
topreal5__556_40.min1.thm1
2017-02-06 12:45
2.4K
topreal5__557_32.min1.thm1
2017-02-06 12:45
2.0K
topreal5__564_56.min1.thm1
2017-02-06 12:45
1.5K
topreal5__574_14.min1.thm1
2017-02-06 12:45
512
topreal5__574_14.min1.thm1.tptp
2017-02-06 16:46
459
topreal5__585_33.min1.thm1
2017-02-06 12:45
1.2K
topreal5__597_15.min1.thm1
2017-02-06 12:45
511
topreal5__598_15.min1.thm1
2017-02-06 12:45
511
topreal5__600_17.min1.thm1
2017-02-06 12:45
607
topreal5__603_30.min1.thm1
2017-02-06 12:45
639
topreal5__610_23.min1.thm1
2017-02-06 12:45
2.2K
topreal5__614_33.min1.thm1
2017-02-06 12:45
1.3K
topreal5__615_17.min1.thm1
2017-02-06 12:45
281
topreal5__617_33.min1.thm1
2017-02-06 12:45
761
topreal5__619_17.min1.thm1
2017-02-06 12:45
871
topreal5__620_17.min1.thm1
2017-02-06 12:45
286
topreal5__622_33.min1.thm1
2017-02-06 12:45
771
topreal5__629_34.min1.thm1
2017-02-06 12:45
1.5K
topreal5__632_23.min1.thm1
2017-02-06 12:45
1.5K
topreal5__636_53.min1.thm1
2017-02-06 12:45
598
topreal5__637_33.min1.thm1
2017-02-06 12:45
1.3K
topreal5__642_23.min1.thm1
2017-02-06 12:45
2.2K
topreal5__646_17.min1.thm1
2017-02-06 12:45
875
topreal5__651_34.min1.thm1
2017-02-06 12:45
1.5K
topreal5__654_23.min1.thm1
2017-02-06 12:45
1.4K
topreal5__656_53.min1.thm1
2017-02-06 12:45
602
topreal5__659_15.min1.thm1
2017-02-06 12:45
656
topreal5__660_15.min1.thm1
2017-02-06 12:45
647
topreal5__661_26.min1.thm1
2017-02-06 12:45
1.0K
topreal5__662_15.min1.thm1
2017-02-06 12:45
1.0K
topreal5__667_18.min1.thm1
2017-02-06 12:45
717
topreal5__671_40.min1.thm1
2017-02-06 12:45
2.4K
topreal5__672_32.min1.thm1
2017-02-06 12:45
2.0K
topreal5__679_56.min1.thm1
2017-02-06 12:45
1.5K
topreal5__689_40.min1.thm1
2017-02-06 12:45
2.4K
topreal5__690_32.min1.thm1
2017-02-06 12:45
2.0K
topreal5__697_56.min1.thm1
2017-02-06 12:45
1.5K
topreal5__707_14.min1.thm1
2017-02-06 12:45
512
topreal5__707_14.min1.thm1.tptp
2017-02-06 16:46
459
topreal5__725_44.min1.thm1
2017-02-06 12:45
1.1K
topreal5__726_36.min1.thm1
2017-02-06 12:45
1.4K
topreal5__727_35.min1.thm1
2017-02-06 12:45
1.2K
topreal5__728_21.min1.thm1
2017-02-06 12:45
1.4K
topreal5__732_14.min1.thm1
2017-02-06 12:45
304
topreal5__750_44.min1.thm1
2017-02-06 12:45
1.1K
topreal5__751_36.min1.thm1
2017-02-06 12:45
1.4K
topreal5__752_35.min1.thm1
2017-02-06 12:45
1.2K
topreal5__753_21.min1.thm1
2017-02-06 12:45
1.4K
topreal5__757_14.min1.thm1
2017-02-06 12:45
304
topreal5__770_27.min1.thm1
2017-02-06 12:45
1.3K
topreal5__775_14.min1.thm1
2017-02-06 12:45
282
topreal5__788_29.min1.thm1
2017-02-06 12:45
1.3K
topreal5__793_14.min1.thm1
2017-02-06 12:45
282
topreal5__804_14.min1.thm1
2017-02-06 12:45
573
topreal5__805_43.min1.thm1
2017-02-06 12:45
549
topreal5__806_61.min1.thm1
2017-02-06 12:45
1.1K
topreal5__807_30.min1.thm1
2017-02-06 12:45
1.0K
topreal5__808_61.min1.thm1
2017-02-06 12:45
1.1K
topreal5__809_19.min1.thm1
2017-02-06 12:45
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80