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