Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/msinst_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]msinst_1__72_44.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__79_30.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__80_38.min1.thm12017-02-06 12:45 789  
[ ]msinst_1__84_25.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__85_38.min1.thm12017-02-06 12:45 790  
[ ]msinst_1__93_29.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__95_30.min1.thm12017-02-06 12:45 895  
[ ]msinst_1__101_22.min1.thm12017-02-06 12:45 659  
[ ]msinst_1__103_26.min1.thm12017-02-06 12:45 750  
[ ]msinst_1__104_22.min1.thm12017-02-06 12:45 734  
[ ]msinst_1__105_21.min1.thm12017-02-06 12:45 631  
[ ]msinst_1__106_21.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__113_40.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__166_69.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__167_69.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__172_41.min1.thm12017-02-06 12:45 765  
[ ]msinst_1__173_23.min1.thm12017-02-06 12:45 765  
[ ]msinst_1__183_52.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__184_57.min1.thm12017-02-06 12:45 726  
[ ]msinst_1__185_54.min1.thm12017-02-06 12:45 726  
[ ]msinst_1__186_25.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__194_17.min1.thm12017-02-06 12:45 658  
[ ]msinst_1__194_17.min1.thm1.tptp2017-02-06 16:47 594  
[ ]msinst_1__206_31.min1.thm12017-02-06 12:45 652  
[ ]msinst_1__206_31.min1.thm1.tptp2017-02-06 16:47 581  
[ ]msinst_1__207_44.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__214_51.min1.thm12017-02-06 12:45 782  
[ ]msinst_1__214_51.min1.thm1.tptp2017-02-06 16:47 711  
[ ]msinst_1__215_31.min1.thm12017-02-06 12:45 653  
[ ]msinst_1__215_31.min1.thm1.tptp2017-02-06 16:47 582  
[ ]msinst_1__216_45.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__220_36.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__227_24.min1.thm12017-02-06 12:45 440  
[ ]msinst_1__231_37.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__232_37.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__237_35.min1.thm12017-02-06 12:45 4.3K 
[ ]msinst_1__256_65.min1.thm12017-02-06 12:45 2.1K 
[ ]msinst_1__271_51.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__278_47.min1.thm12017-02-06 12:45 898  
[ ]msinst_1__280_63.min1.thm12017-02-06 12:45 2.3K 
[ ]msinst_1__300_48.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__303_54.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__304_27.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__306_23.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__307_27.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__309_23.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__311_48.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__314_27.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__316_23.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__317_27.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__318_28.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__326_50.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__332_21.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__334_50.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__336_39.min1.thm12017-02-06 12:45 512  
[ ]msinst_1__336_39.min1.thm1.tptp2017-02-06 16:47 424  
[ ]msinst_1__343_37.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__344_36.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__346_19.min1.thm12017-02-06 12:45 669  
[ ]msinst_1__348_21.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__353_50.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__359_21.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__361_50.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__363_39.min1.thm12017-02-06 12:45 512  
[ ]msinst_1__363_39.min1.thm1.tptp2017-02-06 16:47 424  
[ ]msinst_1__370_36.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__371_35.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__373_19.min1.thm12017-02-06 12:45 630  
[ ]msinst_1__375_21.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__388_41.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__389_40.min1.thm12017-02-06 12:45 678  
[ ]msinst_1__390_14.min1.thm12017-02-06 12:45 409  
[ ]msinst_1__390_14.min1.thm1.tptp2017-02-06 16:47 319  
[ ]msinst_1__400_20.min1.thm12017-02-06 12:45 308  
[ ]msinst_1__404_24.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__407_26.min1.thm12017-02-06 12:45 936  
[ ]msinst_1__410_19.min1.thm12017-02-06 12:45 924  
[ ]msinst_1__449_17.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__452_50.min1.thm12017-02-06 12:45 809  
[ ]msinst_1__454_21.min1.thm12017-02-06 12:45 347  
[ ]msinst_1__454_21.min1.thm1.tptp2017-02-06 16:47 265  
[ ]msinst_1__466_30.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__467_28.min1.thm12017-02-06 12:45 2.7K 
[ ]msinst_1__468_27.min1.thm12017-02-06 12:45 941  
[ ]msinst_1__474_46.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__477_19.min1.thm12017-02-06 12:45 1.8K 
[ ]msinst_1__482_61.min1.thm12017-02-06 12:45 444  
[ ]msinst_1__482_61.min1.thm1.tptp2017-02-06 16:47 366  
[ ]msinst_1__483_18.min1.thm12017-02-06 12:45 476  
[ ]msinst_1__483_18.min1.thm1.tptp2017-02-06 16:47 395  
[ ]msinst_1__484_20.min1.thm12017-02-06 12:45 626  
[ ]msinst_1__489_44.min1.thm12017-02-06 12:45 344  
[ ]msinst_1__496_71.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__502_23.min1.thm12017-02-06 12:45 919  
[ ]msinst_1__517_42.min1.thm12017-02-06 12:45 711  
[ ]msinst_1__518_37.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__520_28.min1.thm12017-02-06 12:45 3.4K 
[ ]msinst_1__527_65.min1.thm12017-02-06 12:45 468  
[ ]msinst_1__527_65.min1.thm1.tptp2017-02-06 16:47 390  
[ ]msinst_1__528_24.min1.thm12017-02-06 12:45 500  
[ ]msinst_1__528_24.min1.thm1.tptp2017-02-06 16:47 419  
[ ]msinst_1__529_26.min1.thm12017-02-06 12:45 668  
[ ]msinst_1__532_55.min1.thm12017-02-06 12:45 505  
[ ]msinst_1__532_55.min1.thm1.tptp2017-02-06 16:47 427  
[ ]msinst_1__537_24.min1.thm12017-02-06 12:45 688  
[ ]msinst_1__538_30.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__540_61.min1.thm12017-02-06 12:45 3.0K 
[ ]msinst_1__542_46.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__544_49.min1.thm12017-02-06 12:45 827  
[ ]msinst_1__546_27.min1.thm12017-02-06 12:45 376  
[ ]msinst_1__546_27.min1.thm1.tptp2017-02-06 16:47 293  
[ ]msinst_1__551_34.min1.thm12017-02-06 12:45 1.4K 
[ ]msinst_1__552_23.min1.thm12017-02-06 12:45 920  
[ ]msinst_1__554_62.min1.thm12017-02-06 12:45 2.4K 
[ ]msinst_1__556_45.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__558_23.min1.thm12017-02-06 12:45 2.1K 
[ ]msinst_1__566_21.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__583_49.min1.thm12017-02-06 12:45 738  
[ ]msinst_1__583_49.min1.thm1.tptp2017-02-06 16:47 689  
[ ]msinst_1__584_21.min1.thm12017-02-06 12:45 738  
[ ]msinst_1__584_21.min1.thm1.tptp2017-02-06 16:47 689  
[ ]msinst_1__591_49.min1.thm12017-02-06 12:45 738  
[ ]msinst_1__591_49.min1.thm1.tptp2017-02-06 16:47 689  
[ ]msinst_1__592_21.min1.thm12017-02-06 12:45 738  
[ ]msinst_1__592_21.min1.thm1.tptp2017-02-06 16:47 689  
[ ]msinst_1__594_20.min1.thm12017-02-06 12:45 422  
[ ]msinst_1__606_8.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__619_21.min1.thm12017-02-06 12:45 627  
[ ]msinst_1__638_56.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__639_44.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__641_15.min1.thm12017-02-06 12:45 1.7K 
[ ]msinst_1__646_57.min1.thm12017-02-06 12:45 408  
[ ]msinst_1__646_57.min1.thm1.tptp2017-02-06 16:47 330  
[ ]msinst_1__647_14.min1.thm12017-02-06 12:45 434  
[ ]msinst_1__647_14.min1.thm1.tptp2017-02-06 16:47 353  
[ ]msinst_1__648_16.min1.thm12017-02-06 12:45 584  
[ ]msinst_1__658_67.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__664_19.min1.thm12017-02-06 12:45 840  
[ ]msinst_1__679_38.min1.thm12017-02-06 12:45 645  
[ ]msinst_1__680_33.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__682_24.min1.thm12017-02-06 12:45 3.3K 
[ ]msinst_1__689_61.min1.thm12017-02-06 12:45 432  
[ ]msinst_1__689_61.min1.thm1.tptp2017-02-06 16:47 354  
[ ]msinst_1__690_20.min1.thm12017-02-06 12:45 458  
[ ]msinst_1__690_20.min1.thm1.tptp2017-02-06 16:47 377  
[ ]msinst_1__691_22.min1.thm12017-02-06 12:45 626  
[ ]msinst_1__694_51.min1.thm12017-02-06 12:45 481  
[ ]msinst_1__694_51.min1.thm1.tptp2017-02-06 16:47 403  
[ ]msinst_1__699_20.min1.thm12017-02-06 12:45 628  
[ ]msinst_1__700_26.min1.thm12017-02-06 12:45 1.8K 
[ ]msinst_1__702_57.min1.thm12017-02-06 12:45 2.9K 
[ ]msinst_1__703_42.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__705_45.min1.thm12017-02-06 12:45 749  
[ ]msinst_1__707_23.min1.thm12017-02-06 12:45 352  
[ ]msinst_1__707_23.min1.thm1.tptp2017-02-06 16:47 269  
[ ]msinst_1__712_31.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__713_19.min1.thm12017-02-06 12:45 841  
[ ]msinst_1__715_59.min1.thm12017-02-06 12:45 2.3K 
[ ]msinst_1__717_41.min1.thm12017-02-06 12:45 1.8K 
[ ]msinst_1__719_19.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__721_44.min1.thm12017-02-06 12:45 915  
[ ]msinst_1__733_52.min1.thm12017-02-06 12:45 971  
[ ]msinst_1__734_45.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__735_52.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__737_72.min1.thm12017-02-06 12:45 3.0K 
[ ]msinst_1__739_73.min1.thm12017-02-06 12:45 2.5K 
[ ]msinst_1__741_47.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__744_47.min1.thm12017-02-06 12:45 937  
[ ]msinst_1__749_59.min1.thm12017-02-06 12:45 2.3K 
[ ]msinst_1__764_60.min1.thm12017-02-06 12:45 2.3K 
[ ]msinst_1__766_57.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__784_21.min1.thm12017-02-06 12:45 594  
[ ]msinst_1__785_59.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__790_36.min1.thm12017-02-06 12:45 697  
[ ]msinst_1__791_59.min1.thm12017-02-06 12:45 3.6K 
[ ]msinst_1__794_33.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__796_52.min1.thm12017-02-06 12:45 3.5K 
[ ]msinst_1__797_59.min1.thm12017-02-06 12:45 3.7K 
[ ]msinst_1__804_36.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__806_52.min1.thm12017-02-06 12:45 3.5K 
[ ]msinst_1__808_47.min1.thm12017-02-06 12:45 5.5K 
[ ]msinst_1__810_25.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__811_45.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__813_50.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__819_35.min1.thm12017-02-06 12:45 3.8K 
[ ]msinst_1__821_64.min1.thm12017-02-06 12:45 4.3K 
[ ]msinst_1__824_34.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__828_54.min1.thm12017-02-06 12:45 3.1K 
[ ]msinst_1__833_15.min1.thm12017-02-06 12:45 414  
[ ]msinst_1__836_23.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__841_20.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__844_54.min1.thm12017-02-06 12:45 3.1K 
[ ]msinst_1__845_48.min1.thm12017-02-06 12:45 4.6K 
[ ]msinst_1__850_35.min1.thm12017-02-06 12:45 4.1K 
[ ]msinst_1__857_35.min1.thm12017-02-06 12:45 3.8K 
[ ]msinst_1__858_34.min1.thm12017-02-06 12:45 4.2K 
[ ]msinst_1__861_73.min1.thm12017-02-06 12:45 3.0K 
[ ]msinst_1__865_34.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__874_15.min1.thm12017-02-06 12:45 414  
[ ]msinst_1__877_23.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__882_20.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__887_15.min1.thm12017-02-06 12:45 414  
[ ]msinst_1__890_23.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__895_20.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__899_25.min1.thm12017-02-06 12:45 2.6K 
[ ]msinst_1__902_47.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__903_54.min1.thm12017-02-06 12:45 3.1K 
[ ]msinst_1__907_58.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__909_37.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__911_54.min1.thm12017-02-06 12:45 3.5K 
[ ]msinst_1__919_34.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__920_36.min1.thm12017-02-06 12:45 3.2K 
[ ]msinst_1__926_15.min1.thm12017-02-06 12:45 414  
[ ]msinst_1__930_20.min1.thm12017-02-06 12:45 2.1K 
[ ]msinst_1__934_23.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__938_59.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__943_18.min1.thm12017-02-06 12:45 273  
[ ]msinst_1__944_66.min1.thm12017-02-06 12:45 3.4K 
[ ]msinst_1__945_59.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__954_34.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__958_35.min1.thm12017-02-06 12:45 3.8K 
[ ]msinst_1__960_66.min1.thm12017-02-06 12:45 4.3K 
[ ]msinst_1__963_15.min1.thm12017-02-06 12:45 414  
[ ]msinst_1__966_23.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__971_20.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__974_54.min1.thm12017-02-06 12:45 3.1K 
[ ]msinst_1__977_49.min1.thm12017-02-06 12:45 3.5K 
[ ]msinst_1__979_59.min1.thm12017-02-06 12:45 3.7K 
[ ]msinst_1__983_36.min1.thm12017-02-06 12:45 4.7K 
[ ]msinst_1__984_46.min1.thm12017-02-06 12:45 3.8K 
[ ]msinst_1__988_51.min1.thm12017-02-06 12:45 4.5K 
[ ]msinst_1__991_25.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__993_66.min1.thm12017-02-06 12:45 3.4K 
[ ]msinst_1__1013_58.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__1015_18.min1.thm12017-02-06 12:45 277  
[ ]msinst_1__1028_58.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__1031_15.min1.thm12017-02-06 12:45 369  
[ ]msinst_1__1042_26.min1.thm12017-02-06 12:45 694  
[ ]msinst_1__1044_38.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__1045_49.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__1046_62.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1053_31.min1.thm12017-02-06 12:45 857  
[ ]msinst_1__1076_57.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__1079_57.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__1094_31.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__1094_31.min1.thm1.tptp2017-02-06 16:47 1.0K 
[ ]msinst_1__1096_46.min1.thm12017-02-06 12:45 663  
[ ]msinst_1__1098_33.min1.thm12017-02-06 12:45 818  
[ ]msinst_1__1099_61.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__1100_33.min1.thm12017-02-06 12:45 694  
[ ]msinst_1__1107_52.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__1108_34.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__1115_63.min1.thm12017-02-06 12:45 448  
[ ]msinst_1__1115_63.min1.thm1.tptp2017-02-06 16:47 370  
[ ]msinst_1__1116_20.min1.thm12017-02-06 12:45 481  
[ ]msinst_1__1116_20.min1.thm1.tptp2017-02-06 16:47 400  
[ ]msinst_1__1117_22.min1.thm12017-02-06 12:45 635  
[ ]msinst_1__1123_19.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__1126_50.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__1139_63.min1.thm12017-02-06 12:45 448  
[ ]msinst_1__1139_63.min1.thm1.tptp2017-02-06 16:47 370  
[ ]msinst_1__1140_20.min1.thm12017-02-06 12:45 481  
[ ]msinst_1__1140_20.min1.thm1.tptp2017-02-06 16:47 400  
[ ]msinst_1__1141_22.min1.thm12017-02-06 12:45 635  
[ ]msinst_1__1143_50.min1.thm12017-02-06 12:45 1.2K 
[ ]msinst_1__1156_8.min1.thm12017-02-06 12:45 2.4K 
[ ]msinst_1__1157_18.min1.thm12017-02-06 12:45 1.8K 
[ ]msinst_1__1176_37.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1176_37.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]msinst_1__1177_21.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1177_21.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]msinst_1__1185_37.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1185_37.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]msinst_1__1186_21.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1186_21.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]msinst_1__1188_20.min1.thm12017-02-06 12:45 431  
[ ]msinst_1__1218_44.min1.thm12017-02-06 12:45 728  
[ ]msinst_1__1218_44.min1.thm1.tptp2017-02-06 16:47 650  
[ ]msinst_1__1222_37.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__1225_30.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__1226_44.min1.thm12017-02-06 12:45 936  
[ ]msinst_1__1234_25.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__1235_45.min1.thm12017-02-06 12:45 937  
[ ]msinst_1__1244_52.min1.thm12017-02-06 12:45 675  
[ ]msinst_1__1249_68.min1.thm12017-02-06 12:45 4.2K 
[ ]msinst_1__1251_30.min1.thm12017-02-06 12:45 1.5K 
[ ]msinst_1__1253_30.min1.thm12017-02-06 12:45 914  
[ ]msinst_1__1259_16.min1.thm12017-02-06 12:45 480  
[ ]msinst_1__1260_21.min1.thm12017-02-06 12:45 919  
[ ]msinst_1__1267_40.min1.thm12017-02-06 12:45 1.9K 
[ ]msinst_1__1297_51.min1.thm12017-02-06 12:45 550  
[ ]msinst_1__1314_18.min1.thm12017-02-06 12:45 1.6K 
[ ]msinst_1__1317_47.min1.thm12017-02-06 12:45 967  
[ ]msinst_1__1318_23.min1.thm12017-02-06 12:45 967  
[ ]msinst_1__1328_52.min1.thm12017-02-06 12:45 578  
[ ]msinst_1__1328_52.min1.thm1.tptp2017-02-06 16:47 500  
[ ]msinst_1__1329_56.min1.thm12017-02-06 12:45 837  
[ ]msinst_1__1330_53.min1.thm12017-02-06 12:45 837  
[ ]msinst_1__1331_25.min1.thm12017-02-06 12:45 958  
[ ]msinst_1__1339_17.min1.thm12017-02-06 12:45 651  
[ ]msinst_1__1339_17.min1.thm1.tptp2017-02-06 16:47 587  
[ ]msinst_1__1351_31.min1.thm12017-02-06 12:45 665  
[ ]msinst_1__1351_31.min1.thm1.tptp2017-02-06 16:47 594  
[ ]msinst_1__1352_50.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1363_51.min1.thm12017-02-06 12:45 799  
[ ]msinst_1__1363_51.min1.thm1.tptp2017-02-06 16:47 728  
[ ]msinst_1__1364_31.min1.thm12017-02-06 12:45 666  
[ ]msinst_1__1364_31.min1.thm1.tptp2017-02-06 16:47 595  
[ ]msinst_1__1365_50.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1373_24.min1.thm12017-02-06 12:45 1.1K 
[ ]msinst_1__1378_24.min1.thm12017-02-06 12:45 450  
[ ]msinst_1__1382_37.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__1383_37.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__1388_35.min1.thm12017-02-06 12:45 3.6K 
[ ]msinst_1__1408_71.min1.thm12017-02-06 12:45 2.0K 
[ ]msinst_1__1430_56.min1.thm12017-02-06 12:45 674  
[ ]msinst_1__1443_69.min1.thm12017-02-06 12:45 2.2K 
[ ]msinst_1__1464_57.min1.thm12017-02-06 12:45 678  
[ ]msinst_1__1498_56.min1.thm12017-02-06 12:45 1.6K 
[ ]msinst_1__1501_59.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1502_72.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1509_56.min1.thm12017-02-06 12:45 1.6K 
[ ]msinst_1__1511_39.min1.thm12017-02-06 12:45 587  
[ ]msinst_1__1511_39.min1.thm1.tptp2017-02-06 16:47 499  
[ ]msinst_1__1522_52.min1.thm12017-02-06 12:45 674  
[ ]msinst_1__1524_21.min1.thm12017-02-06 12:45 2.8K 
[ ]msinst_1__1529_56.min1.thm12017-02-06 12:45 1.6K 
[ ]msinst_1__1532_59.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1533_72.min1.thm12017-02-06 12:45 1.3K 
[ ]msinst_1__1540_56.min1.thm12017-02-06 12:45 1.6K 
[ ]msinst_1__1542_39.min1.thm12017-02-06 12:45 587  
[ ]msinst_1__1542_39.min1.thm1.tptp2017-02-06 16:47 499  
[ ]msinst_1__1553_52.min1.thm12017-02-06 12:45 674  
[ ]msinst_1__1555_21.min1.thm12017-02-06 12:45 2.8K 
[ ]msinst_1__1567_23.min1.thm12017-02-06 12:45 817  
[ ]msinst_1__1568_30.min1.thm12017-02-06 12:45 1.6K 
[ ]msinst_1__1570_36.min1.thm12017-02-06 12:45 1.0K 
[ ]msinst_1__1571_14.min1.thm12017-02-06 12:45 525  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80