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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ortsp_1__37_35.min1.thm12017-02-06 12:46 222  
[ ]ortsp_1__38_35.min1.thm12017-02-06 12:46 391  
[ ]ortsp_1__52_18.min1.thm12017-02-06 12:46 493  
[ ]ortsp_1__54_37.min1.thm12017-02-06 12:46 383  
[ ]ortsp_1__54_37.min1.thm1.tptp2017-02-06 16:47 305  
[ ]ortsp_1__57_25.min1.thm12017-02-06 12:46 797  
[ ]ortsp_1__84_26.min1.thm12017-02-06 12:46 711  
[ ]ortsp_1__114_36.min1.thm12017-02-06 12:46 273  
[ ]ortsp_1__115_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__117_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__119_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__126_38.min1.thm12017-02-06 12:46 423  
[ ]ortsp_1__126_38.min1.thm1.tptp2017-02-06 16:47 335  
[ ]ortsp_1__129_21.min1.thm12017-02-06 12:46 527  
[ ]ortsp_1__130_38.min1.thm12017-02-06 12:46 719  
[ ]ortsp_1__134_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__135_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__136_29.min1.thm12017-02-06 12:46 1.3K 
[ ]ortsp_1__137_36.min1.thm12017-02-06 12:46 280  
[ ]ortsp_1__138_29.min1.thm12017-02-06 12:46 1.3K 
[ ]ortsp_1__139_36.min1.thm12017-02-06 12:46 280  
[ ]ortsp_1__142_21.min1.thm12017-02-06 12:46 3.6K 
[ ]ortsp_1__148_36.min1.thm12017-02-06 12:46 273  
[ ]ortsp_1__149_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__151_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__153_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__155_36.min1.thm12017-02-06 12:46 279  
[ ]ortsp_1__158_36.min1.thm12017-02-06 12:46 280  
[ ]ortsp_1__160_21.min1.thm12017-02-06 12:46 3.3K 
[ ]ortsp_1__166_36.min1.thm12017-02-06 12:46 273  
[ ]ortsp_1__170_19.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__203_19.min1.thm12017-02-06 12:46 451  
[ ]ortsp_1__203_19.min1.thm1.tptp2017-02-06 16:47 381  
[ ]ortsp_1__206_22.min1.thm12017-02-06 12:46 432  
[ ]ortsp_1__212_64.min1.thm12017-02-06 12:46 1.2K 
[ ]ortsp_1__215_19.min1.thm12017-02-06 12:46 460  
[ ]ortsp_1__215_19.min1.thm1.tptp2017-02-06 16:47 378  
[ ]ortsp_1__223_17.min1.thm12017-02-06 12:46 614  
[ ]ortsp_1__224_19.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__233_12.min1.thm12017-02-06 12:46 614  
[ ]ortsp_1__234_19.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__243_13.min1.thm12017-02-06 12:46 620  
[ ]ortsp_1__254_20.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__285_14.min1.thm12017-02-06 12:46 954  
[ ]ortsp_1__299_6.min1.thm12017-02-06 12:46 3.6K 
[ ]ortsp_1__331_19.min1.thm12017-02-06 12:46 2.3K 
[ ]ortsp_1__333_17.min1.thm12017-02-06 12:46 506  
[ ]ortsp_1__333_17.min1.thm1.tptp2017-02-06 16:47 417  
[ ]ortsp_1__341_23.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__343_20.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__344_16.min1.thm12017-02-06 12:46 2.8K 
[ ]ortsp_1__346_18.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__348_21.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__349_17.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__360_18.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__363_21.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__375_15.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__379_21.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__392_13.min1.thm12017-02-06 12:46 1.6K 
[ ]ortsp_1__394_21.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__397_19.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__402_13.min1.thm12017-02-06 12:46 1.6K 
[ ]ortsp_1__408_17.min1.thm12017-02-06 12:46 664  
[ ]ortsp_1__408_17.min1.thm1.tptp2017-02-06 16:47 572  
[ ]ortsp_1__416_17.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__425_17.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__430_30.min1.thm12017-02-06 12:46 2.8K 
[ ]ortsp_1__451_18.min1.thm12017-02-06 12:46 1.2K 
[ ]ortsp_1__464_18.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__465_18.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__466_23.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__467_29.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__471_15.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__472_26.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__485_13.min1.thm12017-02-06 12:46 328  
[ ]ortsp_1__491_24.min1.thm12017-02-06 12:46 559  
[ ]ortsp_1__492_23.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__495_18.min1.thm12017-02-06 12:46 2.3K 
[ ]ortsp_1__499_28.min1.thm12017-02-06 12:46 2.8K 
[ ]ortsp_1__500_23.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__501_28.min1.thm12017-02-06 12:46 2.3K 
[ ]ortsp_1__502_33.min1.thm12017-02-06 12:46 2.4K 
[ ]ortsp_1__507_21.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__510_15.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__513_22.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__514_19.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__537_19.min1.thm12017-02-06 12:46 2.8K 
[ ]ortsp_1__546_13.min1.thm12017-02-06 12:46 723  
[ ]ortsp_1__547_19.min1.thm12017-02-06 12:46 797  
[ ]ortsp_1__569_34.min1.thm12017-02-06 12:46 3.3K 
[ ]ortsp_1__570_12.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__587_63.min1.thm12017-02-06 12:46 4.0K 
[ ]ortsp_1__588_66.min1.thm12017-02-06 12:46 4.0K 
[ ]ortsp_1__589_66.min1.thm12017-02-06 12:46 4.4K 
[ ]ortsp_1__600_55.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__614_18.min1.thm12017-02-06 12:46 2.8K 
[ ]ortsp_1__616_14.min1.thm12017-02-06 12:46 3.3K 
[ ]ortsp_1__618_26.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__631_18.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__632_35.min1.thm12017-02-06 12:46 3.3K 
[ ]ortsp_1__636_37.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__637_33.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__640_26.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__652_18.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__661_41.min1.thm12017-02-06 12:46 3.5K 
[ ]ortsp_1__671_26.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__682_12.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__685_29.min1.thm12017-02-06 12:46 3.8K 
[ ]ortsp_1__686_12.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__690_26.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__695_16.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__696_23.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__716_16.min1.thm12017-02-06 12:46 2.3K 
[ ]ortsp_1__730_17.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__731_25.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__734_28.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__741_22.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__742_20.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__744_17.min1.thm12017-02-06 12:46 899  
[ ]ortsp_1__744_17.min1.thm1.tptp2017-02-06 16:47 828  
[ ]ortsp_1__754_4.min1.thm12017-02-06 12:46 4.4K 
[ ]ortsp_1__765_26.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__770_23.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__783_24.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__784_43.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__788_22.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__803_26.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__813_29.min1.thm12017-02-06 12:46 4.1K 
[ ]ortsp_1__815_34.min1.thm12017-02-06 12:46 3.1K 
[ ]ortsp_1__821_18.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__823_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__824_33.min1.thm12017-02-06 12:46 3.1K 
[ ]ortsp_1__826_27.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__839_23.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__841_27.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__842_23.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__851_35.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__854_16.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__856_52.min1.thm12017-02-06 12:46 4.9K 
[ ]ortsp_1__877_26.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__878_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__879_24.min1.thm12017-02-06 12:46 3.2K 
[ ]ortsp_1__885_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__886_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__887_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__889_25.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__890_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__891_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__892_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__893_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__918_76.min1.thm12017-02-06 12:46 3.5K 
[ ]ortsp_1__947_21.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__951_22.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__971_24.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__1002_24.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__1017_28.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__1020_23.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__1023_17.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__1023_17.min1.thm1.tptp2017-02-06 16:47 2.1K 
[ ]ortsp_1__1036_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1037_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1039_24.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__1043_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1044_45.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__1060_24.min1.thm12017-02-06 12:46 2.7K 
[ ]ortsp_1__1069_28.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__1071_36.min1.thm12017-02-06 12:46 3.4K 
[ ]ortsp_1__1072_14.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1073_28.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__1076_17.min1.thm12017-02-06 12:46 1.5K 
[ ]ortsp_1__1076_17.min1.thm1.tptp2017-02-06 16:47 1.4K 
[ ]ortsp_1__1103_15.min1.thm12017-02-06 12:46 1.0K 
[ ]ortsp_1__1116_36.min1.thm12017-02-06 12:46 557  
[ ]ortsp_1__1116_36.min1.thm1.tptp2017-02-06 16:47 472  
[ ]ortsp_1__1122_50.min1.thm12017-02-06 12:46 1.2K 
[ ]ortsp_1__1123_21.min1.thm12017-02-06 12:46 1.3K 
[ ]ortsp_1__1125_15.min1.thm12017-02-06 12:46 421  
[ ]ortsp_1__1127_13.min1.thm12017-02-06 12:46 130  
[ ]ortsp_1__1136_35.min1.thm12017-02-06 12:46 2.4K 
[ ]ortsp_1__1147_15.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__1159_22.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1160_23.min1.thm12017-02-06 12:46 2.8K 
[ ]ortsp_1__1167_21.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__1179_21.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__1181_19.min1.thm12017-02-06 12:46 671  
[ ]ortsp_1__1181_19.min1.thm1.tptp2017-02-06 16:47 599  
[ ]ortsp_1__1193_17.min1.thm12017-02-06 12:46 568  
[ ]ortsp_1__1194_25.min1.thm12017-02-06 12:46 2.2K 
[ ]ortsp_1__1200_44.min1.thm12017-02-06 12:46 2.4K 
[ ]ortsp_1__1203_19.min1.thm12017-02-06 12:46 677  
[ ]ortsp_1__1203_19.min1.thm1.tptp2017-02-06 16:47 597  
[ ]ortsp_1__1205_17.min1.thm12017-02-06 12:46 760  
[ ]ortsp_1__1205_17.min1.thm1.tptp2017-02-06 16:47 678  
[ ]ortsp_1__1216_26.min1.thm12017-02-06 12:46 2.5K 
[ ]ortsp_1__1217_15.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__1223_15.min1.thm12017-02-06 12:46 615  
[ ]ortsp_1__1224_18.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1228_34.min1.thm12017-02-06 12:46 2.1K 
[ ]ortsp_1__1236_42.min1.thm12017-02-06 12:46 3.0K 
[ ]ortsp_1__1237_19.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__1239_17.min1.thm12017-02-06 12:46 923  
[ ]ortsp_1__1239_17.min1.thm1.tptp2017-02-06 16:47 840  
[ ]ortsp_1__1251_15.min1.thm12017-02-06 12:46 1.7K 
[ ]ortsp_1__1252_15.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__1257_15.min1.thm12017-02-06 12:46 564  
[ ]ortsp_1__1267_19.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1270_28.min1.thm12017-02-06 12:46 3.4K 
[ ]ortsp_1__1271_14.min1.thm12017-02-06 12:46 1.9K 
[ ]ortsp_1__1273_19.min1.thm12017-02-06 12:46 2.6K 
[ ]ortsp_1__1275_17.min1.thm12017-02-06 12:46 1.2K 
[ ]ortsp_1__1275_17.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]ortsp_1__1287_15.min1.thm12017-02-06 12:46 2.9K 
[ ]ortsp_1__1291_31.min1.thm12017-02-06 12:46 564  
[ ]ortsp_1__1302_27.min1.thm12017-02-06 12:46 2.3K 
[ ]ortsp_1__1304_19.min1.thm12017-02-06 12:46 3.5K 
[ ]ortsp_1__1306_17.min1.thm12017-02-06 12:46 1.4K 
[ ]ortsp_1__1306_17.min1.thm1.tptp2017-02-06 16:47 1.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80