Index of /~mptp/1147/MPTP2/ilp0/matrix15
Name
Last modified
Size
Description
Parent Directory
-
matrix15__87_22.min1.thm1
2017-02-06 12:46
1.6K
matrix15__120_27.min1.thm1
2017-02-06 12:46
1.2K
matrix15__121_32.min1.thm1
2017-02-06 12:46
2.0K
matrix15__138_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__139_22.min1.thm1
2017-02-06 12:46
1.9K
matrix15__140_18.min1.thm1
2017-02-06 12:46
2.0K
matrix15__141_17.min1.thm1
2017-02-06 12:46
2.5K
matrix15__154_25.min1.thm1
2017-02-06 12:46
492
matrix15__154_25.min1.thm1.tptp
2017-02-06 16:47
418
matrix15__155_15.min1.thm1
2017-02-06 12:46
376
matrix15__163_12.min1.thm1
2017-02-06 12:46
1.2K
matrix15__169_14.min1.thm1
2017-02-06 12:46
493
matrix15__169_14.min1.thm1.tptp
2017-02-06 16:47
426
matrix15__180_58.min1.thm1
2017-02-06 12:44
759
matrix15__181_58.min1.thm1
2017-02-06 12:44
759
matrix15__193_36.min1.thm1
2017-02-06 12:46
856
matrix15__195_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__198_28.min1.thm1
2017-02-06 12:46
1.4K
matrix15__199_56.min1.thm1
2017-02-06 12:46
938
matrix15__210_19.min1.thm1
2017-02-06 12:44
422
matrix15__211_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__212_36.min1.thm1
2017-02-06 12:46
856
matrix15__215_28.min1.thm1
2017-02-06 12:44
1.4K
matrix15__216_56.min1.thm1
2017-02-06 12:46
963
matrix15__225_27.min1.thm1
2017-02-06 12:44
556
matrix15__236_54.min1.thm1
2017-02-06 12:46
453
matrix15__236_54.min1.thm1.tptp
2017-02-06 16:47
375
matrix15__237_54.min1.thm1
2017-02-06 12:46
453
matrix15__237_54.min1.thm1.tptp
2017-02-06 16:47
375
matrix15__248_22.min1.thm1
2017-02-06 12:46
695
matrix15__249_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__250_49.min1.thm1
2017-02-06 12:46
657
matrix15__260_22.min1.thm1
2017-02-06 12:46
695
matrix15__264_22.min1.thm1
2017-02-06 12:46
422
matrix15__265_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__266_49.min1.thm1
2017-02-06 12:46
669
matrix15__274_25.min1.thm1
2017-02-06 12:44
552
matrix15__289_38.min1.thm1
2017-02-06 12:46
1.2K
matrix15__290_34.min1.thm1
2017-02-06 12:44
720
matrix15__292_34.min1.thm1
2017-02-06 12:46
1.6K
matrix15__293_20.min1.thm1
2017-02-06 12:46
1.0K
matrix15__296_20.min1.thm1
2017-02-06 12:46
1.0K
matrix15__305_15.min1.thm1
2017-02-06 12:46
248
matrix15__308_33.min1.thm1
2017-02-06 12:46
1.6K
matrix15__309_24.min1.thm1
2017-02-06 12:46
1.2K
matrix15__310_29.min1.thm1
2017-02-06 12:46
1.6K
matrix15__311_29.min1.thm1
2017-02-06 12:46
1.5K
matrix15__319_24.min1.thm1
2017-02-06 12:44
1.2K
matrix15__321_29.min1.thm1
2017-02-06 12:46
1.5K
matrix15__324_35.min1.thm1
2017-02-06 12:46
571
matrix15__324_35.min1.thm1.tptp
2017-02-06 16:47
489
matrix15__344_11.min1.thm1
2017-02-06 12:46
1.0K
matrix15__345_19.min1.thm1
2017-02-06 12:46
523
matrix15__372_36.min1.thm1
2017-02-06 12:44
1.5K
matrix15__381_21.min1.thm1
2017-02-06 12:46
1.7K
matrix15__382_18.min1.thm1
2017-02-06 12:46
1.2K
matrix15__383_20.min1.thm1
2017-02-06 12:44
715
matrix15__390_27.min1.thm1
2017-02-06 12:44
1.9K
matrix15__393_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__395_22.min1.thm1
2017-02-06 12:46
1.2K
matrix15__396_22.min1.thm1
2017-02-06 12:47
597
matrix15__425_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__426_29.min1.thm1
2017-02-06 12:44
2.1K
matrix15__428_14.min1.thm1
2017-02-06 12:46
1.7K
matrix15__433_17.min1.thm1
2017-02-06 12:46
1.6K
matrix15__435_16.min1.thm1
2017-02-06 12:46
1.9K
matrix15__436_20.min1.thm1
2017-02-06 12:44
1.9K
matrix15__437_27.min1.thm1
2017-02-06 12:46
769
matrix15__445_42.min1.thm1
2017-02-06 12:46
464
matrix15__447_26.min1.thm1
2017-02-06 12:46
864
matrix15__448_20.min1.thm1
2017-02-06 12:46
1.4K
matrix15__451_16.min1.thm1
2017-02-06 12:46
2.0K
matrix15__458_16.min1.thm1
2017-02-06 12:46
1.2K
matrix15__459_26.min1.thm1
2017-02-06 12:46
1.5K
matrix15__464_42.min1.thm1
2017-02-06 12:46
464
matrix15__465_13.min1.thm1
2017-02-06 12:44
848
matrix15__471_16.min1.thm1
2017-02-06 12:46
1.8K
matrix15__478_18.min1.thm1
2017-02-06 12:44
603
matrix15__479_52.min1.thm1
2017-02-06 12:46
490
matrix15__488_37.min1.thm1
2017-02-06 12:46
452
matrix15__490_22.min1.thm1
2017-02-06 12:44
926
matrix15__491_14.min1.thm1
2017-02-06 12:46
630
matrix15__498_39.min1.thm1
2017-02-06 12:44
944
matrix15__502_14.min1.thm1
2017-02-06 12:46
1.5K
matrix15__505_13.min1.thm1
2017-02-06 12:46
1.2K
matrix15__520_11.min1.thm1
2017-02-06 12:46
1.2K
matrix15__522_16.min1.thm1
2017-02-06 12:46
1.6K
matrix15__525_16.min1.thm1
2017-02-06 12:46
1.6K
matrix15__526_18.min1.thm1
2017-02-06 12:46
1.2K
matrix15__530_18.min1.thm1
2017-02-06 12:46
1.3K
matrix15__531_28.min1.thm1
2017-02-06 12:46
1.3K
matrix15__534_43.min1.thm1
2017-02-06 12:46
916
matrix15__561_37.min1.thm1
2017-02-06 12:46
510
matrix15__561_37.min1.thm1.tptp
2017-02-06 16:47
447
matrix15__563_20.min1.thm1
2017-02-06 12:46
1.1K
matrix15__571_37.min1.thm1
2017-02-06 12:44
510
matrix15__571_37.min1.thm1.tptp
2017-02-06 16:47
447
matrix15__573_20.min1.thm1
2017-02-06 12:46
1.1K
matrix15__575_27.min1.thm1
2017-02-06 12:46
698
matrix15__576_28.min1.thm1
2017-02-06 12:46
699
matrix15__577_38.min1.thm1
2017-02-06 12:46
511
matrix15__577_38.min1.thm1.tptp
2017-02-06 16:47
448
matrix15__579_21.min1.thm1
2017-02-06 12:44
1.1K
matrix15__580_28.min1.thm1
2017-02-06 12:46
700
matrix15__581_38.min1.thm1
2017-02-06 12:44
511
matrix15__581_38.min1.thm1.tptp
2017-02-06 16:47
448
matrix15__583_21.min1.thm1
2017-02-06 12:46
1.1K
matrix15__584_28.min1.thm1
2017-02-06 12:46
700
matrix15__589_13.min1.thm1
2017-02-06 12:46
1.1K
matrix15__592_21.min1.thm1
2017-02-06 12:44
660
matrix15__595_20.min1.thm1
2017-02-06 12:46
1.5K
matrix15__596_16.min1.thm1
2017-02-06 12:46
660
matrix15__599_19.min1.thm1
2017-02-06 12:46
1.5K
matrix15__600_16.min1.thm1
2017-02-06 12:46
661
matrix15__603_20.min1.thm1
2017-02-06 12:46
1.5K
matrix15__604_16.min1.thm1
2017-02-06 12:46
661
matrix15__607_19.min1.thm1
2017-02-06 12:46
1.5K
matrix15__608_41.min1.thm1
2017-02-06 12:46
1.6K
matrix15__614_36.min1.thm1
2017-02-06 12:46
2.4K
matrix15__615_22.min1.thm1
2017-02-06 12:46
2.0K
matrix15__616_54.min1.thm1
2017-02-06 12:46
2.6K
matrix15__618_27.min1.thm1
2017-02-06 12:46
2.7K
matrix15__633_21.min1.thm1
2017-02-06 12:46
663
matrix15__636_19.min1.thm1
2017-02-06 12:46
1.5K
matrix15__637_16.min1.thm1
2017-02-06 12:46
663
matrix15__640_19.min1.thm1
2017-02-06 12:46
1.5K
matrix15__641_41.min1.thm1
2017-02-06 12:44
1.6K
matrix15__656_21.min1.thm1
2017-02-06 12:46
663
matrix15__659_19.min1.thm1
2017-02-06 12:44
1.5K
matrix15__660_16.min1.thm1
2017-02-06 12:46
663
matrix15__663_19.min1.thm1
2017-02-06 12:46
1.5K
matrix15__664_41.min1.thm1
2017-02-06 12:46
1.6K
matrix15__680_20.min1.thm1
2017-02-06 12:46
2.3K
matrix15__680_20.min1.thm1.tptp
2017-02-06 16:47
2.3K
matrix15__688_25.min1.thm1
2017-02-06 12:46
1.5K
matrix15__701_22.min1.thm1
2017-02-06 12:46
1.6K
matrix15__703_26.min1.thm1
2017-02-06 12:44
1.6K
matrix15__721_22.min1.thm1
2017-02-06 12:46
1.6K
matrix15__723_26.min1.thm1
2017-02-06 12:44
1.6K
matrix15__731_38.min1.thm1
2017-02-06 12:46
851
matrix15__749_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__752_25.min1.thm1
2017-02-06 12:44
468
matrix15__752_25.min1.thm1.tptp
2017-02-06 16:47
397
matrix15__754_28.min1.thm1
2017-02-06 12:46
564
matrix15__763_20.min1.thm1
2017-02-06 12:47
1.0K
matrix15__776_11.min1.thm1
2017-02-06 12:46
247
matrix15__779_32.min1.thm1
2017-02-06 12:46
762
matrix15__789_19.min1.thm1
2017-02-06 12:46
458
matrix15__790_18.min1.thm1
2017-02-06 12:47
497
matrix15__797_25.min1.thm1
2017-02-06 12:46
484
matrix15__798_26.min1.thm1
2017-02-06 12:44
633
matrix15__801_26.min1.thm1
2017-02-06 12:44
1.1K
matrix15__804_21.min1.thm1
2017-02-06 12:46
724
matrix15__810_15.min1.thm1
2017-02-06 12:46
439
matrix15__812_16.min1.thm1
2017-02-06 12:46
1.0K
matrix15__815_26.min1.thm1
2017-02-06 12:44
1.1K
matrix15__820_26.min1.thm1
2017-02-06 12:46
1.1K
matrix15__823_15.min1.thm1
2017-02-06 12:46
439
matrix15__824_20.min1.thm1
2017-02-06 12:46
1.0K
matrix15__833_16.min1.thm1
2017-02-06 12:46
1.6K
matrix15__846_25.min1.thm1
2017-02-06 12:46
2.1K
matrix15__861_29.min1.thm1
2017-02-06 12:47
787
matrix15__871_39.min1.thm1
2017-02-06 12:46
1.3K
matrix15__901_49.min1.thm1
2017-02-06 12:46
2.3K
matrix15__914_19.min1.thm1
2017-02-06 12:44
1.1K
matrix15__918_27.min1.thm1
2017-02-06 12:46
2.0K
matrix15__919_27.min1.thm1
2017-02-06 12:44
953
matrix15__926_18.min1.thm1
2017-02-06 12:44
1.5K
matrix15__927_37.min1.thm1
2017-02-06 12:46
1.3K
matrix15__936_18.min1.thm1
2017-02-06 12:46
1.1K
matrix15__952_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__953_11.min1.thm1
2017-02-06 12:46
1.3K
matrix15__958_13.min1.thm1
2017-02-06 12:46
711
matrix15__974_16.min1.thm1
2017-02-06 12:44
1.5K
matrix15__975_29.min1.thm1
2017-02-06 12:46
433
matrix15__977_15.min1.thm1
2017-02-06 12:46
658
matrix15__979_16.min1.thm1
2017-02-06 12:46
1.4K
matrix15__981_32.min1.thm1
2017-02-06 12:46
1.2K
matrix15__985_19.min1.thm1
2017-02-06 12:46
2.4K
matrix15__986_25.min1.thm1
2017-02-06 12:46
2.3K
matrix15__992_30.min1.thm1
2017-02-06 12:46
1.4K
matrix15__994_42.min1.thm1
2017-02-06 12:44
1.2K
matrix15__1019_20.min1.thm1
2017-02-06 12:46
771
matrix15__1021_21.min1.thm1
2017-02-06 12:46
3.0K
matrix15__1028_21.min1.thm1
2017-02-06 12:46
3.0K
matrix15__1051_13.min1.thm1
2017-02-06 12:46
203
matrix15__1054_15.min1.thm1
2017-02-06 12:46
203
matrix15__1065_18.min1.thm1
2017-02-06 12:46
1.1K
matrix15__1073_20.min1.thm1
2017-02-06 12:46
529
matrix15__1073_20.min1.thm1.tptp
2017-02-06 16:47
455
matrix15__1083_27.min1.thm1
2017-02-06 12:46
2.0K
matrix15__1098_21.min1.thm1
2017-02-06 12:46
1.1K
matrix15__1104_45.min1.thm1
2017-02-06 12:46
4.8K
matrix15__1109_62.min1.thm1
2017-02-06 12:44
1.6K
matrix15__1124_39.min1.thm1
2017-02-06 12:46
456
matrix15__1126_24.min1.thm1
2017-02-06 12:46
1.5K
matrix15__1127_17.min1.thm1
2017-02-06 12:44
1.0K
matrix15__1128_24.min1.thm1
2017-02-06 12:46
1.5K
matrix15__1129_17.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1132_14.min1.thm1
2017-02-06 12:47
626
matrix15__1135_13.min1.thm1
2017-02-06 12:44
1.2K
matrix15__1139_21.min1.thm1
2017-02-06 12:44
2.4K
matrix15__1144_19.min1.thm1
2017-02-06 12:46
1.7K
matrix15__1145_43.min1.thm1
2017-02-06 12:46
1.2K
matrix15__1165_34.min1.thm1
2017-02-06 12:46
1.2K
matrix15__1179_14.min1.thm1
2017-02-06 12:44
968
matrix15__1183_11.min1.thm1
2017-02-06 12:46
653
matrix15__1185_29.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1188_18.min1.thm1
2017-02-06 12:47
1.6K
matrix15__1210_14.min1.thm1
2017-02-06 12:44
968
matrix15__1212_18.min1.thm1
2017-02-06 12:46
1.6K
matrix15__1215_11.min1.thm1
2017-02-06 12:46
653
matrix15__1248_19.min1.thm1
2017-02-06 12:46
792
matrix15__1249_48.min1.thm1
2017-02-06 12:46
3.0K
matrix15__1255_15.min1.thm1
2017-02-06 12:46
380
matrix15__1257_17.min1.thm1
2017-02-06 12:46
1.5K
matrix15__1260_15.min1.thm1
2017-02-06 12:44
205
matrix15__1264_24.min1.thm1
2017-02-06 12:46
1.4K
matrix15__1271_31.min1.thm1
2017-02-06 12:46
1.4K
matrix15__1291_19.min1.thm1
2017-02-06 12:46
329
matrix15__1291_19.min1.thm1.tptp
2017-02-06 16:47
252
matrix15__1292_14.min1.thm1
2017-02-06 12:44
968
matrix15__1293_50.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1300_43.min1.thm1
2017-02-06 12:46
573
matrix15__1301_18.min1.thm1
2017-02-06 12:44
1.6K
matrix15__1302_11.min1.thm1
2017-02-06 12:44
1.0K
matrix15__1303_44.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1321_15.min1.thm1
2017-02-06 12:46
968
matrix15__1322_50.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1323_17.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1324_75.min1.thm1
2017-02-06 12:46
2.5K
matrix15__1330_21.min1.thm1
2017-02-06 12:44
1.6K
matrix15__1333_43.min1.thm1
2017-02-06 12:46
573
matrix15__1335_11.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1336_44.min1.thm1
2017-02-06 12:44
1.8K
matrix15__1343_31.min1.thm1
2017-02-06 12:44
2.6K
matrix15__1357_45.min1.thm1
2017-02-06 12:44
2.3K
matrix15__1358_45.min1.thm1
2017-02-06 12:44
2.3K
matrix15__1360_11.min1.thm1
2017-02-06 12:46
1.9K
matrix15__1370_30.min1.thm1
2017-02-06 12:46
1.9K
matrix15__1376_55.min1.thm1
2017-02-06 12:44
2.0K
matrix15__1377_50.min1.thm1
2017-02-06 12:44
4.3K
matrix15__1390_45.min1.thm1
2017-02-06 12:44
2.3K
matrix15__1391_45.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1405_23.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1407_45.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1408_45.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1411_11.min1.thm1
2017-02-06 12:46
1.9K
matrix15__1419_19.min1.thm1
2017-02-06 12:46
4.2K
matrix15__1440_45.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1441_45.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1443_11.min1.thm1
2017-02-06 12:46
1.7K
matrix15__1451_10.min1.thm1
2017-02-06 12:46
1.6K
matrix15__1471_19.min1.thm1
2017-02-06 12:46
404
matrix15__1476_22.min1.thm1
2017-02-06 12:46
1.4K
matrix15__1485_26.min1.thm1
2017-02-06 12:44
1.9K
matrix15__1501_49.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1502_49.min1.thm1
2017-02-06 12:44
2.3K
matrix15__1509_17.min1.thm1
2017-02-06 12:44
596
matrix15__1510_26.min1.thm1
2017-02-06 12:46
1.2K
matrix15__1512_12.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1515_29.min1.thm1
2017-02-06 12:46
1.9K
matrix15__1518_27.min1.thm1
2017-02-06 12:46
1.3K
matrix15__1520_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__1522_11.min1.thm1
2017-02-06 12:44
1.9K
matrix15__1525_45.min1.thm1
2017-02-06 12:44
832
matrix15__1546_18.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1559_9.min1.thm1
2017-02-06 12:46
1.2K
matrix15__1560_31.min1.thm1
2017-02-06 12:44
1.8K
matrix15__1561_28.min1.thm1
2017-02-06 12:44
2.0K
matrix15__1567_33.min1.thm1
2017-02-06 12:46
694
matrix15__1570_23.min1.thm1
2017-02-06 12:46
1.4K
matrix15__1573_19.min1.thm1
2017-02-06 12:46
2.4K
matrix15__1575_18.min1.thm1
2017-02-06 12:46
913
matrix15__1578_17.min1.thm1
2017-02-06 12:46
1.5K
matrix15__1579_37.min1.thm1
2017-02-06 12:46
1.3K
matrix15__1580_33.min1.thm1
2017-02-06 12:46
2.1K
matrix15__1613_11.min1.thm1
2017-02-06 12:46
623
matrix15__1619_14.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1620_20.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1622_13.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1626_21.min1.thm1
2017-02-06 12:44
1.2K
matrix15__1630_30.min1.thm1
2017-02-06 12:46
2.7K
matrix15__1631_21.min1.thm1
2017-02-06 12:46
3.1K
matrix15__1641_14.min1.thm1
2017-02-06 12:46
904
matrix15__1645_19.min1.thm1
2017-02-06 12:44
1.6K
matrix15__1650_47.min1.thm1
2017-02-06 12:44
969
matrix15__1651_12.min1.thm1
2017-02-06 12:46
902
matrix15__1652_17.min1.thm1
2017-02-06 12:46
1.7K
matrix15__1653_17.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1664_28.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1666_32.min1.thm1
2017-02-06 12:46
1.6K
matrix15__1669_14.min1.thm1
2017-02-06 12:46
904
matrix15__1670_46.min1.thm1
2017-02-06 12:46
2.9K
matrix15__1671_14.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1673_19.min1.thm1
2017-02-06 12:46
3.4K
matrix15__1679_18.min1.thm1
2017-02-06 12:46
1.2K
matrix15__1680_12.min1.thm1
2017-02-06 12:46
902
matrix15__1681_24.min1.thm1
2017-02-06 12:46
1.2K
matrix15__1683_12.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1684_14.min1.thm1
2017-02-06 12:46
719
matrix15__1692_15.min1.thm1
2017-02-06 12:44
2.1K
matrix15__1695_77.min1.thm1
2017-02-06 12:46
777
matrix15__1704_21.min1.thm1
2017-02-06 12:44
3.1K
matrix15__1705_11.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1708_23.min1.thm1
2017-02-06 12:47
1.0K
matrix15__1715_33.min1.thm1
2017-02-06 12:46
3.9K
matrix15__1716_25.min1.thm1
2017-02-06 12:44
2.4K
matrix15__1730_19.min1.thm1
2017-02-06 12:46
3.1K
matrix15__1733_77.min1.thm1
2017-02-06 12:44
777
matrix15__1735_19.min1.thm1
2017-02-06 12:44
3.2K
matrix15__1741_11.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1749_36.min1.thm1
2017-02-06 12:46
4.0K
matrix15__1750_19.min1.thm1
2017-02-06 12:44
2.7K
matrix15__1751_25.min1.thm1
2017-02-06 12:46
2.4K
matrix15__1764_27.min1.thm1
2017-02-06 12:46
3.1K
matrix15__1773_22.min1.thm1
2017-02-06 12:46
1.3K
matrix15__1774_11.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1780_31.min1.thm1
2017-02-06 12:44
3.2K
matrix15__1786_26.min1.thm1
2017-02-06 12:44
2.7K
matrix15__1799_16.min1.thm1
2017-02-06 12:44
2.1K
matrix15__1806_10.min1.thm1
2017-02-06 12:46
587
matrix15__1807_26.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1830_10.min1.thm1
2017-02-06 12:46
527
matrix15__1831_26.min1.thm1
2017-02-06 12:46
2.3K
matrix15__1848_11.min1.thm1
2017-02-06 12:46
131
matrix15__1856_29.min1.thm1
2017-02-06 12:46
395
matrix15__1856_29.min1.thm1.tptp
2017-02-06 16:47
318
matrix15__1878_15.min1.thm1
2017-02-06 12:46
380
matrix15__1889_17.min1.thm1
2017-02-06 12:44
1.2K
matrix15__1906_38.min1.thm1
2017-02-06 12:46
2.5K
matrix15__1920_19.min1.thm1
2017-02-06 12:46
2.2K
matrix15__1923_16.min1.thm1
2017-02-06 12:46
1.7K
matrix15__1924_11.min1.thm1
2017-02-06 12:46
1.3K
matrix15__1926_15.min1.thm1
2017-02-06 12:46
1.7K
matrix15__1927_11.min1.thm1
2017-02-06 12:46
1.3K
matrix15__1943_21.min1.thm1
2017-02-06 12:44
1.0K
matrix15__1944_24.min1.thm1
2017-02-06 12:46
1.0K
matrix15__1946_55.min1.thm1
2017-02-06 12:46
638
matrix15__1976_28.min1.thm1
2017-02-06 12:46
1.8K
matrix15__1988_36.min1.thm1
2017-02-06 12:46
2.8K
matrix15__2021_21.min1.thm1
2017-02-06 12:46
2.2K
matrix15__2022_27.min1.thm1
2017-02-06 12:44
2.9K
matrix15__2026_15.min1.thm1
2017-02-06 12:44
1.7K
matrix15__2037_15.min1.thm1
2017-02-06 12:46
205
matrix15__2058_29.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2081_11.min1.thm1
2017-02-06 12:44
245
matrix15__2084_15.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2099_28.min1.thm1
2017-02-06 12:46
1.8K
matrix15__2105_28.min1.thm1
2017-02-06 12:46
1.8K
matrix15__2114_14.min1.thm1
2017-02-06 12:44
1.7K
matrix15__2121_14.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2148_23.min1.thm1
2017-02-06 12:44
2.2K
matrix15__2149_27.min1.thm1
2017-02-06 12:46
3.1K
matrix15__2167_8.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2176_17.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2183_15.min1.thm1
2017-02-06 12:44
205
matrix15__2189_46.min1.thm1
2017-02-06 12:46
3.8K
matrix15__2207_29.min1.thm1
2017-02-06 12:46
2.1K
matrix15__2229_19.min1.thm1
2017-02-06 12:46
3.5K
matrix15__2233_11.min1.thm1
2017-02-06 12:46
245
matrix15__2236_15.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2268_14.min1.thm1
2017-02-06 12:46
5.1K
matrix15__2288_14.min1.thm1
2017-02-06 12:46
5.1K
matrix15__2301_11.min1.thm1
2017-02-06 12:46
197
matrix15__2304_19.min1.thm1
2017-02-06 12:46
3.1K
matrix15__2323_19.min1.thm1
2017-02-06 12:46
4.6K
matrix15__2343_15.min1.thm1
2017-02-06 12:46
380
matrix15__2346_18.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2347_27.min1.thm1
2017-02-06 12:46
1.2K
matrix15__2348_22.min1.thm1
2017-02-06 12:44
1.3K
matrix15__2389_23.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2394_23.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2403_21.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2414_19.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2415_26.min1.thm1
2017-02-06 12:44
1.5K
matrix15__2417_21.min1.thm1
2017-02-06 12:44
859
matrix15__2418_22.min1.thm1
2017-02-06 12:46
1.2K
matrix15__2419_25.min1.thm1
2017-02-06 12:46
1.4K
matrix15__2422_45.min1.thm1
2017-02-06 12:46
574
matrix15__2455_24.min1.thm1
2017-02-06 12:46
1.2K
matrix15__2458_23.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2469_24.min1.thm1
2017-02-06 12:44
1.5K
matrix15__2478_47.min1.thm1
2017-02-06 12:44
587
matrix15__2481_17.min1.thm1
2017-02-06 12:46
261
matrix15__2484_25.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2487_35.min1.thm1
2017-02-06 12:44
2.3K
matrix15__2490_20.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2491_43.min1.thm1
2017-02-06 12:44
1.3K
matrix15__2496_51.min1.thm1
2017-02-06 12:46
4.1K
matrix15__2505_38.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2506_38.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2516_28.min1.thm1
2017-02-06 12:46
650
matrix15__2523_17.min1.thm1
2017-02-06 12:44
1.7K
matrix15__2533_20.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2548_20.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2561_15.min1.thm1
2017-02-06 12:46
1.9K
matrix15__2562_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2570_16.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2588_15.min1.thm1
2017-02-06 12:46
1.9K
matrix15__2594_14.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2600_70.min1.thm1
2017-02-06 12:46
1.2K
matrix15__2610_21.min1.thm1
2017-02-06 12:47
1.3K
matrix15__2616_17.min1.thm1
2017-02-06 12:46
669
matrix15__2616_17.min1.thm1.tptp
2017-02-06 16:47
583
matrix15__2625_42.min1.thm1
2017-02-06 12:46
1.0K
matrix15__2626_54.min1.thm1
2017-02-06 12:46
541
matrix15__2629_21.min1.thm1
2017-02-06 12:46
890
matrix15__2630_18.min1.thm1
2017-02-06 12:46
850
matrix15__2632_16.min1.thm1
2017-02-06 12:44
1.0K
matrix15__2635_55.min1.thm1
2017-02-06 12:44
476
matrix15__2636_14.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2637_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2640_35.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2645_14.min1.thm1
2017-02-06 12:44
1.7K
matrix15__2650_11.min1.thm1
2017-02-06 12:46
1.0K
matrix15__2654_28.min1.thm1
2017-02-06 12:46
207
matrix15__2659_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2666_19.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2668_9.min1.thm1
2017-02-06 12:46
2.1K
matrix15__2669_14.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2671_9.min1.thm1
2017-02-06 12:44
2.1K
matrix15__2691_22.min1.thm1
2017-02-06 12:47
1.5K
matrix15__2692_21.min1.thm1
2017-02-06 12:46
329
matrix15__2692_21.min1.thm1.tptp
2017-02-06 16:47
252
matrix15__2696_18.min1.thm1
2017-02-06 12:46
618
matrix15__2698_13.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2701_26.min1.thm1
2017-02-06 12:46
682
matrix15__2702_59.min1.thm1
2017-02-06 12:46
591
matrix15__2702_59.min1.thm1.tptp
2017-02-06 16:47
529
matrix15__2704_73.min1.thm1
2017-02-06 12:46
921
matrix15__2704_73.min1.thm1.tptp
2017-02-06 16:47
840
matrix15__2716_19.min1.thm1
2017-02-06 12:46
330
matrix15__2716_19.min1.thm1.tptp
2017-02-06 16:47
253
matrix15__2720_17.min1.thm1
2017-02-06 12:46
1.6K
matrix15__2721_20.min1.thm1
2017-02-06 12:44
951
matrix15__2723_14.min1.thm1
2017-02-06 12:44
610
matrix15__2725_16.min1.thm1
2017-02-06 12:46
748
matrix15__2730_51.min1.thm1
2017-02-06 12:46
2.1K
matrix15__2732_19.min1.thm1
2017-02-06 12:47
701
matrix15__2733_63.min1.thm1
2017-02-06 12:46
1.2K
matrix15__2734_27.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2735_12.min1.thm1
2017-02-06 12:46
326
matrix15__2746_20.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2753_65.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2759_15.min1.thm1
2017-02-06 12:46
2.4K
matrix15__2763_12.min1.thm1
2017-02-06 12:44
1.6K
matrix15__2765_46.min1.thm1
2017-02-06 12:44
2.7K
matrix15__2766_33.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2768_32.min1.thm1
2017-02-06 12:46
655
matrix15__2770_28.min1.thm1
2017-02-06 12:46
1.8K
matrix15__2773_43.min1.thm1
2017-02-06 12:44
573
matrix15__2774_34.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2779_18.min1.thm1
2017-02-06 12:46
1.2K
matrix15__2784_29.min1.thm1
2017-02-06 12:46
640
matrix15__2796_18.min1.thm1
2017-02-06 12:44
1.2K
matrix15__2804_24.min1.thm1
2017-02-06 12:46
576
matrix15__2817_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2825_24.min1.thm1
2017-02-06 12:46
857
matrix15__2830_27.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2831_47.min1.thm1
2017-02-06 12:46
1.3K
matrix15__2863_48.min1.thm1
2017-02-06 12:44
686
matrix15__2867_23.min1.thm1
2017-02-06 12:46
1.6K
matrix15__2869_31.min1.thm1
2017-02-06 12:44
1.0K
matrix15__2909_28.min1.thm1
2017-02-06 12:46
630
matrix15__2926_16.min1.thm1
2017-02-06 12:46
1.6K
matrix15__2929_19.min1.thm1
2017-02-06 12:46
329
matrix15__2929_19.min1.thm1.tptp
2017-02-06 16:47
252
matrix15__2933_18.min1.thm1
2017-02-06 12:44
700
matrix15__2934_48.min1.thm1
2017-02-06 12:44
1.2K
matrix15__2935_22.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2936_12.min1.thm1
2017-02-06 12:44
300
matrix15__2940_23.min1.thm1
2017-02-06 12:44
1.4K
matrix15__2941_33.min1.thm1
2017-02-06 12:44
1.7K
matrix15__2942_22.min1.thm1
2017-02-06 12:46
895
matrix15__2947_32.min1.thm1
2017-02-06 12:46
703
matrix15__2948_19.min1.thm1
2017-02-06 12:46
619
matrix15__2949_50.min1.thm1
2017-02-06 12:44
1.0K
matrix15__2957_15.min1.thm1
2017-02-06 12:46
3.2K
matrix15__2960_12.min1.thm1
2017-02-06 12:46
1.6K
matrix15__2964_55.min1.thm1
2017-02-06 12:46
922
matrix15__2964_55.min1.thm1.tptp
2017-02-06 16:47
842
matrix15__2965_33.min1.thm1
2017-02-06 12:46
3.4K
matrix15__2966_17.min1.thm1
2017-02-06 12:46
1.6K
matrix15__2967_17.min1.thm1
2017-02-06 12:46
3.4K
matrix15__2969_42.min1.thm1
2017-02-06 12:46
2.7K
matrix15__2970_33.min1.thm1
2017-02-06 12:46
1.7K
matrix15__2972_32.min1.thm1
2017-02-06 12:46
616
matrix15__2975_43.min1.thm1
2017-02-06 12:46
573
matrix15__2986_19.min1.thm1
2017-02-06 12:46
1.1K
matrix15__2989_20.min1.thm1
2017-02-06 12:46
1.5K
matrix15__2992_23.min1.thm1
2017-02-06 12:46
571
matrix15__2998_23.min1.thm1
2017-02-06 12:46
570
matrix15__3003_33.min1.thm1
2017-02-06 12:46
724
matrix15__3008_18.min1.thm1
2017-02-06 12:46
825
matrix15__3013_21.min1.thm1
2017-02-06 12:44
1.5K
matrix15__3014_41.min1.thm1
2017-02-06 12:46
1.3K
matrix15__3063_17.min1.thm1
2017-02-06 12:46
3.3K
matrix15__3070_14.min1.thm1
2017-02-06 12:46
2.2K
matrix15__3077_19.min1.thm1
2017-02-06 12:46
560
matrix15__3079_12.min1.thm1
2017-02-06 12:46
2.2K
matrix15__3086_17.min1.thm1
2017-02-06 12:44
945
matrix15__3098_37.min1.thm1
2017-02-06 12:46
485
matrix15__3098_37.min1.thm1.tptp
2017-02-06 16:47
408
matrix15__3105_50.min1.thm1
2017-02-06 12:46
1.7K
matrix15__3111_15.min1.thm1
2017-02-06 12:46
380
matrix15__3113_17.min1.thm1
2017-02-06 12:44
1.5K
matrix15__3130_28.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3133_17.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3152_16.min1.thm1
2017-02-06 12:44
1.3K
matrix15__3158_19.min1.thm1
2017-02-06 12:46
1.3K
matrix15__3160_16.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3173_45.min1.thm1
2017-02-06 12:46
567
matrix15__3173_45.min1.thm1.tptp
2017-02-06 16:47
490
matrix15__3177_30.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3184_11.min1.thm1
2017-02-06 12:44
1.0K
matrix15__3193_41.min1.thm1
2017-02-06 12:46
1.2K
matrix15__3202_16.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3203_15.min1.thm1
2017-02-06 12:46
2.2K
matrix15__3204_21.min1.thm1
2017-02-06 12:46
662
matrix15__3206_11.min1.thm1
2017-02-06 12:46
1.0K
matrix15__3207_16.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3214_19.min1.thm1
2017-02-06 12:47
1.8K
matrix15__3248_13.min1.thm1
2017-02-06 12:44
1.0K
matrix15__3254_32.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3256_17.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3286_51.min1.thm1
2017-02-06 12:46
2.7K
matrix15__3287_17.min1.thm1
2017-02-06 12:44
899
matrix15__3295_27.min1.thm1
2017-02-06 12:46
769
matrix15__3296_35.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3299_33.min1.thm1
2017-02-06 12:46
1.4K
matrix15__3301_28.min1.thm1
2017-02-06 12:46
632
matrix15__3302_23.min1.thm1
2017-02-06 12:44
2.0K
matrix15__3311_27.min1.thm1
2017-02-06 12:46
938
matrix15__3311_27.min1.thm1.tptp
2017-02-06 16:47
888
matrix15__3312_43.min1.thm1
2017-02-06 12:46
1.7K
matrix15__3317_20.min1.thm1
2017-02-06 12:46
624
matrix15__3318_24.min1.thm1
2017-02-06 12:46
2.3K
matrix15__3327_30.min1.thm1
2017-02-06 12:46
1.1K
matrix15__3328_19.min1.thm1
2017-02-06 12:44
794
matrix15__3330_29.min1.thm1
2017-02-06 12:44
611
matrix15__3331_32.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3350_23.min1.thm1
2017-02-06 12:46
357
matrix15__3359_31.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3360_30.min1.thm1
2017-02-06 12:46
741
matrix15__3361_44.min1.thm1
2017-02-06 12:46
1.4K
matrix15__3371_31.min1.thm1
2017-02-06 12:46
1.7K
matrix15__3385_29.min1.thm1
2017-02-06 12:46
335
matrix15__3398_35.min1.thm1
2017-02-06 12:46
3.7K
matrix15__3408_35.min1.thm1
2017-02-06 12:46
3.6K
matrix15__3411_38.min1.thm1
2017-02-06 12:46
2.4K
matrix15__3415_31.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3416_29.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3425_51.min1.thm1
2017-02-06 12:46
2.6K
matrix15__3428_32.min1.thm1
2017-02-06 12:46
859
matrix15__3431_34.min1.thm1
2017-02-06 12:46
753
matrix15__3433_35.min1.thm1
2017-02-06 12:46
1.7K
matrix15__3453_41.min1.thm1
2017-02-06 12:44
582
matrix15__3460_42.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3479_29.min1.thm1
2017-02-06 12:46
335
matrix15__3483_47.min1.thm1
2017-02-06 12:44
2.1K
matrix15__3489_49.min1.thm1
2017-02-06 12:46
2.1K
matrix15__3493_25.min1.thm1
2017-02-06 12:46
2.4K
matrix15__3501_29.min1.thm1
2017-02-06 12:46
335
matrix15__3512_35.min1.thm1
2017-02-06 12:46
4.0K
matrix15__3524_29.min1.thm1
2017-02-06 12:46
335
matrix15__3528_35.min1.thm1
2017-02-06 12:46
2.3K
matrix15__3535_40.min1.thm1
2017-02-06 12:46
2.4K
matrix15__3543_35.min1.thm1
2017-02-06 12:44
2.3K
matrix15__3551_40.min1.thm1
2017-02-06 12:46
1.9K
matrix15__3566_21.min1.thm1
2017-02-06 12:46
533
matrix15__3587_29.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3594_45.min1.thm1
2017-02-06 12:44
2.0K
matrix15__3602_29.min1.thm1
2017-02-06 12:46
2.4K
matrix15__3604_30.min1.thm1
2017-02-06 12:46
2.5K
matrix15__3608_33.min1.thm1
2017-02-06 12:46
2.6K
matrix15__3619_39.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3623_36.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3627_25.min1.thm1
2017-02-06 12:46
2.9K
matrix15__3627_25.min1.thm1.tptp
2017-02-06 16:47
2.9K
matrix15__3630_27.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3632_26.min1.thm1
2017-02-06 12:46
2.3K
matrix15__3633_40.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3638_78.min1.thm1
2017-02-06 12:46
3.6K
matrix15__3646_32.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3648_28.min1.thm1
2017-02-06 12:46
2.3K
matrix15__3669_45.min1.thm1
2017-02-06 12:44
3.3K
matrix15__3693_47.min1.thm1
2017-02-06 12:46
544
matrix15__3702_24.min1.thm1
2017-02-06 12:44
771
matrix15__3706_37.min1.thm1
2017-02-06 12:46
1.4K
matrix15__3713_37.min1.thm1
2017-02-06 12:46
1.2K
matrix15__3716_25.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3717_24.min1.thm1
2017-02-06 12:46
2.0K
matrix15__3721_37.min1.thm1
2017-02-06 12:44
1.3K
matrix15__3727_32.min1.thm1
2017-02-06 12:44
1.3K
matrix15__3729_27.min1.thm1
2017-02-06 12:44
1.3K
matrix15__3735_34.min1.thm1
2017-02-06 12:46
787
matrix15__3736_44.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3740_29.min1.thm1
2017-02-06 12:46
1.3K
matrix15__3741_28.min1.thm1
2017-02-06 12:44
2.4K
matrix15__3745_39.min1.thm1
2017-02-06 12:46
628
matrix15__3754_33.min1.thm1
2017-02-06 12:46
2.5K
matrix15__3759_33.min1.thm1
2017-02-06 12:46
2.5K
matrix15__3762_42.min1.thm1
2017-02-06 12:46
1.7K
matrix15__3765_29.min1.thm1
2017-02-06 12:44
1.3K
matrix15__3766_36.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3767_31.min1.thm1
2017-02-06 12:46
1.1K
matrix15__3776_47.min1.thm1
2017-02-06 12:46
1.1K
matrix15__3777_31.min1.thm1
2017-02-06 12:46
2.2K
matrix15__3780_32.min1.thm1
2017-02-06 12:44
1.1K
matrix15__3782_31.min1.thm1
2017-02-06 12:46
1.9K
matrix15__3787_23.min1.thm1
2017-02-06 12:44
325
matrix15__3790_39.min1.thm1
2017-02-06 12:46
2.2K
matrix15__3793_37.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3798_25.min1.thm1
2017-02-06 12:44
1.4K
matrix15__3799_39.min1.thm1
2017-02-06 12:46
1.3K
matrix15__3813_25.min1.thm1
2017-02-06 12:46
801
matrix15__3818_25.min1.thm1
2017-02-06 12:46
329
matrix15__3841_23.min1.thm1
2017-02-06 12:46
315
matrix15__3844_34.min1.thm1
2017-02-06 12:44
787
matrix15__3854_29.min1.thm1
2017-02-06 12:44
1.3K
matrix15__3859_31.min1.thm1
2017-02-06 12:46
1.4K
matrix15__3876_45.min1.thm1
2017-02-06 12:46
553
matrix15__3903_49.min1.thm1
2017-02-06 12:46
2.6K
matrix15__3904_19.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3906_41.min1.thm1
2017-02-06 12:46
534
matrix15__3906_41.min1.thm1.tptp
2017-02-06 16:47
450
matrix15__3909_25.min1.thm1
2017-02-06 12:44
1.6K
matrix15__3910_56.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3912_71.min1.thm1
2017-02-06 12:46
803
matrix15__3915_20.min1.thm1
2017-02-06 12:46
1.1K
matrix15__3927_26.min1.thm1
2017-02-06 12:46
1.9K
matrix15__3928_27.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3929_30.min1.thm1
2017-02-06 12:46
2.8K
matrix15__3937_21.min1.thm1
2017-02-06 12:46
1.2K
matrix15__3941_49.min1.thm1
2017-02-06 12:44
629
matrix15__3944_26.min1.thm1
2017-02-06 12:46
2.1K
matrix15__3945_27.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3952_21.min1.thm1
2017-02-06 12:44
1.6K
matrix15__3953_22.min1.thm1
2017-02-06 12:46
1.6K
matrix15__3970_21.min1.thm1
2017-02-06 12:46
420
matrix15__3972_30.min1.thm1
2017-02-06 12:46
3.4K
matrix15__3987_28.min1.thm1
2017-02-06 12:46
1.5K
matrix15__3989_12.min1.thm1
2017-02-06 12:46
3.5K
matrix15__3995_25.min1.thm1
2017-02-06 12:46
1.8K
matrix15__3997_23.min1.thm1
2017-02-06 12:46
1.0K
matrix15__4009_79.min1.thm1
2017-02-06 12:46
2.8K
matrix15__4019_20.min1.thm1
2017-02-06 12:44
1.0K
matrix15__4021_20.min1.thm1
2017-02-06 12:46
1.3K
matrix15__4023_17.min1.thm1
2017-02-06 12:44
1.7K
matrix15__4024_40.min1.thm1
2017-02-06 12:46
2.8K
matrix15__4025_33.min1.thm1
2017-02-06 12:46
1.3K
matrix15__4026_47.min1.thm1
2017-02-06 12:46
831
matrix15__4027_30.min1.thm1
2017-02-06 12:44
1.1K
matrix15__4029_31.min1.thm1
2017-02-06 12:46
950
matrix15__4030_20.min1.thm1
2017-02-06 12:46
1.4K
matrix15__4031_11.min1.thm1
2017-02-06 12:46
2.2K
matrix15__4037_26.min1.thm1
2017-02-06 12:44
1.3K
matrix15__4042_18.min1.thm1
2017-02-06 12:46
265
matrix15__4043_37.min1.thm1
2017-02-06 12:46
629
matrix15__4052_20.min1.thm1
2017-02-06 12:44
2.4K
matrix15__4056_23.min1.thm1
2017-02-06 12:44
1.5K
matrix15__4060_71.min1.thm1
2017-02-06 12:44
1.5K
matrix15__4062_78.min1.thm1
2017-02-06 12:44
815
matrix15__4062_78.min1.thm1.tptp
2017-02-06 16:47
763
matrix15__4068_11.min1.thm1
2017-02-06 12:46
1.6K
matrix15__4131_18.min1.thm1
2017-02-06 12:46
1.7K
matrix15__4135_29.min1.thm1
2017-02-06 12:46
2.4K
matrix15__4137_24.min1.thm1
2017-02-06 12:44
2.6K
matrix15__4138_13.min1.thm1
2017-02-06 12:46
806
matrix15__4142_14.min1.thm1
2017-02-06 12:46
1.1K
matrix15__4153_33.min1.thm1
2017-02-06 12:46
1.3K
matrix15__4164_19.min1.thm1
2017-02-06 12:44
1.1K
matrix15__4176_18.min1.thm1
2017-02-06 12:46
671
matrix15__4179_20.min1.thm1
2017-02-06 12:46
593
matrix15__4181_21.min1.thm1
2017-02-06 12:46
919
matrix15__4185_29.min1.thm1
2017-02-06 12:46
788
matrix15__4200_45.min1.thm1
2017-02-06 12:46
601
matrix15__4203_34.min1.thm1
2017-02-06 12:46
785
matrix15__4217_15.min1.thm1
2017-02-06 12:46
255
matrix15__4249_15.min1.thm1
2017-02-06 12:46
255
matrix15__4257_23.min1.thm1
2017-02-06 12:46
2.5K
matrix15__4266_26.min1.thm1
2017-02-06 12:46
3.9K
matrix15__4273_13.min1.thm1
2017-02-06 12:46
251
matrix15__4288_63.min1.thm1
2017-02-06 12:46
2.0K
matrix15__4303_64.min1.thm1
2017-02-06 12:46
905
matrix15__4305_30.min1.thm1
2017-02-06 12:46
629
matrix15__4313_45.min1.thm1
2017-02-06 12:46
587
matrix15__4316_21.min1.thm1
2017-02-06 12:46
2.5K
matrix15__4317_12.min1.thm1
2017-02-06 12:46
2.3K
matrix15__4320_28.min1.thm1
2017-02-06 12:46
1.9K
matrix15__4322_15.min1.thm1
2017-02-06 12:46
219
matrix15__4325_32.min1.thm1
2017-02-06 12:44
1.8K
matrix15__4326_25.min1.thm1
2017-02-06 12:46
2.5K
matrix15__4331_25.min1.thm1
2017-02-06 12:46
2.3K
matrix15__4334_29.min1.thm1
2017-02-06 12:46
843
matrix15__4352_40.min1.thm1
2017-02-06 12:46
2.3K
matrix15__4354_40.min1.thm1
2017-02-06 12:46
2.3K
matrix15__4381_13.min1.thm1
2017-02-06 12:46
277
matrix15__4385_21.min1.thm1
2017-02-06 12:46
3.7K
matrix15__4400_21.min1.thm1
2017-02-06 12:44
5.0K
matrix15__4403_13.min1.thm1
2017-02-06 12:46
1.0K
matrix15__4403_13.min1.thm1.tptp
2017-02-06 16:47
928
matrix15__4411_11.min1.thm1
2017-02-06 12:46
1.9K
matrix15__4419_13.min1.thm1
2017-02-06 12:46
195
matrix15__4424_23.min1.thm1
2017-02-06 12:46
628
matrix15__4449_18.min1.thm1
2017-02-06 12:46
1.4K
matrix15__4451_28.min1.thm1
2017-02-06 12:46
1.9K
matrix15__4469_23.min1.thm1
2017-02-06 12:46
3.3K
matrix15__4476_48.min1.thm1
2017-02-06 12:46
1.7K
matrix15__4478_35.min1.thm1
2017-02-06 12:44
417
matrix15__4478_35.min1.thm1.tptp
2017-02-06 16:47
340
matrix15__4488_38.min1.thm1
2017-02-06 12:46
953
matrix15__4498_33.min1.thm1
2017-02-06 12:46
1.1K
matrix15__4499_29.min1.thm1
2017-02-06 12:46
3.8K
matrix15__4514_19.min1.thm1
2017-02-06 12:46
412
matrix15__4518_26.min1.thm1
2017-02-06 12:44
4.2K
matrix15__4528_15.min1.thm1
2017-02-06 12:46
1.3K
matrix15__4542_23.min1.thm1
2017-02-06 12:46
1.4K
matrix15__4547_20.min1.thm1
2017-02-06 12:44
1.0K
matrix15__4584_18.min1.thm1
2017-02-06 12:47
594
matrix15__4607_11.min1.thm1
2017-02-06 12:44
131
matrix15__4621_11.min1.thm1
2017-02-06 12:46
1.9K
matrix15__4626_19.min1.thm1
2017-02-06 12:46
3.9K
matrix15__4632_15.min1.thm1
2017-02-06 12:46
1.5K
matrix15__4645_58.min1.thm1
2017-02-06 12:46
1.7K
matrix15__4646_28.min1.thm1
2017-02-06 12:46
3.1K
matrix15__4664_22.min1.thm1
2017-02-06 12:44
1.7K
matrix15__4670_16.min1.thm1
2017-02-06 12:46
557
matrix15__4670_16.min1.thm1.tptp
2017-02-06 16:47
479
matrix15__4685_29.min1.thm1
2017-02-06 12:46
1.6K
matrix15__4695_17.min1.thm1
2017-02-06 12:46
1.1K
matrix15__4749_13.min1.thm1
2017-02-06 12:46
395
matrix15__4749_13.min1.thm1.tptp
2017-02-06 16:47
318
matrix15__4759_11.min1.thm1
2017-02-06 12:46
1.5K
matrix15__4761_25.min1.thm1
2017-02-06 12:46
3.1K
matrix15__4770_49.min1.thm1
2017-02-06 12:46
2.3K
matrix15__4773_14.min1.thm1
2017-02-06 12:46
1.8K
matrix15__4778_41.min1.thm1
2017-02-06 12:46
970
matrix15__4783_16.min1.thm1
2017-02-06 12:46
577
matrix15__4783_16.min1.thm1.tptp
2017-02-06 16:47
497
matrix15__4787_33.min1.thm1
2017-02-06 12:44
2.2K
matrix15__4792_39.min1.thm1
2017-02-06 12:46
655
matrix15__4792_39.min1.thm1.tptp
2017-02-06 16:47
578
matrix15__4797_16.min1.thm1
2017-02-06 12:46
579
matrix15__4797_16.min1.thm1.tptp
2017-02-06 16:47
499
matrix15__4824_68.min1.thm1
2017-02-06 12:46
461
matrix15__4824_68.min1.thm1.tptp
2017-02-06 16:47
383
matrix15__4829_29.min1.thm1
2017-02-06 12:46
463
matrix15__4834_21.min1.thm1
2017-02-06 12:44
1.7K
matrix15__4835_73.min1.thm1
2017-02-06 12:44
552
matrix15__4849_35.min1.thm1
2017-02-06 12:44
3.1K
matrix15__4855_21.min1.thm1
2017-02-06 12:46
1.7K
matrix15__4856_75.min1.thm1
2017-02-06 12:47
564
matrix15__4871_20.min1.thm1
2017-02-06 12:47
2.6K
matrix15__4873_29.min1.thm1
2017-02-06 12:46
2.2K
matrix15__4874_13.min1.thm1
2017-02-06 12:46
2.1K
matrix15__4881_24.min1.thm1
2017-02-06 12:44
215
matrix15__4886_44.min1.thm1
2017-02-06 12:44
2.2K
matrix15__4888_37.min1.thm1
2017-02-06 12:46
3.8K
matrix15__4905_55.min1.thm1
2017-02-06 12:46
932
matrix15__4924_13.min1.thm1
2017-02-06 12:44
1.9K
matrix15__4929_42.min1.thm1
2017-02-06 12:44
906
matrix15__4933_18.min1.thm1
2017-02-06 12:46
1.4K
matrix15__4938_35.min1.thm1
2017-02-06 12:46
948
matrix15__4953_48.min1.thm1
2017-02-06 12:46
2.1K
matrix15__4968_21.min1.thm1
2017-02-06 12:46
672
matrix15__4989_45.min1.thm1
2017-02-06 12:44
2.2K
matrix15__5002_15.min1.thm1
2017-02-06 12:46
903
matrix15__5003_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__5004_18.min1.thm1
2017-02-06 12:44
2.6K
matrix15__5026_11.min1.thm1
2017-02-06 12:46
647
matrix15__5032_23.min1.thm1
2017-02-06 12:46
2.9K
matrix15__5036_45.min1.thm1
2017-02-06 12:46
573
matrix15__5039_15.min1.thm1
2017-02-06 12:46
205
matrix15__5048_36.min1.thm1
2017-02-06 12:46
2.7K
matrix15__5066_30.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5103_44.min1.thm1
2017-02-06 12:47
2.3K
matrix15__5104_23.min1.thm1
2017-02-06 12:44
2.2K
matrix15__5108_23.min1.thm1
2017-02-06 12:44
1.1K
matrix15__5110_21.min1.thm1
2017-02-06 12:46
574
matrix15__5114_26.min1.thm1
2017-02-06 12:46
893
matrix15__5120_45.min1.thm1
2017-02-06 12:44
573
matrix15__5128_31.min1.thm1
2017-02-06 12:46
3.4K
matrix15__5132_34.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5140_62.min1.thm1
2017-02-06 12:44
1.7K
matrix15__5151_32.min1.thm1
2017-02-06 12:44
647
matrix15__5153_22.min1.thm1
2017-02-06 12:44
1.1K
matrix15__5155_52.min1.thm1
2017-02-06 12:46
2.0K
matrix15__5162_31.min1.thm1
2017-02-06 12:46
2.0K
matrix15__5172_34.min1.thm1
2017-02-06 12:46
505
matrix15__5174_36.min1.thm1
2017-02-06 12:46
505
matrix15__5175_46.min1.thm1
2017-02-06 12:46
944
matrix15__5180_14.min1.thm1
2017-02-06 12:47
2.2K
matrix15__5195_16.min1.thm1
2017-02-06 12:46
1.5K
matrix15__5197_8.min1.thm1
2017-02-06 12:46
689
matrix15__5205_45.min1.thm1
2017-02-06 12:47
2.6K
matrix15__5207_23.min1.thm1
2017-02-06 12:46
619
matrix15__5209_46.min1.thm1
2017-02-06 12:46
772
matrix15__5210_17.min1.thm1
2017-02-06 12:46
1.6K
matrix15__5211_15.min1.thm1
2017-02-06 12:46
1.6K
matrix15__5218_22.min1.thm1
2017-02-06 12:46
1.9K
matrix15__5226_12.min1.thm1
2017-02-06 12:46
442
matrix15__5229_15.min1.thm1
2017-02-06 12:46
1.2K
matrix15__5232_54.min1.thm1
2017-02-06 12:46
1.6K
matrix15__5240_13.min1.thm1
2017-02-06 12:46
2.1K
matrix15__5241_17.min1.thm1
2017-02-06 12:46
1.3K
matrix15__5244_13.min1.thm1
2017-02-06 12:44
1.2K
matrix15__5245_20.min1.thm1
2017-02-06 12:46
330
matrix15__5245_20.min1.thm1.tptp
2017-02-06 16:47
253
matrix15__5247_16.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5250_40.min1.thm1
2017-02-06 12:46
1.0K
matrix15__5267_23.min1.thm1
2017-02-06 12:46
1.1K
matrix15__5272_25.min1.thm1
2017-02-06 12:46
1.3K
matrix15__5275_52.min1.thm1
2017-02-06 12:44
1.9K
matrix15__5281_28.min1.thm1
2017-02-06 12:46
2.4K
matrix15__5290_20.min1.thm1
2017-02-06 12:46
622
matrix15__5292_17.min1.thm1
2017-02-06 12:47
233
matrix15__5300_25.min1.thm1
2017-02-06 12:44
2.1K
matrix15__5301_78.min1.thm1
2017-02-06 12:46
1.9K
matrix15__5304_24.min1.thm1
2017-02-06 12:46
1.1K
matrix15__5307_22.min1.thm1
2017-02-06 12:46
1.5K
matrix15__5308_43.min1.thm1
2017-02-06 12:46
1.3K
matrix15__5321_25.min1.thm1
2017-02-06 12:44
1.6K
matrix15__5325_28.min1.thm1
2017-02-06 12:46
924
matrix15__5334_27.min1.thm1
2017-02-06 12:44
1.9K
matrix15__5342_36.min1.thm1
2017-02-06 12:46
2.7K
matrix15__5353_21.min1.thm1
2017-02-06 12:46
1.5K
matrix15__5360_50.min1.thm1
2017-02-06 12:46
2.8K
matrix15__5369_75.min1.thm1
2017-02-06 12:46
640
matrix15__5378_44.min1.thm1
2017-02-06 12:46
2.5K
matrix15__5386_29.min1.thm1
2017-02-06 12:44
926
matrix15__5388_45.min1.thm1
2017-02-06 12:46
676
matrix15__5403_32.min1.thm1
2017-02-06 12:44
2.3K
matrix15__5421_20.min1.thm1
2017-02-06 12:46
873
matrix15__5429_42.min1.thm1
2017-02-06 12:46
3.5K
matrix15__5433_31.min1.thm1
2017-02-06 12:46
1.6K
matrix15__5441_30.min1.thm1
2017-02-06 12:46
2.1K
matrix15__5442_23.min1.thm1
2017-02-06 12:44
2.0K
matrix15__5449_44.min1.thm1
2017-02-06 12:46
2.7K
matrix15__5454_33.min1.thm1
2017-02-06 12:44
1.4K
matrix15__5469_24.min1.thm1
2017-02-06 12:46
2.9K
matrix15__5470_21.min1.thm1
2017-02-06 12:46
1.5K
matrix15__5490_6.min1.thm1
2017-02-06 12:46
1.0K
matrix15__5515_15.min1.thm1
2017-02-06 12:46
1.0K
matrix15__5518_18.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5520_17.min1.thm1
2017-02-06 12:46
2.8K
matrix15__5534_51.min1.thm1
2017-02-06 12:46
914
matrix15__5549_39.min1.thm1
2017-02-06 12:46
2.3K
matrix15__5550_11.min1.thm1
2017-02-06 12:46
2.1K
matrix15__5575_38.min1.thm1
2017-02-06 12:46
715
matrix15__5576_18.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5576_18.min1.thm1.tptp
2017-02-06 16:47
1.3K
matrix15__5578_12.min1.thm1
2017-02-06 12:46
406
matrix15__5594_29.min1.thm1
2017-02-06 12:46
295
matrix15__5595_26.min1.thm1
2017-02-06 12:46
2.3K
matrix15__5597_22.min1.thm1
2017-02-06 12:46
673
matrix15__5605_30.min1.thm1
2017-02-06 12:44
643
matrix15__5623_36.min1.thm1
2017-02-06 12:46
892
matrix15__5624_13.min1.thm1
2017-02-06 12:44
2.6K
matrix15__5628_21.min1.thm1
2017-02-06 12:46
2.8K
matrix15__5644_40.min1.thm1
2017-02-06 12:46
3.1K
matrix15__5648_58.min1.thm1
2017-02-06 12:44
928
matrix15__5677_14.min1.thm1
2017-02-06 12:46
1.7K
matrix15__5681_11.min1.thm1
2017-02-06 12:46
245
matrix15__5688_16.min1.thm1
2017-02-06 12:46
837
matrix15__5704_27.min1.thm1
2017-02-06 12:47
133
matrix15__5710_17.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5711_49.min1.thm1
2017-02-06 12:46
2.7K
matrix15__5712_31.min1.thm1
2017-02-06 12:46
2.3K
matrix15__5713_27.min1.thm1
2017-02-06 12:44
2.8K
matrix15__5741_47.min1.thm1
2017-02-06 12:44
1.7K
matrix15__5753_34.min1.thm1
2017-02-06 12:46
911
matrix15__5753_34.min1.thm1.tptp
2017-02-06 16:47
849
matrix15__5756_39.min1.thm1
2017-02-06 12:46
1.0K
matrix15__5756_39.min1.thm1.tptp
2017-02-06 16:47
1.0K
matrix15__5757_35.min1.thm1
2017-02-06 12:46
1.8K
matrix15__5783_30.min1.thm1
2017-02-06 12:44
2.0K
matrix15__5800_60.min1.thm1
2017-02-06 12:46
1.1K
matrix15__5803_38.min1.thm1
2017-02-06 12:46
1.1K
matrix15__5804_17.min1.thm1
2017-02-06 12:47
516
matrix15__5811_19.min1.thm1
2017-02-06 12:46
2.7K
matrix15__5820_22.min1.thm1
2017-02-06 12:46
333
matrix15__5820_22.min1.thm1.tptp
2017-02-06 16:47
256
matrix15__5844_44.min1.thm1
2017-02-06 12:46
943
matrix15__5850_26.min1.thm1
2017-02-06 12:46
713
matrix15__5851_26.min1.thm1
2017-02-06 12:46
627
matrix15__5853_52.min1.thm1
2017-02-06 12:46
1.0K
matrix15__5855_23.min1.thm1
2017-02-06 12:46
1.4K
matrix15__5856_33.min1.thm1
2017-02-06 12:44
1.2K
matrix15__5857_14.min1.thm1
2017-02-06 12:46
359
matrix15__5861_66.min1.thm1
2017-02-06 12:46
1.7K
matrix15__5867_20.min1.thm1
2017-02-06 12:46
798
matrix15__5887_17.min1.thm1
2017-02-06 12:46
247
matrix15__5891_37.min1.thm1
2017-02-06 12:44
759
matrix15__5892_24.min1.thm1
2017-02-06 12:44
1.2K
matrix15__5893_32.min1.thm1
2017-02-06 12:46
1.9K
matrix15__5896_24.min1.thm1
2017-02-06 12:46
1.7K
matrix15__5898_41.min1.thm1
2017-02-06 12:44
707
matrix15__5911_25.min1.thm1
2017-02-06 12:46
894
matrix15__5921_47.min1.thm1
2017-02-06 12:44
815
matrix15__5943_28.min1.thm1
2017-02-06 12:46
594
matrix15__5965_52.min1.thm1
2017-02-06 12:46
3.5K
matrix15__5981_45.min1.thm1
2017-02-06 12:44
2.2K
matrix15__5983_15.min1.thm1
2017-02-06 12:46
219
matrix15__5989_63.min1.thm1
2017-02-06 12:46
948
matrix15__5997_20.min1.thm1
2017-02-06 12:46
2.0K
matrix15__6015_11.min1.thm1
2017-02-06 12:44
3.0K
matrix15__6018_16.min1.thm1
2017-02-06 12:44
2.5K
matrix15__6025_16.min1.thm1
2017-02-06 12:46
1.8K
matrix15__6027_21.min1.thm1
2017-02-06 12:44
1.6K
matrix15__6030_21.min1.thm1
2017-02-06 12:46
1.6K
matrix15__6032_38.min1.thm1
2017-02-06 12:46
1.7K
matrix15__6035_21.min1.thm1
2017-02-06 12:46
1.8K
matrix15__6036_43.min1.thm1
2017-02-06 12:46
1.9K
matrix15__6047_39.min1.thm1
2017-02-06 12:46
1.6K
matrix15__6048_32.min1.thm1
2017-02-06 12:46
1.8K
matrix15__6073_14.min1.thm1
2017-02-06 12:44
1.4K
matrix15__6075_16.min1.thm1
2017-02-06 12:46
1.4K
matrix15__6079_22.min1.thm1
2017-02-06 12:46
1.3K
matrix15__6080_30.min1.thm1
2017-02-06 12:46
2.2K
matrix15__6082_19.min1.thm1
2017-02-06 12:44
2.3K
matrix15__6083_18.min1.thm1
2017-02-06 12:46
1.8K
matrix15__6095_20.min1.thm1
2017-02-06 12:46
1.8K
matrix15__6104_15.min1.thm1
2017-02-06 12:44
1.0K
matrix15__6122_30.min1.thm1
2017-02-06 12:46
1.5K
matrix15__6128_32.min1.thm1
2017-02-06 12:44
852
matrix15__6141_26.min1.thm1
2017-02-06 12:44
1.5K
matrix15__6167_26.min1.thm1
2017-02-06 12:44
1.5K
matrix15__6176_42.min1.thm1
2017-02-06 12:44
2.7K
matrix15__6177_20.min1.thm1
2017-02-06 12:46
1.4K
matrix15__6181_25.min1.thm1
2017-02-06 12:46
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80