Index of /~mptp/1147/mptp/ilp0/lp_space
Name
Last modified
Size
Description
Parent Directory
-
lp_space__1369_39.min1.thm1.tptp
2017-02-06 16:47
520
lp_space__1213_23.min1.thm1.tptp
2017-02-06 16:47
611
lp_space__910_19.min1.thm1.tptp
2017-02-06 16:47
441
lp_space__227_46.min1.thm1.tptp
2017-02-06 16:47
631
lp_space__1476_76.min1.thm1.tptp
2017-02-06 16:47
1.1K
lp_space__616_53.min1.thm1.tptp
2017-02-06 16:47
1.5K
lp_space__1185_23.min1.thm1.tptp
2017-02-06 16:47
447
lp_space__708_64.min1.thm1.tptp
2017-02-06 16:47
548
lp_space__877_15.min1.thm1.tptp
2017-02-06 16:47
314
lp_space__619_20.min1.thm1.tptp
2017-02-06 16:47
1.1K
lp_space__1714_16.min1.thm1.tptp
2017-02-06 16:47
699
lp_space__1381_39.min1.thm1.tptp
2017-02-06 16:47
512
lp_space__1178_40.min1.thm1.tptp
2017-02-06 16:47
501
lp_space__1467_16.min1.thm1.tptp
2017-02-06 16:47
1.4K
lp_space__634_20.min1.thm1.tptp
2017-02-06 16:47
808
lp_space__1461_23.min1.thm1.tptp
2017-02-06 16:47
861
lp_space__136_38.min1.thm1.tptp
2017-02-06 16:47
345
lp_space__990_20.min1.thm1.tptp
2017-02-06 16:47
766
lp_space__625_36.min1.thm1.tptp
2017-02-06 16:47
250
lp_space__908_60.min1.thm1.tptp
2017-02-06 16:47
472
lp_space__892_61.min1.thm1.tptp
2017-02-06 16:47
586
lp_space__1517_18.min1.thm1.tptp
2017-02-06 16:47
801
lp_space__516_36.min1.thm1.tptp
2017-02-06 16:47
714
lp_space__1656_16.min1.thm1.tptp
2017-02-06 16:47
1.2K
lp_space__1179_27.min1.thm1.tptp
2017-02-06 16:47
501
lp_space__1212_61.min1.thm1.tptp
2017-02-06 16:47
596
lp_space__330_33.min1.thm1.tptp
2017-02-06 16:47
504
lp_space__898_13.min1.thm1.tptp
2017-02-06 16:47
374
lp_space__535_46.min1.thm1.tptp
2017-02-06 16:47
697
lp_space__1608_17.min1.thm1.tptp
2017-02-06 16:47
811
lp_space__463_18.min1.thm1.tptp
2017-02-06 16:47
1.3K
lp_space__437_18.min1.thm1.tptp
2017-02-06 16:47
1.3K
lp_space__135_42.min1.thm1.tptp
2017-02-06 16:47
376
lp_space__897_70.min1.thm1.tptp
2017-02-06 16:47
511
lp_space__126_38.min1.thm1.tptp
2017-02-06 16:47
345
lp_space__125_42.min1.thm1.tptp
2017-02-06 16:47
376
lp_space__1246_37.min1.thm1
2017-02-06 12:44
703
lp_space__447_38.min1.thm1
2017-02-06 12:44
943
lp_space__1702_15.min1.thm1
2017-02-06 12:44
713
lp_space__1364_38.min1.thm1
2017-02-06 12:44
1.7K
lp_space__407_46.min1.thm1
2017-02-06 12:44
666
lp_space__307_21.min1.thm1
2017-02-06 12:44
1.0K
lp_space__1369_39.min1.thm1
2017-02-06 12:44
597
lp_space__1213_23.min1.thm1
2017-02-06 12:44
688
lp_space__1248_21.min1.thm1
2017-02-06 12:44
895
lp_space__186_43.min1.thm1
2017-02-06 12:44
1.2K
lp_space__322_20.min1.thm1
2017-02-06 12:44
664
lp_space__203_20.min1.thm1
2017-02-06 12:44
1.6K
lp_space__336_30.min1.thm1
2017-02-06 12:44
875
lp_space__227_46.min1.thm1
2017-02-06 12:44
712
lp_space__139_19.min1.thm1
2017-02-06 12:44
422
lp_space__448_46.min1.thm1
2017-02-06 12:44
668
lp_space__301_20.min1.thm1
2017-02-06 12:44
1.6K
lp_space__1028_14.min1.thm1
2017-02-06 12:44
2.0K
lp_space__534_22.min1.thm1
2017-02-06 12:44
925
lp_space__571_36.min1.thm1
2017-02-06 12:44
1.6K
lp_space__1256_63.min1.thm1
2017-02-06 12:44
629
lp_space__941_35.min1.thm1
2017-02-06 12:44
2.1K
lp_space__562_43.min1.thm1
2017-02-06 12:44
855
lp_space__1317_14.min1.thm1
2017-02-06 12:44
2.4K
lp_space__1011_42.min1.thm1
2017-02-06 12:44
2.3K
lp_space__421_39.min1.thm1
2017-02-06 12:44
1.6K
lp_space__449_21.min1.thm1
2017-02-06 12:44
710
lp_space__283_14.min1.thm1
2017-02-06 12:44
1.5K
lp_space__1257_61.min1.thm1
2017-02-06 12:44
628
lp_space__910_19.min1.thm1
2017-02-06 12:44
529
lp_space__93_66.min1.thm1
2017-02-06 12:44
355
lp_space__712_47.min1.thm1
2017-02-06 12:44
1.1K
lp_space__1398_19.min1.thm1
2017-02-06 12:44
1.5K
lp_space__1411_65.min1.thm1
2017-02-06 12:44
1.0K
lp_space__616_53.min1.thm1
2017-02-06 12:44
1.6K
lp_space__1391_18.min1.thm1
2017-02-06 12:44
798
lp_space__1476_76.min1.thm1
2017-02-06 12:44
1.1K
lp_space__1185_23.min1.thm1
2017-02-06 12:44
524
lp_space__557_23.min1.thm1
2017-02-06 12:44
1.0K
lp_space__711_47.min1.thm1
2017-02-06 12:44
1.1K
lp_space__1549_11.min1.thm1
2017-02-06 12:44
930
lp_space__1390_31.min1.thm1
2017-02-06 12:44
2.0K
lp_space__1334_21.min1.thm1
2017-02-06 12:44
1.0K
lp_space__708_64.min1.thm1
2017-02-06 12:44
625
lp_space__1258_51.min1.thm1
2017-02-06 12:44
907
lp_space__877_15.min1.thm1
2017-02-06 12:44
391
lp_space__618_73.min1.thm1
2017-02-06 12:44
1.7K
lp_space__1714_16.min1.thm1
2017-02-06 12:44
760
lp_space__619_20.min1.thm1
2017-02-06 12:44
1.2K
lp_space__1253_21.min1.thm1
2017-02-06 12:44
895
lp_space__1086_59.min1.thm1
2017-02-06 12:44
2.0K
lp_space__425_42.min1.thm1
2017-02-06 12:44
1.0K
lp_space__71_18.min1.thm1
2017-02-06 12:44
1.1K
lp_space__473_28.min1.thm1
2017-02-06 12:44
1.6K
lp_space__553_57.min1.thm1
2017-02-06 12:44
2.8K
lp_space__102_32.min1.thm1
2017-02-06 12:44
612
lp_space__1674_43.min1.thm1
2017-02-06 12:44
2.9K
lp_space__1381_39.min1.thm1
2017-02-06 12:44
589
lp_space__1040_40.min1.thm1
2017-02-06 12:44
2.3K
lp_space__1178_40.min1.thm1
2017-02-06 12:44
578
lp_space__1292_41.min1.thm1
2017-02-06 12:44
853
lp_space__1300_32.min1.thm1
2017-02-06 12:44
399
lp_space__844_59.min1.thm1
2017-02-06 12:44
689
lp_space__452_42.min1.thm1
2017-02-06 12:44
1.0K
lp_space__168_30.min1.thm1
2017-02-06 12:44
1.4K
lp_space__127_21.min1.thm1
2017-02-06 12:44
534
lp_space__1245_30.min1.thm1
2017-02-06 12:44
129
lp_space__1580_27.min1.thm1
2017-02-06 12:44
2.0K
lp_space__829_52.min1.thm1
2017-02-06 12:44
448
lp_space__980_29.min1.thm1
2017-02-06 12:44
1.6K
lp_space__72_18.min1.thm1
2017-02-06 12:44
366
lp_space__570_22.min1.thm1
2017-02-06 12:44
716
lp_space__173_30.min1.thm1
2017-02-06 12:44
1.4K
lp_space__342_20.min1.thm1
2017-02-06 12:44
664
lp_space__1287_11.min1.thm1
2017-02-06 12:44
1.8K
lp_space__629_64.min1.thm1
2017-02-06 12:44
1.9K
lp_space__551_39.min1.thm1
2017-02-06 12:44
1.6K
lp_space__1251_37.min1.thm1
2017-02-06 12:44
703
lp_space__1688_60.min1.thm1
2017-02-06 12:44
1.1K
lp_space__1664_64.min1.thm1
2017-02-06 12:44
1.8K
lp_space__1180_16.min1.thm1
2017-02-06 12:44
388
lp_space__663_17.min1.thm1
2017-02-06 12:44
1.4K
lp_space__821_70.min1.thm1
2017-02-06 12:44
1.0K
lp_space__161_14.min1.thm1
2017-02-06 12:44
1.7K
lp_space__749_42.min1.thm1
2017-02-06 12:44
4.5K
lp_space__1262_17.min1.thm1
2017-02-06 12:44
1.4K
lp_space__909_13.min1.thm1
2017-02-06 12:44
1.1K
lp_space__58_18.min1.thm1
2017-02-06 12:44
454
lp_space__1467_16.min1.thm1
2017-02-06 12:44
1.5K
lp_space__430_16.min1.thm1
2017-02-06 12:44
2.0K
lp_space__1085_40.min1.thm1
2017-02-06 12:44
2.3K
lp_space__1550_16.min1.thm1
2017-02-06 12:44
1.4K
lp_space__952_22.min1.thm1
2017-02-06 12:44
1.7K
lp_space__388_14.min1.thm1
2017-02-06 12:44
1.6K
lp_space__476_15.min1.thm1
2017-02-06 12:44
1.8K
lp_space__634_20.min1.thm1
2017-02-06 12:44
882
lp_space__70_35.min1.thm1
2017-02-06 12:44
1.1K
lp_space__411_28.min1.thm1
2017-02-06 12:44
1.6K
lp_space__850_54.min1.thm1
2017-02-06 12:44
861
lp_space__236_38.min1.thm1
2017-02-06 12:44
962
lp_space__136_38.min1.thm1
2017-02-06 12:44
422
lp_space__1335_41.min1.thm1
2017-02-06 12:44
2.0K
lp_space__858_38.min1.thm1
2017-02-06 12:44
1.3K
lp_space__1087_24.min1.thm1
2017-02-06 12:44
607
lp_space__795_65.min1.thm1
2017-02-06 12:44
1.0K
lp_space__317_22.min1.thm1
2017-02-06 12:44
1.0K
lp_space__1526_27.min1.thm1
2017-02-06 12:44
1.0K
lp_space__1388_38.min1.thm1
2017-02-06 12:44
2.4K
lp_space__372_39.min1.thm1
2017-02-06 12:44
644
lp_space__1098_53.min1.thm1
2017-02-06 12:44
520
lp_space__755_15.min1.thm1
2017-02-06 12:44
1.9K
lp_space__709_21.min1.thm1
2017-02-06 12:44
768
lp_space__537_36.min1.thm1
2017-02-06 12:44
721
lp_space__944_40.min1.thm1
2017-02-06 12:44
929
lp_space__274_44.min1.thm1
2017-02-06 12:44
692
lp_space__1461_23.min1.thm1
2017-02-06 12:44
938
lp_space__137_21.min1.thm1
2017-02-06 12:44
534
lp_space__978_43.min1.thm1
2017-02-06 12:44
853
lp_space__1351_37.min1.thm1
2017-02-06 12:44
1.0K
lp_space__1350_49.min1.thm1
2017-02-06 12:44
1.0K
lp_space__871_14.min1.thm1
2017-02-06 12:44
2.0K
lp_space__792_54.min1.thm1
2017-02-06 12:44
861
lp_space__979_17.min1.thm1
2017-02-06 12:44
704
lp_space__103_27.min1.thm1
2017-02-06 12:44
551
lp_space__1088_15.min1.thm1
2017-02-06 12:44
2.2K
lp_space__804_27.min1.thm1
2017-02-06 12:44
450
lp_space__1186_19.min1.thm1
2017-02-06 12:44
1.9K
lp_space__990_20.min1.thm1
2017-02-06 12:44
848
lp_space__625_36.min1.thm1
2017-02-06 12:44
331
lp_space__1581_15.min1.thm1
2017-02-06 12:44
1.2K
lp_space__1368_51.min1.thm1
2017-02-06 12:44
2.0K
lp_space__333_35.min1.thm1
2017-02-06 12:44
949
lp_space__104_16.min1.thm1
2017-02-06 12:44
1.8K
lp_space__95_47.min1.thm1
2017-02-06 12:44
480
lp_space__179_19.min1.thm1
2017-02-06 12:44
1.0K
lp_space__310_47.min1.thm1
2017-02-06 12:44
2.3K
lp_space__878_28.min1.thm1
2017-02-06 12:44
617
lp_space__406_38.min1.thm1
2017-02-06 12:44
942
lp_space__1402_36.min1.thm1
2017-02-06 12:44
477
lp_space__422_62.min1.thm1
2017-02-06 12:44
2.8K
lp_space__1631_10.min1.thm1
2017-02-06 12:44
1.5K
lp_space__536_23.min1.thm1
2017-02-06 12:44
131
lp_space__827_19.min1.thm1
2017-02-06 12:44
1.0K
lp_space__1157_72.min1.thm1
2017-02-06 12:44
2.0K
lp_space__820_54.min1.thm1
2017-02-06 12:44
861
lp_space__1328_69.min1.thm1
2017-02-06 12:44
2.3K
lp_space__418_39.min1.thm1
2017-02-06 12:44
1.6K
lp_space__174_19.min1.thm1
2017-02-06 12:44
1.7K
lp_space__1324_42.min1.thm1
2017-02-06 12:44
1.8K
lp_space__908_60.min1.thm1
2017-02-06 12:44
549
lp_space__892_61.min1.thm1
2017-02-06 12:44
663
lp_space__169_19.min1.thm1
2017-02-06 12:44
1.8K
lp_space__1074_42.min1.thm1
2017-02-06 12:44
2.3K
lp_space__926_14.min1.thm1
2017-02-06 12:44
2.0K
lp_space__832_17.min1.thm1
2017-02-06 12:44
1.7K
lp_space__823_27.min1.thm1
2017-02-06 12:44
450
lp_space__853_19.min1.thm1
2017-02-06 12:44
2.1K
lp_space__793_70.min1.thm1
2017-02-06 12:44
1.0K
lp_space__239_65.min1.thm1
2017-02-06 12:44
1.1K
lp_space__939_33.min1.thm1
2017-02-06 12:44
1.5K
lp_space__938_45.min1.thm1
2017-02-06 12:44
2.0K
lp_space__504_29.min1.thm1
2017-02-06 12:44
2.1K
lp_space__1343_49.min1.thm1
2017-02-06 12:44
1.7K
lp_space__808_19.min1.thm1
2017-02-06 12:44
1.2K
lp_space__1588_13.min1.thm1
2017-02-06 12:44
929
lp_space__1044_31.min1.thm1
2017-02-06 12:44
1.9K
lp_space__951_35.min1.thm1
2017-02-06 12:44
1.9K
lp_space__851_23.min1.thm1
2017-02-06 12:44
1.7K
lp_space__1517_18.min1.thm1
2017-02-06 12:44
878
lp_space__516_36.min1.thm1
2017-02-06 12:44
788
lp_space__879_39.min1.thm1
2017-02-06 12:44
1.9K
lp_space__679_20.min1.thm1
2017-02-06 12:44
2.8K
lp_space__1656_16.min1.thm1
2017-02-06 12:44
1.2K
lp_space__955_14.min1.thm1
2017-02-06 12:44
286
lp_space__1212_61.min1.thm1
2017-02-06 12:44
673
lp_space__1179_27.min1.thm1
2017-02-06 12:44
578
lp_space__303_20.min1.thm1
2017-02-06 12:44
1.6K
lp_space__330_33.min1.thm1
2017-02-06 12:44
581
lp_space__648_19.min1.thm1
2017-02-06 12:44
2.9K
lp_space__488_47.min1.thm1
2017-02-06 12:44
1.4K
lp_space__1145_25.min1.thm1
2017-02-06 12:44
1.8K
lp_space__662_57.min1.thm1
2017-02-06 12:44
448
lp_space__1710_31.min1.thm1
2017-02-06 12:44
2.8K
lp_space__1118_40.min1.thm1
2017-02-06 12:44
2.3K
lp_space__205_20.min1.thm1
2017-02-06 12:44
1.6K
lp_space__535_46.min1.thm1
2017-02-06 12:44
776
lp_space__945_26.min1.thm1
2017-02-06 12:44
1.9K
lp_space__1736_25.min1.thm1
2017-02-06 12:44
1.9K
lp_space__532_33.min1.thm1
2017-02-06 12:44
901
lp_space__1096_21.min1.thm1
2017-02-06 12:44
2.3K
lp_space__375_16.min1.thm1
2017-02-06 12:44
763
lp_space__98_66.min1.thm1
2017-02-06 12:44
1.0K
lp_space__838_47.min1.thm1
2017-02-06 12:44
1.0K
lp_space__898_13.min1.thm1
2017-02-06 12:44
451
lp_space__1608_17.min1.thm1
2017-02-06 12:44
888
lp_space__915_34.min1.thm1
2017-02-06 12:44
1.1K
lp_space__672_55.min1.thm1
2017-02-06 12:44
2.5K
lp_space__1572_34.min1.thm1
2017-02-06 12:44
1.7K
lp_space__1108_54.min1.thm1
2017-02-06 12:44
2.8K
lp_space__178_30.min1.thm1
2017-02-06 12:44
1.3K
lp_space__1701_26.min1.thm1
2017-02-06 12:44
1.8K
lp_space__1067_14.min1.thm1
2017-02-06 12:44
2.0K
lp_space__463_18.min1.thm1
2017-02-06 12:44
1.4K
lp_space__1360_26.min1.thm1
2017-02-06 12:44
1.4K
lp_space__1342_30.min1.thm1
2017-02-06 12:44
1.4K
lp_space__437_18.min1.thm1
2017-02-06 12:44
1.4K
lp_space__1260_52.min1.thm1
2017-02-06 12:44
449
lp_space__529_21.min1.thm1
2017-02-06 12:44
710
lp_space__451_24.min1.thm1
2017-02-06 12:44
927
lp_space__265_16.min1.thm1
2017-02-06 12:44
763
lp_space__953_22.min1.thm1
2017-02-06 12:44
1.5K
lp_space__1053_62.min1.thm1
2017-02-06 12:44
1.4K
lp_space__586_56.min1.thm1
2017-02-06 12:44
1.4K
lp_space__1275_14.min1.thm1
2017-02-06 12:44
2.0K
lp_space__538_19.min1.thm1
2017-02-06 12:44
1.2K
lp_space__431_29.min1.thm1
2017-02-06 12:44
400
lp_space__150_17.min1.thm1
2017-02-06 12:44
1.4K
lp_space__135_42.min1.thm1
2017-02-06 12:44
453
lp_space__730_20.min1.thm1
2017-02-06 12:44
3.4K
lp_space__106_21.min1.thm1
2017-02-06 12:44
2.1K
lp_space__897_70.min1.thm1
2017-02-06 12:44
588
lp_space__319_47.min1.thm1
2017-02-06 12:44
2.3K
lp_space__1405_25.min1.thm1
2017-02-06 12:44
131
lp_space__126_38.min1.thm1
2017-02-06 12:44
422
lp_space__457_30.min1.thm1
2017-02-06 12:44
400
lp_space__419_62.min1.thm1
2017-02-06 12:44
2.8K
lp_space__125_42.min1.thm1
2017-02-06 12:44
453
lp_space__56_59.min1.thm1
2017-02-06 12:44
678
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80