Index of /~mptp/1147/MPTP2/ilp0/jordan1k

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan1k__55_16.min1.thm12017-02-06 12:46 834  
[ ]jordan1k__68_14.min1.thm12017-02-06 12:46 398  
[ ]jordan1k__68_14.min1.thm1.tptp2017-02-06 16:47 338  
[ ]jordan1k__80_39.min1.thm12017-02-06 12:46 937  
[ ]jordan1k__84_35.min1.thm12017-02-06 12:46 316  
[ ]jordan1k__84_35.min1.thm1.tptp2017-02-06 16:47 238  
[ ]jordan1k__87_21.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__90_17.min1.thm12017-02-06 12:46 951  
[ ]jordan1k__91_17.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__103_39.min1.thm12017-02-06 12:46 810  
[ ]jordan1k__107_15.min1.thm12017-02-06 12:46 956  
[ ]jordan1k__111_16.min1.thm12017-02-06 12:46 612  
[ ]jordan1k__121_45.min1.thm12017-02-06 12:46 1.8K 
[ ]jordan1k__122_17.min1.thm12017-02-06 12:46 872  
[ ]jordan1k__122_17.min1.thm1.tptp2017-02-06 16:47 802  
[ ]jordan1k__133_52.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__136_45.min1.thm12017-02-06 12:46 511  
[ ]jordan1k__140_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__152_11.min1.thm12017-02-06 12:46 253  
[ ]jordan1k__156_11.min1.thm12017-02-06 12:46 513  
[ ]jordan1k__157_18.min1.thm12017-02-06 12:46 799  
[ ]jordan1k__158_19.min1.thm12017-02-06 12:46 1.0K 
[ ]jordan1k__162_19.min1.thm12017-02-06 12:46 911  
[ ]jordan1k__176_50.min1.thm12017-02-06 12:46 415  
[ ]jordan1k__176_50.min1.thm1.tptp2017-02-06 16:47 337  
[ ]jordan1k__178_28.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__192_72.min1.thm12017-02-06 12:46 550  
[ ]jordan1k__192_72.min1.thm1.tptp2017-02-06 16:47 472  
[ ]jordan1k__194_37.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__196_22.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__205_38.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__206_21.min1.thm12017-02-06 12:46 1.9K 
[ ]jordan1k__207_19.min1.thm12017-02-06 12:46 914  
[ ]jordan1k__209_47.min1.thm12017-02-06 12:46 1.6K 
[ ]jordan1k__223_22.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__224_72.min1.thm12017-02-06 12:46 561  
[ ]jordan1k__224_72.min1.thm1.tptp2017-02-06 16:47 483  
[ ]jordan1k__234_38.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__235_21.min1.thm12017-02-06 12:46 1.9K 
[ ]jordan1k__236_19.min1.thm12017-02-06 12:46 737  
[ ]jordan1k__238_47.min1.thm12017-02-06 12:46 1.6K 
[ ]jordan1k__249_26.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__258_46.min1.thm12017-02-06 12:46 550  
[ ]jordan1k__262_51.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__276_13.min1.thm12017-02-06 12:46 453  
[ ]jordan1k__276_13.min1.thm1.tptp2017-02-06 16:47 399  
[ ]jordan1k__277_70.min1.thm12017-02-06 12:46 561  
[ ]jordan1k__277_70.min1.thm1.tptp2017-02-06 16:47 483  
[ ]jordan1k__279_36.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__280_60.min1.thm12017-02-06 12:46 2.3K 
[ ]jordan1k__293_26.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__302_46.min1.thm12017-02-06 12:46 550  
[ ]jordan1k__303_37.min1.thm12017-02-06 12:46 665  
[ ]jordan1k__307_51.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__330_37.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__332_34.min1.thm12017-02-06 12:46 405  
[ ]jordan1k__332_34.min1.thm1.tptp2017-02-06 16:47 324  
[ ]jordan1k__335_64.min1.thm12017-02-06 12:46 932  
[ ]jordan1k__340_13.min1.thm12017-02-06 12:46 481  
[ ]jordan1k__343_46.min1.thm12017-02-06 12:46 711  
[ ]jordan1k__344_44.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__354_42.min1.thm12017-02-06 12:46 2.3K 
[ ]jordan1k__355_43.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__356_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jordan1k__366_37.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__368_32.min1.thm12017-02-06 12:46 403  
[ ]jordan1k__368_32.min1.thm1.tptp2017-02-06 16:47 322  
[ ]jordan1k__371_62.min1.thm12017-02-06 12:46 930  
[ ]jordan1k__374_33.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__377_25.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__378_34.min1.thm12017-02-06 12:46 427  
[ ]jordan1k__378_34.min1.thm1.tptp2017-02-06 16:47 349  
[ ]jordan1k__385_42.min1.thm12017-02-06 12:46 2.3K 
[ ]jordan1k__386_43.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__387_17.min1.thm12017-02-06 12:46 1.1K 
[ ]jordan1k__397_11.min1.thm12017-02-06 12:46 321  
[ ]jordan1k__400_19.min1.thm12017-02-06 12:46 475  
[ ]jordan1k__404_18.min1.thm12017-02-06 12:46 1.6K 
[ ]jordan1k__405_19.min1.thm12017-02-06 12:46 408  
[ ]jordan1k__405_19.min1.thm1.tptp2017-02-06 16:47 326  
[ ]jordan1k__410_27.min1.thm12017-02-06 12:46 640  
[ ]jordan1k__412_22.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__417_64.min1.thm12017-02-06 12:46 1.1K 
[ ]jordan1k__418_36.min1.thm12017-02-06 12:46 2.2K 
[ ]jordan1k__419_19.min1.thm12017-02-06 12:46 662  
[ ]jordan1k__433_27.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__434_16.min1.thm12017-02-06 12:46 1.8K 
[ ]jordan1k__435_36.min1.thm12017-02-06 12:46 617  
[ ]jordan1k__452_44.min1.thm12017-02-06 12:46 954  
[ ]jordan1k__453_29.min1.thm12017-02-06 12:46 938  
[ ]jordan1k__455_44.min1.thm12017-02-06 12:46 954  
[ ]jordan1k__456_29.min1.thm12017-02-06 12:46 938  
[ ]jordan1k__459_4.min1.thm12017-02-06 12:46 2.5K 
[ ]jordan1k__460_21.min1.thm12017-02-06 12:46 2.7K 
[ ]jordan1k__468_17.min1.thm12017-02-06 12:46 1.6K 
[ ]jordan1k__474_32.min1.thm12017-02-06 12:46 1.3K 
[ ]jordan1k__482_24.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__483_28.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__484_24.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__485_25.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__492_35.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__504_30.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__512_23.min1.thm12017-02-06 12:46 1.3K 
[ ]jordan1k__515_21.min1.thm12017-02-06 12:46 1.4K 
[ ]jordan1k__527_16.min1.thm12017-02-06 12:46 740  
[ ]jordan1k__550_42.min1.thm12017-02-06 12:46 1.0K 
[ ]jordan1k__563_29.min1.thm12017-02-06 12:46 769  
[ ]jordan1k__573_21.min1.thm12017-02-06 12:46 639  
[ ]jordan1k__580_26.min1.thm12017-02-06 12:46 493  
[ ]jordan1k__599_15.min1.thm12017-02-06 12:46 622  
[ ]jordan1k__599_15.min1.thm1.tptp2017-02-06 16:47 545  
[ ]jordan1k__606_39.min1.thm12017-02-06 12:46 642  
[ ]jordan1k__616_34.min1.thm12017-02-06 12:46 1.6K 
[ ]jordan1k__618_18.min1.thm12017-02-06 12:46 737  
[ ]jordan1k__619_20.min1.thm12017-02-06 12:46 1.8K 
[ ]jordan1k__630_37.min1.thm12017-02-06 12:46 1.9K 
[ ]jordan1k__632_15.min1.thm12017-02-06 12:46 1.5K 
[ ]jordan1k__645_68.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__652_49.min1.thm12017-02-06 12:46 494  
[ ]jordan1k__653_48.min1.thm12017-02-06 12:46 773  
[ ]jordan1k__668_49.min1.thm12017-02-06 12:46 2.3K 
[ ]jordan1k__671_24.min1.thm12017-02-06 12:46 3.2K 
[ ]jordan1k__692_57.min1.thm12017-02-06 12:46 937  
[ ]jordan1k__699_49.min1.thm12017-02-06 12:46 1.9K 
[ ]jordan1k__701_35.min1.thm12017-02-06 12:46 829  
[ ]jordan1k__702_24.min1.thm12017-02-06 12:46 2.4K 
[ ]jordan1k__706_17.min1.thm12017-02-06 12:46 1.2K 
[ ]jordan1k__717_47.min1.thm12017-02-06 12:46 352  
[ ]jordan1k__717_47.min1.thm1.tptp2017-02-06 16:47 274  
[ ]jordan1k__719_41.min1.thm12017-02-06 12:46 642  
[ ]jordan1k__723_12.min1.thm12017-02-06 12:46 1.1K 
[ ]jordan1k__731_11.min1.thm12017-02-06 12:46 213  
[ ]jordan1k__741_46.min1.thm12017-02-06 12:46 769  
[ ]jordan1k__742_50.min1.thm12017-02-06 12:46 1.0K 
[ ]jordan1k__743_70.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__746_53.min1.thm12017-02-06 12:46 732  
[ ]jordan1k__769_58.min1.thm12017-02-06 12:46 971  
[ ]jordan1k__772_15.min1.thm12017-02-06 12:46 517  
[ ]jordan1k__772_15.min1.thm1.tptp2017-02-06 16:47 439  
[ ]jordan1k__774_12.min1.thm12017-02-06 12:46 761  
[ ]jordan1k__792_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jordan1k__806_19.min1.thm12017-02-06 12:46 2.2K 
[ ]jordan1k__820_58.min1.thm12017-02-06 12:46 971  
[ ]jordan1k__847_56.min1.thm12017-02-06 12:46 967  
[ ]jordan1k__848_39.min1.thm12017-02-06 12:46 2.1K 
[ ]jordan1k__863_52.min1.thm12017-02-06 12:46 896  
[ ]jordan1k__885_40.min1.thm12017-02-06 12:46 712  
[ ]jordan1k__885_40.min1.thm1.tptp2017-02-06 16:47 640  
[ ]jordan1k__896_40.min1.thm12017-02-06 12:46 2.1K 
[ ]jordan1k__902_49.min1.thm12017-02-06 12:46 1.7K 
[ ]jordan1k__905_40.min1.thm12017-02-06 12:46 2.1K 
[ ]jordan1k__918_56.min1.thm12017-02-06 12:46 967  
[ ]jordan1k__919_39.min1.thm12017-02-06 12:46 2.2K 
[ ]jordan1k__923_53.min1.thm12017-02-06 12:46 882  
[ ]jordan1k__925_25.min1.thm12017-02-06 12:46 568  
[ ]jordan1k__937_17.min1.thm12017-02-06 12:46 1.9K 
[ ]jordan1k__968_16.min1.thm12017-02-06 12:46 242  
[ ]jordan1k__990_19.min1.thm12017-02-06 12:46 687  
[ ]jordan1k__1005_18.min1.thm12017-02-06 12:46 893  
[ ]jordan1k__1018_56.min1.thm12017-02-06 12:46 1.0K 
[ ]jordan1k__1019_66.min1.thm12017-02-06 12:46 1.8K 
[ ]jordan1k__1029_28.min1.thm12017-02-06 12:46 1.1K 
[ ]jordan1k__1030_42.min1.thm12017-02-06 12:46 766  
[ ]jordan1k__1034_36.min1.thm12017-02-06 12:46 384  
[ ]jordan1k__1036_11.min1.thm12017-02-06 12:46 878  
[ ]jordan1k__1038_20.min1.thm12017-02-06 12:46 891  
[ ]jordan1k__1049_26.min1.thm12017-02-06 12:46 2.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80