Index of /~mptp/1147/MPTP2/ilp0/matrixc1
Name
Last modified
Size
Description
Parent Directory
-
matrixc1__59_19.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__64_26.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__65_33.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__90_35.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__91_21.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__93_19.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__101_22.min1.thm1
2017-02-06 12:46
290
matrixc1__102_26.min1.thm1
2017-02-06 12:46
290
matrixc1__105_49.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__107_26.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__108_31.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__109_23.min1.thm1
2017-02-06 12:46
863
matrixc1__122_46.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__124_21.min1.thm1
2017-02-06 12:46
513
matrixc1__124_21.min1.thm1.tptp
2017-02-06 16:47
445
matrixc1__125_23.min1.thm1
2017-02-06 12:46
777
matrixc1__126_19.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__133_23.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__135_17.min1.thm1
2017-02-06 12:46
859
matrixc1__145_17.min1.thm1
2017-02-06 12:46
302
matrixc1__145_17.min1.thm1.tptp
2017-02-06 16:47
221
matrixc1__146_49.min1.thm1
2017-02-06 12:46
646
matrixc1__147_44.min1.thm1
2017-02-06 12:46
926
matrixc1__150_38.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__152_17.min1.thm1
2017-02-06 12:46
425
matrixc1__152_17.min1.thm1.tptp
2017-02-06 16:47
352
matrixc1__153_38.min1.thm1
2017-02-06 12:46
926
matrixc1__155_36.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__157_15.min1.thm1
2017-02-06 12:46
425
matrixc1__157_15.min1.thm1.tptp
2017-02-06 16:47
352
matrixc1__158_17.min1.thm1
2017-02-06 12:46
524
matrixc1__158_17.min1.thm1.tptp
2017-02-06 16:47
444
matrixc1__166_55.min1.thm1
2017-02-06 12:46
964
matrixc1__167_25.min1.thm1
2017-02-06 12:46
572
matrixc1__168_32.min1.thm1
2017-02-06 12:46
691
matrixc1__171_39.min1.thm1
2017-02-06 12:46
559
matrixc1__172_17.min1.thm1
2017-02-06 12:46
302
matrixc1__172_17.min1.thm1.tptp
2017-02-06 16:47
221
matrixc1__173_49.min1.thm1
2017-02-06 12:46
646
matrixc1__174_57.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__177_30.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__178_25.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__179_38.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__182_17.min1.thm1
2017-02-06 12:46
765
matrixc1__182_17.min1.thm1.tptp
2017-02-06 16:47
683
matrixc1__190_44.min1.thm1
2017-02-06 12:46
382
matrixc1__191_24.min1.thm1
2017-02-06 12:46
605
matrixc1__192_28.min1.thm1
2017-02-06 12:46
605
matrixc1__193_28.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__196_24.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__207_26.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__211_45.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__213_29.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__214_29.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__216_32.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__217_33.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__219_37.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__220_36.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__221_37.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__235_18.min1.thm1
2017-02-06 12:46
425
matrixc1__235_18.min1.thm1.tptp
2017-02-06 16:47
352
matrixc1__241_16.min1.thm1
2017-02-06 12:46
425
matrixc1__241_16.min1.thm1.tptp
2017-02-06 16:47
352
matrixc1__242_17.min1.thm1
2017-02-06 12:46
524
matrixc1__242_17.min1.thm1.tptp
2017-02-06 16:47
444
matrixc1__253_77.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__257_26.min1.thm1
2017-02-06 12:46
572
matrixc1__258_32.min1.thm1
2017-02-06 12:46
691
matrixc1__261_40.min1.thm1
2017-02-06 12:46
559
matrixc1__262_26.min1.thm1
2017-02-06 12:46
572
matrixc1__263_32.min1.thm1
2017-02-06 12:46
691
matrixc1__264_29.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__265_17.min1.thm1
2017-02-06 12:46
747
matrixc1__279_29.min1.thm1
2017-02-06 12:46
701
matrixc1__281_33.min1.thm1
2017-02-06 12:46
701
matrixc1__292_23.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__294_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__303_52.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__305_35.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__306_37.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__307_29.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__309_31.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__312_24.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__320_42.min1.thm1
2017-02-06 12:46
809
matrixc1__321_62.min1.thm1
2017-02-06 12:46
559
matrixc1__321_62.min1.thm1.tptp
2017-02-06 16:47
486
matrixc1__322_34.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__323_31.min1.thm1
2017-02-06 12:46
2.3K
matrixc1__324_17.min1.thm1
2017-02-06 12:46
431
matrixc1__324_17.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__325_36.min1.thm1
2017-02-06 12:46
809
matrixc1__326_60.min1.thm1
2017-02-06 12:46
559
matrixc1__326_60.min1.thm1.tptp
2017-02-06 16:47
486
matrixc1__327_32.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__328_29.min1.thm1
2017-02-06 12:46
2.3K
matrixc1__329_15.min1.thm1
2017-02-06 12:46
431
matrixc1__329_15.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__330_17.min1.thm1
2017-02-06 12:46
475
matrixc1__330_17.min1.thm1.tptp
2017-02-06 16:47
395
matrixc1__338_73.min1.thm1
2017-02-06 12:46
533
matrixc1__338_73.min1.thm1.tptp
2017-02-06 16:47
460
matrixc1__340_28.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__341_56.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__342_55.min1.thm1
2017-02-06 12:46
970
matrixc1__343_24.min1.thm1
2017-02-06 12:46
585
matrixc1__344_31.min1.thm1
2017-02-06 12:46
701
matrixc1__347_39.min1.thm1
2017-02-06 12:46
570
matrixc1__348_25.min1.thm1
2017-02-06 12:46
890
matrixc1__349_36.min1.thm1
2017-02-06 12:46
868
matrixc1__358_27.min1.thm1
2017-02-06 12:46
502
matrixc1__358_27.min1.thm1.tptp
2017-02-06 16:47
435
matrixc1__359_31.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__360_27.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__371_25.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__372_44.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__373_19.min1.thm1
2017-02-06 12:46
2.3K
matrixc1__374_22.min1.thm1
2017-02-06 12:46
969
matrixc1__376_21.min1.thm1
2017-02-06 12:46
502
matrixc1__376_21.min1.thm1.tptp
2017-02-06 16:47
435
matrixc1__384_23.min1.thm1
2017-02-06 12:46
496
matrixc1__384_23.min1.thm1.tptp
2017-02-06 16:47
423
matrixc1__385_25.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__386_20.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__387_14.min1.thm1
2017-02-06 12:46
775
matrixc1__388_14.min1.thm1
2017-02-06 12:46
324
matrixc1__402_18.min1.thm1
2017-02-06 12:46
431
matrixc1__402_18.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__409_16.min1.thm1
2017-02-06 12:46
431
matrixc1__409_16.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__410_17.min1.thm1
2017-02-06 12:46
539
matrixc1__410_17.min1.thm1.tptp
2017-02-06 16:47
459
matrixc1__423_18.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__424_11.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__425_12.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__426_14.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__427_29.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__429_40.min1.thm1
2017-02-06 12:46
570
matrixc1__430_56.min1.thm1
2017-02-06 12:46
971
matrixc1__431_56.min1.thm1
2017-02-06 12:46
971
matrixc1__437_26.min1.thm1
2017-02-06 12:46
585
matrixc1__438_33.min1.thm1
2017-02-06 12:46
701
matrixc1__439_41.min1.thm1
2017-02-06 12:46
571
matrixc1__440_24.min1.thm1
2017-02-06 12:46
585
matrixc1__441_33.min1.thm1
2017-02-06 12:46
701
matrixc1__444_29.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__445_17.min1.thm1
2017-02-06 12:46
759
matrixc1__463_33.min1.thm1
2017-02-06 12:46
712
matrixc1__464_30.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__465_26.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__466_30.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__467_29.min1.thm1
2017-02-06 12:46
712
matrixc1__468_27.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__478_23.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__480_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__489_52.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__491_35.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__492_37.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__493_29.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__495_31.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__505_11.min1.thm1
2017-02-06 12:46
938
matrixc1__528_15.min1.thm1
2017-02-06 12:46
806
matrixc1__529_39.min1.thm1
2017-02-06 12:46
683
matrixc1__531_21.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__540_16.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__542_21.min1.thm1
2017-02-06 12:46
940
matrixc1__546_21.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__547_19.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__548_19.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__560_26.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__565_27.min1.thm1
2017-02-06 12:46
768
matrixc1__566_17.min1.thm1
2017-02-06 12:46
768
matrixc1__576_11.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__583_11.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__587_44.min1.thm1
2017-02-06 12:46
785
matrixc1__589_44.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__590_44.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__624_24.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__625_19.min1.thm1
2017-02-06 12:46
805
matrixc1__625_19.min1.thm1.tptp
2017-02-06 16:47
749
matrixc1__635_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__640_39.min1.thm1
2017-02-06 12:46
824
matrixc1__641_26.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__658_68.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__660_22.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__668_11.min1.thm1
2017-02-06 12:46
761
matrixc1__673_16.min1.thm1
2017-02-06 12:46
813
matrixc1__683_17.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__695_40.min1.thm1
2017-02-06 12:46
559
matrixc1__696_52.min1.thm1
2017-02-06 12:46
585
matrixc1__697_11.min1.thm1
2017-02-06 12:46
245
matrixc1__701_22.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__704_23.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__719_37.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__721_28.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__722_14.min1.thm1
2017-02-06 12:46
508
matrixc1__736_13.min1.thm1
2017-02-06 12:46
277
matrixc1__739_18.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__743_28.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__744_22.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__745_18.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__752_39.min1.thm1
2017-02-06 12:46
888
matrixc1__759_21.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__760_19.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__762_14.min1.thm1
2017-02-06 12:46
788
matrixc1__762_14.min1.thm1.tptp
2017-02-06 16:47
741
matrixc1__770_24.min1.thm1
2017-02-06 12:46
768
matrixc1__778_35.min1.thm1
2017-02-06 12:46
2.4K
matrixc1__781_4.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__786_54.min1.thm1
2017-02-06 12:46
669
matrixc1__788_68.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__789_25.min1.thm1
2017-02-06 12:46
769
matrixc1__792_21.min1.thm1
2017-02-06 12:46
944
matrixc1__805_13.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__806_34.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__807_36.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__809_43.min1.thm1
2017-02-06 12:46
832
matrixc1__810_16.min1.thm1
2017-02-06 12:46
614
matrixc1__820_14.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__822_14.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__824_23.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__826_47.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__838_14.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__841_29.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__843_25.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__844_19.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__846_26.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__848_17.min1.thm1
2017-02-06 12:46
840
matrixc1__849_38.min1.thm1
2017-02-06 12:46
854
matrixc1__851_11.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__853_20.min1.thm1
2017-02-06 12:46
3.1K
matrixc1__854_17.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__854_35.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__855_18.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__856_18.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__858_14.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__866_24.min1.thm1
2017-02-06 12:46
839
matrixc1__867_17.min1.thm1
2017-02-06 12:46
924
matrixc1__877_67.min1.thm1
2017-02-06 12:46
637
matrixc1__879_61.min1.thm1
2017-02-06 12:46
407
matrixc1__879_61.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__880_66.min1.thm1
2017-02-06 12:46
637
matrixc1__882_60.min1.thm1
2017-02-06 12:46
407
matrixc1__882_60.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__883_24.min1.thm1
2017-02-06 12:46
768
matrixc1__884_24.min1.thm1
2017-02-06 12:46
768
matrixc1__898_25.min1.thm1
2017-02-06 12:46
567
matrixc1__898_25.min1.thm1.tptp
2017-02-06 16:47
490
matrixc1__901_23.min1.thm1
2017-02-06 12:46
949
matrixc1__913_58.min1.thm1
2017-02-06 12:46
407
matrixc1__913_58.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__914_58.min1.thm1
2017-02-06 12:46
407
matrixc1__914_58.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__917_17.min1.thm1
2017-02-06 12:46
405
matrixc1__917_17.min1.thm1.tptp
2017-02-06 16:47
323
matrixc1__918_14.min1.thm1
2017-02-06 12:46
444
matrixc1__926_58.min1.thm1
2017-02-06 12:46
407
matrixc1__926_58.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__927_58.min1.thm1
2017-02-06 12:46
407
matrixc1__927_58.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__930_17.min1.thm1
2017-02-06 12:46
405
matrixc1__930_17.min1.thm1.tptp
2017-02-06 16:47
323
matrixc1__931_14.min1.thm1
2017-02-06 12:46
444
matrixc1__940_24.min1.thm1
2017-02-06 12:46
768
matrixc1__947_46.min1.thm1
2017-02-06 12:46
829
matrixc1__949_16.min1.thm1
2017-02-06 12:46
686
matrixc1__951_22.min1.thm1
2017-02-06 12:46
768
matrixc1__963_27.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__964_13.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__973_41.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__975_19.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__984_23.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__985_19.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1003_71.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1008_50.min1.thm1
2017-02-06 12:46
604
matrixc1__1010_73.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1011_22.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1013_37.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__1023_22.min1.thm1
2017-02-06 12:46
3.4K
matrixc1__1024_13.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1025_30.min1.thm1
2017-02-06 12:46
2.4K
matrixc1__1026_36.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1027_37.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__1028_36.min1.thm1
2017-02-06 12:46
762
matrixc1__1029_16.min1.thm1
2017-02-06 12:46
570
matrixc1__1038_14.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__1040_29.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1044_37.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1045_19.min1.thm1
2017-02-06 12:46
2.8K
matrixc1__1048_22.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1049_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1050_23.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__1051_30.min1.thm1
2017-02-06 12:46
3.1K
matrixc1__1057_33.min1.thm1
2017-02-06 12:46
586
matrixc1__1066_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1066_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1067_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1067_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1068_55.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1072_14.min1.thm1
2017-02-06 12:46
408
matrixc1__1083_72.min1.thm1
2017-02-06 12:46
931
matrixc1__1112_26.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1127_72.min1.thm1
2017-02-06 12:46
931
matrixc1__1154_28.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1156_26.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1157_33.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1171_72.min1.thm1
2017-02-06 12:46
931
matrixc1__1198_28.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1200_26.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1201_33.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1215_72.min1.thm1
2017-02-06 12:46
931
matrixc1__1244_26.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1258_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1258_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1259_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1259_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1260_54.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1263_14.min1.thm1
2017-02-06 12:46
406
matrixc1__1284_17.min1.thm1
2017-02-06 12:46
2.4K
matrixc1__1296_21.min1.thm1
2017-02-06 12:46
428
matrixc1__1296_21.min1.thm1.tptp
2017-02-06 16:47
357
matrixc1__1297_25.min1.thm1
2017-02-06 12:46
207
matrixc1__1298_17.min1.thm1
2017-02-06 12:46
591
matrixc1__1299_12.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1300_24.min1.thm1
2017-02-06 12:46
768
matrixc1__1302_26.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1303_26.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1304_17.min1.thm1
2017-02-06 12:46
181
matrixc1__1305_13.min1.thm1
2017-02-06 12:46
457
matrixc1__1306_10.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1310_23.min1.thm1
2017-02-06 12:46
822
matrixc1__1311_19.min1.thm1
2017-02-06 12:46
770
matrixc1__1315_33.min1.thm1
2017-02-06 12:46
903
matrixc1__1316_15.min1.thm1
2017-02-06 12:46
731
matrixc1__1317_17.min1.thm1
2017-02-06 12:46
731
matrixc1__1318_23.min1.thm1
2017-02-06 12:46
730
matrixc1__1319_22.min1.thm1
2017-02-06 12:46
429
matrixc1__1319_22.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__1322_22.min1.thm1
2017-02-06 12:46
429
matrixc1__1322_22.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__1325_22.min1.thm1
2017-02-06 12:46
429
matrixc1__1325_22.min1.thm1.tptp
2017-02-06 16:47
358
matrixc1__1329_33.min1.thm1
2017-02-06 12:46
903
matrixc1__1330_15.min1.thm1
2017-02-06 12:46
822
matrixc1__1331_19.min1.thm1
2017-02-06 12:46
770
matrixc1__1332_29.min1.thm1
2017-02-06 12:46
841
matrixc1__1336_29.min1.thm1
2017-02-06 12:46
841
matrixc1__1340_25.min1.thm1
2017-02-06 12:46
767
matrixc1__1341_25.min1.thm1
2017-02-06 12:46
769
matrixc1__1343_27.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1344_24.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__1351_36.min1.thm1
2017-02-06 12:46
968
matrixc1__1353_21.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1355_11.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1356_25.min1.thm1
2017-02-06 12:46
767
matrixc1__1357_24.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__1362_37.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1364_25.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1366_13.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1367_23.min1.thm1
2017-02-06 12:46
730
matrixc1__1370_33.min1.thm1
2017-02-06 12:46
904
matrixc1__1371_15.min1.thm1
2017-02-06 12:46
732
matrixc1__1376_23.min1.thm1
2017-02-06 12:46
730
matrixc1__1380_23.min1.thm1
2017-02-06 12:46
730
matrixc1__1397_18.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1409_30.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__1411_27.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__1417_10.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__1423_21.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1425_17.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__1427_11.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__1428_64.min1.thm1
2017-02-06 12:46
2.7K
matrixc1__1430_55.min1.thm1
2017-02-06 12:46
2.3K
matrixc1__1431_53.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__1432_24.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__1433_14.min1.thm1
2017-02-06 12:46
390
matrixc1__1450_18.min1.thm1
2017-02-06 12:46
713
matrixc1__1451_29.min1.thm1
2017-02-06 12:46
711
matrixc1__1457_24.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1458_24.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1459_48.min1.thm1
2017-02-06 12:46
627
matrixc1__1461_26.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1462_43.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1465_25.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1466_29.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__1468_29.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1485_21.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1486_17.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1490_17.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__1491_13.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1496_23.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1498_27.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1504_26.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1506_27.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1509_16.min1.thm1
2017-02-06 12:46
562
matrixc1__1521_36.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1522_17.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1534_24.min1.thm1
2017-02-06 12:46
768
matrixc1__1535_26.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1538_24.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1544_22.min1.thm1
2017-02-06 12:46
2.3K
matrixc1__1548_26.min1.thm1
2017-02-06 12:46
2.4K
matrixc1__1549_23.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1552_43.min1.thm1
2017-02-06 12:46
930
matrixc1__1553_47.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1558_15.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1570_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1570_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1571_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1571_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1572_62.min1.thm1
2017-02-06 12:46
407
matrixc1__1572_62.min1.thm1.tptp
2017-02-06 16:47
329
matrixc1__1575_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1582_47.min1.thm1
2017-02-06 12:46
786
matrixc1__1584_18.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1593_25.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1608_25.min1.thm1
2017-02-06 12:46
288
matrixc1__1610_24.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1611_19.min1.thm1
2017-02-06 12:46
718
matrixc1__1621_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1627_34.min1.thm1
2017-02-06 12:46
766
matrixc1__1628_21.min1.thm1
2017-02-06 12:46
915
matrixc1__1647_27.min1.thm1
2017-02-06 12:46
288
matrixc1__1649_26.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1650_19.min1.thm1
2017-02-06 12:46
718
matrixc1__1660_27.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1666_37.min1.thm1
2017-02-06 12:46
766
matrixc1__1667_21.min1.thm1
2017-02-06 12:46
915
matrixc1__1678_23.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1690_23.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1695_13.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1696_17.min1.thm1
2017-02-06 12:46
960
matrixc1__1706_13.min1.thm1
2017-02-06 12:46
633
matrixc1__1708_15.min1.thm1
2017-02-06 12:46
243
matrixc1__1712_25.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__1715_25.min1.thm1
2017-02-06 12:46
3.5K
matrixc1__1717_19.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1721_23.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1722_22.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1723_70.min1.thm1
2017-02-06 12:46
692
matrixc1__1724_26.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1731_22.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__1731_22.min1.thm1.tptp
2017-02-06 16:47
912
matrixc1__1735_15.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__1736_30.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1737_18.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1766_29.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1769_33.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1774_24.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1776_36.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1781_24.min1.thm1
2017-02-06 12:46
901
matrixc1__1783_15.min1.thm1
2017-02-06 12:46
870
matrixc1__1788_24.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1789_25.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1791_23.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1794_20.min1.thm1
2017-02-06 12:46
2.9K
matrixc1__1795_19.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1798_23.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1800_19.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1802_21.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1803_54.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1805_26.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__1806_21.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1817_25.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1822_22.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1830_30.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1831_31.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1836_24.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1840_30.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1844_22.min1.thm1
2017-02-06 12:46
586
matrixc1__1852_31.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1855_22.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1858_34.min1.thm1
2017-02-06 12:46
1.8K
matrixc1__1860_32.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1861_20.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1862_20.min1.thm1
2017-02-06 12:46
536
matrixc1__1864_31.min1.thm1
2017-02-06 12:46
901
matrixc1__1867_26.min1.thm1
2017-02-06 12:46
902
matrixc1__1868_31.min1.thm1
2017-02-06 12:46
902
matrixc1__1869_21.min1.thm1
2017-02-06 12:46
4.8K
matrixc1__1870_33.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1871_27.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1872_40.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1875_21.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1884_22.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1893_21.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1894_22.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1895_32.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1897_23.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1899_36.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1904_24.min1.thm1
2017-02-06 12:46
922
matrixc1__1906_24.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1919_22.min1.thm1
2017-02-06 12:46
676
matrixc1__1923_25.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1924_25.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1928_31.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__1931_32.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__1932_27.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1938_27.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1939_20.min1.thm1
2017-02-06 12:46
811
matrixc1__1939_20.min1.thm1.tptp
2017-02-06 16:47
729
matrixc1__1952_21.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__1953_52.min1.thm1
2017-02-06 12:46
2.8K
matrixc1__1958_28.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1959_20.min1.thm1
2017-02-06 12:46
761
matrixc1__1959_20.min1.thm1.tptp
2017-02-06 16:47
679
matrixc1__1961_30.min1.thm1
2017-02-06 12:46
900
matrixc1__1964_49.min1.thm1
2017-02-06 12:46
2.0K
matrixc1__1965_48.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__1966_50.min1.thm1
2017-02-06 12:46
3.1K
matrixc1__1969_18.min1.thm1
2017-02-06 12:46
354
matrixc1__1971_16.min1.thm1
2017-02-06 12:46
564
matrixc1__1980_22.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1981_18.min1.thm1
2017-02-06 12:46
806
matrixc1__1984_19.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__1989_27.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__1990_25.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__1991_39.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__1992_26.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__1995_18.min1.thm1
2017-02-06 12:46
456
matrixc1__1997_23.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__1998_27.min1.thm1
2017-02-06 12:46
888
matrixc1__2000_24.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2001_25.min1.thm1
2017-02-06 12:46
801
matrixc1__2002_16.min1.thm1
2017-02-06 12:46
340
matrixc1__2005_9.min1.thm1
2017-02-06 12:46
508
matrixc1__2007_60.min1.thm1
2017-02-06 12:46
2.4K
matrixc1__2015_11.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__2022_27.min1.thm1
2017-02-06 12:46
876
matrixc1__2023_33.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__2029_27.min1.thm1
2017-02-06 12:46
1.6K
matrixc1__2032_24.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2033_23.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__2034_40.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__2036_27.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2038_33.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__2047_33.min1.thm1
2017-02-06 12:46
754
matrixc1__2048_20.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__2049_14.min1.thm1
2017-02-06 12:46
324
matrixc1__2069_19.min1.thm1
2017-02-06 12:46
2.8K
matrixc1__2074_26.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__2075_31.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__2079_31.min1.thm1
2017-02-06 12:46
2.5K
matrixc1__2101_49.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__2102_21.min1.thm1
2017-02-06 12:46
2.1K
matrixc1__2104_19.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__2118_31.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2119_15.min1.thm1
2017-02-06 12:46
915
matrixc1__2122_67.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2124_23.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2126_24.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2127_24.min1.thm1
2017-02-06 12:46
768
matrixc1__2130_28.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2131_15.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2144_46.min1.thm1
2017-02-06 12:46
573
matrixc1__2156_26.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__2178_51.min1.thm1
2017-02-06 12:46
2.2K
matrixc1__2179_45.min1.thm1
2017-02-06 12:46
795
matrixc1__2179_45.min1.thm1.tptp
2017-02-06 16:47
718
matrixc1__2185_16.min1.thm1
2017-02-06 12:46
750
matrixc1__2190_65.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2205_24.min1.thm1
2017-02-06 12:46
768
matrixc1__2207_30.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__2208_22.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__2210_28.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__2213_15.min1.thm1
2017-02-06 12:46
861
matrixc1__2220_46.min1.thm1
2017-02-06 12:46
573
matrixc1__2230_20.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__2236_22.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__2245_26.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__2254_49.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__2258_16.min1.thm1
2017-02-06 12:46
754
matrixc1__2263_15.min1.thm1
2017-02-06 12:46
770
matrixc1__2278_24.min1.thm1
2017-02-06 12:46
768
matrixc1__2285_14.min1.thm1
2017-02-06 12:46
364
matrixc1__2297_24.min1.thm1
2017-02-06 12:46
768
matrixc1__2300_22.min1.thm1
2017-02-06 12:46
768
matrixc1__2305_14.min1.thm1
2017-02-06 12:46
416
matrixc1__2314_26.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__2316_33.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__2317_15.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__2318_34.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2319_30.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2320_17.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__2321_34.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2322_15.min1.thm1
2017-02-06 12:46
733
matrixc1__2323_30.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2332_21.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__2333_18.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__2337_28.min1.thm1
2017-02-06 12:46
1.5K
matrixc1__2338_24.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__2340_20.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2341_22.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__2343_22.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2348_38.min1.thm1
2017-02-06 12:46
1.7K
matrixc1__2350_25.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2352_16.min1.thm1
2017-02-06 12:46
614
matrixc1__2354_31.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2355_17.min1.thm1
2017-02-06 12:46
1.0K
matrixc1__2370_25.min1.thm1
2017-02-06 12:46
913
matrixc1__2372_27.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2376_21.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2379_26.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2380_14.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2404_26.min1.thm1
2017-02-06 12:46
3.0K
matrixc1__2409_18.min1.thm1
2017-02-06 12:46
919
matrixc1__2410_22.min1.thm1
2017-02-06 12:46
774
matrixc1__2415_28.min1.thm1
2017-02-06 12:46
2.6K
matrixc1__2416_23.min1.thm1
2017-02-06 12:46
2.4K
matrixc1__2417_32.min1.thm1
2017-02-06 12:46
897
matrixc1__2424_24.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2451_69.min1.thm1
2017-02-06 12:46
1.9K
matrixc1__2475_23.min1.thm1
2017-02-06 12:46
822
matrixc1__2476_25.min1.thm1
2017-02-06 12:46
859
matrixc1__2477_21.min1.thm1
2017-02-06 12:46
859
matrixc1__2480_22.min1.thm1
2017-02-06 12:46
769
matrixc1__2482_23.min1.thm1
2017-02-06 12:46
769
matrixc1__2483_24.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__2485_36.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2486_27.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2489_41.min1.thm1
2017-02-06 12:46
1.1K
matrixc1__2493_35.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2522_17.min1.thm1
2017-02-06 12:46
1.4K
matrixc1__2523_16.min1.thm1
2017-02-06 12:46
1.2K
matrixc1__2525_36.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2526_27.min1.thm1
2017-02-06 12:46
1.3K
matrixc1__2527_23.min1.thm1
2017-02-06 12:46
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80