Index of /~mptp/1147/MPTP2/ilp0/matroid0
Name
Last modified
Size
Description
Parent Directory
-
matroid0__64_11.min1.thm1
2017-02-06 12:46
410
matroid0__64_11.min1.thm1.tptp
2017-02-06 16:47
329
matroid0__73_18.min1.thm1
2017-02-06 12:46
639
matroid0__92_51.min1.thm1
2017-02-06 12:46
400
matroid0__92_51.min1.thm1.tptp
2017-02-06 16:47
320
matroid0__94_20.min1.thm1
2017-02-06 12:46
263
matroid0__95_38.min1.thm1
2017-02-06 12:46
1.0K
matroid0__96_39.min1.thm1
2017-02-06 12:46
1.1K
matroid0__97_35.min1.thm1
2017-02-06 12:46
1.0K
matroid0__98_44.min1.thm1
2017-02-06 12:46
1.1K
matroid0__104_39.min1.thm1
2017-02-06 12:46
1.1K
matroid0__106_26.min1.thm1
2017-02-06 12:46
389
matroid0__106_26.min1.thm1.tptp
2017-02-06 16:47
313
matroid0__108_24.min1.thm1
2017-02-06 12:46
1.5K
matroid0__110_31.min1.thm1
2017-02-06 12:46
855
matroid0__111_24.min1.thm1
2017-02-06 12:46
1.5K
matroid0__112_36.min1.thm1
2017-02-06 12:46
855
matroid0__123_31.min1.thm1
2017-02-06 12:46
1.0K
matroid0__125_29.min1.thm1
2017-02-06 12:46
1.2K
matroid0__132_14.min1.thm1
2017-02-06 12:46
361
matroid0__132_14.min1.thm1.tptp
2017-02-06 16:47
284
matroid0__145_25.min1.thm1
2017-02-06 12:46
624
matroid0__146_30.min1.thm1
2017-02-06 12:46
699
matroid0__147_17.min1.thm1
2017-02-06 12:46
867
matroid0__157_14.min1.thm1
2017-02-06 12:46
231
matroid0__158_56.min1.thm1
2017-02-06 12:46
873
matroid0__160_15.min1.thm1
2017-02-06 12:46
575
matroid0__176_68.min1.thm1
2017-02-06 12:46
382
matroid0__176_68.min1.thm1.tptp
2017-02-06 16:47
292
matroid0__178_14.min1.thm1
2017-02-06 12:46
243
matroid0__179_42.min1.thm1
2017-02-06 12:46
1.0K
matroid0__180_34.min1.thm1
2017-02-06 12:46
813
matroid0__183_38.min1.thm1
2017-02-06 12:46
511
matroid0__193_33.min1.thm1
2017-02-06 12:46
587
matroid0__203_48.min1.thm1
2017-02-06 12:46
734
matroid0__203_48.min1.thm1.tptp
2017-02-06 16:47
699
matroid0__210_35.min1.thm1
2017-02-06 12:46
836
matroid0__212_38.min1.thm1
2017-02-06 12:46
916
matroid0__213_17.min1.thm1
2017-02-06 12:46
590
matroid0__223_16.min1.thm1
2017-02-06 12:46
593
matroid0__224_19.min1.thm1
2017-02-06 12:46
1.0K
matroid0__227_11.min1.thm1
2017-02-06 12:46
1.0K
matroid0__231_15.min1.thm1
2017-02-06 12:46
593
matroid0__232_19.min1.thm1
2017-02-06 12:46
1.0K
matroid0__261_52.min1.thm1
2017-02-06 12:46
731
matroid0__261_52.min1.thm1.tptp
2017-02-06 16:47
643
matroid0__271_24.min1.thm1
2017-02-06 12:46
689
matroid0__274_21.min1.thm1
2017-02-06 12:46
689
matroid0__304_16.min1.thm1
2017-02-06 12:46
420
matroid0__311_54.min1.thm1
2017-02-06 12:46
256
matroid0__316_17.min1.thm1
2017-02-06 12:46
791
matroid0__317_18.min1.thm1
2017-02-06 12:46
605
matroid0__321_18.min1.thm1
2017-02-06 12:46
808
matroid0__332_18.min1.thm1
2017-02-06 12:46
489
matroid0__341_20.min1.thm1
2017-02-06 12:46
540
matroid0__344_14.min1.thm1
2017-02-06 12:46
376
matroid0__344_14.min1.thm1.tptp
2017-02-06 16:47
310
matroid0__346_16.min1.thm1
2017-02-06 12:46
581
matroid0__360_15.min1.thm1
2017-02-06 12:46
551
matroid0__362_17.min1.thm1
2017-02-06 12:46
1.7K
matroid0__363_15.min1.thm1
2017-02-06 12:46
1.8K
matroid0__364_21.min1.thm1
2017-02-06 12:46
560
matroid0__374_37.min1.thm1
2017-02-06 12:46
669
matroid0__376_20.min1.thm1
2017-02-06 12:46
459
matroid0__378_18.min1.thm1
2017-02-06 12:46
722
matroid0__379_31.min1.thm1
2017-02-06 12:46
876
matroid0__386_30.min1.thm1
2017-02-06 12:46
796
matroid0__387_30.min1.thm1
2017-02-06 12:46
1.0K
matroid0__393_17.min1.thm1
2017-02-06 12:46
400
matroid0__393_17.min1.thm1.tptp
2017-02-06 16:47
334
matroid0__394_35.min1.thm1
2017-02-06 12:46
555
matroid0__395_30.min1.thm1
2017-02-06 12:46
1.0K
matroid0__398_22.min1.thm1
2017-02-06 12:46
935
matroid0__399_23.min1.thm1
2017-02-06 12:46
659
matroid0__400_19.min1.thm1
2017-02-06 12:46
838
matroid0__405_61.min1.thm1
2017-02-06 12:46
421
matroid0__424_32.min1.thm1
2017-02-06 12:46
689
matroid0__424_32.min1.thm1.tptp
2017-02-06 16:47
645
matroid0__425_18.min1.thm1
2017-02-06 12:46
697
matroid0__427_43.min1.thm1
2017-02-06 12:46
517
matroid0__429_15.min1.thm1
2017-02-06 12:46
1.1K
matroid0__431_12.min1.thm1
2017-02-06 12:46
628
matroid0__431_12.min1.thm1.tptp
2017-02-06 16:47
602
matroid0__440_33.min1.thm1
2017-02-06 12:46
462
matroid0__440_33.min1.thm1.tptp
2017-02-06 16:47
411
matroid0__441_39.min1.thm1
2017-02-06 12:46
497
matroid0__453_42.min1.thm1
2017-02-06 12:46
463
matroid0__453_42.min1.thm1.tptp
2017-02-06 16:47
412
matroid0__455_33.min1.thm1
2017-02-06 12:46
458
matroid0__455_33.min1.thm1.tptp
2017-02-06 16:47
407
matroid0__462_33.min1.thm1
2017-02-06 12:46
786
matroid0__464_43.min1.thm1
2017-02-06 12:46
925
matroid0__465_40.min1.thm1
2017-02-06 12:46
754
matroid0__467_20.min1.thm1
2017-02-06 12:46
1.6K
matroid0__471_26.min1.thm1
2017-02-06 12:46
727
matroid0__472_27.min1.thm1
2017-02-06 12:46
499
matroid0__472_27.min1.thm1.tptp
2017-02-06 16:47
431
matroid0__473_25.min1.thm1
2017-02-06 12:46
658
matroid0__474_29.min1.thm1
2017-02-06 12:46
487
matroid0__474_29.min1.thm1.tptp
2017-02-06 16:47
404
matroid0__476_19.min1.thm1
2017-02-06 12:46
964
matroid0__483_52.min1.thm1
2017-02-06 12:46
639
matroid0__484_41.min1.thm1
2017-02-06 12:46
436
matroid0__486_31.min1.thm1
2017-02-06 12:46
458
matroid0__486_31.min1.thm1.tptp
2017-02-06 16:47
407
matroid0__487_31.min1.thm1
2017-02-06 12:46
947
matroid0__497_46.min1.thm1
2017-02-06 12:46
467
matroid0__497_46.min1.thm1.tptp
2017-02-06 16:47
416
matroid0__503_27.min1.thm1
2017-02-06 12:46
959
matroid0__505_32.min1.thm1
2017-02-06 12:46
1.2K
matroid0__506_40.min1.thm1
2017-02-06 12:46
575
matroid0__514_37.min1.thm1
2017-02-06 12:46
810
matroid0__519_24.min1.thm1
2017-02-06 12:46
700
matroid0__521_27.min1.thm1
2017-02-06 12:46
471
matroid0__521_27.min1.thm1.tptp
2017-02-06 16:47
396
matroid0__522_30.min1.thm1
2017-02-06 12:46
840
matroid0__524_31.min1.thm1
2017-02-06 12:46
744
matroid0__525_21.min1.thm1
2017-02-06 12:46
961
matroid0__541_42.min1.thm1
2017-02-06 12:46
798
matroid0__542_24.min1.thm1
2017-02-06 12:46
553
matroid0__543_45.min1.thm1
2017-02-06 12:46
415
matroid0__543_45.min1.thm1.tptp
2017-02-06 16:47
360
matroid0__544_43.min1.thm1
2017-02-06 12:46
300
matroid0__549_16.min1.thm1
2017-02-06 12:46
324
matroid0__570_21.min1.thm1
2017-02-06 12:46
1.2K
matroid0__571_21.min1.thm1
2017-02-06 12:46
1.2K
matroid0__572_59.min1.thm1
2017-02-06 12:46
1.2K
matroid0__573_16.min1.thm1
2017-02-06 12:46
1.4K
matroid0__577_24.min1.thm1
2017-02-06 12:46
855
matroid0__578_16.min1.thm1
2017-02-06 12:46
1.4K
matroid0__591_24.min1.thm1
2017-02-06 12:46
759
matroid0__594_18.min1.thm1
2017-02-06 12:46
616
matroid0__594_18.min1.thm1.tptp
2017-02-06 16:47
550
matroid0__595_15.min1.thm1
2017-02-06 12:46
717
matroid0__596_15.min1.thm1
2017-02-06 12:46
715
matroid0__597_22.min1.thm1
2017-02-06 12:46
397
matroid0__597_22.min1.thm1.tptp
2017-02-06 16:47
316
matroid0__599_20.min1.thm1
2017-02-06 12:46
578
matroid0__600_45.min1.thm1
2017-02-06 12:46
461
matroid0__600_45.min1.thm1.tptp
2017-02-06 16:47
410
matroid0__601_46.min1.thm1
2017-02-06 12:46
1.2K
matroid0__603_17.min1.thm1
2017-02-06 12:46
864
matroid0__604_25.min1.thm1
2017-02-06 12:46
1.3K
matroid0__613_15.min1.thm1
2017-02-06 12:46
723
matroid0__614_15.min1.thm1
2017-02-06 12:46
725
matroid0__615_17.min1.thm1
2017-02-06 12:46
407
matroid0__615_17.min1.thm1.tptp
2017-02-06 16:47
326
matroid0__617_20.min1.thm1
2017-02-06 12:46
592
matroid0__618_21.min1.thm1
2017-02-06 12:46
1.3K
matroid0__620_20.min1.thm1
2017-02-06 12:46
1.5K
matroid0__621_21.min1.thm1
2017-02-06 12:46
355
matroid0__621_21.min1.thm1.tptp
2017-02-06 16:47
290
matroid0__625_17.min1.thm1
2017-02-06 12:46
767
matroid0__647_45.min1.thm1
2017-02-06 12:46
463
matroid0__647_45.min1.thm1.tptp
2017-02-06 16:47
412
matroid0__648_33.min1.thm1
2017-02-06 12:46
758
matroid0__650_16.min1.thm1
2017-02-06 12:46
1.7K
matroid0__651_51.min1.thm1
2017-02-06 12:46
1.7K
matroid0__652_23.min1.thm1
2017-02-06 12:46
722
matroid0__654_32.min1.thm1
2017-02-06 12:46
1.4K
matroid0__656_24.min1.thm1
2017-02-06 12:46
792
matroid0__657_28.min1.thm1
2017-02-06 12:46
758
matroid0__659_17.min1.thm1
2017-02-06 12:46
1.7K
matroid0__660_23.min1.thm1
2017-02-06 12:46
722
matroid0__662_32.min1.thm1
2017-02-06 12:46
1.4K
matroid0__663_28.min1.thm1
2017-02-06 12:46
792
matroid0__665_20.min1.thm1
2017-02-06 12:46
1.0K
matroid0__668_16.min1.thm1
2017-02-06 12:46
1.9K
matroid0__669_40.min1.thm1
2017-02-06 12:46
573
matroid0__671_16.min1.thm1
2017-02-06 12:46
535
matroid0__673_17.min1.thm1
2017-02-06 12:46
514
matroid0__676_22.min1.thm1
2017-02-06 12:46
434
matroid0__676_22.min1.thm1.tptp
2017-02-06 16:47
353
matroid0__678_22.min1.thm1
2017-02-06 12:46
680
matroid0__679_21.min1.thm1
2017-02-06 12:46
1.4K
matroid0__680_21.min1.thm1
2017-02-06 12:46
1.3K
matroid0__683_23.min1.thm1
2017-02-06 12:46
957
matroid0__684_41.min1.thm1
2017-02-06 12:46
1.1K
matroid0__685_51.min1.thm1
2017-02-06 12:46
1.0K
matroid0__686_15.min1.thm1
2017-02-06 12:46
724
matroid0__693_22.min1.thm1
2017-02-06 12:46
1.0K
matroid0__694_15.min1.thm1
2017-02-06 12:46
223
matroid0__704_19.min1.thm1
2017-02-06 12:46
812
matroid0__705_19.min1.thm1
2017-02-06 12:46
810
matroid0__706_26.min1.thm1
2017-02-06 12:46
467
matroid0__706_26.min1.thm1.tptp
2017-02-06 16:47
386
matroid0__708_24.min1.thm1
2017-02-06 12:46
755
matroid0__709_25.min1.thm1
2017-02-06 12:46
1.4K
matroid0__712_24.min1.thm1
2017-02-06 12:46
730
matroid0__717_21.min1.thm1
2017-02-06 12:46
1.4K
matroid0__719_21.min1.thm1
2017-02-06 12:46
1.6K
matroid0__720_17.min1.thm1
2017-02-06 12:46
595
matroid0__721_23.min1.thm1
2017-02-06 12:46
564
matroid0__722_24.min1.thm1
2017-02-06 12:46
475
matroid0__724_24.min1.thm1
2017-02-06 12:46
789
matroid0__725_27.min1.thm1
2017-02-06 12:46
139
matroid0__727_24.min1.thm1
2017-02-06 12:46
604
matroid0__728_28.min1.thm1
2017-02-06 12:46
784
matroid0__742_21.min1.thm1
2017-02-06 12:46
1.0K
matroid0__743_51.min1.thm1
2017-02-06 12:46
1.2K
matroid0__774_41.min1.thm1
2017-02-06 12:46
402
matroid0__774_41.min1.thm1.tptp
2017-02-06 16:47
324
matroid0__775_27.min1.thm1
2017-02-06 12:46
644
matroid0__776_19.min1.thm1
2017-02-06 12:46
513
matroid0__796_70.min1.thm1
2017-02-06 12:46
1.8K
matroid0__797_18.min1.thm1
2017-02-06 12:46
628
matroid0__799_43.min1.thm1
2017-02-06 12:46
553
matroid0__801_15.min1.thm1
2017-02-06 12:46
1.1K
matroid0__803_12.min1.thm1
2017-02-06 12:46
664
matroid0__803_12.min1.thm1.tptp
2017-02-06 16:47
638
matroid0__814_8.min1.thm1
2017-02-06 12:46
2.2K
matroid0__815_42.min1.thm1
2017-02-06 12:46
2.1K
matroid0__816_39.min1.thm1
2017-02-06 12:46
1.6K
matroid0__817_32.min1.thm1
2017-02-06 12:46
2.2K
matroid0__818_33.min1.thm1
2017-02-06 12:46
2.4K
matroid0__819_40.min1.thm1
2017-02-06 12:46
1.9K
matroid0__823_66.min1.thm1
2017-02-06 12:46
1.9K
matroid0__826_43.min1.thm1
2017-02-06 12:46
662
matroid0__827_32.min1.thm1
2017-02-06 12:46
2.1K
matroid0__828_19.min1.thm1
2017-02-06 12:46
2.1K
matroid0__842_4.min1.thm1
2017-02-06 12:46
2.2K
matroid0__845_17.min1.thm1
2017-02-06 12:46
2.2K
matroid0__857_22.min1.thm1
2017-02-06 12:46
1.1K
matroid0__880_13.min1.thm1
2017-02-06 12:46
1.8K
matroid0__888_37.min1.thm1
2017-02-06 12:46
490
matroid0__890_19.min1.thm1
2017-02-06 12:46
3.0K
matroid0__892_17.min1.thm1
2017-02-06 12:46
936
matroid0__910_22.min1.thm1
2017-02-06 12:46
2.8K
matroid0__928_8.min1.thm1
2017-02-06 12:46
2.2K
matroid0__933_23.min1.thm1
2017-02-06 12:46
2.0K
matroid0__934_23.min1.thm1
2017-02-06 12:46
2.0K
matroid0__936_64.min1.thm1
2017-02-06 12:46
2.5K
matroid0__942_27.min1.thm1
2017-02-06 12:46
1.1K
matroid0__952_27.min1.thm1
2017-02-06 12:46
1.1K
matroid0__964_20.min1.thm1
2017-02-06 12:46
606
matroid0__964_20.min1.thm1.tptp
2017-02-06 16:47
520
matroid0__967_28.min1.thm1
2017-02-06 12:46
922
matroid0__968_28.min1.thm1
2017-02-06 12:46
940
matroid0__972_29.min1.thm1
2017-02-06 12:46
1.8K
matroid0__977_48.min1.thm1
2017-02-06 12:46
495
matroid0__977_48.min1.thm1.tptp
2017-02-06 16:47
417
matroid0__985_22.min1.thm1
2017-02-06 12:46
878
matroid0__1003_21.min1.thm1
2017-02-06 12:46
3.1K
matroid0__1010_39.min1.thm1
2017-02-06 12:46
616
matroid0__1025_40.min1.thm1
2017-02-06 12:46
2.7K
matroid0__1026_49.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1027_19.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1052_50.min1.thm1
2017-02-06 12:46
426
matroid0__1052_50.min1.thm1.tptp
2017-02-06 16:47
338
matroid0__1058_35.min1.thm1
2017-02-06 12:46
452
matroid0__1059_9.min1.thm1
2017-02-06 12:46
614
matroid0__1059_9.min1.thm1.tptp
2017-02-06 16:47
562
matroid0__1065_19.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1070_24.min1.thm1
2017-02-06 12:46
796
matroid0__1074_37.min1.thm1
2017-02-06 12:46
460
matroid0__1082_21.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1091_17.min1.thm1
2017-02-06 12:46
572
matroid0__1092_20.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1094_45.min1.thm1
2017-02-06 12:46
567
matroid0__1100_49.min1.thm1
2017-02-06 12:46
428
matroid0__1100_49.min1.thm1.tptp
2017-02-06 16:47
340
matroid0__1101_22.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1103_21.min1.thm1
2017-02-06 12:46
1.9K
matroid0__1104_12.min1.thm1
2017-02-06 12:46
424
matroid0__1105_23.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1106_22.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1107_17.min1.thm1
2017-02-06 12:46
2.2K
matroid0__1117_14.min1.thm1
2017-02-06 12:46
556
matroid0__1119_32.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1120_14.min1.thm1
2017-02-06 12:46
497
matroid0__1139_15.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1140_29.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1141_34.min1.thm1
2017-02-06 12:46
2.5K
matroid0__1144_28.min1.thm1
2017-02-06 12:46
2.7K
matroid0__1145_43.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1146_25.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1150_19.min1.thm1
2017-02-06 12:46
602
matroid0__1152_19.min1.thm1
2017-02-06 12:46
663
matroid0__1153_15.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1154_24.min1.thm1
2017-02-06 12:46
580
matroid0__1155_22.min1.thm1
2017-02-06 12:46
1.7K
matroid0__1157_22.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1158_22.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1160_22.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1161_20.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1167_60.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1168_28.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1177_40.min1.thm1
2017-02-06 12:46
716
matroid0__1182_23.min1.thm1
2017-02-06 12:46
765
matroid0__1185_38.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1186_25.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1189_46.min1.thm1
2017-02-06 12:46
841
matroid0__1192_34.min1.thm1
2017-02-06 12:46
352
matroid0__1192_34.min1.thm1.tptp
2017-02-06 16:47
266
matroid0__1193_20.min1.thm1
2017-02-06 12:46
930
matroid0__1202_19.min1.thm1
2017-02-06 12:46
533
matroid0__1203_37.min1.thm1
2017-02-06 12:46
511
matroid0__1204_15.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1205_24.min1.thm1
2017-02-06 12:46
912
matroid0__1206_45.min1.thm1
2017-02-06 12:46
948
matroid0__1208_36.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1209_17.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1210_27.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1213_28.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1216_14.min1.thm1
2017-02-06 12:46
539
matroid0__1216_14.min1.thm1.tptp
2017-02-06 16:47
447
matroid0__1234_8.min1.thm1
2017-02-06 12:46
767
matroid0__1234_8.min1.thm1.tptp
2017-02-06 16:47
736
matroid0__1238_20.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1249_14.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1250_23.min1.thm1
2017-02-06 12:46
917
matroid0__1251_24.min1.thm1
2017-02-06 12:46
1.9K
matroid0__1253_28.min1.thm1
2017-02-06 12:46
479
matroid0__1253_28.min1.thm1.tptp
2017-02-06 16:47
415
matroid0__1254_18.min1.thm1
2017-02-06 12:46
627
matroid0__1255_46.min1.thm1
2017-02-06 12:46
790
matroid0__1256_23.min1.thm1
2017-02-06 12:46
175
matroid0__1258_31.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1262_13.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1264_16.min1.thm1
2017-02-06 12:46
932
matroid0__1265_16.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1265_16.min1.thm1.tptp
2017-02-06 16:47
1.0K
matroid0__1266_20.min1.thm1
2017-02-06 12:46
778
matroid0__1267_21.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1268_21.min1.thm1
2017-02-06 12:46
429
matroid0__1268_21.min1.thm1.tptp
2017-02-06 16:47
351
matroid0__1270_16.min1.thm1
2017-02-06 12:46
388
matroid0__1270_16.min1.thm1.tptp
2017-02-06 16:47
302
matroid0__1282_68.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1283_25.min1.thm1
2017-02-06 12:46
2.1K
matroid0__1284_17.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1298_16.min1.thm1
2017-02-06 12:46
621
matroid0__1299_19.min1.thm1
2017-02-06 12:46
169
matroid0__1301_29.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1304_4.min1.thm1
2017-02-06 12:46
763
matroid0__1304_4.min1.thm1.tptp
2017-02-06 16:47
732
matroid0__1308_18.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1317_10.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1318_19.min1.thm1
2017-02-06 12:46
859
matroid0__1319_20.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1322_18.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1323_44.min1.thm1
2017-02-06 12:46
769
matroid0__1327_9.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1329_15.min1.thm1
2017-02-06 12:46
881
matroid0__1332_18.min1.thm1
2017-02-06 12:46
693
matroid0__1334_12.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1334_12.min1.thm1.tptp
2017-02-06 16:47
1.0K
matroid0__1336_14.min1.thm1
2017-02-06 12:46
710
matroid0__1337_17.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1338_21.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1339_17.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1361_39.min1.thm1
2017-02-06 12:46
461
matroid0__1361_39.min1.thm1.tptp
2017-02-06 16:47
373
matroid0__1364_55.min1.thm1
2017-02-06 12:46
454
matroid0__1364_55.min1.thm1.tptp
2017-02-06 16:47
366
matroid0__1366_23.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1368_25.min1.thm1
2017-02-06 12:46
2.1K
matroid0__1371_31.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1372_30.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1373_21.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1379_19.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1380_36.min1.thm1
2017-02-06 12:46
797
matroid0__1381_27.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1383_16.min1.thm1
2017-02-06 12:46
734
matroid0__1383_16.min1.thm1.tptp
2017-02-06 16:47
673
matroid0__1393_25.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1394_17.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1406_20.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1409_22.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1410_22.min1.thm1
2017-02-06 12:46
843
matroid0__1411_27.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1414_17.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1421_11.min1.thm1
2017-02-06 12:46
848
matroid0__1435_36.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1437_18.min1.thm1
2017-02-06 12:46
320
matroid0__1447_40.min1.thm1
2017-02-06 12:46
921
matroid0__1448_38.min1.thm1
2017-02-06 12:46
921
matroid0__1449_17.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1460_39.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1461_31.min1.thm1
2017-02-06 12:46
882
matroid0__1463_16.min1.thm1
2017-02-06 12:46
310
matroid0__1463_16.min1.thm1.tptp
2017-02-06 16:47
224
matroid0__1474_17.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1483_14.min1.thm1
2017-02-06 12:46
542
matroid0__1484_16.min1.thm1
2017-02-06 12:46
537
matroid0__1487_37.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1488_14.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1495_14.min1.thm1
2017-02-06 12:46
687
matroid0__1496_21.min1.thm1
2017-02-06 12:46
352
matroid0__1496_21.min1.thm1.tptp
2017-02-06 16:47
274
matroid0__1497_24.min1.thm1
2017-02-06 12:46
496
matroid0__1498_61.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1499_13.min1.thm1
2017-02-06 12:46
687
matroid0__1500_21.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1501_23.min1.thm1
2017-02-06 12:46
468
matroid0__1501_23.min1.thm1.tptp
2017-02-06 16:47
390
matroid0__1503_17.min1.thm1
2017-02-06 12:46
744
matroid0__1504_15.min1.thm1
2017-02-06 12:46
359
matroid0__1504_15.min1.thm1.tptp
2017-02-06 16:47
279
matroid0__1507_20.min1.thm1
2017-02-06 12:46
533
matroid0__1508_19.min1.thm1
2017-02-06 12:46
354
matroid0__1508_19.min1.thm1.tptp
2017-02-06 16:47
276
matroid0__1510_14.min1.thm1
2017-02-06 12:46
683
matroid0__1511_16.min1.thm1
2017-02-06 12:46
539
matroid0__1512_21.min1.thm1
2017-02-06 12:46
741
matroid0__1514_17.min1.thm1
2017-02-06 12:46
572
matroid0__1515_14.min1.thm1
2017-02-06 12:46
683
matroid0__1516_20.min1.thm1
2017-02-06 12:46
539
matroid0__1519_41.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1520_31.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1521_15.min1.thm1
2017-02-06 12:46
889
matroid0__1522_18.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1530_23.min1.thm1
2017-02-06 12:46
360
matroid0__1530_23.min1.thm1.tptp
2017-02-06 16:47
282
matroid0__1531_27.min1.thm1
2017-02-06 12:46
505
matroid0__1532_65.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1536_24.min1.thm1
2017-02-06 12:46
364
matroid0__1536_24.min1.thm1.tptp
2017-02-06 16:47
286
matroid0__1538_19.min1.thm1
2017-02-06 12:46
588
matroid0__1539_20.min1.thm1
2017-02-06 12:46
370
matroid0__1539_20.min1.thm1.tptp
2017-02-06 16:47
290
matroid0__1540_24.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1541_25.min1.thm1
2017-02-06 12:46
549
matroid0__1542_24.min1.thm1
2017-02-06 12:46
364
matroid0__1542_24.min1.thm1.tptp
2017-02-06 16:47
286
matroid0__1544_34.min1.thm1
2017-02-06 12:46
745
matroid0__1549_33.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1550_19.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1552_15.min1.thm1
2017-02-06 12:46
636
matroid0__1555_38.min1.thm1
2017-02-06 12:46
1.9K
matroid0__1556_20.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1558_29.min1.thm1
2017-02-06 12:46
1.9K
matroid0__1559_28.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1560_20.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1569_19.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1572_24.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1590_36.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1591_16.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1592_21.min1.thm1
2017-02-06 12:46
621
matroid0__1595_16.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1596_21.min1.thm1
2017-02-06 12:46
623
matroid0__1599_18.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1600_23.min1.thm1
2017-02-06 12:46
655
matroid0__1608_32.min1.thm1
2017-02-06 12:46
360
matroid0__1608_32.min1.thm1.tptp
2017-02-06 16:47
297
matroid0__1609_16.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1610_24.min1.thm1
2017-02-06 12:46
497
matroid0__1611_61.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1614_22.min1.thm1
2017-02-06 12:46
356
matroid0__1614_22.min1.thm1.tptp
2017-02-06 16:47
278
matroid0__1616_16.min1.thm1
2017-02-06 12:46
574
matroid0__1617_16.min1.thm1
2017-02-06 12:46
360
matroid0__1617_16.min1.thm1.tptp
2017-02-06 16:47
280
matroid0__1618_20.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1619_22.min1.thm1
2017-02-06 12:46
535
matroid0__1623_26.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1627_36.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1628_14.min1.thm1
2017-02-06 12:46
359
matroid0__1628_14.min1.thm1.tptp
2017-02-06 16:47
279
matroid0__1630_20.min1.thm1
2017-02-06 12:46
533
matroid0__1651_18.min1.thm1
2017-02-06 12:46
894
matroid0__1652_30.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1664_14.min1.thm1
2017-02-06 12:46
421
matroid0__1665_16.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1666_22.min1.thm1
2017-02-06 12:46
621
matroid0__1673_22.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1675_20.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1677_64.min1.thm1
2017-02-06 12:46
2.7K
matroid0__1682_19.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1685_21.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1692_18.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1693_20.min1.thm1
2017-02-06 12:46
947
matroid0__1694_24.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1696_30.min1.thm1
2017-02-06 12:46
2.2K
matroid0__1697_24.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1699_21.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1700_22.min1.thm1
2017-02-06 12:46
1.7K
matroid0__1721_65.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1722_18.min1.thm1
2017-02-06 12:46
861
matroid0__1724_16.min1.thm1
2017-02-06 12:46
447
matroid0__1724_16.min1.thm1.tptp
2017-02-06 16:47
369
matroid0__1733_63.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1734_35.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1737_29.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1738_14.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1747_39.min1.thm1
2017-02-06 12:46
482
matroid0__1748_24.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1749_14.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1759_42.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1760_45.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1761_14.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1770_16.min1.thm1
2017-02-06 12:46
766
matroid0__1771_22.min1.thm1
2017-02-06 12:46
479
matroid0__1774_41.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1779_15.min1.thm1
2017-02-06 12:46
380
matroid0__1779_15.min1.thm1.tptp
2017-02-06 16:47
314
matroid0__1780_18.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1781_23.min1.thm1
2017-02-06 12:46
880
matroid0__1784_23.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1785_15.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1786_24.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1788_19.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1792_29.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1798_19.min1.thm1
2017-02-06 12:46
2.2K
matroid0__1799_21.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1802_16.min1.thm1
2017-02-06 12:46
396
matroid0__1803_17.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1811_25.min1.thm1
2017-02-06 12:46
834
matroid0__1815_21.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1817_16.min1.thm1
2017-02-06 12:46
766
matroid0__1831_28.min1.thm1
2017-02-06 12:46
1.7K
matroid0__1832_26.min1.thm1
2017-02-06 12:46
1.0K
matroid0__1833_19.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1835_16.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1846_26.min1.thm1
2017-02-06 12:46
1.2K
matroid0__1873_24.min1.thm1
2017-02-06 12:46
806
matroid0__1878_15.min1.thm1
2017-02-06 12:46
943
matroid0__1879_37.min1.thm1
2017-02-06 12:46
550
matroid0__1880_55.min1.thm1
2017-02-06 12:46
1.7K
matroid0__1884_14.min1.thm1
2017-02-06 12:46
320
matroid0__1884_14.min1.thm1.tptp
2017-02-06 16:47
238
matroid0__1890_14.min1.thm1
2017-02-06 12:46
754
matroid0__1890_14.min1.thm1.tptp
2017-02-06 16:47
701
matroid0__1903_26.min1.thm1
2017-02-06 12:46
810
matroid0__1908_40.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1914_18.min1.thm1
2017-02-06 12:46
1.6K
matroid0__1921_11.min1.thm1
2017-02-06 12:46
939
matroid0__1922_35.min1.thm1
2017-02-06 12:46
546
matroid0__1924_14.min1.thm1
2017-02-06 12:46
584
matroid0__1925_38.min1.thm1
2017-02-06 12:46
1.5K
matroid0__1929_21.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1934_43.min1.thm1
2017-02-06 12:46
723
matroid0__1935_17.min1.thm1
2017-02-06 12:46
2.2K
matroid0__1943_51.min1.thm1
2017-02-06 12:46
934
matroid0__1945_40.min1.thm1
2017-02-06 12:46
2.1K
matroid0__1946_30.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1949_13.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1951_18.min1.thm1
2017-02-06 12:46
936
matroid0__1952_21.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1962_53.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1963_35.min1.thm1
2017-02-06 12:46
1.3K
matroid0__1964_25.min1.thm1
2017-02-06 12:46
1.1K
matroid0__1965_38.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1966_21.min1.thm1
2017-02-06 12:46
1.4K
matroid0__1981_30.min1.thm1
2017-02-06 12:46
356
matroid0__1981_30.min1.thm1.tptp
2017-02-06 16:47
293
matroid0__1982_33.min1.thm1
2017-02-06 12:46
639
matroid0__1983_17.min1.thm1
2017-02-06 12:46
1.8K
matroid0__1984_25.min1.thm1
2017-02-06 12:46
2.0K
matroid0__1996_11.min1.thm1
2017-02-06 12:46
219
matroid0__1999_19.min1.thm1
2017-02-06 12:46
570
matroid0__2005_14.min1.thm1
2017-02-06 12:46
384
matroid0__2005_14.min1.thm1.tptp
2017-02-06 16:47
318
matroid0__2006_35.min1.thm1
2017-02-06 12:46
498
matroid0__2007_18.min1.thm1
2017-02-06 12:46
1.7K
matroid0__2010_18.min1.thm1
2017-02-06 12:46
1.5K
matroid0__2014_33.min1.thm1
2017-02-06 12:46
505
matroid0__2017_38.min1.thm1
2017-02-06 12:46
1.2K
matroid0__2019_22.min1.thm1
2017-02-06 12:46
1.5K
matroid0__2027_27.min1.thm1
2017-02-06 12:46
1.1K
matroid0__2028_15.min1.thm1
2017-02-06 12:46
928
matroid0__2031_33.min1.thm1
2017-02-06 12:46
479
matroid0__2034_16.min1.thm1
2017-02-06 12:46
663
matroid0__2037_18.min1.thm1
2017-02-06 12:46
1.6K
matroid0__2040_19.min1.thm1
2017-02-06 12:46
1.3K
matroid0__2041_22.min1.thm1
2017-02-06 12:46
1.8K
matroid0__2055_13.min1.thm1
2017-02-06 12:46
439
matroid0__2056_23.min1.thm1
2017-02-06 12:46
1.6K
matroid0__2071_13.min1.thm1
2017-02-06 12:46
679
matroid0__2072_14.min1.thm1
2017-02-06 12:46
682
matroid0__2073_20.min1.thm1
2017-02-06 12:46
1.4K
matroid0__2076_17.min1.thm1
2017-02-06 12:46
492
matroid0__2076_17.min1.thm1.tptp
2017-02-06 16:47
426
matroid0__2077_33.min1.thm1
2017-02-06 12:46
484
matroid0__2078_20.min1.thm1
2017-02-06 12:46
1.2K
matroid0__2080_20.min1.thm1
2017-02-06 12:46
1.2K
matroid0__2081_52.min1.thm1
2017-02-06 12:46
1.2K
matroid0__2085_25.min1.thm1
2017-02-06 12:46
1.5K
matroid0__2088_34.min1.thm1
2017-02-06 12:46
1.6K
matroid0__2089_54.min1.thm1
2017-02-06 12:46
741
matroid0__2091_16.min1.thm1
2017-02-06 12:46
933
matroid0__2093_15.min1.thm1
2017-02-06 12:46
1.1K
matroid0__2094_14.min1.thm1
2017-02-06 12:46
773
matroid0__2097_16.min1.thm1
2017-02-06 12:46
842
matroid0__2098_16.min1.thm1
2017-02-06 12:46
1.7K
matroid0__2102_29.min1.thm1
2017-02-06 12:46
1.3K
matroid0__2103_16.min1.thm1
2017-02-06 12:46
842
matroid0__2104_16.min1.thm1
2017-02-06 12:46
1.7K
matroid0__2107_31.min1.thm1
2017-02-06 12:46
1.3K
matroid0__2108_57.min1.thm1
2017-02-06 12:46
1.8K
matroid0__2113_14.min1.thm1
2017-02-06 12:46
821
matroid0__2118_40.min1.thm1
2017-02-06 12:46
1.2K
matroid0__2120_17.min1.thm1
2017-02-06 12:46
684
matroid0__2121_21.min1.thm1
2017-02-06 12:46
863
matroid0__2122_29.min1.thm1
2017-02-06 12:46
1.3K
matroid0__2142_28.min1.thm1
2017-02-06 12:46
1.0K
matroid0__2147_14.min1.thm1
2017-02-06 12:46
376
matroid0__2147_14.min1.thm1.tptp
2017-02-06 16:47
310
matroid0__2150_12.min1.thm1
2017-02-06 12:46
1.0K
matroid0__2153_28.min1.thm1
2017-02-06 12:46
1.0K
matroid0__2158_15.min1.thm1
2017-02-06 12:46
378
matroid0__2158_15.min1.thm1.tptp
2017-02-06 16:47
312
matroid0__2162_15.min1.thm1
2017-02-06 12:46
1.0K
matroid0__2163_19.min1.thm1
2017-02-06 12:46
889
matroid0__2174_24.min1.thm1
2017-02-06 12:46
875
matroid0__2178_26.min1.thm1
2017-02-06 12:46
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80