Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/matrixr1
Name
Last modified
Size
Description
Parent Directory
-
matrixr1__1599_54.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1562_23.min1.thm1
2017-02-06 12:46
824
matrixr1__1559_10.min1.thm1
2017-02-06 12:46
826
matrixr1__1556_31.min1.thm1
2017-02-06 12:46
847
matrixr1__1541_10.min1.thm1
2017-02-06 12:46
962
matrixr1__1536_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1518_31.min1.thm1
2017-02-06 12:46
847
matrixr1__1505_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1494_17.min1.thm1
2017-02-06 12:46
1.6K
matrixr1__1493_34.min1.thm1
2017-02-06 12:46
2.5K
matrixr1__1492_15.min1.thm1
2017-02-06 12:46
729
matrixr1__1491_22.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1488_23.min1.thm1
2017-02-06 12:46
822
matrixr1__1470_24.min1.thm1
2017-02-06 12:46
960
matrixr1__1469_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1454_26.min1.thm1
2017-02-06 12:46
824
matrixr1__1451_26.min1.thm1
2017-02-06 12:46
824
matrixr1__1447_33.min1.thm1
2017-02-06 12:46
847
matrixr1__1446_33.min1.thm1
2017-02-06 12:46
847
matrixr1__1430_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1427_27.min1.thm1
2017-02-06 12:46
960
matrixr1__1423_30.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1422_30.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1390_37.min1.thm1
2017-02-06 12:46
460
matrixr1__1375_26.min1.thm1
2017-02-06 12:46
937
matrixr1__1374_17.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__1355_37.min1.thm1
2017-02-06 12:46
460
matrixr1__1354_26.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1352_17.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__1341_22.min1.thm1
2017-02-06 12:46
937
matrixr1__1340_23.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__1335_23.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1334_25.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1321_17.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1320_26.min1.thm1
2017-02-06 12:46
1.7K
matrixr1__1319_42.min1.thm1
2017-02-06 12:46
815
matrixr1__1305_39.min1.thm1
2017-02-06 12:46
906
matrixr1__1299_34.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1298_31.min1.thm1
2017-02-06 12:46
848
matrixr1__1297_25.min1.thm1
2017-02-06 12:46
825
matrixr1__1296_42.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__1294_24.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1291_31.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1290_23.min1.thm1
2017-02-06 12:46
731
matrixr1__1289_18.min1.thm1
2017-02-06 12:46
882
matrixr1__1265_14.min1.thm1
2017-02-06 12:46
849
matrixr1__1264_46.min1.thm1
2017-02-06 12:46
874
matrixr1__1261_19.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__1259_37.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__1258_37.min1.thm1
2017-02-06 12:46
461
matrixr1__1254_40.min1.thm1
2017-02-06 12:46
1.6K
matrixr1__1252_26.min1.thm1
2017-02-06 12:46
1.8K
matrixr1__1249_52.min1.thm1
2017-02-06 12:46
824
matrixr1__1248_31.min1.thm1
2017-02-06 12:46
849
matrixr1__1242_36.min1.thm1
2017-02-06 12:46
915
matrixr1__1241_28.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1239_37.min1.thm1
2017-02-06 12:46
859
matrixr1__1238_25.min1.thm1
2017-02-06 12:46
826
matrixr1__1233_22.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1232_10.min1.thm1
2017-02-06 12:46
826
matrixr1__1231_44.min1.thm1
2017-02-06 12:46
874
matrixr1__1219_17.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1218_17.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1216_11.min1.thm1
2017-02-06 12:46
906
matrixr1__1214_23.min1.thm1
2017-02-06 12:46
887
matrixr1__1213_17.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1212_19.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1192_14.min1.thm1
2017-02-06 12:46
852
matrixr1__1191_46.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1190_16.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__1189_41.min1.thm1
2017-02-06 12:46
875
matrixr1__1186_53.min1.thm1
2017-02-06 12:46
898
matrixr1__1185_55.min1.thm1
2017-02-06 12:46
898
matrixr1__1182_23.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1169_16.min1.thm1
2017-02-06 12:46
547
matrixr1__1166_19.min1.thm1
2017-02-06 12:46
854
matrixr1__1165_41.min1.thm1
2017-02-06 12:46
727
matrixr1__1157_32.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__1156_38.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__1155_35.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1154_18.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1152_21.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1151_11.min1.thm1
2017-02-06 12:46
904
matrixr1__1149_23.min1.thm1
2017-02-06 12:46
885
matrixr1__1148_17.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__1144_40.min1.thm1
2017-02-06 12:46
727
matrixr1__1135_18.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1129_42.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1128_26.min1.thm1
2017-02-06 12:46
960
matrixr1__1127_25.min1.thm1
2017-02-06 12:46
824
matrixr1__1126_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1122_31.min1.thm1
2017-02-06 12:46
847
matrixr1__1121_44.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__1112_29.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1111_22.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__1110_52.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__1104_31.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1103_20.min1.thm1
2017-02-06 12:46
785
matrixr1__1102_46.min1.thm1
2017-02-06 12:46
876
matrixr1__1088_19.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__1086_21.min1.thm1
2017-02-06 12:46
915
matrixr1__1085_25.min1.thm1
2017-02-06 12:46
700
matrixr1__1084_19.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1082_23.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1081_12.min1.thm1
2017-02-06 12:46
932
matrixr1__1079_25.min1.thm1
2017-02-06 12:46
913
matrixr1__1078_24.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1072_19.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1059_26.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1056_19.min1.thm1
2017-02-06 12:46
661
matrixr1__1055_20.min1.thm1
2017-02-06 12:46
2.3K
matrixr1__1051_72.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__1050_17.min1.thm1
2017-02-06 12:46
843
matrixr1__1048_23.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__1047_14.min1.thm1
2017-02-06 12:46
587
matrixr1__1043_18.min1.thm1.tptp
2017-02-06 16:47
314
matrixr1__1043_18.min1.thm1
2017-02-06 12:46
389
matrixr1__1042_17.min1.thm1
2017-02-06 12:46
482
matrixr1__1036_16.min1.thm1
2017-02-06 12:46
609
matrixr1__1024_10.min1.thm1
2017-02-06 12:46
962
matrixr1__1023_44.min1.thm1
2017-02-06 12:46
869
matrixr1__1019_21.min1.thm1.tptp
2017-02-06 16:47
468
matrixr1__1019_21.min1.thm1
2017-02-06 12:46
550
matrixr1__1018_17.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__1016_28.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__1011_19.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__1010_19.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__1008_37.min1.thm1
2017-02-06 12:46
461
matrixr1__1004_39.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__997_42.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__995_26.min1.thm1
2017-02-06 12:46
963
matrixr1__994_29.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__993_13.min1.thm1
2017-02-06 12:46
964
matrixr1__992_33.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__990_51.min1.thm1
2017-02-06 12:46
793
matrixr1__986_52.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__979_30.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__969_28.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__964_22.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__963_14.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__962_42.min1.thm1
2017-02-06 12:46
869
matrixr1__946_18.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__937_18.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__935_41.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__934_20.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__933_12.min1.thm1
2017-02-06 12:46
908
matrixr1__931_25.min1.thm1
2017-02-06 12:46
889
matrixr1__930_19.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__910_25.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__907_51.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__904_30.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__902_35.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__901_27.min1.thm1
2017-02-06 12:46
960
matrixr1__888_19.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__884_30.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__883_23.min1.thm1
2017-02-06 12:46
829
matrixr1__882_54.min1.thm1
2017-02-06 12:46
828
matrixr1__880_24.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__874_52.min1.thm1
2017-02-06 12:46
686
matrixr1__872_17.min1.thm1
2017-02-06 12:46
1.8K
matrixr1__861_32.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__860_25.min1.thm1
2017-02-06 12:46
833
matrixr1__859_16.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__858_50.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__857_20.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__856_41.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__848_18.min1.thm1
2017-02-06 12:46
924
matrixr1__847_16.min1.thm1
2017-02-06 12:46
901
matrixr1__839_11.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__825_16.min1.thm1
2017-02-06 12:46
633
matrixr1__824_26.min1.thm1
2017-02-06 12:46
633
matrixr1__808_19.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__807_34.min1.thm1
2017-02-06 12:46
2.4K
matrixr1__806_24.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__803_21.min1.thm1
2017-02-06 12:46
897
matrixr1__802_22.min1.thm1
2017-02-06 12:46
1.6K
matrixr1__801_28.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__793_21.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__792_22.min1.thm1
2017-02-06 12:46
1.6K
matrixr1__791_39.min1.thm1
2017-02-06 12:46
683
matrixr1__790_14.min1.thm1
2017-02-06 12:46
806
matrixr1__778_40.min1.thm1
2017-02-06 12:46
1.9K
matrixr1__766_14.min1.thm1
2017-02-06 12:46
378
matrixr1__754_17.min1.thm1
2017-02-06 12:46
967
matrixr1__751_50.min1.thm1
2017-02-06 12:46
2.6K
matrixr1__736_14.min1.thm1
2017-02-06 12:46
388
matrixr1__731_49.min1.thm1.tptp
2017-02-06 16:47
431
matrixr1__731_49.min1.thm1
2017-02-06 12:46
502
matrixr1__719_34.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__716_26.min1.thm1
2017-02-06 12:46
638
matrixr1__715_22.min1.thm1
2017-02-06 12:46
638
matrixr1__707_40.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__692_73.min1.thm1
2017-02-06 12:46
1.8K
matrixr1__669_17.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__663_70.min1.thm1
2017-02-06 12:46
2.5K
matrixr1__652_14.min1.thm1
2017-02-06 12:46
330
matrixr1__636_38.min1.thm1
2017-02-06 12:46
1.9K
matrixr1__635_10.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__631_51.min1.thm1
2017-02-06 12:46
1.9K
matrixr1__619_46.min1.thm1
2017-02-06 12:46
3.0K
matrixr1__603_50.min1.thm1
2017-02-06 12:46
1.9K
matrixr1__602_67.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__598_69.min1.thm1
2017-02-06 12:46
2.0K
matrixr1__594_50.min1.thm1.tptp
2017-02-06 16:47
431
matrixr1__594_50.min1.thm1
2017-02-06 12:46
502
matrixr1__583_40.min1.thm1
2017-02-06 12:46
1.7K
matrixr1__575_17.min1.thm1
2017-02-06 12:46
1.9K
matrixr1__566_24.min1.thm1
2017-02-06 12:46
954
matrixr1__565_50.min1.thm1
2017-02-06 12:46
745
matrixr1__563_19.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__555_37.min1.thm1
2017-02-06 12:46
460
matrixr1__554_26.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__552_24.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__546_25.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__544_54.min1.thm1
2017-02-06 12:46
687
matrixr1__540_47.min1.thm1
2017-02-06 12:46
356
matrixr1__539_66.min1.thm1.tptp
2017-02-06 16:47
516
matrixr1__539_66.min1.thm1
2017-02-06 12:46
573
matrixr1__538_17.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__537_18.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__534_17.min1.thm1.tptp
2017-02-06 16:47
682
matrixr1__534_17.min1.thm1
2017-02-06 12:46
735
matrixr1__528_20.min1.thm1
2017-02-06 12:46
638
matrixr1__521_26.min1.thm1
2017-02-06 12:46
638
matrixr1__517_20.min1.thm1
2017-02-06 12:46
637
matrixr1__516_55.min1.thm1.tptp
2017-02-06 16:47
563
matrixr1__516_55.min1.thm1
2017-02-06 12:46
616
matrixr1__514_17.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__513_12.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__498_51.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__496_16.min1.thm1
2017-02-06 12:46
628
matrixr1__495_22.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__493_43.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__491_25.min1.thm1
2017-02-06 12:46
740
matrixr1__483_62.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__479_24.min1.thm1
2017-02-06 12:46
731
matrixr1__455_44.min1.thm1
2017-02-06 12:46
726
matrixr1__435_19.min1.thm1
2017-02-06 12:46
684
matrixr1__434_34.min1.thm1
2017-02-06 12:46
607
matrixr1__424_16.min1.thm1
2017-02-06 12:46
2.3K
matrixr1__423_76.min1.thm1
2017-02-06 12:46
432
matrixr1__401_11.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__350_17.min1.thm1
2017-02-06 12:46
802
matrixr1__307_24.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__302_6.min1.thm1
2017-02-06 12:46
1.7K
matrixr1__297_26.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__296_16.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__277_21.min1.thm1
2017-02-06 12:46
1.5K
matrixr1__276_14.min1.thm1
2017-02-06 12:46
1.6K
matrixr1__234_34.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__233_26.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__215_23.min1.thm1
2017-02-06 12:46
1.4K
matrixr1__203_22.min1.thm1
2017-02-06 12:46
2.1K
matrixr1__202_30.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__191_42.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__180_24.min1.thm1
2017-02-06 12:46
3.0K
matrixr1__178_23.min1.thm1
2017-02-06 12:46
2.2K
matrixr1__170_28.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__168_23.min1.thm1
2017-02-06 12:46
1.3K
matrixr1__154_73.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__148_68.min1.thm1.tptp
2017-02-06 16:47
375
matrixr1__148_68.min1.thm1
2017-02-06 12:46
453
matrixr1__136_64.min1.thm1
2017-02-06 12:46
657
matrixr1__125_64.min1.thm1
2017-02-06 12:46
657
matrixr1__117_43.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__113_43.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__109_43.min1.thm1
2017-02-06 12:46
1.2K
matrixr1__102_64.min1.thm1
2017-02-06 12:46
657
matrixr1__93_15.min1.thm1
2017-02-06 12:46
1.1K
matrixr1__89_14.min1.thm1
2017-02-06 12:46
1.0K
matrixr1__78_50.min1.thm1.tptp
2017-02-06 16:47
324
matrixr1__78_50.min1.thm1
2017-02-06 12:46
402
matrixr1__68_50.min1.thm1.tptp
2017-02-06 16:47
324
matrixr1__68_50.min1.thm1
2017-02-06 12:46
402
matrixr1__53_50.min1.thm1.tptp
2017-02-06 16:47
324
matrixr1__53_50.min1.thm1
2017-02-06 12:46
402
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80