Index of /~mptp/1147/MPTP2/ilp0/matrixr2
Name
Last modified
Size
Description
Parent Directory
-
matrixr2__55_39.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__56_52.min1.thm1
2017-02-06 12:46
467
matrixr2__58_57.min1.thm1
2017-02-06 12:46
555
matrixr2__60_14.min1.thm1
2017-02-06 12:46
2.5K
matrixr2__71_21.min1.thm1
2017-02-06 12:46
725
matrixr2__72_15.min1.thm1
2017-02-06 12:46
561
matrixr2__73_16.min1.thm1
2017-02-06 12:46
587
matrixr2__74_7.min1.thm1
2017-02-06 12:46
812
matrixr2__82_17.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__96_23.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__97_20.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__98_35.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__99_40.min1.thm1
2017-02-06 12:46
573
matrixr2__100_10.min1.thm1
2017-02-06 12:46
271
matrixr2__117_14.min1.thm1
2017-02-06 12:46
538
matrixr2__125_14.min1.thm1
2017-02-06 12:46
855
matrixr2__126_14.min1.thm1
2017-02-06 12:46
855
matrixr2__127_11.min1.thm1
2017-02-06 12:46
210
matrixr2__130_30.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__131_24.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__138_27.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__139_26.min1.thm1
2017-02-06 12:46
2.4K
matrixr2__155_17.min1.thm1
2017-02-06 12:46
524
matrixr2__155_17.min1.thm1.tptp
2017-02-06 16:47
444
matrixr2__182_26.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__183_44.min1.thm1
2017-02-06 12:46
899
matrixr2__194_41.min1.thm1
2017-02-06 12:46
2.3K
matrixr2__226_31.min1.thm1
2017-02-06 12:46
963
matrixr2__227_45.min1.thm1
2017-02-06 12:46
963
matrixr2__230_45.min1.thm1
2017-02-06 12:46
573
matrixr2__239_19.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__253_14.min1.thm1
2017-02-06 12:46
463
matrixr2__253_14.min1.thm1.tptp
2017-02-06 16:47
390
matrixr2__262_52.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__266_31.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__267_44.min1.thm1
2017-02-06 12:46
866
matrixr2__275_45.min1.thm1
2017-02-06 12:46
573
matrixr2__281_16.min1.thm1
2017-02-06 12:46
692
matrixr2__283_25.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__291_44.min1.thm1
2017-02-06 12:46
726
matrixr2__299_45.min1.thm1
2017-02-06 12:46
573
matrixr2__318_46.min1.thm1
2017-02-06 12:46
726
matrixr2__319_44.min1.thm1
2017-02-06 12:46
726
matrixr2__326_45.min1.thm1
2017-02-06 12:46
573
matrixr2__373_21.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__374_25.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__378_52.min1.thm1
2017-02-06 12:46
2.2K
matrixr2__379_25.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__385_21.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__399_42.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__440_21.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__443_23.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__446_52.min1.thm1
2017-02-06 12:46
2.2K
matrixr2__448_42.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__464_42.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__491_45.min1.thm1
2017-02-06 12:46
573
matrixr2__494_44.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__507_55.min1.thm1
2017-02-06 12:46
898
matrixr2__508_41.min1.thm1
2017-02-06 12:46
875
matrixr2__509_16.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__510_46.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__511_14.min1.thm1
2017-02-06 12:46
852
matrixr2__516_55.min1.thm1
2017-02-06 12:46
898
matrixr2__519_25.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__537_23.min1.thm1
2017-02-06 12:46
896
matrixr2__539_11.min1.thm1
2017-02-06 12:46
915
matrixr2__564_27.min1.thm1
2017-02-06 12:46
960
matrixr2__565_35.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__567_25.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__570_30.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__573_54.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__591_23.min1.thm1
2017-02-06 12:46
896
matrixr2__593_11.min1.thm1
2017-02-06 12:46
915
matrixr2__597_17.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__606_17.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__608_25.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__632_40.min1.thm1
2017-02-06 12:46
454
matrixr2__634_40.min1.thm1
2017-02-06 12:46
460
matrixr2__642_31.min1.thm1
2017-02-06 12:46
1.5K
matrixr2__659_25.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__662_23.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__663_25.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__672_17.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__675_37.min1.thm1
2017-02-06 12:46
460
matrixr2__693_26.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__694_24.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__702_26.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__703_24.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__711_34.min1.thm1
2017-02-06 12:46
882
matrixr2__712_26.min1.thm1
2017-02-06 12:46
911
matrixr2__713_36.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__714_18.min1.thm1
2017-02-06 12:46
921
matrixr2__724_30.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__732_14.min1.thm1
2017-02-06 12:46
847
matrixr2__733_26.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__734_18.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__735_16.min1.thm1
2017-02-06 12:46
847
matrixr2__736_17.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__739_19.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__740_17.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__741_20.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__742_19.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__747_41.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__752_22.min1.thm1
2017-02-06 12:46
2.1K
matrixr2__753_27.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__756_29.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__760_45.min1.thm1
2017-02-06 12:46
574
matrixr2__761_30.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__764_28.min1.thm1
2017-02-06 12:46
841
matrixr2__765_31.min1.thm1
2017-02-06 12:46
1.5K
matrixr2__772_38.min1.thm1
2017-02-06 12:46
1.5K
matrixr2__782_63.min1.thm1
2017-02-06 12:46
2.5K
matrixr2__784_23.min1.thm1
2017-02-06 12:46
2.4K
matrixr2__793_11.min1.thm1
2017-02-06 12:46
2.9K
matrixr2__801_11.min1.thm1
2017-02-06 12:46
4.2K
matrixr2__809_46.min1.thm1
2017-02-06 12:46
625
matrixr2__810_52.min1.thm1
2017-02-06 12:46
2.2K
matrixr2__826_23.min1.thm1
2017-02-06 12:46
463
matrixr2__826_23.min1.thm1.tptp
2017-02-06 16:47
386
matrixr2__827_41.min1.thm1
2017-02-06 12:46
863
matrixr2__829_26.min1.thm1
2017-02-06 12:46
872
matrixr2__831_17.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__839_54.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__840_50.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__850_19.min1.thm1
2017-02-06 12:46
612
matrixr2__877_12.min1.thm1
2017-02-06 12:46
864
matrixr2__879_17.min1.thm1
2017-02-06 12:46
1.8K
matrixr2__880_22.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__883_15.min1.thm1
2017-02-06 12:46
534
matrixr2__883_15.min1.thm1.tptp
2017-02-06 16:47
477
matrixr2__884_15.min1.thm1
2017-02-06 12:46
1.7K
matrixr2__885_17.min1.thm1
2017-02-06 12:46
1.5K
matrixr2__895_26.min1.thm1
2017-02-06 12:46
952
matrixr2__899_34.min1.thm1
2017-02-06 12:46
962
matrixr2__900_34.min1.thm1
2017-02-06 12:46
962
matrixr2__905_14.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__908_14.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__911_14.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__916_18.min1.thm1
2017-02-06 12:46
456
matrixr2__916_18.min1.thm1.tptp
2017-02-06 16:47
399
matrixr2__933_21.min1.thm1
2017-02-06 12:46
412
matrixr2__936_22.min1.thm1
2017-02-06 12:46
568
matrixr2__953_23.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__954_19.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__975_21.min1.thm1
2017-02-06 12:46
412
matrixr2__978_22.min1.thm1
2017-02-06 12:46
501
matrixr2__978_22.min1.thm1.tptp
2017-02-06 16:47
444
matrixr2__995_23.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__996_19.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1017_21.min1.thm1
2017-02-06 12:46
412
matrixr2__1020_22.min1.thm1
2017-02-06 12:46
501
matrixr2__1020_22.min1.thm1.tptp
2017-02-06 16:47
444
matrixr2__1037_23.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__1038_19.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1046_24.min1.thm1
2017-02-06 12:46
952
matrixr2__1056_46.min1.thm1
2017-02-06 12:46
625
matrixr2__1059_19.min1.thm1
2017-02-06 12:46
3.2K
matrixr2__1067_49.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1069_39.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1077_50.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__1078_12.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1079_26.min1.thm1
2017-02-06 12:46
496
matrixr2__1082_33.min1.thm1
2017-02-06 12:46
554
matrixr2__1087_37.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1090_17.min1.thm1
2017-02-06 12:46
606
matrixr2__1096_56.min1.thm1
2017-02-06 12:46
1.5K
matrixr2__1106_31.min1.thm1
2017-02-06 12:46
551
matrixr2__1107_23.min1.thm1
2017-02-06 12:46
768
matrixr2__1110_42.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1116_15.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1119_51.min1.thm1
2017-02-06 12:46
544
matrixr2__1120_18.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1121_73.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1124_14.min1.thm1
2017-02-06 12:46
328
matrixr2__1131_26.min1.thm1
2017-02-06 12:46
2.4K
matrixr2__1132_7.min1.thm1
2017-02-06 12:46
2.5K
matrixr2__1141_38.min1.thm1
2017-02-06 12:46
612
matrixr2__1142_50.min1.thm1
2017-02-06 12:46
2.7K
matrixr2__1143_14.min1.thm1
2017-02-06 12:46
762
matrixr2__1150_64.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1151_49.min1.thm1
2017-02-06 12:46
3.5K
matrixr2__1152_48.min1.thm1
2017-02-06 12:46
594
matrixr2__1162_11.min1.thm1
2017-02-06 12:46
213
matrixr2__1165_19.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__1170_7.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1171_27.min1.thm1
2017-02-06 12:46
2.1K
matrixr2__1172_20.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__1173_22.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1174_26.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1183_56.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1186_14.min1.thm1
2017-02-06 12:46
538
matrixr2__1200_31.min1.thm1
2017-02-06 12:46
847
matrixr2__1201_31.min1.thm1
2017-02-06 12:46
847
matrixr2__1205_25.min1.thm1
2017-02-06 12:46
824
matrixr2__1206_25.min1.thm1
2017-02-06 12:46
824
matrixr2__1210_25.min1.thm1
2017-02-06 12:46
945
matrixr2__1227_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1228_26.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1229_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1233_26.min1.thm1
2017-02-06 12:46
960
matrixr2__1237_28.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1254_23.min1.thm1
2017-02-06 12:46
822
matrixr2__1257_21.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1258_15.min1.thm1
2017-02-06 12:46
729
matrixr2__1271_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1272_24.min1.thm1
2017-02-06 12:46
960
matrixr2__1288_24.min1.thm1
2017-02-06 12:46
715
matrixr2__1291_27.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1307_50.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1323_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1324_24.min1.thm1
2017-02-06 12:46
960
matrixr2__1342_31.min1.thm1
2017-02-06 12:46
847
matrixr2__1345_10.min1.thm1
2017-02-06 12:46
826
matrixr2__1350_23.min1.thm1
2017-02-06 12:46
824
matrixr2__1368_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1373_10.min1.thm1
2017-02-06 12:46
848
matrixr2__1390_50.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1393_39.min1.thm1
2017-02-06 12:46
894
matrixr2__1394_24.min1.thm1
2017-02-06 12:46
715
matrixr2__1397_33.min1.thm1
2017-02-06 12:46
847
matrixr2__1404_58.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1406_55.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1418_23.min1.thm1
2017-02-06 12:46
887
matrixr2__1420_11.min1.thm1
2017-02-06 12:46
912
matrixr2__1423_47.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1426_49.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1444_29.min1.thm1
2017-02-06 12:46
847
matrixr2__1458_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1459_49.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1463_10.min1.thm1
2017-02-06 12:46
962
matrixr2__1491_45.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1495_23.min1.thm1
2017-02-06 12:46
887
matrixr2__1497_11.min1.thm1
2017-02-06 12:46
912
matrixr2__1503_51.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__1513_38.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1527_26.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1540_16.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1542_14.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1549_18.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1567_14.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1568_23.min1.thm1
2017-02-06 12:46
938
matrixr2__1571_16.min1.thm1
2017-02-06 12:46
847
matrixr2__1587_16.min1.thm1
2017-02-06 12:46
847
matrixr2__1592_25.min1.thm1
2017-02-06 12:46
2.1K
matrixr2__1593_14.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1595_29.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__1596_18.min1.thm1
2017-02-06 12:46
938
matrixr2__1599_26.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1610_13.min1.thm1
2017-02-06 12:46
3.1K
matrixr2__1624_9.min1.thm1
2017-02-06 12:46
2.8K
matrixr2__1629_7.min1.thm1
2017-02-06 12:46
2.5K
matrixr2__1635_11.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1638_27.min1.thm1
2017-02-06 12:46
870
matrixr2__1639_48.min1.thm1
2017-02-06 12:46
925
matrixr2__1644_47.min1.thm1
2017-02-06 12:46
601
matrixr2__1647_37.min1.thm1
2017-02-06 12:46
791
matrixr2__1650_15.min1.thm1
2017-02-06 12:46
227
matrixr2__1661_29.min1.thm1
2017-02-06 12:46
870
matrixr2__1664_25.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1759_24.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1774_25.min1.thm1
2017-02-06 12:46
3.0K
matrixr2__1786_32.min1.thm1
2017-02-06 12:46
2.8K
matrixr2__1805_12.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1813_14.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1815_13.min1.thm1
2017-02-06 12:46
189
matrixr2__1818_24.min1.thm1
2017-02-06 12:46
3.3K
matrixr2__1822_24.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__1831_11.min1.thm1
2017-02-06 12:46
203
matrixr2__1835_10.min1.thm1
2017-02-06 12:46
2.8K
matrixr2__1839_15.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__1841_9.min1.thm1
2017-02-06 12:46
2.5K
matrixr2__1859_7.min1.thm1
2017-02-06 12:46
2.5K
matrixr2__1860_14.min1.thm1
2017-02-06 12:46
294
matrixr2__1869_37.min1.thm1
2017-02-06 12:46
456
matrixr2__1871_16.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__1880_42.min1.thm1
2017-02-06 12:46
1.5K
matrixr2__1881_11.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__1882_14.min1.thm1
2017-02-06 12:46
631
matrixr2__1888_22.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__1900_17.min1.thm1
2017-02-06 12:46
580
matrixr2__1901_44.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1902_11.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__1913_17.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__1936_14.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1938_14.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__1939_13.min1.thm1
2017-02-06 12:46
372
matrixr2__1941_35.min1.thm1
2017-02-06 12:46
732
matrixr2__1946_25.min1.thm1
2017-02-06 12:46
867
matrixr2__1948_30.min1.thm1
2017-02-06 12:46
1.7K
matrixr2__1950_14.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__1953_15.min1.thm1
2017-02-06 12:46
374
matrixr2__1959_15.min1.thm1
2017-02-06 12:46
380
matrixr2__1961_37.min1.thm1
2017-02-06 12:46
675
matrixr2__1967_13.min1.thm1
2017-02-06 12:46
203
matrixr2__1970_47.min1.thm1
2017-02-06 12:46
2.1K
matrixr2__1975_47.min1.thm1
2017-02-06 12:46
1.8K
matrixr2__1979_27.min1.thm1
2017-02-06 12:46
673
matrixr2__1999_14.min1.thm1
2017-02-06 12:46
859
matrixr2__2008_26.min1.thm1
2017-02-06 12:46
898
matrixr2__2009_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2011_30.min1.thm1
2017-02-06 12:46
923
matrixr2__2012_19.min1.thm1
2017-02-06 12:46
640
matrixr2__2021_49.min1.thm1
2017-02-06 12:46
579
matrixr2__2022_19.min1.thm1
2017-02-06 12:46
777
matrixr2__2029_46.min1.thm1
2017-02-06 12:46
575
matrixr2__2030_17.min1.thm1
2017-02-06 12:46
922
matrixr2__2042_12.min1.thm1
2017-02-06 12:46
700
matrixr2__2043_16.min1.thm1
2017-02-06 12:46
763
matrixr2__2044_15.min1.thm1
2017-02-06 12:46
698
matrixr2__2053_32.min1.thm1
2017-02-06 12:46
937
matrixr2__2054_27.min1.thm1
2017-02-06 12:46
580
matrixr2__2057_11.min1.thm1
2017-02-06 12:46
245
matrixr2__2073_32.min1.thm1
2017-02-06 12:46
937
matrixr2__2074_27.min1.thm1
2017-02-06 12:46
580
matrixr2__2076_14.min1.thm1
2017-02-06 12:46
2.0K
matrixr2__2089_34.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2090_19.min1.thm1
2017-02-06 12:46
851
matrixr2__2091_21.min1.thm1
2017-02-06 12:46
939
matrixr2__2094_36.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2096_19.min1.thm1
2017-02-06 12:46
693
matrixr2__2097_21.min1.thm1
2017-02-06 12:46
939
matrixr2__2108_54.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2109_30.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2116_27.min1.thm1
2017-02-06 12:46
910
matrixr2__2118_22.min1.thm1
2017-02-06 12:46
1.6K
matrixr2__2120_16.min1.thm1
2017-02-06 12:46
1.7K
matrixr2__2130_30.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2138_15.min1.thm1
2017-02-06 12:46
380
matrixr2__2142_29.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__2145_69.min1.thm1
2017-02-06 12:46
2.3K
matrixr2__2151_17.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__2153_19.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__2157_14.min1.thm1
2017-02-06 12:46
306
matrixr2__2171_35.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2172_14.min1.thm1
2017-02-06 12:46
847
matrixr2__2177_30.min1.thm1
2017-02-06 12:46
697
matrixr2__2178_25.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2181_21.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2186_30.min1.thm1
2017-02-06 12:46
697
matrixr2__2187_24.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2190_14.min1.thm1
2017-02-06 12:46
469
matrixr2__2197_33.min1.thm1
2017-02-06 12:46
847
matrixr2__2200_10.min1.thm1
2017-02-06 12:46
3.0K
matrixr2__2201_14.min1.thm1
2017-02-06 12:46
306
matrixr2__2213_28.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2214_16.min1.thm1
2017-02-06 12:46
847
matrixr2__2219_29.min1.thm1
2017-02-06 12:46
592
matrixr2__2220_24.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2225_20.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2226_28.min1.thm1
2017-02-06 12:46
590
matrixr2__2227_23.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2244_35.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2248_17.min1.thm1
2017-02-06 12:46
490
matrixr2__2263_17.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2266_10.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2268_17.min1.thm1
2017-02-06 12:46
490
matrixr2__2303_29.min1.thm1
2017-02-06 12:46
688
matrixr2__2304_19.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2311_37.min1.thm1
2017-02-06 12:46
546
matrixr2__2311_37.min1.thm1.tptp
2017-02-06 16:47
487
matrixr2__2312_42.min1.thm1
2017-02-06 12:46
743
matrixr2__2314_43.min1.thm1
2017-02-06 12:46
612
matrixr2__2314_43.min1.thm1.tptp
2017-02-06 16:47
564
matrixr2__2315_16.min1.thm1
2017-02-06 12:46
916
matrixr2__2327_12.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2328_40.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2330_21.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2332_15.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2333_11.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__2334_19.min1.thm1
2017-02-06 12:46
460
matrixr2__2343_13.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2344_40.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2346_28.min1.thm1
2017-02-06 12:46
1.9K
matrixr2__2347_19.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__2354_45.min1.thm1
2017-02-06 12:46
580
matrixr2__2368_19.min1.thm1
2017-02-06 12:46
669
matrixr2__2368_19.min1.thm1.tptp
2017-02-06 16:47
612
matrixr2__2369_15.min1.thm1
2017-02-06 12:46
859
matrixr2__2371_43.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2375_21.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2376_17.min1.thm1
2017-02-06 12:46
683
matrixr2__2378_19.min1.thm1
2017-02-06 12:46
914
matrixr2__2379_18.min1.thm1
2017-02-06 12:46
596
matrixr2__2381_19.min1.thm1
2017-02-06 12:46
914
matrixr2__2385_15.min1.thm1
2017-02-06 12:46
214
matrixr2__2389_31.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2390_18.min1.thm1
2017-02-06 12:46
864
matrixr2__2391_24.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2393_22.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__2394_50.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2395_16.min1.thm1
2017-02-06 12:46
957
matrixr2__2398_16.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2399_42.min1.thm1
2017-02-06 12:46
512
matrixr2__2399_42.min1.thm1.tptp
2017-02-06 16:47
430
matrixr2__2404_18.min1.thm1
2017-02-06 12:46
864
matrixr2__2405_24.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2406_27.min1.thm1
2017-02-06 12:46
1.4K
matrixr2__2408_41.min1.thm1
2017-02-06 12:46
1.3K
matrixr2__2409_50.min1.thm1
2017-02-06 12:46
1.1K
matrixr2__2410_16.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2413_16.min1.thm1
2017-02-06 12:46
1.2K
matrixr2__2414_42.min1.thm1
2017-02-06 12:46
522
matrixr2__2414_42.min1.thm1.tptp
2017-02-06 16:47
440
matrixr2__2427_26.min1.thm1
2017-02-06 12:46
905
matrixr2__2429_17.min1.thm1
2017-02-06 12:46
1.8K
matrixr2__2437_26.min1.thm1
2017-02-06 12:46
905
matrixr2__2439_17.min1.thm1
2017-02-06 12:46
1.8K
matrixr2__2459_13.min1.thm1
2017-02-06 12:46
635
matrixr2__2460_17.min1.thm1
2017-02-06 12:46
964
matrixr2__2461_19.min1.thm1
2017-02-06 12:46
739
matrixr2__2465_26.min1.thm1
2017-02-06 12:46
672
matrixr2__2467_28.min1.thm1
2017-02-06 12:46
928
matrixr2__2468_14.min1.thm1
2017-02-06 12:46
1.0K
matrixr2__2487_13.min1.thm1
2017-02-06 12:46
870
matrixr2__2488_16.min1.thm1
2017-02-06 12:46
533
matrixr2__2498_13.min1.thm1
2017-02-06 12:46
870
matrixr2__2499_16.min1.thm1
2017-02-06 12:46
533
matrixr2__2502_17.min1.thm1
2017-02-06 12:46
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80