Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/matrix11
Name
Last modified
Size
Description
Parent Directory
-
matrix11__79_14.min1.thm1
2017-02-06 12:44
573
matrix11__79_14.min1.thm1.tptp
2017-02-06 16:47
523
matrix11__80_39.min1.thm1
2017-02-06 12:44
679
matrix11__81_17.min1.thm1
2017-02-06 12:44
938
matrix11__82_19.min1.thm1
2017-02-06 12:44
1.5K
matrix11__89_11.min1.thm1
2017-02-06 12:44
538
matrix11__90_19.min1.thm1
2017-02-06 12:44
493
matrix11__101_22.min1.thm1
2017-02-06 12:44
414
matrix11__109_22.min1.thm1
2017-02-06 12:44
402
matrix11__114_14.min1.thm1
2017-02-06 12:44
1.2K
matrix11__115_10.min1.thm1
2017-02-06 12:44
430
matrix11__125_9.min1.thm1
2017-02-06 12:44
1.1K
matrix11__127_14.min1.thm1
2017-02-06 12:44
892
matrix11__128_15.min1.thm1
2017-02-06 12:44
892
matrix11__129_17.min1.thm1
2017-02-06 12:44
1.4K
matrix11__137_15.min1.thm1
2017-02-06 12:44
2.2K
matrix11__148_13.min1.thm1
2017-02-06 12:44
244
matrix11__151_37.min1.thm1
2017-02-06 12:44
1.6K
matrix11__153_23.min1.thm1
2017-02-06 12:44
1.3K
matrix11__155_21.min1.thm1
2017-02-06 12:44
842
matrix11__167_11.min1.thm1
2017-02-06 12:44
1.2K
matrix11__169_11.min1.thm1
2017-02-06 12:44
1.1K
matrix11__213_41.min1.thm1
2017-02-06 12:44
869
matrix11__227_41.min1.thm1
2017-02-06 12:44
869
matrix11__281_18.min1.thm1
2017-02-06 12:44
709
matrix11__315_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__319_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__320_17.min1.thm1
2017-02-06 12:44
365
matrix11__320_17.min1.thm1.tptp
2017-02-06 16:47
300
matrix11__321_18.min1.thm1
2017-02-06 12:44
690
matrix11__322_45.min1.thm1
2017-02-06 12:44
647
matrix11__323_21.min1.thm1
2017-02-06 12:44
1.8K
matrix11__330_18.min1.thm1
2017-02-06 12:44
690
matrix11__331_45.min1.thm1
2017-02-06 12:44
647
matrix11__333_18.min1.thm1
2017-02-06 12:44
690
matrix11__334_27.min1.thm1
2017-02-06 12:44
672
matrix11__335_56.min1.thm1
2017-02-06 12:44
1.2K
matrix11__336_22.min1.thm1
2017-02-06 12:44
537
matrix11__339_22.min1.thm1
2017-02-06 12:44
836
matrix11__341_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__347_16.min1.thm1
2017-02-06 12:44
742
matrix11__354_11.min1.thm1
2017-02-06 12:44
783
matrix11__355_19.min1.thm1
2017-02-06 12:44
2.5K
matrix11__358_16.min1.thm1
2017-02-06 12:44
1.0K
matrix11__359_17.min1.thm1
2017-02-06 12:44
1.2K
matrix11__404_14.min1.thm1
2017-02-06 12:44
620
matrix11__421_12.min1.thm1
2017-02-06 12:44
682
matrix11__422_19.min1.thm1
2017-02-06 12:44
640
matrix11__423_47.min1.thm1
2017-02-06 12:44
1.1K
matrix11__429_16.min1.thm1
2017-02-06 12:44
668
matrix11__432_13.min1.thm1
2017-02-06 12:44
552
matrix11__433_12.min1.thm1
2017-02-06 12:44
682
matrix11__434_17.min1.thm1
2017-02-06 12:44
503
matrix11__435_46.min1.thm1
2017-02-06 12:44
694
matrix11__444_13.min1.thm1
2017-02-06 12:44
686
matrix11__473_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__477_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__478_17.min1.thm1
2017-02-06 12:44
371
matrix11__478_17.min1.thm1.tptp
2017-02-06 16:47
306
matrix11__479_18.min1.thm1
2017-02-06 12:44
696
matrix11__480_45.min1.thm1
2017-02-06 12:44
656
matrix11__481_20.min1.thm1
2017-02-06 12:44
1.9K
matrix11__482_20.min1.thm1
2017-02-06 12:44
1.9K
matrix11__483_23.min1.thm1
2017-02-06 12:44
4.6K
matrix11__489_18.min1.thm1
2017-02-06 12:44
696
matrix11__490_45.min1.thm1
2017-02-06 12:44
656
matrix11__491_18.min1.thm1
2017-02-06 12:44
696
matrix11__492_27.min1.thm1
2017-02-06 12:44
679
matrix11__493_56.min1.thm1
2017-02-06 12:44
1.2K
matrix11__494_22.min1.thm1
2017-02-06 12:44
543
matrix11__496_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__497_18.min1.thm1
2017-02-06 12:44
684
matrix11__498_22.min1.thm1
2017-02-06 12:44
850
matrix11__500_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__505_22.min1.thm1
2017-02-06 12:44
623
matrix11__508_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__517_25.min1.thm1
2017-02-06 12:44
1.9K
matrix11__522_17.min1.thm1
2017-02-06 12:44
219
matrix11__527_20.min1.thm1
2017-02-06 12:44
2.4K
matrix11__530_16.min1.thm1
2017-02-06 12:44
2.4K
matrix11__537_17.min1.thm1
2017-02-06 12:44
620
matrix11__538_12.min1.thm1
2017-02-06 12:44
790
matrix11__539_20.min1.thm1
2017-02-06 12:44
2.6K
matrix11__540_19.min1.thm1
2017-02-06 12:44
4.6K
matrix11__543_18.min1.thm1
2017-02-06 12:44
438
matrix11__557_14.min1.thm1
2017-02-06 12:44
687
matrix11__558_44.min1.thm1
2017-02-06 12:44
1.0K
matrix11__560_19.min1.thm1
2017-02-06 12:44
1.0K
matrix11__571_16.min1.thm1
2017-02-06 12:44
648
matrix11__583_14.min1.thm1
2017-02-06 12:44
3.2K
matrix11__605_18.min1.thm1
2017-02-06 12:44
1.1K
matrix11__606_18.min1.thm1
2017-02-06 12:44
1.3K
matrix11__610_17.min1.thm1
2017-02-06 12:44
1.8K
matrix11__611_24.min1.thm1
2017-02-06 12:44
1.1K
matrix11__612_19.min1.thm1
2017-02-06 12:44
2.0K
matrix11__614_13.min1.thm1
2017-02-06 12:44
574
matrix11__631_20.min1.thm1
2017-02-06 12:44
1.2K
matrix11__632_21.min1.thm1
2017-02-06 12:44
1.2K
matrix11__641_13.min1.thm1
2017-02-06 12:44
534
matrix11__642_13.min1.thm1
2017-02-06 12:44
447
matrix11__643_10.min1.thm1
2017-02-06 12:44
533
matrix11__647_10.min1.thm1
2017-02-06 12:44
446
matrix11__696_20.min1.thm1
2017-02-06 12:44
1.2K
matrix11__698_21.min1.thm1
2017-02-06 12:44
1.2K
matrix11__704_18.min1.thm1
2017-02-06 12:44
1.2K
matrix11__706_18.min1.thm1
2017-02-06 12:44
2.0K
matrix11__720_26.min1.thm1
2017-02-06 12:44
628
matrix11__727_15.min1.thm1
2017-02-06 12:44
622
matrix11__732_18.min1.thm1
2017-02-06 12:44
623
matrix11__733_18.min1.thm1
2017-02-06 12:44
623
matrix11__742_16.min1.thm1
2017-02-06 12:44
1.0K
matrix11__744_15.min1.thm1
2017-02-06 12:44
622
matrix11__749_18.min1.thm1
2017-02-06 12:44
623
matrix11__750_18.min1.thm1
2017-02-06 12:44
623
matrix11__759_16.min1.thm1
2017-02-06 12:44
1.0K
matrix11__761_17.min1.thm1
2017-02-06 12:44
2.0K
matrix11__761_17.min1.thm1.tptp
2017-02-06 16:47
2.0K
matrix11__785_21.min1.thm1
2017-02-06 12:44
565
matrix11__786_45.min1.thm1
2017-02-06 12:44
509
matrix11__786_45.min1.thm1.tptp
2017-02-06 16:47
426
matrix11__804_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__808_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__809_17.min1.thm1
2017-02-06 12:44
371
matrix11__809_17.min1.thm1.tptp
2017-02-06 16:47
306
matrix11__810_45.min1.thm1
2017-02-06 12:44
650
matrix11__811_21.min1.thm1
2017-02-06 12:44
1.9K
matrix11__812_23.min1.thm1
2017-02-06 12:44
2.2K
matrix11__818_40.min1.thm1
2017-02-06 12:44
650
matrix11__819_22.min1.thm1
2017-02-06 12:44
673
matrix11__820_56.min1.thm1
2017-02-06 12:44
1.2K
matrix11__821_22.min1.thm1
2017-02-06 12:44
543
matrix11__822_21.min1.thm1
2017-02-06 12:44
849
matrix11__824_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__827_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__835_16.min1.thm1
2017-02-06 12:44
1.4K
matrix11__842_11.min1.thm1
2017-02-06 12:44
790
matrix11__843_19.min1.thm1
2017-02-06 12:44
2.8K
matrix11__846_18.min1.thm1
2017-02-06 12:44
1.8K
matrix11__859_21.min1.thm1
2017-02-06 12:44
565
matrix11__860_45.min1.thm1
2017-02-06 12:44
509
matrix11__860_45.min1.thm1.tptp
2017-02-06 16:47
426
matrix11__869_13.min1.thm1
2017-02-06 12:44
1.2K
matrix11__870_13.min1.thm1
2017-02-06 12:44
1.2K
matrix11__886_16.min1.thm1
2017-02-06 12:44
746
matrix11__888_16.min1.thm1
2017-02-06 12:44
471
matrix11__891_21.min1.thm1
2017-02-06 12:44
1.1K
matrix11__895_21.min1.thm1
2017-02-06 12:44
1.2K
matrix11__898_14.min1.thm1
2017-02-06 12:44
817
matrix11__910_23.min1.thm1
2017-02-06 12:44
565
matrix11__911_46.min1.thm1
2017-02-06 12:44
509
matrix11__911_46.min1.thm1.tptp
2017-02-06 16:47
426
matrix11__918_15.min1.thm1
2017-02-06 12:44
307
matrix11__937_22.min1.thm1
2017-02-06 12:44
700
matrix11__939_39.min1.thm1
2017-02-06 12:44
1.0K
matrix11__956_46.min1.thm1
2017-02-06 12:44
1.1K
matrix11__968_25.min1.thm1
2017-02-06 12:44
534
matrix11__968_25.min1.thm1.tptp
2017-02-06 16:47
472
matrix11__970_22.min1.thm1
2017-02-06 12:44
1.1K
matrix11__972_19.min1.thm1
2017-02-06 12:44
580
matrix11__978_25.min1.thm1
2017-02-06 12:44
471
matrix11__978_25.min1.thm1.tptp
2017-02-06 16:47
409
matrix11__986_20.min1.thm1
2017-02-06 12:44
564
matrix11__990_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__991_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__992_25.min1.thm1
2017-02-06 12:44
1.2K
matrix11__996_23.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1000_21.min1.thm1
2017-02-06 12:44
318
matrix11__1002_22.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1004_21.min1.thm1
2017-02-06 12:44
405
matrix11__1004_21.min1.thm1.tptp
2017-02-06 16:47
355
matrix11__1021_21.min1.thm1
2017-02-06 12:44
233
matrix11__1029_67.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1035_29.min1.thm1
2017-02-06 12:44
707
matrix11__1038_23.min1.thm1
2017-02-06 12:44
449
matrix11__1038_23.min1.thm1.tptp
2017-02-06 16:47
393
matrix11__1044_67.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1048_22.min1.thm1
2017-02-06 12:44
884
matrix11__1054_19.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1069_21.min1.thm1
2017-02-06 12:44
233
matrix11__1073_27.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1074_29.min1.thm1
2017-02-06 12:44
825
matrix11__1078_34.min1.thm1
2017-02-06 12:44
707
matrix11__1081_28.min1.thm1
2017-02-06 12:44
333
matrix11__1085_29.min1.thm1
2017-02-06 12:44
428
matrix11__1085_29.min1.thm1.tptp
2017-02-06 16:47
378
matrix11__1086_37.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1087_29.min1.thm1
2017-02-06 12:44
893
matrix11__1090_22.min1.thm1
2017-02-06 12:44
402
matrix11__1118_21.min1.thm1
2017-02-06 12:44
519
matrix11__1119_21.min1.thm1
2017-02-06 12:44
519
matrix11__1121_21.min1.thm1
2017-02-06 12:44
530
matrix11__1124_29.min1.thm1
2017-02-06 12:44
771
matrix11__1129_27.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1130_28.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1136_28.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1137_27.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1143_28.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1144_29.min1.thm1
2017-02-06 12:44
428
matrix11__1144_29.min1.thm1.tptp
2017-02-06 16:47
378
matrix11__1145_28.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1146_29.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1149_22.min1.thm1
2017-02-06 12:44
839
matrix11__1152_36.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1154_26.min1.thm1
2017-02-06 12:44
742
matrix11__1156_31.min1.thm1
2017-02-06 12:44
635
matrix11__1157_34.min1.thm1
2017-02-06 12:44
514
matrix11__1157_34.min1.thm1.tptp
2017-02-06 16:47
436
matrix11__1158_31.min1.thm1
2017-02-06 12:44
683
matrix11__1166_16.min1.thm1
2017-02-06 12:44
462
matrix11__1175_15.min1.thm1
2017-02-06 12:44
621
matrix11__1176_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1194_13.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1222_22.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1226_47.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1235_14.min1.thm1
2017-02-06 12:44
2.2K
matrix11__1236_20.min1.thm1
2017-02-06 12:44
1.8K
matrix11__1239_12.min1.thm1
2017-02-06 12:44
836
matrix11__1242_33.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1244_39.min1.thm1
2017-02-06 12:44
1.7K
matrix11__1250_18.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1253_13.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1255_28.min1.thm1
2017-02-06 12:44
2.9K
matrix11__1261_13.min1.thm1
2017-02-06 12:44
213
matrix11__1266_16.min1.thm1
2017-02-06 12:44
824
matrix11__1275_28.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1276_25.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1277_30.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1298_28.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1300_15.min1.thm1
2017-02-06 12:44
289
matrix11__1303_19.min1.thm1
2017-02-06 12:44
559
matrix11__1303_19.min1.thm1.tptp
2017-02-06 16:47
515
matrix11__1304_23.min1.thm1
2017-02-06 12:44
831
matrix11__1304_23.min1.thm1.tptp
2017-02-06 16:47
830
matrix11__1308_19.min1.thm1
2017-02-06 12:44
559
matrix11__1308_19.min1.thm1.tptp
2017-02-06 16:47
515
matrix11__1309_23.min1.thm1
2017-02-06 12:44
831
matrix11__1309_23.min1.thm1.tptp
2017-02-06 16:47
830
matrix11__1313_19.min1.thm1
2017-02-06 12:44
607
matrix11__1313_19.min1.thm1.tptp
2017-02-06 16:47
561
matrix11__1314_23.min1.thm1
2017-02-06 12:44
841
matrix11__1314_23.min1.thm1.tptp
2017-02-06 16:47
840
matrix11__1317_16.min1.thm1
2017-02-06 12:44
742
matrix11__1327_30.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1328_33.min1.thm1
2017-02-06 12:44
285
matrix11__1330_65.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1331_33.min1.thm1
2017-02-06 12:44
285
matrix11__1340_28.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1341_55.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1342_19.min1.thm1
2017-02-06 12:44
955
matrix11__1345_19.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1346_54.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1347_13.min1.thm1
2017-02-06 12:44
800
matrix11__1348_16.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1350_54.min1.thm1
2017-02-06 12:44
825
matrix11__1352_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1353_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1354_10.min1.thm1
2017-02-06 12:44
800
matrix11__1367_20.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1368_20.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1369_19.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1378_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1381_17.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1392_18.min1.thm1
2017-02-06 12:44
280
matrix11__1394_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1396_15.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1397_20.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1399_23.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1409_18.min1.thm1
2017-02-06 12:44
2.1K
matrix11__1412_11.min1.thm1
2017-02-06 12:44
343
matrix11__1412_11.min1.thm1.tptp
2017-02-06 16:47
278
matrix11__1413_18.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1422_15.min1.thm1
2017-02-06 12:44
1.9K
matrix11__1426_23.min1.thm1
2017-02-06 12:44
615
matrix11__1429_23.min1.thm1
2017-02-06 12:44
1.7K
matrix11__1433_16.min1.thm1
2017-02-06 12:44
861
matrix11__1434_24.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1435_37.min1.thm1
2017-02-06 12:44
2.3K
matrix11__1436_15.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1437_17.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1453_13.min1.thm1
2017-02-06 12:44
280
matrix11__1454_14.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1455_14.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1460_15.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1467_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1470_19.min1.thm1
2017-02-06 12:44
3.7K
matrix11__1473_13.min1.thm1
2017-02-06 12:44
271
matrix11__1474_17.min1.thm1
2017-02-06 12:44
431
matrix11__1474_17.min1.thm1.tptp
2017-02-06 16:47
369
matrix11__1492_45.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1495_19.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1500_28.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1502_15.min1.thm1
2017-02-06 12:44
289
matrix11__1509_22.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1513_19.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1515_18.min1.thm1
2017-02-06 12:44
813
matrix11__1517_17.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1537_26.min1.thm1
2017-02-06 12:44
452
matrix11__1559_27.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1562_56.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1567_22.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1571_24.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1576_26.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1579_36.min1.thm1
2017-02-06 12:44
768
matrix11__1588_52.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1593_45.min1.thm1
2017-02-06 12:44
221
matrix11__1597_65.min1.thm1
2017-02-06 12:44
2.4K
matrix11__1599_46.min1.thm1
2017-02-06 12:44
1.9K
matrix11__1609_26.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1614_28.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1615_41.min1.thm1
2017-02-06 12:44
822
matrix11__1616_37.min1.thm1
2017-02-06 12:44
736
matrix11__1619_22.min1.thm1
2017-02-06 12:44
538
matrix11__1630_33.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1632_17.min1.thm1
2017-02-06 12:44
2.1K
matrix11__1636_22.min1.thm1
2017-02-06 12:44
823
matrix11__1638_36.min1.thm1
2017-02-06 12:44
1.7K
matrix11__1640_27.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1641_20.min1.thm1
2017-02-06 12:44
2.3K
matrix11__1644_26.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1645_34.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1650_37.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1651_24.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1652_27.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1653_38.min1.thm1
2017-02-06 12:44
920
matrix11__1656_27.min1.thm1
2017-02-06 12:44
1.7K
matrix11__1658_29.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1668_20.min1.thm1
2017-02-06 12:44
3.0K
matrix11__1686_18.min1.thm1
2017-02-06 12:44
2.1K
matrix11__1687_26.min1.thm1
2017-02-06 12:44
2.0K
matrix11__1690_30.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1693_40.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1698_30.min1.thm1
2017-02-06 12:44
2.7K
matrix11__1700_23.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1703_31.min1.thm1
2017-02-06 12:44
3.1K
matrix11__1707_26.min1.thm1
2017-02-06 12:44
1.9K
matrix11__1715_58.min1.thm1
2017-02-06 12:44
2.4K
matrix11__1720_36.min1.thm1
2017-02-06 12:44
2.6K
matrix11__1728_45.min1.thm1
2017-02-06 12:44
2.8K
matrix11__1732_31.min1.thm1
2017-02-06 12:44
2.0K
matrix11__1735_24.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1737_14.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1745_24.min1.thm1
2017-02-06 12:44
4.1K
matrix11__1747_26.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1753_38.min1.thm1
2017-02-06 12:44
921
matrix11__1754_27.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1757_24.min1.thm1
2017-02-06 12:44
770
matrix11__1759_31.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1764_32.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1769_39.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1770_48.min1.thm1
2017-02-06 12:44
500
matrix11__1772_57.min1.thm1
2017-02-06 12:44
2.2K
matrix11__1773_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1773_24.min1.thm1.tptp
2017-02-06 16:47
964
matrix11__1777_18.min1.thm1
2017-02-06 12:44
918
matrix11__1780_15.min1.thm1
2017-02-06 12:44
333
matrix11__1787_24.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1799_47.min1.thm1
2017-02-06 12:44
1.8K
matrix11__1800_44.min1.thm1
2017-02-06 12:44
1.8K
matrix11__1806_16.min1.thm1
2017-02-06 12:44
2.1K
matrix11__1815_26.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1819_24.min1.thm1
2017-02-06 12:44
962
matrix11__1823_27.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1825_29.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1829_26.min1.thm1
2017-02-06 12:44
461
matrix11__1829_26.min1.thm1.tptp
2017-02-06 16:47
396
matrix11__1833_22.min1.thm1
2017-02-06 12:44
610
matrix11__1837_16.min1.thm1
2017-02-06 12:44
970
matrix11__1843_35.min1.thm1
2017-02-06 12:44
1.9K
matrix11__1844_21.min1.thm1
2017-02-06 12:44
1.6K
matrix11__1845_35.min1.thm1
2017-02-06 12:44
485
matrix11__1846_19.min1.thm1
2017-02-06 12:44
2.0K
matrix11__1849_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__1886_31.min1.thm1
2017-02-06 12:44
1.2K
matrix11__1906_27.min1.thm1
2017-02-06 12:44
1.5K
matrix11__1943_23.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1949_20.min1.thm1
2017-02-06 12:44
430
matrix11__1951_23.min1.thm1
2017-02-06 12:44
1.1K
matrix11__1954_16.min1.thm1
2017-02-06 12:44
730
matrix11__1959_16.min1.thm1
2017-02-06 12:44
1.9K
matrix11__1962_43.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1969_21.min1.thm1
2017-02-06 12:44
2.1K
matrix11__1973_43.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1980_21.min1.thm1
2017-02-06 12:44
2.3K
matrix11__1984_43.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1987_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__1992_21.min1.thm1
2017-02-06 12:44
2.6K
matrix11__1996_43.min1.thm1
2017-02-06 12:44
1.3K
matrix11__1999_14.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2008_14.min1.thm1
2017-02-06 12:44
580
matrix11__2013_43.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2017_16.min1.thm1
2017-02-06 12:44
492
matrix11__2021_14.min1.thm1
2017-02-06 12:44
695
matrix11__2022_30.min1.thm1
2017-02-06 12:44
343
matrix11__2022_30.min1.thm1.tptp
2017-02-06 16:47
266
matrix11__2023_13.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2024_21.min1.thm1
2017-02-06 12:44
971
matrix11__2028_30.min1.thm1
2017-02-06 12:44
343
matrix11__2028_30.min1.thm1.tptp
2017-02-06 16:47
266
matrix11__2029_19.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2033_14.min1.thm1
2017-02-06 12:44
396
matrix11__2039_52.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2041_13.min1.thm1
2017-02-06 12:44
205
matrix11__2044_24.min1.thm1
2017-02-06 12:44
632
matrix11__2045_21.min1.thm1
2017-02-06 12:44
1.7K
matrix11__2049_38.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2072_22.min1.thm1
2017-02-06 12:44
790
matrix11__2094_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2100_11.min1.thm1
2017-02-06 12:44
642
matrix11__2121_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2130_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2152_29.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2153_14.min1.thm1
2017-02-06 12:44
2.0K
matrix11__2154_32.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2163_16.min1.thm1
2017-02-06 12:44
783
matrix11__2185_13.min1.thm1
2017-02-06 12:44
131
matrix11__2192_53.min1.thm1
2017-02-06 12:44
1.9K
matrix11__2193_47.min1.thm1
2017-02-06 12:44
565
matrix11__2204_19.min1.thm1
2017-02-06 12:44
223
matrix11__2207_26.min1.thm1
2017-02-06 12:44
635
matrix11__2208_20.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2209_28.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2211_31.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2213_29.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2214_26.min1.thm1
2017-02-06 12:44
568
matrix11__2215_27.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2219_31.min1.thm1
2017-02-06 12:44
653
matrix11__2223_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__2228_38.min1.thm1
2017-02-06 12:44
509
matrix11__2231_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2234_26.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2236_23.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2237_20.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2238_52.min1.thm1
2017-02-06 12:44
2.5K
matrix11__2244_22.min1.thm1
2017-02-06 12:44
859
matrix11__2245_20.min1.thm1
2017-02-06 12:44
859
matrix11__2246_54.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2249_30.min1.thm1
2017-02-06 12:44
923
matrix11__2252_15.min1.thm1
2017-02-06 12:44
401
matrix11__2281_36.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2282_40.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2283_40.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2284_23.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2288_15.min1.thm1
2017-02-06 12:44
304
matrix11__2304_13.min1.thm1
2017-02-06 12:44
251
matrix11__2317_14.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2339_17.min1.thm1
2017-02-06 12:44
388
matrix11__2341_25.min1.thm1
2017-02-06 12:44
2.7K
matrix11__2346_28.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2355_23.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2362_15.min1.thm1
2017-02-06 12:44
380
matrix11__2367_21.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2368_22.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2373_15.min1.thm1
2017-02-06 12:44
253
matrix11__2383_19.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2399_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2404_15.min1.thm1
2017-02-06 12:44
380
matrix11__2409_17.min1.thm1
2017-02-06 12:44
1.3K
matrix11__2410_18.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2412_15.min1.thm1
2017-02-06 12:44
205
matrix11__2416_24.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2417_19.min1.thm1
2017-02-06 12:44
2.3K
matrix11__2424_31.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2425_19.min1.thm1
2017-02-06 12:44
2.3K
matrix11__2426_24.min1.thm1
2017-02-06 12:44
952
matrix11__2427_19.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2432_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2434_17.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2448_15.min1.thm1
2017-02-06 12:44
380
matrix11__2450_21.min1.thm1
2017-02-06 12:44
2.5K
matrix11__2451_14.min1.thm1
2017-02-06 12:44
970
matrix11__2454_20.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2456_15.min1.thm1
2017-02-06 12:44
205
matrix11__2466_18.min1.thm1
2017-02-06 12:44
927
matrix11__2468_17.min1.thm1
2017-02-06 12:44
1.7K
matrix11__2475_57.min1.thm1
2017-02-06 12:44
461
matrix11__2475_57.min1.thm1.tptp
2017-02-06 16:47
383
matrix11__2486_59.min1.thm1
2017-02-06 12:44
552
matrix11__2487_57.min1.thm1
2017-02-06 12:44
461
matrix11__2487_57.min1.thm1.tptp
2017-02-06 16:47
383
matrix11__2503_15.min1.thm1
2017-02-06 12:44
387
matrix11__2505_10.min1.thm1
2017-02-06 12:44
689
matrix11__2506_37.min1.thm1
2017-02-06 12:44
452
matrix11__2533_12.min1.thm1
2017-02-06 12:44
446
matrix11__2542_47.min1.thm1
2017-02-06 12:44
609
matrix11__2545_32.min1.thm1
2017-02-06 12:44
809
matrix11__2548_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2551_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2553_59.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2554_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__2555_29.min1.thm1
2017-02-06 12:44
2.2K
matrix11__2558_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__2563_24.min1.thm1
2017-02-06 12:44
2.2K
matrix11__2566_17.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2599_11.min1.thm1
2017-02-06 12:44
613
matrix11__2603_13.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2604_19.min1.thm1
2017-02-06 12:44
1.7K
matrix11__2606_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2609_23.min1.thm1
2017-02-06 12:44
5.1K
matrix11__2614_32.min1.thm1
2017-02-06 12:44
2.6K
matrix11__2615_16.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2616_32.min1.thm1
2017-02-06 12:44
2.6K
matrix11__2617_35.min1.thm1
2017-02-06 12:44
3.1K
matrix11__2621_16.min1.thm1
2017-02-06 12:44
1.3K
matrix11__2625_9.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2631_25.min1.thm1
2017-02-06 12:44
3.4K
matrix11__2632_12.min1.thm1
2017-02-06 12:44
603
matrix11__2634_18.min1.thm1
2017-02-06 12:44
902
matrix11__2637_51.min1.thm1
2017-02-06 12:44
1.5K
matrix11__2639_18.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2640_17.min1.thm1
2017-02-06 12:44
619
matrix11__2647_16.min1.thm1
2017-02-06 12:44
1.8K
matrix11__2658_23.min1.thm1
2017-02-06 12:44
2.6K
matrix11__2661_16.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2675_18.min1.thm1
2017-02-06 12:44
1.5K
matrix11__2678_23.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2682_22.min1.thm1
2017-02-06 12:44
1.7K
matrix11__2688_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2691_15.min1.thm1
2017-02-06 12:44
610
matrix11__2692_15.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2696_22.min1.thm1
2017-02-06 12:44
3.4K
matrix11__2703_16.min1.thm1
2017-02-06 12:44
1.3K
matrix11__2705_12.min1.thm1
2017-02-06 12:44
612
matrix11__2706_9.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2732_13.min1.thm1
2017-02-06 12:44
281
matrix11__2763_14.min1.thm1
2017-02-06 12:44
3.3K
matrix11__2791_10.min1.thm1
2017-02-06 12:44
422
matrix11__2822_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2826_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__2827_17.min1.thm1
2017-02-06 12:44
371
matrix11__2827_17.min1.thm1.tptp
2017-02-06 16:47
306
matrix11__2828_17.min1.thm1
2017-02-06 12:44
709
matrix11__2829_44.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2830_23.min1.thm1
2017-02-06 12:44
1.9K
matrix11__2831_23.min1.thm1
2017-02-06 12:44
1.9K
matrix11__2832_25.min1.thm1
2017-02-06 12:44
2.1K
matrix11__2838_17.min1.thm1
2017-02-06 12:44
1.5K
matrix11__2839_17.min1.thm1
2017-02-06 12:44
709
matrix11__2840_44.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2841_17.min1.thm1
2017-02-06 12:44
709
matrix11__2842_26.min1.thm1
2017-02-06 12:44
625
matrix11__2843_55.min1.thm1
2017-02-06 12:44
1.1K
matrix11__2844_22.min1.thm1
2017-02-06 12:44
543
matrix11__2847_22.min1.thm1
2017-02-06 12:44
850
matrix11__2849_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2852_18.min1.thm1
2017-02-06 12:44
782
matrix11__2866_16.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2875_9.min1.thm1
2017-02-06 12:44
763
matrix11__2877_16.min1.thm1
2017-02-06 12:44
2.3K
matrix11__2878_16.min1.thm1
2017-02-06 12:44
2.3K
matrix11__2879_16.min1.thm1
2017-02-06 12:44
2.3K
matrix11__2883_16.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2884_17.min1.thm1
2017-02-06 12:44
2.7K
matrix11__2893_57.min1.thm1
2017-02-06 12:44
461
matrix11__2893_57.min1.thm1.tptp
2017-02-06 16:47
383
matrix11__2896_12.min1.thm1
2017-02-06 12:44
1.4K
matrix11__2922_57.min1.thm1
2017-02-06 12:44
461
matrix11__2922_57.min1.thm1.tptp
2017-02-06 16:47
383
matrix11__2925_57.min1.thm1
2017-02-06 12:44
617
matrix11__2936_20.min1.thm1
2017-02-06 12:44
890
matrix11__2937_12.min1.thm1
2017-02-06 12:44
968
matrix11__2939_18.min1.thm1
2017-02-06 12:44
1.6K
matrix11__2940_16.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2946_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2950_19.min1.thm1
2017-02-06 12:44
591
matrix11__2951_46.min1.thm1
2017-02-06 12:44
458
matrix11__2954_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__2957_26.min1.thm1
2017-02-06 12:44
452
matrix11__2963_57.min1.thm1
2017-02-06 12:44
639
matrix11__2964_16.min1.thm1
2017-02-06 12:44
302
matrix11__2987_23.min1.thm1
2017-02-06 12:44
896
matrix11__2990_16.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2991_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2993_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__2996_27.min1.thm1
2017-02-06 12:44
1.9K
matrix11__2997_35.min1.thm1
2017-02-06 12:44
2.0K
matrix11__3001_27.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3002_35.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3005_50.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3009_40.min1.thm1
2017-02-06 12:44
790
matrix11__3013_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3014_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3016_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3017_17.min1.thm1
2017-02-06 12:44
735
matrix11__3018_26.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3023_33.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3036_41.min1.thm1
2017-02-06 12:44
901
matrix11__3040_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3041_23.min1.thm1
2017-02-06 12:44
896
matrix11__3042_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3044_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3045_26.min1.thm1
2017-02-06 12:44
952
matrix11__3046_45.min1.thm1
2017-02-06 12:44
626
matrix11__3047_17.min1.thm1
2017-02-06 12:44
735
matrix11__3048_26.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3052_30.min1.thm1
2017-02-06 12:44
1.8K
matrix11__3053_32.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3057_21.min1.thm1
2017-02-06 12:44
1.7K
matrix11__3069_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3075_36.min1.thm1
2017-02-06 12:44
784
matrix11__3078_19.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3079_21.min1.thm1
2017-02-06 12:44
890
matrix11__3080_24.min1.thm1
2017-02-06 12:44
923
matrix11__3081_41.min1.thm1
2017-02-06 12:44
603
matrix11__3085_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3087_17.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3105_46.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3111_37.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3113_17.min1.thm1
2017-02-06 12:44
599
matrix11__3115_19.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3127_55.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3131_21.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3132_32.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3134_18.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3135_18.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3136_32.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3138_18.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3139_13.min1.thm1
2017-02-06 12:44
2.2K
matrix11__3141_19.min1.thm1
2017-02-06 12:44
2.5K
matrix11__3142_21.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3147_19.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3153_15.min1.thm1
2017-02-06 12:44
380
matrix11__3155_18.min1.thm1
2017-02-06 12:44
1.8K
matrix11__3158_44.min1.thm1
2017-02-06 12:44
609
matrix11__3160_32.min1.thm1
2017-02-06 12:44
809
matrix11__3169_32.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3173_52.min1.thm1
2017-02-06 12:44
611
matrix11__3179_24.min1.thm1
2017-02-06 12:44
453
matrix11__3194_13.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3200_17.min1.thm1
2017-02-06 12:44
2.3K
matrix11__3206_13.min1.thm1
2017-02-06 12:44
2.0K
matrix11__3207_17.min1.thm1
2017-02-06 12:44
2.2K
matrix11__3208_43.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3213_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3219_17.min1.thm1
2017-02-06 12:44
2.6K
matrix11__3241_45.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3262_17.min1.thm1
2017-02-06 12:44
205
matrix11__3267_39.min1.thm1
2017-02-06 12:44
679
matrix11__3268_43.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3270_15.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3280_45.min1.thm1
2017-02-06 12:44
912
matrix11__3281_33.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3283_19.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3284_19.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3285_19.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3286_35.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3288_22.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3289_33.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3290_24.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3297_16.min1.thm1
2017-02-06 12:44
382
matrix11__3301_20.min1.thm1
2017-02-06 12:44
316
matrix11__3301_20.min1.thm1.tptp
2017-02-06 16:47
235
matrix11__3303_42.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3305_16.min1.thm1
2017-02-06 12:44
2.0K
matrix11__3322_45.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3323_10.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3350_13.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3354_14.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3355_15.min1.thm1
2017-02-06 12:44
363
matrix11__3355_15.min1.thm1.tptp
2017-02-06 16:47
298
matrix11__3356_15.min1.thm1
2017-02-06 12:44
739
matrix11__3357_42.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3359_24.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3359_24.min1.thm1.tptp
2017-02-06 16:47
1.2K
matrix11__3360_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3361_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3361_25.min1.thm1.tptp
2017-02-06 16:47
1.0K
matrix11__3369_15.min1.thm1
2017-02-06 12:44
1.7K
matrix11__3370_15.min1.thm1
2017-02-06 12:44
739
matrix11__3371_42.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3372_34.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3374_27.min1.thm1
2017-02-06 12:44
1.6K
matrix11__3376_19.min1.thm1
2017-02-06 12:44
288
matrix11__3377_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3380_15.min1.thm1
2017-02-06 12:44
740
matrix11__3381_24.min1.thm1
2017-02-06 12:44
653
matrix11__3385_20.min1.thm1
2017-02-06 12:44
828
matrix11__3388_24.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3388_24.min1.thm1.tptp
2017-02-06 16:47
1.2K
matrix11__3391_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3392_22.min1.thm1
2017-02-06 12:44
495
matrix11__3393_24.min1.thm1
2017-02-06 12:44
413
matrix11__3393_24.min1.thm1.tptp
2017-02-06 16:47
339
matrix11__3394_33.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3395_28.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3398_16.min1.thm1
2017-02-06 12:44
685
matrix11__3399_20.min1.thm1
2017-02-06 12:44
532
matrix11__3402_22.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3409_18.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3409_18.min1.thm1.tptp
2017-02-06 16:47
1.1K
matrix11__3412_9.min1.thm1
2017-02-06 12:44
718
matrix11__3414_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3415_18.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3416_31.min1.thm1
2017-02-06 12:44
959
matrix11__3420_14.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3437_11.min1.thm1
2017-02-06 12:44
203
matrix11__3440_24.min1.thm1
2017-02-06 12:44
600
matrix11__3443_19.min1.thm1
2017-02-06 12:44
628
matrix11__3448_36.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3472_47.min1.thm1
2017-02-06 12:44
601
matrix11__3473_19.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3474_13.min1.thm1
2017-02-06 12:44
624
matrix11__3476_13.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3480_14.min1.thm1
2017-02-06 12:44
638
matrix11__3481_22.min1.thm1
2017-02-06 12:44
543
matrix11__3482_28.min1.thm1
2017-02-06 12:44
457
matrix11__3485_24.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3486_47.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3488_27.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3489_26.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3489_26.min1.thm1.tptp
2017-02-06 16:47
1.0K
matrix11__3496_15.min1.thm1
2017-02-06 12:44
456
matrix11__3499_17.min1.thm1
2017-02-06 12:44
628
matrix11__3500_43.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3501_21.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3503_19.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3522_24.min1.thm1
2017-02-06 12:44
934
matrix11__3523_34.min1.thm1
2017-02-06 12:44
1.7K
matrix11__3530_32.min1.thm1
2017-02-06 12:44
628
matrix11__3531_16.min1.thm1
2017-02-06 12:44
773
matrix11__3537_31.min1.thm1
2017-02-06 12:44
634
matrix11__3538_16.min1.thm1
2017-02-06 12:44
776
matrix11__3540_47.min1.thm1
2017-02-06 12:44
674
matrix11__3542_41.min1.thm1
2017-02-06 12:44
393
matrix11__3542_41.min1.thm1.tptp
2017-02-06 16:47
313
matrix11__3547_16.min1.thm1
2017-02-06 12:44
509
matrix11__3548_13.min1.thm1
2017-02-06 12:44
509
matrix11__3550_26.min1.thm1
2017-02-06 12:44
702
matrix11__3551_13.min1.thm1
2017-02-06 12:44
417
matrix11__3551_13.min1.thm1.tptp
2017-02-06 16:47
355
matrix11__3552_32.min1.thm1
2017-02-06 12:44
699
matrix11__3557_23.min1.thm1
2017-02-06 12:44
714
matrix11__3560_39.min1.thm1
2017-02-06 12:44
679
matrix11__3561_25.min1.thm1
2017-02-06 12:44
283
matrix11__3562_25.min1.thm1
2017-02-06 12:44
965
matrix11__3563_19.min1.thm1
2017-02-06 12:44
538
matrix11__3571_18.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3572_16.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3574_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3575_44.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3582_21.min1.thm1
2017-02-06 12:44
2.2K
matrix11__3583_17.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3593_11.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3595_14.min1.thm1
2017-02-06 12:44
898
matrix11__3596_15.min1.thm1
2017-02-06 12:44
898
matrix11__3608_12.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3609_28.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3610_23.min1.thm1
2017-02-06 12:44
662
matrix11__3611_17.min1.thm1
2017-02-06 12:44
874
matrix11__3624_24.min1.thm1
2017-02-06 12:44
934
matrix11__3625_34.min1.thm1
2017-02-06 12:44
1.7K
matrix11__3640_15.min1.thm1
2017-02-06 12:44
380
matrix11__3646_16.min1.thm1
2017-02-06 12:44
1.7K
matrix11__3649_13.min1.thm1
2017-02-06 12:44
287
matrix11__3672_11.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3698_13.min1.thm1
2017-02-06 12:44
421
matrix11__3698_13.min1.thm1.tptp
2017-02-06 16:47
343
matrix11__3703_13.min1.thm1
2017-02-06 12:44
515
matrix11__3711_39.min1.thm1
2017-02-06 12:44
871
matrix11__3712_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3720_18.min1.thm1
2017-02-06 12:44
573
matrix11__3721_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3740_15.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3744_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3745_17.min1.thm1
2017-02-06 12:44
371
matrix11__3745_17.min1.thm1.tptp
2017-02-06 16:47
306
matrix11__3746_17.min1.thm1
2017-02-06 12:44
709
matrix11__3747_44.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3748_31.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3750_26.min1.thm1
2017-02-06 12:44
1.8K
matrix11__3751_25.min1.thm1
2017-02-06 12:44
734
matrix11__3751_25.min1.thm1.tptp
2017-02-06 16:47
657
matrix11__3752_33.min1.thm1
2017-02-06 12:44
884
matrix11__3753_20.min1.thm1
2017-02-06 12:44
2.9K
matrix11__3760_17.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3761_17.min1.thm1
2017-02-06 12:44
709
matrix11__3762_44.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3763_31.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3765_26.min1.thm1
2017-02-06 12:44
1.8K
matrix11__3766_18.min1.thm1
2017-02-06 12:44
2.9K
matrix11__3769_17.min1.thm1
2017-02-06 12:44
707
matrix11__3770_17.min1.thm1
2017-02-06 12:44
710
matrix11__3772_20.min1.thm1
2017-02-06 12:44
627
matrix11__3773_22.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3775_18.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3776_36.min1.thm1
2017-02-06 12:44
775
matrix11__3777_32.min1.thm1
2017-02-06 12:44
740
matrix11__3780_10.min1.thm1
2017-02-06 12:44
1.9K
matrix11__3781_21.min1.thm1
2017-02-06 12:44
295
matrix11__3782_22.min1.thm1
2017-02-06 12:44
850
matrix11__3784_35.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3785_24.min1.thm1
2017-02-06 12:44
507
matrix11__3786_26.min1.thm1
2017-02-06 12:44
425
matrix11__3786_26.min1.thm1.tptp
2017-02-06 16:47
351
matrix11__3787_35.min1.thm1
2017-02-06 12:44
1.8K
matrix11__3788_30.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3791_22.min1.thm1
2017-02-06 12:44
544
matrix11__3794_24.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3797_20.min1.thm1
2017-02-06 12:44
594
matrix11__3815_11.min1.thm1
2017-02-06 12:44
774
matrix11__3816_15.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3818_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3825_12.min1.thm1
2017-02-06 12:44
763
matrix11__3827_16.min1.thm1
2017-02-06 12:44
2.3K
matrix11__3828_15.min1.thm1
2017-02-06 12:44
808
matrix11__3829_21.min1.thm1
2017-02-06 12:44
2.5K
matrix11__3830_19.min1.thm1
2017-02-06 12:44
1.8K
matrix11__3833_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__3834_45.min1.thm1
2017-02-06 12:44
2.1K
matrix11__3846_17.min1.thm1
2017-02-06 12:44
615
matrix11__3862_16.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3877_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__3884_43.min1.thm1
2017-02-06 12:44
2.3K
matrix11__3885_19.min1.thm1
2017-02-06 12:44
2.3K
matrix11__3886_15.min1.thm1
2017-02-06 12:44
2.0K
matrix11__3894_43.min1.thm1
2017-02-06 12:44
1.1K
matrix11__3895_23.min1.thm1
2017-02-06 12:44
203
matrix11__3901_11.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3902_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3903_31.min1.thm1
2017-02-06 12:44
894
matrix11__3907_15.min1.thm1
2017-02-06 12:44
752
matrix11__3928_47.min1.thm1
2017-02-06 12:44
741
matrix11__3931_17.min1.thm1
2017-02-06 12:44
740
matrix11__3937_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3948_25.min1.thm1
2017-02-06 12:44
958
matrix11__3949_38.min1.thm1
2017-02-06 12:44
1.2K
matrix11__3960_33.min1.thm1
2017-02-06 12:44
875
matrix11__3961_31.min1.thm1
2017-02-06 12:44
875
matrix11__3962_65.min1.thm1
2017-02-06 12:44
626
matrix11__3975_19.min1.thm1
2017-02-06 12:44
891
matrix11__3978_19.min1.thm1
2017-02-06 12:44
891
matrix11__3984_23.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3986_28.min1.thm1
2017-02-06 12:44
1.3K
matrix11__3987_58.min1.thm1
2017-02-06 12:44
1.0K
matrix11__3993_33.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4007_18.min1.thm1
2017-02-06 12:44
891
matrix11__4008_18.min1.thm1
2017-02-06 12:44
891
matrix11__4009_19.min1.thm1
2017-02-06 12:44
891
matrix11__4010_18.min1.thm1
2017-02-06 12:44
891
matrix11__4011_19.min1.thm1
2017-02-06 12:44
891
matrix11__4014_35.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4015_35.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4023_25.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4026_23.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4029_23.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4032_23.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4034_30.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4037_13.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4046_44.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4047_18.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4048_23.min1.thm1
2017-02-06 12:44
1.9K
matrix11__4049_30.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4066_37.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4074_19.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4081_12.min1.thm1
2017-02-06 12:44
769
matrix11__4082_37.min1.thm1
2017-02-06 12:44
652
matrix11__4083_30.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4086_44.min1.thm1
2017-02-06 12:44
686
matrix11__4087_11.min1.thm1
2017-02-06 12:44
711
matrix11__4107_13.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4111_32.min1.thm1
2017-02-06 12:44
2.4K
matrix11__4118_21.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4129_22.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4130_29.min1.thm1
2017-02-06 12:44
2.4K
matrix11__4135_16.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4138_22.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4143_21.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4144_20.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4153_20.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4155_22.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4156_21.min1.thm1
2017-02-06 12:44
682
matrix11__4157_61.min1.thm1
2017-02-06 12:44
1.9K
matrix11__4159_30.min1.thm1
2017-02-06 12:44
809
matrix11__4162_15.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4165_19.min1.thm1
2017-02-06 12:44
2.7K
matrix11__4167_20.min1.thm1
2017-02-06 12:44
2.2K
matrix11__4170_22.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4172_26.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4176_21.min1.thm1
2017-02-06 12:44
672
matrix11__4178_20.min1.thm1
2017-02-06 12:44
2.2K
matrix11__4194_22.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4198_20.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4206_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4207_28.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4208_50.min1.thm1
2017-02-06 12:44
697
matrix11__4218_48.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4219_9.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4233_15.min1.thm1
2017-02-06 12:44
380
matrix11__4235_18.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4243_15.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4244_37.min1.thm1
2017-02-06 12:44
4.9K
matrix11__4245_42.min1.thm1
2017-02-06 12:44
2.8K
matrix11__4251_21.min1.thm1
2017-02-06 12:44
346
matrix11__4251_21.min1.thm1.tptp
2017-02-06 16:47
264
matrix11__4252_13.min1.thm1
2017-02-06 12:44
2.7K
matrix11__4256_17.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4266_15.min1.thm1
2017-02-06 12:44
387
matrix11__4268_10.min1.thm1
2017-02-06 12:44
689
matrix11__4270_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4274_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4278_11.min1.thm1
2017-02-06 12:44
646
matrix11__4279_20.min1.thm1
2017-02-06 12:44
630
matrix11__4285_25.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4286_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4292_15.min1.thm1
2017-02-06 12:44
540
matrix11__4300_17.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4311_19.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4314_13.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4317_18.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4319_18.min1.thm1
2017-02-06 12:44
2.6K
matrix11__4324_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4326_22.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4327_21.min1.thm1
2017-02-06 12:44
682
matrix11__4328_60.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4329_15.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4335_31.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4336_20.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4351_17.min1.thm1
2017-02-06 12:44
1.5K
matrix11__4352_9.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4354_15.min1.thm1
2017-02-06 12:44
2.3K
matrix11__4377_38.min1.thm1
2017-02-06 12:44
767
matrix11__4378_15.min1.thm1
2017-02-06 12:44
467
matrix11__4392_29.min1.thm1
2017-02-06 12:44
494
matrix11__4392_29.min1.thm1.tptp
2017-02-06 16:47
432
matrix11__4393_16.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4394_17.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4397_24.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4416_42.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4417_16.min1.thm1
2017-02-06 12:44
468
matrix11__4422_16.min1.thm1
2017-02-06 12:44
469
matrix11__4427_18.min1.thm1
2017-02-06 12:44
1.5K
matrix11__4430_13.min1.thm1
2017-02-06 12:44
270
matrix11__4432_15.min1.thm1
2017-02-06 12:44
429
matrix11__4432_15.min1.thm1.tptp
2017-02-06 16:47
367
matrix11__4437_47.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4438_15.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4440_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4441_21.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4442_48.min1.thm1
2017-02-06 12:44
2.1K
matrix11__4443_17.min1.thm1
2017-02-06 12:44
860
matrix11__4444_15.min1.thm1
2017-02-06 12:44
272
matrix11__4446_15.min1.thm1
2017-02-06 12:44
433
matrix11__4446_15.min1.thm1.tptp
2017-02-06 16:47
371
matrix11__4447_15.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4449_20.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4450_17.min1.thm1
2017-02-06 12:44
918
matrix11__4453_22.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4454_31.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4457_18.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4458_22.min1.thm1
2017-02-06 12:44
642
matrix11__4460_22.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4463_13.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4465_20.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4466_16.min1.thm1
2017-02-06 12:44
849
matrix11__4467_15.min1.thm1
2017-02-06 12:44
906
matrix11__4468_30.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4489_20.min1.thm1
2017-02-06 12:44
564
matrix11__4490_20.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4491_59.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4492_18.min1.thm1
2017-02-06 12:44
564
matrix11__4493_51.min1.thm1
2017-02-06 12:44
685
matrix11__4494_26.min1.thm1
2017-02-06 12:44
939
matrix11__4495_40.min1.thm1
2017-02-06 12:44
639
matrix11__4508_37.min1.thm1
2017-02-06 12:44
869
matrix11__4513_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4514_34.min1.thm1
2017-02-06 12:44
628
matrix11__4515_62.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4526_15.min1.thm1
2017-02-06 12:44
437
matrix11__4527_22.min1.thm1
2017-02-06 12:44
606
matrix11__4534_18.min1.thm1
2017-02-06 12:44
690
matrix11__4535_18.min1.thm1
2017-02-06 12:44
688
matrix11__4541_16.min1.thm1
2017-02-06 12:44
664
matrix11__4547_20.min1.thm1
2017-02-06 12:44
611
matrix11__4548_20.min1.thm1
2017-02-06 12:44
611
matrix11__4549_20.min1.thm1
2017-02-06 12:44
778
matrix11__4552_23.min1.thm1
2017-02-06 12:44
682
matrix11__4553_22.min1.thm1
2017-02-06 12:44
703
matrix11__4554_51.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4556_23.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4566_20.min1.thm1
2017-02-06 12:44
670
matrix11__4567_23.min1.thm1
2017-02-06 12:44
560
matrix11__4584_18.min1.thm1
2017-02-06 12:44
476
matrix11__4588_13.min1.thm1
2017-02-06 12:44
356
matrix11__4588_13.min1.thm1.tptp
2017-02-06 16:47
291
matrix11__4589_26.min1.thm1
2017-02-06 12:44
1.9K
matrix11__4594_17.min1.thm1
2017-02-06 12:44
274
matrix11__4596_16.min1.thm1
2017-02-06 12:44
437
matrix11__4596_16.min1.thm1.tptp
2017-02-06 16:47
375
matrix11__4602_24.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4603_18.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4605_21.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4606_19.min1.thm1
2017-02-06 12:44
930
matrix11__4608_29.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4609_17.min1.thm1
2017-02-06 12:44
353
matrix11__4609_17.min1.thm1.tptp
2017-02-06 16:47
288
matrix11__4612_21.min1.thm1
2017-02-06 12:44
2.3K
matrix11__4615_17.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4617_25.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4624_18.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4627_17.min1.thm1
2017-02-06 12:44
2.3K
matrix11__4643_18.min1.thm1
2017-02-06 12:44
812
matrix11__4644_18.min1.thm1
2017-02-06 12:44
505
matrix11__4645_19.min1.thm1
2017-02-06 12:44
890
matrix11__4646_28.min1.thm1
2017-02-06 12:44
411
matrix11__4646_28.min1.thm1.tptp
2017-02-06 16:47
337
matrix11__4649_21.min1.thm1
2017-02-06 12:44
545
matrix11__4651_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4652_18.min1.thm1
2017-02-06 12:44
2.3K
matrix11__4653_24.min1.thm1
2017-02-06 12:44
638
matrix11__4654_29.min1.thm1
2017-02-06 12:44
411
matrix11__4654_29.min1.thm1.tptp
2017-02-06 16:47
337
matrix11__4656_50.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4660_14.min1.thm1
2017-02-06 12:44
836
matrix11__4662_23.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4664_22.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4665_12.min1.thm1
2017-02-06 12:44
836
matrix11__4666_21.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4676_23.min1.thm1
2017-02-06 12:44
549
matrix11__4680_21.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4684_26.min1.thm1
2017-02-06 12:44
1.5K
matrix11__4696_13.min1.thm1
2017-02-06 12:44
769
matrix11__4697_26.min1.thm1
2017-02-06 12:44
788
matrix11__4698_13.min1.thm1
2017-02-06 12:44
251
matrix11__4701_23.min1.thm1
2017-02-06 12:44
896
matrix11__4702_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4703_49.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4707_21.min1.thm1
2017-02-06 12:44
1.8K
matrix11__4712_22.min1.thm1
2017-02-06 12:44
2.4K
matrix11__4713_16.min1.thm1
2017-02-06 12:44
701
matrix11__4718_24.min1.thm1
2017-02-06 12:44
453
matrix11__4724_57.min1.thm1
2017-02-06 12:44
645
matrix11__4725_17.min1.thm1
2017-02-06 12:44
302
matrix11__4748_35.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4750_32.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4756_49.min1.thm1
2017-02-06 12:44
559
matrix11__4757_37.min1.thm1
2017-02-06 12:44
459
matrix11__4761_42.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4764_26.min1.thm1
2017-02-06 12:44
454
matrix11__4769_31.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4770_23.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4771_17.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4772_26.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4773_23.min1.thm1
2017-02-06 12:44
903
matrix11__4774_35.min1.thm1
2017-02-06 12:44
828
matrix11__4780_18.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4781_44.min1.thm1
2017-02-06 12:44
965
matrix11__4782_21.min1.thm1
2017-02-06 12:44
902
matrix11__4783_44.min1.thm1
2017-02-06 12:44
743
matrix11__4796_18.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4799_16.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4804_15.min1.thm1
2017-02-06 12:44
257
matrix11__4807_27.min1.thm1
2017-02-06 12:44
750
matrix11__4808_25.min1.thm1
2017-02-06 12:44
1.1K
matrix11__4812_24.min1.thm1
2017-02-06 12:44
724
matrix11__4813_25.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4816_14.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4821_48.min1.thm1
2017-02-06 12:44
811
matrix11__4821_48.min1.thm1.tptp
2017-02-06 16:47
725
matrix11__4824_38.min1.thm1
2017-02-06 12:44
688
matrix11__4824_38.min1.thm1.tptp
2017-02-06 16:47
602
matrix11__4829_13.min1.thm1
2017-02-06 12:44
953
matrix11__4862_58.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4871_53.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4872_24.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4873_51.min1.thm1
2017-02-06 12:44
962
matrix11__4878_19.min1.thm1
2017-02-06 12:44
1.2K
matrix11__4882_41.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4891_24.min1.thm1
2017-02-06 12:44
602
matrix11__4896_23.min1.thm1
2017-02-06 12:44
2.2K
matrix11__4904_32.min1.thm1
2017-02-06 12:44
580
matrix11__4904_32.min1.thm1.tptp
2017-02-06 16:47
518
matrix11__4905_20.min1.thm1
2017-02-06 12:44
2.3K
matrix11__4908_28.min1.thm1
2017-02-06 12:44
836
matrix11__4917_21.min1.thm1
2017-02-06 12:44
312
matrix11__4919_19.min1.thm1
2017-02-06 12:44
528
matrix11__4919_19.min1.thm1.tptp
2017-02-06 16:47
466
matrix11__4925_19.min1.thm1
2017-02-06 12:44
2.5K
matrix11__4927_24.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4928_21.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4929_20.min1.thm1
2017-02-06 12:44
1.3K
matrix11__4930_35.min1.thm1
2017-02-06 12:44
1.7K
matrix11__4933_21.min1.thm1
2017-02-06 12:44
869
matrix11__4935_18.min1.thm1
2017-02-06 12:44
473
matrix11__4936_17.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4940_21.min1.thm1
2017-02-06 12:44
621
matrix11__4950_20.min1.thm1
2017-02-06 12:44
1.5K
matrix11__4951_16.min1.thm1
2017-02-06 12:44
2.2K
matrix11__4952_52.min1.thm1
2017-02-06 12:44
1.6K
matrix11__4954_23.min1.thm1
2017-02-06 12:44
910
matrix11__4955_16.min1.thm1
2017-02-06 12:44
2.2K
matrix11__4957_20.min1.thm1
2017-02-06 12:44
2.0K
matrix11__4967_16.min1.thm1
2017-02-06 12:44
357
matrix11__4967_16.min1.thm1.tptp
2017-02-06 16:47
281
matrix11__4977_20.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4978_19.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4980_21.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4983_19.min1.thm1
2017-02-06 12:44
522
matrix11__4989_20.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4990_54.min1.thm1
2017-02-06 12:44
1.0K
matrix11__4990_54.min1.thm1.tptp
2017-02-06 16:47
916
matrix11__4995_20.min1.thm1
2017-02-06 12:44
1.4K
matrix11__4998_21.min1.thm1
2017-02-06 12:44
2.0K
matrix11__5002_21.min1.thm1
2017-02-06 12:44
404
matrix11__5004_23.min1.thm1
2017-02-06 12:44
1.6K
matrix11__5005_19.min1.thm1
2017-02-06 12:44
469
matrix11__5010_26.min1.thm1
2017-02-06 12:44
2.2K
matrix11__5012_21.min1.thm1
2017-02-06 12:44
1.8K
matrix11__5014_27.min1.thm1
2017-02-06 12:44
856
matrix11__5015_22.min1.thm1
2017-02-06 12:44
2.6K
matrix11__5018_30.min1.thm1
2017-02-06 12:44
1.6K
matrix11__5020_30.min1.thm1
2017-02-06 12:44
2.6K
matrix11__5024_27.min1.thm1
2017-02-06 12:44
1.2K
matrix11__5025_20.min1.thm1
2017-02-06 12:44
1.6K
matrix11__5027_19.min1.thm1
2017-02-06 12:44
1.7K
matrix11__5029_30.min1.thm1
2017-02-06 12:44
2.5K
matrix11__5033_35.min1.thm1
2017-02-06 12:44
1.5K
matrix11__5035_25.min1.thm1
2017-02-06 12:44
946
matrix11__5037_25.min1.thm1
2017-02-06 12:44
1.1K
matrix11__5040_30.min1.thm1
2017-02-06 12:44
2.3K
matrix11__5051_23.min1.thm1
2017-02-06 12:44
922
matrix11__5052_20.min1.thm1
2017-02-06 12:44
1.4K
matrix11__5057_21.min1.thm1
2017-02-06 12:44
404
matrix11__5060_30.min1.thm1
2017-02-06 12:44
1.1K
matrix11__5061_26.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5062_39.min1.thm1
2017-02-06 12:44
778
matrix11__5065_24.min1.thm1
2017-02-06 12:44
2.2K
matrix11__5068_28.min1.thm1
2017-02-06 12:44
963
matrix11__5070_37.min1.thm1
2017-02-06 12:44
2.7K
matrix11__5076_18.min1.thm1
2017-02-06 12:44
1.9K
matrix11__5083_55.min1.thm1
2017-02-06 12:44
1.6K
matrix11__5086_25.min1.thm1
2017-02-06 12:44
2.2K
matrix11__5096_20.min1.thm1
2017-02-06 12:44
522
matrix11__5099_20.min1.thm1
2017-02-06 12:44
522
matrix11__5103_19.min1.thm1
2017-02-06 12:44
1.9K
matrix11__5104_22.min1.thm1
2017-02-06 12:44
2.1K
matrix11__5108_45.min1.thm1
2017-02-06 12:44
898
matrix11__5109_18.min1.thm1
2017-02-06 12:44
1.4K
matrix11__5110_17.min1.thm1
2017-02-06 12:44
359
matrix11__5110_17.min1.thm1.tptp
2017-02-06 16:47
283
matrix11__5116_17.min1.thm1
2017-02-06 12:44
1.6K
matrix11__5119_27.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5124_28.min1.thm1
2017-02-06 12:44
452
matrix11__5127_49.min1.thm1
2017-02-06 12:44
1.3K
matrix11__5129_29.min1.thm1
2017-02-06 12:44
1.2K
matrix11__5134_17.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5136_18.min1.thm1
2017-02-06 12:44
347
matrix11__5136_18.min1.thm1.tptp
2017-02-06 16:47
282
matrix11__5137_25.min1.thm1
2017-02-06 12:44
406
matrix11__5144_19.min1.thm1
2017-02-06 12:44
1.7K
matrix11__5149_17.min1.thm1
2017-02-06 12:44
1.1K
matrix11__5163_15.min1.thm1
2017-02-06 12:44
2.0K
matrix11__5167_20.min1.thm1
2017-02-06 12:44
814
matrix11__5168_18.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5171_16.min1.thm1
2017-02-06 12:44
1.4K
matrix11__5183_16.min1.thm1
2017-02-06 12:44
887
matrix11__5195_14.min1.thm1
2017-02-06 12:44
354
matrix11__5195_14.min1.thm1.tptp
2017-02-06 16:47
278
matrix11__5207_18.min1.thm1
2017-02-06 12:44
563
matrix11__5208_47.min1.thm1
2017-02-06 12:44
1.1K
matrix11__5213_46.min1.thm1
2017-02-06 12:44
911
matrix11__5214_24.min1.thm1
2017-02-06 12:44
832
matrix11__5215_16.min1.thm1
2017-02-06 12:44
599
matrix11__5217_45.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5218_20.min1.thm1
2017-02-06 12:44
423
matrix11__5219_20.min1.thm1
2017-02-06 12:44
710
matrix11__5221_13.min1.thm1
2017-02-06 12:44
193
matrix11__5224_20.min1.thm1
2017-02-06 12:44
661
matrix11__5225_38.min1.thm1
2017-02-06 12:44
1.4K
matrix11__5229_31.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5238_44.min1.thm1
2017-02-06 12:44
1.7K
matrix11__5239_21.min1.thm1
2017-02-06 12:44
782
matrix11__5246_23.min1.thm1
2017-02-06 12:44
634
matrix11__5248_19.min1.thm1
2017-02-06 12:44
2.1K
matrix11__5252_20.min1.thm1
2017-02-06 12:44
525
matrix11__5253_19.min1.thm1
2017-02-06 12:44
750
matrix11__5254_15.min1.thm1
2017-02-06 12:44
633
matrix11__5260_15.min1.thm1
2017-02-06 12:44
2.1K
matrix11__5262_22.min1.thm1
2017-02-06 12:44
1.4K
matrix11__5263_23.min1.thm1
2017-02-06 12:44
1.5K
matrix11__5264_50.min1.thm1
2017-02-06 12:44
2.4K
matrix11__5266_15.min1.thm1
2017-02-06 12:44
357
matrix11__5266_15.min1.thm1.tptp
2017-02-06 16:47
281
matrix11__5270_45.min1.thm1
2017-02-06 12:44
1.6K
matrix11__5277_16.min1.thm1
2017-02-06 12:44
2.2K
matrix11__5279_18.min1.thm1
2017-02-06 12:44
1.1K
matrix11__5283_16.min1.thm1
2017-02-06 12:44
380
matrix11__5288_26.min1.thm1
2017-02-06 12:44
1.1K
matrix11__5289_20.min1.thm1
2017-02-06 12:44
1.0K
matrix11__5290_23.min1.thm1
2017-02-06 12:44
936
matrix11__5291_47.min1.thm1
2017-02-06 12:44
612
matrix11__5292_15.min1.thm1
2017-02-06 12:44
2.5K
matrix11__5294_24.min1.thm1
2017-02-06 12:44
1.3K
matrix11__5321_10.min1.thm1
2017-02-06 12:44
422
matrix11__5329_16.min1.thm1
2017-02-06 12:44
1.5K
matrix11__5350_15.min1.thm1
2017-02-06 12:44
287
matrix11__5356_39.min1.thm1
2017-02-06 12:44
1.7K
matrix11__5370_36.min1.thm1
2017-02-06 12:44
2.0K
matrix11__5373_13.min1.thm1
2017-02-06 12:44
195
matrix11__5376_28.min1.thm1
2017-02-06 12:44
1.8K
matrix11__5377_21.min1.thm1
2017-02-06 12:44
2.5K
matrix11__5381_16.min1.thm1
2017-02-06 12:44
707
matrix11__5390_14.min1.thm1
2017-02-06 12:44
1.5K
matrix11__5394_17.min1.thm1
2017-02-06 12:44
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80