Index of /~mptp/1147/MPTP2/ilp0/ring_1
Name
Last modified
Size
Description
Parent Directory
-
ring_1__46_26.min1.thm1
2017-02-06 12:46
1.4K
ring_1__47_15.min1.thm1
2017-02-06 12:46
845
ring_1__48_11.min1.thm1
2017-02-06 12:46
613
ring_1__58_18.min1.thm1
2017-02-06 12:46
1.8K
ring_1__59_11.min1.thm1
2017-02-06 12:46
1.4K
ring_1__60_17.min1.thm1
2017-02-06 12:46
1.5K
ring_1__70_29.min1.thm1
2017-02-06 12:46
1.3K
ring_1__71_17.min1.thm1
2017-02-06 12:46
1.8K
ring_1__72_19.min1.thm1
2017-02-06 12:46
1.1K
ring_1__73_17.min1.thm1
2017-02-06 12:46
854
ring_1__74_13.min1.thm1
2017-02-06 12:46
776
ring_1__112_14.min1.thm1
2017-02-06 12:46
576
ring_1__112_14.min1.thm1.tptp
2017-02-06 16:47
527
ring_1__114_14.min1.thm1
2017-02-06 12:46
576
ring_1__114_14.min1.thm1.tptp
2017-02-06 16:47
527
ring_1__120_14.min1.thm1
2017-02-06 12:46
576
ring_1__120_14.min1.thm1.tptp
2017-02-06 16:47
527
ring_1__122_14.min1.thm1
2017-02-06 12:46
576
ring_1__122_14.min1.thm1.tptp
2017-02-06 16:47
527
ring_1__131_15.min1.thm1
2017-02-06 12:46
1.2K
ring_1__143_17.min1.thm1
2017-02-06 12:46
1.1K
ring_1__146_15.min1.thm1
2017-02-06 12:46
1.1K
ring_1__154_21.min1.thm1
2017-02-06 12:46
1.8K
ring_1__155_26.min1.thm1
2017-02-06 12:46
3.7K
ring_1__158_19.min1.thm1
2017-02-06 12:46
1.4K
ring_1__159_28.min1.thm1
2017-02-06 12:46
1.6K
ring_1__160_17.min1.thm1
2017-02-06 12:46
1.5K
ring_1__183_19.min1.thm1
2017-02-06 12:46
1.3K
ring_1__184_19.min1.thm1
2017-02-06 12:46
2.2K
ring_1__191_28.min1.thm1
2017-02-06 12:46
560
ring_1__194_28.min1.thm1
2017-02-06 12:46
560
ring_1__197_15.min1.thm1
2017-02-06 12:46
1.6K
ring_1__204_37.min1.thm1
2017-02-06 12:46
344
ring_1__204_37.min1.thm1.tptp
2017-02-06 16:47
266
ring_1__205_16.min1.thm1
2017-02-06 12:46
898
ring_1__206_19.min1.thm1
2017-02-06 12:46
2.0K
ring_1__230_18.min1.thm1
2017-02-06 12:46
458
ring_1__244_45.min1.thm1
2017-02-06 12:46
1.2K
ring_1__245_17.min1.thm1
2017-02-06 12:46
1.6K
ring_1__246_21.min1.thm1
2017-02-06 12:46
1.6K
ring_1__250_43.min1.thm1
2017-02-06 12:46
1.2K
ring_1__251_15.min1.thm1
2017-02-06 12:46
1.6K
ring_1__252_19.min1.thm1
2017-02-06 12:46
1.6K
ring_1__273_47.min1.thm1
2017-02-06 12:46
2.1K
ring_1__275_23.min1.thm1
2017-02-06 12:46
1.7K
ring_1__278_68.min1.thm1
2017-02-06 12:46
911
ring_1__281_19.min1.thm1
2017-02-06 12:46
2.4K
ring_1__291_22.min1.thm1
2017-02-06 12:46
2.6K
ring_1__318_37.min1.thm1
2017-02-06 12:46
2.2K
ring_1__321_35.min1.thm1
2017-02-06 12:46
336
ring_1__321_35.min1.thm1.tptp
2017-02-06 16:47
258
ring_1__322_13.min1.thm1
2017-02-06 12:46
1.4K
ring_1__338_35.min1.thm1
2017-02-06 12:46
344
ring_1__338_35.min1.thm1.tptp
2017-02-06 16:47
266
ring_1__341_41.min1.thm1
2017-02-06 12:46
2.2K
ring_1__344_39.min1.thm1
2017-02-06 12:46
352
ring_1__344_39.min1.thm1.tptp
2017-02-06 16:47
274
ring_1__345_17.min1.thm1
2017-02-06 12:46
1.4K
ring_1__349_19.min1.thm1
2017-02-06 12:46
726
ring_1__353_30.min1.thm1
2017-02-06 12:46
351
ring_1__353_30.min1.thm1.tptp
2017-02-06 16:47
286
ring_1__370_21.min1.thm1
2017-02-06 12:46
1.3K
ring_1__371_17.min1.thm1
2017-02-06 12:46
1.1K
ring_1__372_19.min1.thm1
2017-02-06 12:46
1.3K
ring_1__377_12.min1.thm1
2017-02-06 12:46
1.2K
ring_1__378_29.min1.thm1
2017-02-06 12:46
1.6K
ring_1__388_31.min1.thm1
2017-02-06 12:46
803
ring_1__396_35.min1.thm1
2017-02-06 12:46
344
ring_1__396_35.min1.thm1.tptp
2017-02-06 16:47
266
ring_1__407_25.min1.thm1
2017-02-06 12:46
1.3K
ring_1__408_21.min1.thm1
2017-02-06 12:46
1.1K
ring_1__409_23.min1.thm1
2017-02-06 12:46
1.3K
ring_1__412_18.min1.thm1
2017-02-06 12:46
900
ring_1__414_21.min1.thm1
2017-02-06 12:46
1.3K
ring_1__416_19.min1.thm1
2017-02-06 12:46
1.2K
ring_1__420_16.min1.thm1
2017-02-06 12:46
1.8K
ring_1__421_19.min1.thm1
2017-02-06 12:46
2.6K
ring_1__427_14.min1.thm1
2017-02-06 12:46
1.1K
ring_1__428_14.min1.thm1
2017-02-06 12:46
1.5K
ring_1__429_20.min1.thm1
2017-02-06 12:46
2.4K
ring_1__466_39.min1.thm1
2017-02-06 12:46
517
ring_1__468_21.min1.thm1
2017-02-06 12:46
1.8K
ring_1__482_39.min1.thm1
2017-02-06 12:46
517
ring_1__484_21.min1.thm1
2017-02-06 12:46
1.8K
ring_1__522_23.min1.thm1
2017-02-06 12:46
1.7K
ring_1__523_52.min1.thm1
2017-02-06 12:46
1.8K
ring_1__524_37.min1.thm1
2017-02-06 12:46
1.9K
ring_1__528_27.min1.thm1
2017-02-06 12:46
1.7K
ring_1__544_25.min1.thm1
2017-02-06 12:46
1.9K
ring_1__545_32.min1.thm1
2017-02-06 12:46
2.2K
ring_1__547_25.min1.thm1
2017-02-06 12:46
2.0K
ring_1__565_44.min1.thm1
2017-02-06 12:46
2.7K
ring_1__566_41.min1.thm1
2017-02-06 12:46
2.3K
ring_1__575_42.min1.thm1
2017-02-06 12:46
2.7K
ring_1__576_28.min1.thm1
2017-02-06 12:46
2.3K
ring_1__579_14.min1.thm1
2017-02-06 12:46
574
ring_1__579_14.min1.thm1.tptp
2017-02-06 16:47
514
ring_1__585_42.min1.thm1
2017-02-06 12:46
2.7K
ring_1__586_17.min1.thm1
2017-02-06 12:46
3.3K
ring_1__596_30.min1.thm1
2017-02-06 12:46
1.9K
ring_1__598_21.min1.thm1
2017-02-06 12:46
2.1K
ring_1__618_21.min1.thm1
2017-02-06 12:46
1.6K
ring_1__619_49.min1.thm1
2017-02-06 12:46
2.1K
ring_1__624_23.min1.thm1
2017-02-06 12:46
1.6K
ring_1__636_21.min1.thm1
2017-02-06 12:46
1.4K
ring_1__638_21.min1.thm1
2017-02-06 12:46
1.4K
ring_1__641_21.min1.thm1
2017-02-06 12:46
1.7K
ring_1__642_28.min1.thm1
2017-02-06 12:46
1.8K
ring_1__643_15.min1.thm1
2017-02-06 12:46
1.4K
ring_1__644_21.min1.thm1
2017-02-06 12:46
1.7K
ring_1__646_11.min1.thm1
2017-02-06 12:46
2.6K
ring_1__647_28.min1.thm1
2017-02-06 12:46
1.8K
ring_1__648_15.min1.thm1
2017-02-06 12:46
1.4K
ring_1__650_11.min1.thm1
2017-02-06 12:46
2.6K
ring_1__654_36.min1.thm1
2017-02-06 12:46
2.4K
ring_1__654_36.min1.thm1.tptp
2017-02-06 16:47
2.5K
ring_1__667_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__669_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__676_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__678_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__682_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__691_33.min1.thm1
2017-02-06 12:46
2.4K
ring_1__692_48.min1.thm1
2017-02-06 12:46
2.3K
ring_1__696_23.min1.thm1
2017-02-06 12:46
1.9K
ring_1__698_25.min1.thm1
2017-02-06 12:46
2.2K
ring_1__709_18.min1.thm1
2017-02-06 12:46
918
ring_1__710_22.min1.thm1
2017-02-06 12:46
1.9K
ring_1__711_19.min1.thm1
2017-02-06 12:46
1.0K
ring_1__712_15.min1.thm1
2017-02-06 12:46
1.4K
ring_1__713_31.min1.thm1
2017-02-06 12:46
2.7K
ring_1__724_53.min1.thm1
2017-02-06 12:46
1.7K
ring_1__726_31.min1.thm1
2017-02-06 12:46
2.7K
ring_1__728_21.min1.thm1
2017-02-06 12:46
1.8K
ring_1__733_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__737_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__739_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__743_26.min1.thm1
2017-02-06 12:46
1.8K
ring_1__749_26.min1.thm1
2017-02-06 12:46
1.8K
ring_1__750_68.min1.thm1
2017-02-06 12:46
3.0K
ring_1__755_25.min1.thm1
2017-02-06 12:46
4.0K
ring_1__760_41.min1.thm1
2017-02-06 12:46
3.1K
ring_1__761_75.min1.thm1
2017-02-06 12:46
2.6K
ring_1__765_22.min1.thm1
2017-02-06 12:46
1.4K
ring_1__771_22.min1.thm1
2017-02-06 12:46
1.4K
ring_1__776_22.min1.thm1
2017-02-06 12:46
1.4K
ring_1__791_25.min1.thm1
2017-02-06 12:46
1.8K
ring_1__792_24.min1.thm1
2017-02-06 12:46
1.8K
ring_1__793_40.min1.thm1
2017-02-06 12:46
2.4K
ring_1__795_47.min1.thm1
2017-02-06 12:46
2.7K
ring_1__797_9.min1.thm1
2017-02-06 12:46
2.6K
ring_1__800_42.min1.thm1
2017-02-06 12:46
2.9K
ring_1__804_30.min1.thm1
2017-02-06 12:46
2.7K
ring_1__808_24.min1.thm1
2017-02-06 12:46
2.4K
ring_1__820_10.min1.thm1
2017-02-06 12:46
2.6K
ring_1__826_30.min1.thm1
2017-02-06 12:46
2.7K
ring_1__829_26.min1.thm1
2017-02-06 12:46
2.4K
ring_1__844_21.min1.thm1
2017-02-06 12:46
1.5K
ring_1__846_21.min1.thm1
2017-02-06 12:46
1.5K
ring_1__856_20.min1.thm1
2017-02-06 12:46
1.1K
ring_1__857_54.min1.thm1
2017-02-06 12:46
2.9K
ring_1__869_18.min1.thm1
2017-02-06 12:46
1.4K
ring_1__877_29.min1.thm1
2017-02-06 12:46
2.7K
ring_1__885_21.min1.thm1
2017-02-06 12:46
1.4K
ring_1__887_21.min1.thm1
2017-02-06 12:46
1.4K
ring_1__892_28.min1.thm1
2017-02-06 12:46
1.1K
ring_1__898_64.min1.thm1
2017-02-06 12:46
1.7K
ring_1__899_20.min1.thm1
2017-02-06 12:46
1.4K
ring_1__903_36.min1.thm1
2017-02-06 12:46
3.0K
ring_1__905_17.min1.thm1
2017-02-06 12:46
1.2K
ring_1__913_43.min1.thm1
2017-02-06 12:46
4.3K
ring_1__915_34.min1.thm1
2017-02-06 12:46
2.2K
ring_1__928_21.min1.thm1
2017-02-06 12:46
1.4K
ring_1__935_16.min1.thm1
2017-02-06 12:46
2.0K
ring_1__937_34.min1.thm1
2017-02-06 12:46
447
ring_1__937_34.min1.thm1.tptp
2017-02-06 16:47
369
ring_1__938_15.min1.thm1
2017-02-06 12:46
1.6K
ring_1__946_15.min1.thm1
2017-02-06 12:46
1.6K
ring_1__947_30.min1.thm1
2017-02-06 12:46
1.6K
ring_1__948_21.min1.thm1
2017-02-06 12:46
1.5K
ring_1__950_15.min1.thm1
2017-02-06 12:46
1.2K
ring_1__957_37.min1.thm1
2017-02-06 12:46
898
ring_1__958_22.min1.thm1
2017-02-06 12:46
1.1K
ring_1__959_13.min1.thm1
2017-02-06 12:46
2.0K
ring_1__969_16.min1.thm1
2017-02-06 12:46
1.6K
ring_1__970_30.min1.thm1
2017-02-06 12:46
1.6K
ring_1__971_21.min1.thm1
2017-02-06 12:46
1.5K
ring_1__990_17.min1.thm1
2017-02-06 12:46
1.9K
ring_1__994_17.min1.thm1
2017-02-06 12:46
890
ring_1__997_19.min1.thm1
2017-02-06 12:46
2.7K
ring_1__1000_22.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1001_11.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1004_30.min1.thm1
2017-02-06 12:46
461
ring_1__1005_15.min1.thm1
2017-02-06 12:46
1.3K
ring_1__1009_19.min1.thm1
2017-02-06 12:46
2.0K
ring_1__1010_48.min1.thm1
2017-02-06 12:46
1.4K
ring_1__1012_30.min1.thm1
2017-02-06 12:46
2.7K
ring_1__1014_22.min1.thm1
2017-02-06 12:46
1.4K
ring_1__1028_15.min1.thm1
2017-02-06 12:46
383
ring_1__1031_17.min1.thm1
2017-02-06 12:46
364
ring_1__1031_17.min1.thm1.tptp
2017-02-06 16:47
298
ring_1__1032_33.min1.thm1
2017-02-06 12:46
623
ring_1__1033_48.min1.thm1
2017-02-06 12:46
1.4K
ring_1__1034_29.min1.thm1
2017-02-06 12:46
2.7K
ring_1__1041_20.min1.thm1
2017-02-06 12:46
2.3K
ring_1__1043_21.min1.thm1
2017-02-06 12:46
1.4K
ring_1__1044_30.min1.thm1
2017-02-06 12:46
2.7K
ring_1__1048_27.min1.thm1
2017-02-06 12:46
1.6K
ring_1__1049_13.min1.thm1
2017-02-06 12:46
1.6K
ring_1__1059_48.min1.thm1
2017-02-06 12:46
3.7K
ring_1__1061_36.min1.thm1
2017-02-06 12:46
2.2K
ring_1__1072_57.min1.thm1
2017-02-06 12:46
1.8K
ring_1__1084_30.min1.thm1
2017-02-06 12:46
273
ring_1__1085_18.min1.thm1
2017-02-06 12:46
477
ring_1__1085_18.min1.thm1.tptp
2017-02-06 16:47
434
ring_1__1091_15.min1.thm1
2017-02-06 12:46
203
ring_1__1098_33.min1.thm1
2017-02-06 12:46
721
ring_1__1099_22.min1.thm1
2017-02-06 12:46
966
ring_1__1100_27.min1.thm1
2017-02-06 12:46
1.8K
ring_1__1103_20.min1.thm1
2017-02-06 12:46
1.4K
ring_1__1104_22.min1.thm1
2017-02-06 12:46
419
ring_1__1104_22.min1.thm1.tptp
2017-02-06 16:47
345
ring_1__1109_17.min1.thm1
2017-02-06 12:46
329
ring_1__1109_17.min1.thm1.tptp
2017-02-06 16:47
252
ring_1__1117_19.min1.thm1
2017-02-06 12:46
547
ring_1__1118_19.min1.thm1
2017-02-06 12:46
888
ring_1__1119_59.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1120_25.min1.thm1
2017-02-06 12:46
930
ring_1__1122_44.min1.thm1
2017-02-06 12:46
403
ring_1__1122_44.min1.thm1.tptp
2017-02-06 16:47
325
ring_1__1129_20.min1.thm1
2017-02-06 12:46
639
ring_1__1130_20.min1.thm1
2017-02-06 12:46
888
ring_1__1133_22.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1134_32.min1.thm1
2017-02-06 12:46
2.3K
ring_1__1135_22.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1143_20.min1.thm1
2017-02-06 12:46
639
ring_1__1144_20.min1.thm1
2017-02-06 12:46
888
ring_1__1147_22.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1148_32.min1.thm1
2017-02-06 12:46
2.3K
ring_1__1149_22.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1153_26.min1.thm1
2017-02-06 12:46
1.8K
ring_1__1156_20.min1.thm1
2017-02-06 12:46
641
ring_1__1157_20.min1.thm1
2017-02-06 12:46
888
ring_1__1158_63.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1163_38.min1.thm1
2017-02-06 12:46
422
ring_1__1163_38.min1.thm1.tptp
2017-02-06 16:47
339
ring_1__1164_32.min1.thm1
2017-02-06 12:46
502
ring_1__1166_32.min1.thm1
2017-02-06 12:46
756
ring_1__1172_23.min1.thm1
2017-02-06 12:46
2.1K
ring_1__1174_29.min1.thm1
2017-02-06 12:46
836
ring_1__1179_20.min1.thm1
2017-02-06 12:46
639
ring_1__1180_20.min1.thm1
2017-02-06 12:46
888
ring_1__1182_58.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1186_20.min1.thm1
2017-02-06 12:46
641
ring_1__1187_33.min1.thm1
2017-02-06 12:46
642
ring_1__1188_57.min1.thm1
2017-02-06 12:46
697
ring_1__1192_57.min1.thm1
2017-02-06 12:46
1.3K
ring_1__1195_20.min1.thm1
2017-02-06 12:46
890
ring_1__1196_63.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1197_27.min1.thm1
2017-02-06 12:46
2.2K
ring_1__1199_17.min1.thm1
2017-02-06 12:46
881
ring_1__1202_19.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1203_35.min1.thm1
2017-02-06 12:46
576
ring_1__1203_35.min1.thm1.tptp
2017-02-06 16:47
499
ring_1__1204_30.min1.thm1
2017-02-06 12:46
840
ring_1__1206_17.min1.thm1
2017-02-06 12:46
1.6K
ring_1__1210_22.min1.thm1
2017-02-06 12:46
477
ring_1__1211_23.min1.thm1
2017-02-06 12:46
1.4K
ring_1__1214_49.min1.thm1
2017-02-06 12:46
423
ring_1__1214_49.min1.thm1.tptp
2017-02-06 16:47
341
ring_1__1215_32.min1.thm1
2017-02-06 12:46
728
ring_1__1217_25.min1.thm1
2017-02-06 12:46
757
ring_1__1218_20.min1.thm1
2017-02-06 12:46
576
ring_1__1221_19.min1.thm1
2017-02-06 12:46
1.3K
ring_1__1223_23.min1.thm1
2017-02-06 12:46
278
ring_1__1229_12.min1.thm1
2017-02-06 12:46
1.3K
ring_1__1233_16.min1.thm1
2017-02-06 12:46
361
ring_1__1244_15.min1.thm1
2017-02-06 12:46
1.0K
ring_1__1244_15.min1.thm1.tptp
2017-02-06 16:47
928
ring_1__1251_14.min1.thm1
2017-02-06 12:46
1.2K
ring_1__1257_14.min1.thm1
2017-02-06 12:46
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80