Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/tsp_1
Name
Last modified
Size
Description
Parent Directory
-
tsp_1__43_55.min1.thm1
2017-02-06 12:44
514
tsp_1__50_52.min1.thm1
2017-02-06 12:44
938
tsp_1__59_42.min1.thm1
2017-02-06 12:44
618
tsp_1__62_29.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__63_37.min1.thm1
2017-02-06 12:44
317
tsp_1__65_27.min1.thm1
2017-02-06 12:44
692
tsp_1__66_24.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__73_40.min1.thm1
2017-02-06 12:44
686
tsp_1__74_33.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__76_40.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__77_23.min1.thm1
2017-02-06 12:44
614
tsp_1__88_39.min1.thm1
2017-02-06 12:44
309
tsp_1__92_41.min1.thm1
2017-02-06 12:44
311
tsp_1__94_25.min1.thm1
2017-02-06 12:44
690
tsp_1__97_38.min1.thm1
2017-02-06 12:44
883
tsp_1__99_38.min1.thm1
2017-02-06 12:44
594
tsp_1__100_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__105_33.min1.thm1
2017-02-06 12:44
301
tsp_1__108_25.min1.thm1
2017-02-06 12:44
742
tsp_1__109_43.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__111_23.min1.thm1
2017-02-06 12:44
873
tsp_1__112_21.min1.thm1
2017-02-06 12:44
676
tsp_1__114_20.min1.thm1
2017-02-06 12:44
567
tsp_1__115_19.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__128_53.min1.thm1
2017-02-06 12:44
607
tsp_1__129_57.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__130_43.min1.thm1
2017-02-06 12:44
792
tsp_1__132_20.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__133_13.min1.thm1
2017-02-06 12:44
936
tsp_1__146_55.min1.thm1
2017-02-06 12:44
514
tsp_1__153_52.min1.thm1
2017-02-06 12:44
938
tsp_1__154_22.min1.thm1
2017-02-06 12:44
795
tsp_1__156_26.min1.thm1
2017-02-06 12:44
947
tsp_1__166_36.min1.thm1
2017-02-06 12:44
712
tsp_1__169_48.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__171_25.min1.thm1
2017-02-06 12:44
834
tsp_1__172_30.min1.thm1
2017-02-06 12:44
775
tsp_1__173_50.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__174_60.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__175_35.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__176_48.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__177_28.min1.thm1
2017-02-06 12:44
717
tsp_1__178_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__185_25.min1.thm1
2017-02-06 12:44
826
tsp_1__186_27.min1.thm1
2017-02-06 12:44
768
tsp_1__187_60.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__188_35.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__189_48.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__190_28.min1.thm1
2017-02-06 12:44
717
tsp_1__191_43.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__193_26.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__194_23.min1.thm1
2017-02-06 12:44
708
tsp_1__201_25.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__211_26.min1.thm1
2017-02-06 12:44
758
tsp_1__213_28.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__216_38.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__218_25.min1.thm1
2017-02-06 12:44
760
tsp_1__219_23.min1.thm1
2017-02-06 12:44
818
tsp_1__220_58.min1.thm1
2017-02-06 12:44
2.0K
tsp_1__221_33.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__222_46.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__223_26.min1.thm1
2017-02-06 12:44
709
tsp_1__224_20.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__231_23.min1.thm1
2017-02-06 12:44
810
tsp_1__232_28.min1.thm1
2017-02-06 12:44
751
tsp_1__233_58.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__234_33.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__235_46.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__236_26.min1.thm1
2017-02-06 12:44
709
tsp_1__237_41.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__239_44.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__240_21.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__242_32.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__255_53.min1.thm1
2017-02-06 12:44
607
tsp_1__256_57.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__257_43.min1.thm1
2017-02-06 12:44
792
tsp_1__259_22.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__260_13.min1.thm1
2017-02-06 12:44
936
tsp_1__285_25.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__288_58.min1.thm1
2017-02-06 12:44
727
tsp_1__299_59.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__300_16.min1.thm1
2017-02-06 12:44
716
tsp_1__327_20.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__333_20.min1.thm1
2017-02-06 12:44
494
tsp_1__336_27.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__337_32.min1.thm1
2017-02-06 12:44
805
tsp_1__338_30.min1.thm1
2017-02-06 12:44
791
tsp_1__339_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__341_22.min1.thm1
2017-02-06 12:44
668
tsp_1__348_16.min1.thm1
2017-02-06 12:44
494
tsp_1__351_27.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__352_32.min1.thm1
2017-02-06 12:44
805
tsp_1__353_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__354_30.min1.thm1
2017-02-06 12:44
791
tsp_1__356_22.min1.thm1
2017-02-06 12:44
668
tsp_1__374_20.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__380_20.min1.thm1
2017-02-06 12:44
494
tsp_1__383_24.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__384_30.min1.thm1
2017-02-06 12:44
801
tsp_1__385_30.min1.thm1
2017-02-06 12:44
791
tsp_1__386_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__388_22.min1.thm1
2017-02-06 12:44
668
tsp_1__395_16.min1.thm1
2017-02-06 12:44
494
tsp_1__398_24.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__399_30.min1.thm1
2017-02-06 12:44
801
tsp_1__400_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__401_30.min1.thm1
2017-02-06 12:44
791
tsp_1__403_22.min1.thm1
2017-02-06 12:44
668
tsp_1__418_29.min1.thm1
2017-02-06 12:44
664
tsp_1__423_14.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__438_13.min1.thm1
2017-02-06 12:44
579
tsp_1__440_18.min1.thm1
2017-02-06 12:44
338
tsp_1__445_39.min1.thm1
2017-02-06 12:44
783
tsp_1__447_21.min1.thm1
2017-02-06 12:44
655
tsp_1__453_39.min1.thm1
2017-02-06 12:44
783
tsp_1__455_21.min1.thm1
2017-02-06 12:44
655
tsp_1__459_66.min1.thm1
2017-02-06 12:44
803
tsp_1__459_66.min1.thm1.tptp
2017-02-06 16:46
763
tsp_1__470_15.min1.thm1
2017-02-06 12:44
502
tsp_1__470_15.min1.thm1.tptp
2017-02-06 16:46
429
tsp_1__477_18.min1.thm1
2017-02-06 12:44
513
tsp_1__477_18.min1.thm1.tptp
2017-02-06 16:46
430
tsp_1__494_25.min1.thm1
2017-02-06 12:44
746
tsp_1__495_22.min1.thm1
2017-02-06 12:44
942
tsp_1__496_26.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__500_58.min1.thm1
2017-02-06 12:44
694
tsp_1__505_11.min1.thm1
2017-02-06 12:44
477
tsp_1__505_11.min1.thm1.tptp
2017-02-06 16:46
429
tsp_1__507_14.min1.thm1
2017-02-06 12:44
351
tsp_1__509_11.min1.thm1
2017-02-06 12:44
514
tsp_1__509_11.min1.thm1.tptp
2017-02-06 16:46
470
tsp_1__511_11.min1.thm1
2017-02-06 12:44
519
tsp_1__511_11.min1.thm1.tptp
2017-02-06 16:46
469
tsp_1__517_29.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__518_14.min1.thm1
2017-02-06 12:44
1.4K
tsp_1__538_22.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__544_22.min1.thm1
2017-02-06 12:44
516
tsp_1__545_39.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__547_34.min1.thm1
2017-02-06 12:44
1.9K
tsp_1__548_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__549_29.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__550_32.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__552_30.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__561_18.min1.thm1
2017-02-06 12:44
516
tsp_1__562_39.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__564_34.min1.thm1
2017-02-06 12:44
1.9K
tsp_1__565_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__566_29.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__567_32.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__569_32.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__574_30.min1.thm1
2017-02-06 12:44
516
tsp_1__589_24.min1.thm1
2017-02-06 12:44
928
tsp_1__592_26.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__594_24.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__595_24.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__596_31.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__597_29.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__598_28.min1.thm1
2017-02-06 12:44
824
tsp_1__601_24.min1.thm1
2017-02-06 12:44
400
tsp_1__602_22.min1.thm1
2017-02-06 12:44
650
tsp_1__628_24.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__630_27.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__631_24.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__632_32.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__633_31.min1.thm1
2017-02-06 12:44
830
tsp_1__648_20.min1.thm1
2017-02-06 12:44
950
tsp_1__660_19.min1.thm1
2017-02-06 12:44
856
tsp_1__681_29.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__683_27.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__685_31.min1.thm1
2017-02-06 12:44
830
tsp_1__701_27.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__704_19.min1.thm1
2017-02-06 12:44
916
tsp_1__718_20.min1.thm1
2017-02-06 12:44
676
tsp_1__720_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__725_23.min1.thm1
2017-02-06 12:44
630
tsp_1__725_23.min1.thm1.tptp
2017-02-06 16:46
564
tsp_1__726_37.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__727_17.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__728_31.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__729_30.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__730_32.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__732_28.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__733_35.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__734_25.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__735_38.min1.thm1
2017-02-06 12:44
1.9K
tsp_1__739_21.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__744_11.min1.thm1
2017-02-06 12:44
423
tsp_1__746_11.min1.thm1
2017-02-06 12:44
423
tsp_1__760_15.min1.thm1
2017-02-06 12:44
376
tsp_1__767_15.min1.thm1
2017-02-06 12:44
376
tsp_1__807_20.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__813_20.min1.thm1
2017-02-06 12:44
504
tsp_1__816_27.min1.thm1
2017-02-06 12:44
1.4K
tsp_1__817_32.min1.thm1
2017-02-06 12:44
852
tsp_1__818_30.min1.thm1
2017-02-06 12:44
804
tsp_1__819_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__821_22.min1.thm1
2017-02-06 12:44
682
tsp_1__828_16.min1.thm1
2017-02-06 12:44
504
tsp_1__831_27.min1.thm1
2017-02-06 12:44
1.4K
tsp_1__832_32.min1.thm1
2017-02-06 12:44
852
tsp_1__833_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__834_30.min1.thm1
2017-02-06 12:44
804
tsp_1__836_22.min1.thm1
2017-02-06 12:44
682
tsp_1__852_20.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__858_20.min1.thm1
2017-02-06 12:44
504
tsp_1__861_24.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__862_30.min1.thm1
2017-02-06 12:44
848
tsp_1__863_30.min1.thm1
2017-02-06 12:44
804
tsp_1__864_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__866_22.min1.thm1
2017-02-06 12:44
682
tsp_1__873_16.min1.thm1
2017-02-06 12:44
504
tsp_1__876_24.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__877_30.min1.thm1
2017-02-06 12:44
848
tsp_1__878_26.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__879_30.min1.thm1
2017-02-06 12:44
804
tsp_1__881_22.min1.thm1
2017-02-06 12:44
682
tsp_1__903_47.min1.thm1
2017-02-06 12:44
918
tsp_1__914_29.min1.thm1
2017-02-06 12:44
480
tsp_1__915_44.min1.thm1
2017-02-06 12:44
823
tsp_1__918_37.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__919_29.min1.thm1
2017-02-06 12:44
617
tsp_1__920_39.min1.thm1
2017-02-06 12:44
670
tsp_1__923_73.min1.thm1
2017-02-06 12:44
650
tsp_1__929_31.min1.thm1
2017-02-06 12:44
480
tsp_1__930_44.min1.thm1
2017-02-06 12:44
823
tsp_1__933_37.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__934_29.min1.thm1
2017-02-06 12:44
617
tsp_1__935_39.min1.thm1
2017-02-06 12:44
670
tsp_1__938_73.min1.thm1
2017-02-06 12:44
650
tsp_1__991_16.min1.thm1
2017-02-06 12:44
302
tsp_1__994_21.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__998_21.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1018_44.min1.thm1
2017-02-06 12:44
1.4K
tsp_1__1021_44.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1023_18.min1.thm1
2017-02-06 12:44
316
tsp_1__1027_22.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__1037_31.min1.thm1
2017-02-06 12:44
359
tsp_1__1037_31.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1038_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1038_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1039_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1042_72.min1.thm1
2017-02-06 12:44
662
tsp_1__1048_31.min1.thm1
2017-02-06 12:44
359
tsp_1__1048_31.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1049_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1050_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1050_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1053_72.min1.thm1
2017-02-06 12:44
662
tsp_1__1057_25.min1.thm1
2017-02-06 12:44
532
tsp_1__1064_62.min1.thm1
2017-02-06 12:44
820
tsp_1__1069_22.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1072_25.min1.thm1
2017-02-06 12:44
532
tsp_1__1080_31.min1.thm1
2017-02-06 12:44
359
tsp_1__1080_31.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1081_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1082_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1082_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1085_72.min1.thm1
2017-02-06 12:44
662
tsp_1__1091_31.min1.thm1
2017-02-06 12:44
359
tsp_1__1091_31.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1092_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1092_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1093_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1096_72.min1.thm1
2017-02-06 12:44
662
tsp_1__1106_62.min1.thm1
2017-02-06 12:44
820
tsp_1__1110_56.min1.thm1
2017-02-06 12:44
808
tsp_1__1130_44.min1.thm1
2017-02-06 12:44
1.4K
tsp_1__1133_44.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1135_18.min1.thm1
2017-02-06 12:44
316
tsp_1__1139_22.min1.thm1
2017-02-06 12:44
1.6K
tsp_1__1150_33.min1.thm1
2017-02-06 12:44
359
tsp_1__1150_33.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1151_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1151_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1152_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1156_74.min1.thm1
2017-02-06 12:44
662
tsp_1__1162_33.min1.thm1
2017-02-06 12:44
359
tsp_1__1162_33.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1163_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1164_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1164_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1168_74.min1.thm1
2017-02-06 12:44
662
tsp_1__1172_25.min1.thm1
2017-02-06 12:44
532
tsp_1__1180_67.min1.thm1
2017-02-06 12:44
820
tsp_1__1185_22.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1188_25.min1.thm1
2017-02-06 12:44
532
tsp_1__1198_33.min1.thm1
2017-02-06 12:44
359
tsp_1__1198_33.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1199_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1200_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1200_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1204_74.min1.thm1
2017-02-06 12:44
662
tsp_1__1210_33.min1.thm1
2017-02-06 12:44
359
tsp_1__1210_33.min1.thm1.tptp
2017-02-06 16:46
273
tsp_1__1211_28.min1.thm1
2017-02-06 12:44
458
tsp_1__1211_28.min1.thm1.tptp
2017-02-06 16:46
372
tsp_1__1212_32.min1.thm1
2017-02-06 12:44
834
tsp_1__1216_74.min1.thm1
2017-02-06 12:44
662
tsp_1__1226_67.min1.thm1
2017-02-06 12:44
820
tsp_1__1231_58.min1.thm1
2017-02-06 12:44
808
tsp_1__1247_15.min1.thm1
2017-02-06 12:44
867
tsp_1__1250_19.min1.thm1
2017-02-06 12:44
1.4K
tsp_1__1255_23.min1.thm1
2017-02-06 12:44
309
tsp_1__1255_23.min1.thm1.tptp
2017-02-06 16:46
223
tsp_1__1256_17.min1.thm1
2017-02-06 12:44
787
tsp_1__1257_21.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1260_24.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1263_22.min1.thm1
2017-02-06 12:44
250
tsp_1__1266_56.min1.thm1
2017-02-06 12:44
638
tsp_1__1279_13.min1.thm1
2017-02-06 12:44
363
tsp_1__1279_13.min1.thm1.tptp
2017-02-06 16:46
286
tsp_1__1280_38.min1.thm1
2017-02-06 12:44
753
tsp_1__1282_16.min1.thm1
2017-02-06 12:44
948
tsp_1__1285_14.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1286_34.min1.thm1
2017-02-06 12:44
608
tsp_1__1295_16.min1.thm1
2017-02-06 12:44
468
tsp_1__1296_15.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__1304_12.min1.thm1
2017-02-06 12:44
468
tsp_1__1305_15.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1336_22.min1.thm1
2017-02-06 12:44
516
tsp_1__1337_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1338_29.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1340_27.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__1343_39.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1344_36.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1352_18.min1.thm1
2017-02-06 12:44
516
tsp_1__1353_22.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1354_29.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1356_27.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__1359_39.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1360_36.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1364_30.min1.thm1
2017-02-06 12:44
516
tsp_1__1380_24.min1.thm1
2017-02-06 12:44
928
tsp_1__1383_26.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1385_24.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1386_24.min1.thm1
2017-02-06 12:44
1.5K
tsp_1__1387_31.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1388_29.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1389_28.min1.thm1
2017-02-06 12:44
824
tsp_1__1392_24.min1.thm1
2017-02-06 12:44
400
tsp_1__1393_22.min1.thm1
2017-02-06 12:44
650
tsp_1__1421_24.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1423_27.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1424_24.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1425_32.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1426_31.min1.thm1
2017-02-06 12:44
830
tsp_1__1442_20.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1476_29.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1478_27.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1480_31.min1.thm1
2017-02-06 12:44
830
tsp_1__1496_27.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1509_18.min1.thm1
2017-02-06 12:44
579
tsp_1__1510_17.min1.thm1
2017-02-06 12:44
627
tsp_1__1514_44.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1527_15.min1.thm1
2017-02-06 12:44
774
tsp_1__1534_18.min1.thm1
2017-02-06 12:44
786
tsp_1__1535_40.min1.thm1
2017-02-06 12:44
774
tsp_1__1548_54.min1.thm1
2017-02-06 12:44
471
tsp_1__1561_53.min1.thm1
2017-02-06 12:44
410
tsp_1__1571_24.min1.thm1
2017-02-06 12:44
516
tsp_1__1577_31.min1.thm1
2017-02-06 12:44
399
tsp_1__1577_31.min1.thm1.tptp
2017-02-06 16:46
313
tsp_1__1578_28.min1.thm1
2017-02-06 12:44
578
tsp_1__1579_29.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1580_32.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1583_72.min1.thm1
2017-02-06 12:44
698
tsp_1__1590_20.min1.thm1
2017-02-06 12:44
516
tsp_1__1596_31.min1.thm1
2017-02-06 12:44
399
tsp_1__1596_31.min1.thm1.tptp
2017-02-06 16:46
313
tsp_1__1597_32.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1598_28.min1.thm1
2017-02-06 12:44
578
tsp_1__1599_29.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1602_72.min1.thm1
2017-02-06 12:44
698
tsp_1__1607_62.min1.thm1
2017-02-06 12:44
868
tsp_1__1615_46.min1.thm1
2017-02-06 12:44
767
tsp_1__1619_32.min1.thm1
2017-02-06 12:44
700
tsp_1__1620_60.min1.thm1
2017-02-06 12:44
673
tsp_1__1621_53.min1.thm1
2017-02-06 12:44
703
tsp_1__1625_20.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1631_20.min1.thm1
2017-02-06 12:44
504
tsp_1__1637_30.min1.thm1
2017-02-06 12:44
385
tsp_1__1637_30.min1.thm1.tptp
2017-02-06 16:46
299
tsp_1__1638_28.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__1640_28.min1.thm1
2017-02-06 12:44
570
tsp_1__1644_30.min1.thm1
2017-02-06 12:44
298
tsp_1__1647_71.min1.thm1
2017-02-06 12:44
682
tsp_1__1654_16.min1.thm1
2017-02-06 12:44
504
tsp_1__1660_30.min1.thm1
2017-02-06 12:44
385
tsp_1__1660_30.min1.thm1.tptp
2017-02-06 16:46
299
tsp_1__1662_28.min1.thm1
2017-02-06 12:44
570
tsp_1__1666_30.min1.thm1
2017-02-06 12:44
298
tsp_1__1667_28.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__1670_71.min1.thm1
2017-02-06 12:44
682
tsp_1__1674_73.min1.thm1
2017-02-06 12:44
848
tsp_1__1691_54.min1.thm1
2017-02-06 12:44
471
tsp_1__1704_53.min1.thm1
2017-02-06 12:44
410
tsp_1__1714_24.min1.thm1
2017-02-06 12:44
516
tsp_1__1720_33.min1.thm1
2017-02-06 12:44
399
tsp_1__1720_33.min1.thm1.tptp
2017-02-06 16:46
313
tsp_1__1721_28.min1.thm1
2017-02-06 12:44
578
tsp_1__1722_29.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1723_32.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1727_74.min1.thm1
2017-02-06 12:44
698
tsp_1__1734_20.min1.thm1
2017-02-06 12:44
516
tsp_1__1740_33.min1.thm1
2017-02-06 12:44
399
tsp_1__1740_33.min1.thm1.tptp
2017-02-06 16:46
313
tsp_1__1741_32.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1742_28.min1.thm1
2017-02-06 12:44
578
tsp_1__1743_29.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1747_74.min1.thm1
2017-02-06 12:44
698
tsp_1__1751_67.min1.thm1
2017-02-06 12:44
868
tsp_1__1759_46.min1.thm1
2017-02-06 12:44
767
tsp_1__1763_32.min1.thm1
2017-02-06 12:44
700
tsp_1__1764_60.min1.thm1
2017-02-06 12:44
673
tsp_1__1765_53.min1.thm1
2017-02-06 12:44
703
tsp_1__1769_20.min1.thm1
2017-02-06 12:44
1.7K
tsp_1__1775_20.min1.thm1
2017-02-06 12:44
504
tsp_1__1781_32.min1.thm1
2017-02-06 12:44
385
tsp_1__1781_32.min1.thm1.tptp
2017-02-06 16:46
299
tsp_1__1782_28.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__1784_28.min1.thm1
2017-02-06 12:44
570
tsp_1__1788_30.min1.thm1
2017-02-06 12:44
298
tsp_1__1791_76.min1.thm1
2017-02-06 12:44
682
tsp_1__1798_16.min1.thm1
2017-02-06 12:44
504
tsp_1__1804_32.min1.thm1
2017-02-06 12:44
385
tsp_1__1804_32.min1.thm1.tptp
2017-02-06 16:46
299
tsp_1__1806_28.min1.thm1
2017-02-06 12:44
570
tsp_1__1810_30.min1.thm1
2017-02-06 12:44
298
tsp_1__1811_28.min1.thm1
2017-02-06 12:44
1.8K
tsp_1__1814_76.min1.thm1
2017-02-06 12:44
682
tsp_1__1819_77.min1.thm1
2017-02-06 12:44
848
tsp_1__1857_16.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1860_16.min1.thm1
2017-02-06 12:44
812
tsp_1__1861_25.min1.thm1
2017-02-06 12:44
928
tsp_1__1862_18.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1863_19.min1.thm1
2017-02-06 12:44
871
tsp_1__1864_17.min1.thm1
2017-02-06 12:44
840
tsp_1__1874_63.min1.thm1
2017-02-06 12:44
911
tsp_1__1875_63.min1.thm1
2017-02-06 12:44
883
tsp_1__1879_14.min1.thm1
2017-02-06 12:44
840
tsp_1__1880_25.min1.thm1
2017-02-06 12:44
915
tsp_1__1890_16.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1893_31.min1.thm1
2017-02-06 12:44
1.3K
tsp_1__1894_26.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__1906_16.min1.thm1
2017-02-06 12:44
1.1K
tsp_1__1910_26.min1.thm1
2017-02-06 12:44
1.2K
tsp_1__1927_29.min1.thm1
2017-02-06 12:44
706
tsp_1__1929_58.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1931_16.min1.thm1
2017-02-06 12:44
287
tsp_1__1931_16.min1.thm1.tptp
2017-02-06 16:46
205
tsp_1__1951_65.min1.thm1
2017-02-06 12:44
935
tsp_1__1952_25.min1.thm1
2017-02-06 12:44
380
tsp_1__1952_25.min1.thm1.tptp
2017-02-06 16:46
298
tsp_1__1953_68.min1.thm1
2017-02-06 12:44
733
tsp_1__1954_15.min1.thm1
2017-02-06 12:44
734
tsp_1__1955_21.min1.thm1
2017-02-06 12:44
1.0K
tsp_1__1956_19.min1.thm1
2017-02-06 12:44
948
tsp_1__1966_65.min1.thm1
2017-02-06 12:44
938
tsp_1__1967_25.min1.thm1
2017-02-06 12:44
383
tsp_1__1967_25.min1.thm1.tptp
2017-02-06 16:46
300
tsp_1__1968_68.min1.thm1
2017-02-06 12:44
736
tsp_1__1970_28.min1.thm1
2017-02-06 12:44
956
tsp_1__1971_18.min1.thm1
2017-02-06 12:44
580
tsp_1__1972_25.min1.thm1
2017-02-06 12:44
808
tsp_1__1976_11.min1.thm1
2017-02-06 12:44
599
tsp_1__1976_11.min1.thm1.tptp
2017-02-06 16:46
547
tsp_1__2003_25.min1.thm1
2017-02-06 12:44
704
tsp_1__2005_29.min1.thm1
2017-02-06 12:44
765
tsp_1__2006_50.min1.thm1
2017-02-06 12:44
968
tsp_1__2008_16.min1.thm1
2017-02-06 12:44
287
tsp_1__2008_16.min1.thm1.tptp
2017-02-06 16:46
205
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80