Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/toprns_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]toprns_1__57_60.min1.thm12017-02-06 12:45 1.0K 
[ ]toprns_1__76_36.min1.thm12017-02-06 12:45 933  
[ ]toprns_1__80_28.min1.thm12017-02-06 12:45 846  
[ ]toprns_1__82_19.min1.thm12017-02-06 12:45 447  
[ ]toprns_1__82_19.min1.thm1.tptp2017-02-06 16:46 379  
[ ]toprns_1__91_14.min1.thm12017-02-06 12:45 860  
[ ]toprns_1__93_27.min1.thm12017-02-06 12:45 490  
[ ]toprns_1__95_30.min1.thm12017-02-06 12:45 393  
[ ]toprns_1__95_30.min1.thm1.tptp2017-02-06 16:46 325  
[ ]toprns_1__99_39.min1.thm12017-02-06 12:45 443  
[ ]toprns_1__99_39.min1.thm1.tptp2017-02-06 16:46 379  
[ ]toprns_1__100_17.min1.thm12017-02-06 12:45 929  
[ ]toprns_1__106_65.min1.thm12017-02-06 12:45 1.9K 
[ ]toprns_1__108_55.min1.thm12017-02-06 12:45 1.5K 
[ ]toprns_1__118_38.min1.thm12017-02-06 12:45 1.9K 
[ ]toprns_1__131_20.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__143_20.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__145_19.min1.thm12017-02-06 12:45 2.4K 
[ ]toprns_1__173_23.min1.thm12017-02-06 12:45 570  
[ ]toprns_1__173_23.min1.thm1.tptp2017-02-06 16:46 493  
[ ]toprns_1__174_26.min1.thm12017-02-06 12:45 707  
[ ]toprns_1__183_41.min1.thm12017-02-06 12:45 865  
[ ]toprns_1__195_41.min1.thm12017-02-06 12:45 865  
[ ]toprns_1__207_41.min1.thm12017-02-06 12:45 865  
[ ]toprns_1__252_15.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__253_17.min1.thm12017-02-06 12:45 1.7K 
[ ]toprns_1__303_14.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__341_29.min1.thm12017-02-06 12:45 1.1K 
[ ]toprns_1__350_30.min1.thm12017-02-06 12:45 1.9K 
[ ]toprns_1__357_36.min1.thm12017-02-06 12:45 1.0K 
[ ]toprns_1__358_11.min1.thm12017-02-06 12:45 900  
[ ]toprns_1__364_42.min1.thm12017-02-06 12:45 1.1K 
[ ]toprns_1__366_17.min1.thm12017-02-06 12:45 1.4K 
[ ]toprns_1__367_22.min1.thm12017-02-06 12:45 1.0K 
[ ]toprns_1__368_14.min1.thm12017-02-06 12:45 338  
[ ]toprns_1__368_14.min1.thm1.tptp2017-02-06 16:46 256  
[ ]toprns_1__372_12.min1.thm12017-02-06 12:45 2.6K 
[ ]toprns_1__375_19.min1.thm12017-02-06 12:45 1.0K 
[ ]toprns_1__381_21.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__388_17.min1.thm12017-02-06 12:45 1.4K 
[ ]toprns_1__394_40.min1.thm12017-02-06 12:45 1.3K 
[ ]toprns_1__395_11.min1.thm12017-02-06 12:45 404  
[ ]toprns_1__395_11.min1.thm1.tptp2017-02-06 16:46 327  
[ ]toprns_1__396_14.min1.thm12017-02-06 12:45 348  
[ ]toprns_1__400_32.min1.thm12017-02-06 12:45 838  
[ ]toprns_1__400_32.min1.thm1.tptp2017-02-06 16:46 837  
[ ]toprns_1__405_53.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__413_53.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__421_53.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__429_53.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__437_53.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__445_25.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__447_48.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__448_32.min1.thm12017-02-06 12:45 2.2K 
[ ]toprns_1__449_31.min1.thm12017-02-06 12:45 1.7K 
[ ]toprns_1__482_28.min1.thm12017-02-06 12:45 681  
[ ]toprns_1__498_17.min1.thm12017-02-06 12:45 2.0K 
[ ]toprns_1__504_23.min1.thm12017-02-06 12:45 681  
[ ]toprns_1__505_17.min1.thm12017-02-06 12:45 2.2K 
[ ]toprns_1__509_17.min1.thm12017-02-06 12:45 2.2K 
[ ]toprns_1__523_12.min1.thm12017-02-06 12:45 1.9K 
[ ]toprns_1__555_25.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__557_28.min1.thm12017-02-06 12:45 1.3K 
[ ]toprns_1__560_28.min1.thm12017-02-06 12:45 1.7K 
[ ]toprns_1__561_15.min1.thm12017-02-06 12:45 1.3K 
[ ]toprns_1__573_39.min1.thm12017-02-06 12:45 2.0K 
[ ]toprns_1__574_38.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__577_46.min1.thm12017-02-06 12:45 2.9K 
[ ]toprns_1__578_44.min1.thm12017-02-06 12:45 4.0K 
[ ]toprns_1__580_44.min1.thm12017-02-06 12:45 3.6K 
[ ]toprns_1__581_46.min1.thm12017-02-06 12:45 4.0K 
[ ]toprns_1__582_47.min1.thm12017-02-06 12:45 4.0K 
[ ]toprns_1__583_46.min1.thm12017-02-06 12:45 3.5K 
[ ]toprns_1__584_49.min1.thm12017-02-06 12:45 3.5K 
[ ]toprns_1__585_63.min1.thm12017-02-06 12:45 3.9K 
[ ]toprns_1__587_56.min1.thm12017-02-06 12:45 3.5K 
[ ]toprns_1__615_10.min1.thm12017-02-06 12:45 2.1K 
[ ]toprns_1__618_24.min1.thm12017-02-06 12:45 800  
[ ]toprns_1__619_51.min1.thm12017-02-06 12:45 2.6K 
[ ]toprns_1__620_35.min1.thm12017-02-06 12:45 3.7K 
[ ]toprns_1__622_34.min1.thm12017-02-06 12:45 3.9K 
[ ]toprns_1__623_33.min1.thm12017-02-06 12:45 3.4K 
[ ]toprns_1__624_31.min1.thm12017-02-06 12:45 2.5K 
[ ]toprns_1__625_32.min1.thm12017-02-06 12:45 3.0K 
[ ]toprns_1__627_33.min1.thm12017-02-06 12:45 2.4K 
[ ]toprns_1__628_60.min1.thm12017-02-06 12:45 3.2K 
[ ]toprns_1__629_14.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__630_15.min1.thm12017-02-06 12:45 1.5K 
[ ]toprns_1__631_26.min1.thm12017-02-06 12:45 799  
[ ]toprns_1__647_12.min1.thm12017-02-06 12:45 857  
[ ]toprns_1__655_12.min1.thm12017-02-06 12:45 2.1K 
[ ]toprns_1__658_32.min1.thm12017-02-06 12:45 874  
[ ]toprns_1__661_48.min1.thm12017-02-06 12:45 2.7K 
[ ]toprns_1__662_50.min1.thm12017-02-06 12:45 3.0K 
[ ]toprns_1__664_49.min1.thm12017-02-06 12:45 3.5K 
[ ]toprns_1__665_48.min1.thm12017-02-06 12:45 2.7K 
[ ]toprns_1__668_21.min1.thm12017-02-06 12:45 3.4K 
[ ]toprns_1__669_16.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__670_17.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__671_34.min1.thm12017-02-06 12:45 875  
[ ]toprns_1__687_14.min1.thm12017-02-06 12:45 1.4K 
[ ]toprns_1__691_15.min1.thm12017-02-06 12:45 935  
[ ]toprns_1__700_28.min1.thm12017-02-06 12:45 937  
[ ]toprns_1__701_15.min1.thm12017-02-06 12:45 935  
[ ]toprns_1__702_43.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__704_14.min1.thm12017-02-06 12:45 1.9K 
[ ]toprns_1__705_9.min1.thm12017-02-06 12:45 934  
[ ]toprns_1__706_41.min1.thm12017-02-06 12:45 2.1K 
[ ]toprns_1__707_27.min1.thm12017-02-06 12:45 2.5K 
[ ]toprns_1__719_54.min1.thm12017-02-06 12:45 1.7K 
[ ]toprns_1__725_27.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__726_12.min1.thm12017-02-06 12:45 406  
[ ]toprns_1__726_12.min1.thm1.tptp2017-02-06 16:46 329  
[ ]toprns_1__727_32.min1.thm12017-02-06 12:45 797  
[ ]toprns_1__727_32.min1.thm1.tptp2017-02-06 16:46 709  
[ ]toprns_1__743_31.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__744_66.min1.thm12017-02-06 12:45 2.4K 
[ ]toprns_1__745_37.min1.thm12017-02-06 12:45 3.1K 
[ ]toprns_1__746_38.min1.thm12017-02-06 12:45 3.1K 
[ ]toprns_1__747_25.min1.thm12017-02-06 12:45 3.0K 
[ ]toprns_1__748_24.min1.thm12017-02-06 12:45 2.6K 
[ ]toprns_1__749_27.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__750_12.min1.thm12017-02-06 12:45 406  
[ ]toprns_1__750_12.min1.thm1.tptp2017-02-06 16:46 329  
[ ]toprns_1__751_42.min1.thm12017-02-06 12:45 855  
[ ]toprns_1__751_42.min1.thm1.tptp2017-02-06 16:46 767  
[ ]toprns_1__756_14.min1.thm12017-02-06 12:45 1.4K 
[ ]toprns_1__760_15.min1.thm12017-02-06 12:45 935  
[ ]toprns_1__763_22.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__770_36.min1.thm12017-02-06 12:45 1.0K 
[ ]toprns_1__771_17.min1.thm12017-02-06 12:45 1.1K 
[ ]toprns_1__772_44.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__774_14.min1.thm12017-02-06 12:45 1.9K 
[ ]toprns_1__775_9.min1.thm12017-02-06 12:45 934  
[ ]toprns_1__776_58.min1.thm12017-02-06 12:45 2.2K 
[ ]toprns_1__777_34.min1.thm12017-02-06 12:45 2.7K 
[ ]toprns_1__781_24.min1.thm12017-02-06 12:45 1.0K 
[ ]toprns_1__789_32.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__797_39.min1.thm12017-02-06 12:45 1.4K 
[ ]toprns_1__798_23.min1.thm12017-02-06 12:45 2.4K 
[ ]toprns_1__799_19.min1.thm12017-02-06 12:45 1.8K 
[ ]toprns_1__809_24.min1.thm12017-02-06 12:45 914  
[ ]toprns_1__820_25.min1.thm12017-02-06 12:45 914  
[ ]toprns_1__822_30.min1.thm12017-02-06 12:45 1.2K 
[ ]toprns_1__823_29.min1.thm12017-02-06 12:45 2.1K 
[ ]toprns_1__836_12.min1.thm12017-02-06 12:45 3.4K 
[ ]toprns_1__841_20.min1.thm12017-02-06 12:45 749  
[ ]toprns_1__852_40.min1.thm12017-02-06 12:45 656  
[ ]toprns_1__854_15.min1.thm12017-02-06 12:45 2.0K 
[ ]toprns_1__856_14.min1.thm12017-02-06 12:45 2.3K 
[ ]toprns_1__859_26.min1.thm12017-02-06 12:45 665  
[ ]toprns_1__865_26.min1.thm12017-02-06 12:45 665  
[ ]toprns_1__868_24.min1.thm12017-02-06 12:45 1.6K 
[ ]toprns_1__881_27.min1.thm12017-02-06 12:45 3.9K 
[ ]toprns_1__888_42.min1.thm12017-02-06 12:45 1.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80