Index of /~mptp/1147/MPTP2/ilp0/matrix_9
Name
Last modified
Size
Description
Parent Directory
-
matrix_9__54_18.min1.thm1
2017-02-06 12:46
338
matrix_9__54_18.min1.thm1.tptp
2017-02-06 16:47
260
matrix_9__55_17.min1.thm1
2017-02-06 12:46
546
matrix_9__64_43.min1.thm1
2017-02-06 12:46
424
matrix_9__64_43.min1.thm1.tptp
2017-02-06 16:47
346
matrix_9__65_16.min1.thm1
2017-02-06 12:46
484
matrix_9__86_30.min1.thm1
2017-02-06 12:46
726
matrix_9__87_55.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__88_28.min1.thm1
2017-02-06 12:46
460
matrix_9__89_13.min1.thm1
2017-02-06 12:46
314
matrix_9__93_55.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__94_17.min1.thm1
2017-02-06 12:46
459
matrix_9__95_21.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__100_55.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__102_18.min1.thm1
2017-02-06 12:46
569
matrix_9__106_25.min1.thm1
2017-02-06 12:46
908
matrix_9__107_18.min1.thm1
2017-02-06 12:46
480
matrix_9__107_18.min1.thm1.tptp
2017-02-06 16:47
394
matrix_9__110_10.min1.thm1
2017-02-06 12:46
234
matrix_9__111_18.min1.thm1
2017-02-06 12:46
383
matrix_9__111_18.min1.thm1.tptp
2017-02-06 16:47
304
matrix_9__113_14.min1.thm1
2017-02-06 12:46
388
matrix_9__113_14.min1.thm1.tptp
2017-02-06 16:47
299
matrix_9__126_20.min1.thm1
2017-02-06 12:46
464
matrix_9__127_19.min1.thm1
2017-02-06 12:46
748
matrix_9__136_27.min1.thm1
2017-02-06 12:46
387
matrix_9__136_27.min1.thm1.tptp
2017-02-06 16:47
317
matrix_9__137_19.min1.thm1
2017-02-06 12:46
633
matrix_9__145_3.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__146_24.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__148_36.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__149_26.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__151_22.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__152_24.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__154_24.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__155_33.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__156_17.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__164_26.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__168_17.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__169_22.min1.thm1
2017-02-06 12:46
546
matrix_9__171_25.min1.thm1
2017-02-06 12:46
606
matrix_9__172_17.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__173_22.min1.thm1
2017-02-06 12:46
546
matrix_9__175_25.min1.thm1
2017-02-06 12:46
606
matrix_9__176_14.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__183_28.min1.thm1
2017-02-06 12:46
492
matrix_9__184_21.min1.thm1
2017-02-06 12:46
407
matrix_9__184_21.min1.thm1.tptp
2017-02-06 16:47
329
matrix_9__186_19.min1.thm1
2017-02-06 12:46
799
matrix_9__194_28.min1.thm1
2017-02-06 12:46
492
matrix_9__195_21.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__197_31.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__208_3.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__209_22.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__211_24.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__212_26.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__213_28.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__215_59.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__216_22.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__217_19.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__218_17.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__229_32.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__230_22.min1.thm1
2017-02-06 12:46
495
matrix_9__230_22.min1.thm1.tptp
2017-02-06 16:47
428
matrix_9__232_24.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__233_24.min1.thm1
2017-02-06 12:46
497
matrix_9__233_24.min1.thm1.tptp
2017-02-06 16:47
430
matrix_9__234_27.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__235_74.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__237_18.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__238_19.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__239_17.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__248_52.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__249_20.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__250_20.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__251_39.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__252_37.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__253_40.min1.thm1
2017-02-06 12:46
598
matrix_9__260_42.min1.thm1
2017-02-06 12:46
450
matrix_9__260_42.min1.thm1.tptp
2017-02-06 16:47
396
matrix_9__261_32.min1.thm1
2017-02-06 12:46
2.1K
matrix_9__264_17.min1.thm1
2017-02-06 12:46
545
matrix_9__284_18.min1.thm1
2017-02-06 12:46
734
matrix_9__296_52.min1.thm1
2017-02-06 12:46
826
matrix_9__296_52.min1.thm1.tptp
2017-02-06 16:47
749
matrix_9__297_24.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__325_29.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__326_19.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__328_34.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__335_68.min1.thm1
2017-02-06 12:46
550
matrix_9__354_27.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__381_20.min1.thm1
2017-02-06 12:46
618
matrix_9__400_23.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__405_17.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__457_42.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__458_17.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__462_45.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__463_17.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__478_45.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__482_43.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__492_52.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__493_15.min1.thm1
2017-02-06 12:46
1.6K
matrix_9__494_14.min1.thm1
2017-02-06 12:46
566
matrix_9__503_53.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__508_16.min1.thm1
2017-02-06 12:46
762
matrix_9__508_16.min1.thm1.tptp
2017-02-06 16:47
683
matrix_9__517_51.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__518_16.min1.thm1
2017-02-06 12:46
443
matrix_9__519_16.min1.thm1
2017-02-06 12:46
895
matrix_9__519_16.min1.thm1.tptp
2017-02-06 16:47
814
matrix_9__526_51.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__538_50.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__547_14.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__548_27.min1.thm1
2017-02-06 12:46
556
matrix_9__550_18.min1.thm1
2017-02-06 12:46
833
matrix_9__551_12.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__553_18.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__557_13.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__558_45.min1.thm1
2017-02-06 12:46
642
matrix_9__561_14.min1.thm1
2017-02-06 12:46
740
matrix_9__570_46.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__572_12.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__574_61.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__578_13.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__581_13.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__588_46.min1.thm1
2017-02-06 12:46
798
matrix_9__601_44.min1.thm1
2017-02-06 12:46
595
matrix_9__614_24.min1.thm1
2017-02-06 12:46
504
matrix_9__614_24.min1.thm1.tptp
2017-02-06 16:47
437
matrix_9__618_36.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__620_22.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__621_24.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__623_34.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__624_22.min1.thm1
2017-02-06 12:46
845
matrix_9__627_33.min1.thm1
2017-02-06 12:46
735
matrix_9__629_24.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__630_67.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__632_16.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__633_41.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__635_17.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__643_31.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__644_29.min1.thm1
2017-02-06 12:46
723
matrix_9__645_19.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__647_28.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__648_33.min1.thm1
2017-02-06 12:46
735
matrix_9__649_19.min1.thm1
2017-02-06 12:46
828
matrix_9__652_36.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__654_26.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__655_22.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__656_24.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__658_59.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__659_41.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__661_22.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__662_14.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__663_17.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__675_50.min1.thm1
2017-02-06 12:46
802
matrix_9__681_50.min1.thm1
2017-02-06 12:46
802
matrix_9__689_50.min1.thm1
2017-02-06 12:46
802
matrix_9__698_50.min1.thm1
2017-02-06 12:46
802
matrix_9__708_8.min1.thm1
2017-02-06 12:46
924
matrix_9__708_8.min1.thm1.tptp
2017-02-06 16:47
856
matrix_9__711_14.min1.thm1
2017-02-06 12:46
950
matrix_9__711_14.min1.thm1.tptp
2017-02-06 16:47
888
matrix_9__713_20.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__713_20.min1.thm1.tptp
2017-02-06 16:47
905
matrix_9__716_24.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__716_24.min1.thm1.tptp
2017-02-06 16:47
1.0K
matrix_9__717_36.min1.thm1
2017-02-06 12:46
604
matrix_9__727_50.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__728_20.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__729_14.min1.thm1
2017-02-06 12:46
949
matrix_9__730_24.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__732_37.min1.thm1
2017-02-06 12:46
590
matrix_9__733_15.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__734_24.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__736_37.min1.thm1
2017-02-06 12:46
590
matrix_9__737_21.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__743_36.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__744_18.min1.thm1
2017-02-06 12:46
818
matrix_9__747_15.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__748_24.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__749_41.min1.thm1
2017-02-06 12:46
592
matrix_9__755_18.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__758_14.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__762_73.min1.thm1
2017-02-06 12:46
926
matrix_9__762_73.min1.thm1.tptp
2017-02-06 16:47
858
matrix_9__768_17.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__778_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__787_23.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__794_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__808_33.min1.thm1
2017-02-06 12:46
2.4K
matrix_9__810_37.min1.thm1
2017-02-06 12:46
2.7K
matrix_9__811_33.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__814_31.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__817_31.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__829_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__838_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__845_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__859_33.min1.thm1
2017-02-06 12:46
2.4K
matrix_9__862_33.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__865_31.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__868_31.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__880_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__889_23.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__896_23.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__910_33.min1.thm1
2017-02-06 12:46
2.4K
matrix_9__913_33.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__916_31.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__919_31.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__931_23.min1.thm1
2017-02-06 12:46
2.1K
matrix_9__940_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__947_23.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__961_33.min1.thm1
2017-02-06 12:46
2.4K
matrix_9__964_33.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__967_31.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__970_31.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__982_23.min1.thm1
2017-02-06 12:46
2.1K
matrix_9__991_23.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__998_23.min1.thm1
2017-02-06 12:46
2.1K
matrix_9__1012_33.min1.thm1
2017-02-06 12:46
2.4K
matrix_9__1015_33.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1018_31.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__1021_31.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1033_23.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__1042_23.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__1049_23.min1.thm1
2017-02-06 12:46
2.1K
matrix_9__1063_33.min1.thm1
2017-02-06 12:46
2.4K
matrix_9__1066_33.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1069_31.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__1072_31.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1082_14.min1.thm1
2017-02-06 12:46
686
matrix_9__1135_17.min1.thm1
2017-02-06 12:46
279
matrix_9__1145_16.min1.thm1
2017-02-06 12:46
794
matrix_9__1150_28.min1.thm1
2017-02-06 12:46
883
matrix_9__1157_28.min1.thm1
2017-02-06 12:46
883
matrix_9__1164_28.min1.thm1
2017-02-06 12:46
883
matrix_9__1176_51.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__1197_35.min1.thm1
2017-02-06 12:46
603
matrix_9__1202_19.min1.thm1
2017-02-06 12:46
696
matrix_9__1223_35.min1.thm1
2017-02-06 12:46
603
matrix_9__1228_19.min1.thm1
2017-02-06 12:46
696
matrix_9__1249_35.min1.thm1
2017-02-06 12:46
603
matrix_9__1254_19.min1.thm1
2017-02-06 12:46
696
matrix_9__1269_23.min1.thm1
2017-02-06 12:46
1.6K
matrix_9__1296_32.min1.thm1
2017-02-06 12:46
544
matrix_9__1297_18.min1.thm1
2017-02-06 12:46
955
matrix_9__1301_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1306_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1311_22.min1.thm1
2017-02-06 12:46
748
matrix_9__1316_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1321_22.min1.thm1
2017-02-06 12:46
748
matrix_9__1326_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1331_15.min1.thm1
2017-02-06 12:46
556
matrix_9__1332_15.min1.thm1
2017-02-06 12:46
654
matrix_9__1333_16.min1.thm1
2017-02-06 12:46
545
matrix_9__1370_32.min1.thm1
2017-02-06 12:46
544
matrix_9__1371_18.min1.thm1
2017-02-06 12:46
955
matrix_9__1375_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1380_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1385_22.min1.thm1
2017-02-06 12:46
748
matrix_9__1390_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1395_22.min1.thm1
2017-02-06 12:46
748
matrix_9__1400_22.min1.thm1
2017-02-06 12:46
703
matrix_9__1405_15.min1.thm1
2017-02-06 12:46
556
matrix_9__1406_15.min1.thm1
2017-02-06 12:46
654
matrix_9__1407_16.min1.thm1
2017-02-06 12:46
545
matrix_9__1430_21.min1.thm1
2017-02-06 12:46
911
matrix_9__1431_11.min1.thm1
2017-02-06 12:46
187
matrix_9__1434_19.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1438_25.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1439_28.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__1440_19.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__1457_17.min1.thm1
2017-02-06 12:46
457
matrix_9__1457_17.min1.thm1.tptp
2017-02-06 16:47
399
matrix_9__1458_32.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1459_32.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1460_17.min1.thm1
2017-02-06 12:46
457
matrix_9__1460_17.min1.thm1.tptp
2017-02-06 16:47
399
matrix_9__1463_17.min1.thm1
2017-02-06 12:46
457
matrix_9__1463_17.min1.thm1.tptp
2017-02-06 16:47
399
matrix_9__1464_17.min1.thm1
2017-02-06 12:46
457
matrix_9__1464_17.min1.thm1.tptp
2017-02-06 16:47
399
matrix_9__1465_17.min1.thm1
2017-02-06 12:46
457
matrix_9__1465_17.min1.thm1.tptp
2017-02-06 16:47
399
matrix_9__1466_18.min1.thm1
2017-02-06 12:46
458
matrix_9__1466_18.min1.thm1.tptp
2017-02-06 16:47
400
matrix_9__1469_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1469_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1470_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1470_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1471_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1471_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1474_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1474_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1475_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1475_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1476_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1476_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1477_33.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1478_33.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1481_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1481_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1482_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1482_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1483_18.min1.thm1
2017-02-06 12:46
459
matrix_9__1483_18.min1.thm1.tptp
2017-02-06 16:47
401
matrix_9__1484_33.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1485_33.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1486_54.min1.thm1
2017-02-06 12:46
3.0K
matrix_9__1492_33.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1508_33.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1529_33.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1595_33.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1645_33.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1672_24.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__1684_52.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__1693_53.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1698_78.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__1700_65.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__1703_30.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__1704_63.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1708_23.min1.thm1
2017-02-06 12:46
412
matrix_9__1708_23.min1.thm1.tptp
2017-02-06 16:47
330
matrix_9__1709_20.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1716_18.min1.thm1
2017-02-06 12:46
481
matrix_9__1721_33.min1.thm1
2017-02-06 12:46
564
matrix_9__1724_20.min1.thm1
2017-02-06 12:46
611
matrix_9__1730_33.min1.thm1
2017-02-06 12:46
564
matrix_9__1733_20.min1.thm1
2017-02-06 12:46
611
matrix_9__1736_16.min1.thm1
2017-02-06 12:46
583
matrix_9__1743_53.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1748_78.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__1750_65.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__1753_30.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__1754_63.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1758_23.min1.thm1
2017-02-06 12:46
412
matrix_9__1758_23.min1.thm1.tptp
2017-02-06 16:47
330
matrix_9__1759_20.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1766_18.min1.thm1
2017-02-06 12:46
481
matrix_9__1771_33.min1.thm1
2017-02-06 12:46
564
matrix_9__1774_20.min1.thm1
2017-02-06 12:46
611
matrix_9__1780_33.min1.thm1
2017-02-06 12:46
564
matrix_9__1783_20.min1.thm1
2017-02-06 12:46
611
matrix_9__1786_16.min1.thm1
2017-02-06 12:46
583
matrix_9__1797_45.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__1798_37.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__1799_59.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__1810_57.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__1812_46.min1.thm1
2017-02-06 12:46
432
matrix_9__1814_18.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1822_35.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__1829_35.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__1858_37.min1.thm1
2017-02-06 12:46
460
matrix_9__1860_15.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__1864_15.min1.thm1
2017-02-06 12:46
1.6K
matrix_9__1866_18.min1.thm1
2017-02-06 12:46
2.3K
matrix_9__1875_43.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1884_29.min1.thm1
2017-02-06 12:46
2.3K
matrix_9__1885_17.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__1886_20.min1.thm1
2017-02-06 12:46
2.0K
matrix_9__1893_17.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__1899_60.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1902_26.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__1909_61.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1910_47.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__1911_39.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__1913_41.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__1914_30.min1.thm1
2017-02-06 12:46
559
matrix_9__1917_21.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1918_32.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__1920_39.min1.thm1
2017-02-06 12:46
2.1K
matrix_9__1921_20.min1.thm1
2017-02-06 12:46
1.3K
matrix_9__1926_21.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__1966_16.min1.thm1
2017-02-06 12:46
746
matrix_9__1977_30.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__1978_19.min1.thm1
2017-02-06 12:46
1.6K
matrix_9__1995_44.min1.thm1
2017-02-06 12:46
728
matrix_9__1996_17.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2003_55.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__2006_33.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2008_16.min1.thm1
2017-02-06 12:46
762
matrix_9__2008_16.min1.thm1.tptp
2017-02-06 16:47
683
matrix_9__2015_53.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__2018_31.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2025_53.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__2028_31.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2035_53.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__2038_31.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2047_24.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__2059_30.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__2060_50.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__2062_18.min1.thm1
2017-02-06 12:46
732
matrix_9__2068_45.min1.thm1
2017-02-06 12:46
641
matrix_9__2083_25.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__2087_47.min1.thm1
2017-02-06 12:46
879
matrix_9__2089_22.min1.thm1
2017-02-06 12:46
593
matrix_9__2093_29.min1.thm1
2017-02-06 12:46
557
matrix_9__2094_21.min1.thm1
2017-02-06 12:46
835
matrix_9__2104_41.min1.thm1
2017-02-06 12:46
3.4K
matrix_9__2108_42.min1.thm1
2017-02-06 12:46
3.4K
matrix_9__2112_41.min1.thm1
2017-02-06 12:46
3.4K
matrix_9__2116_42.min1.thm1
2017-02-06 12:46
3.4K
matrix_9__2126_46.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__2132_14.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__2146_30.min1.thm1
2017-02-06 12:46
1.5K
matrix_9__2147_50.min1.thm1
2017-02-06 12:46
1.9K
matrix_9__2156_41.min1.thm1
2017-02-06 12:46
3.3K
matrix_9__2159_41.min1.thm1
2017-02-06 12:46
3.3K
matrix_9__2162_41.min1.thm1
2017-02-06 12:46
3.3K
matrix_9__2170_25.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__2174_47.min1.thm1
2017-02-06 12:46
879
matrix_9__2176_22.min1.thm1
2017-02-06 12:46
593
matrix_9__2180_26.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__2184_45.min1.thm1
2017-02-06 12:46
642
matrix_9__2194_41.min1.thm1
2017-02-06 12:46
3.3K
matrix_9__2201_55.min1.thm1
2017-02-06 12:46
5.3K
matrix_9__2203_14.min1.thm1
2017-02-06 12:46
1.8K
matrix_9__2212_32.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2214_20.min1.thm1
2017-02-06 12:46
1.0K
matrix_9__2217_20.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2218_48.min1.thm1
2017-02-06 12:46
666
matrix_9__2219_17.min1.thm1
2017-02-06 12:46
1.2K
matrix_9__2233_67.min1.thm1
2017-02-06 12:46
690
matrix_9__2235_13.min1.thm1
2017-02-06 12:46
372
matrix_9__2238_14.min1.thm1
2017-02-06 12:46
930
matrix_9__2239_13.min1.thm1
2017-02-06 12:46
960
matrix_9__2240_14.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__2241_20.min1.thm1
2017-02-06 12:46
794
matrix_9__2245_31.min1.thm1
2017-02-06 12:46
2.2K
matrix_9__2246_40.min1.thm1
2017-02-06 12:46
2.5K
matrix_9__2249_17.min1.thm1
2017-02-06 12:46
957
matrix_9__2261_42.min1.thm1
2017-02-06 12:46
2.3K
matrix_9__2268_31.min1.thm1
2017-02-06 12:46
2.2K
matrix_9__2269_37.min1.thm1
2017-02-06 12:46
2.6K
matrix_9__2272_11.min1.thm1
2017-02-06 12:46
279
matrix_9__2281_15.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__2282_19.min1.thm1
2017-02-06 12:46
889
matrix_9__2282_19.min1.thm1.tptp
2017-02-06 16:47
807
matrix_9__2292_38.min1.thm1
2017-02-06 12:46
452
matrix_9__2293_36.min1.thm1
2017-02-06 12:46
407
matrix_9__2293_36.min1.thm1.tptp
2017-02-06 16:47
321
matrix_9__2300_62.min1.thm1
2017-02-06 12:46
904
matrix_9__2316_16.min1.thm1
2017-02-06 12:46
814
matrix_9__2324_16.min1.thm1
2017-02-06 12:46
666
matrix_9__2327_14.min1.thm1
2017-02-06 12:46
835
matrix_9__2343_31.min1.thm1
2017-02-06 12:46
2.2K
matrix_9__2344_35.min1.thm1
2017-02-06 12:46
2.6K
matrix_9__2348_13.min1.thm1
2017-02-06 12:46
2.3K
matrix_9__2349_14.min1.thm1
2017-02-06 12:46
510
matrix_9__2357_38.min1.thm1
2017-02-06 12:46
452
matrix_9__2358_36.min1.thm1
2017-02-06 12:46
407
matrix_9__2358_36.min1.thm1.tptp
2017-02-06 16:47
321
matrix_9__2363_62.min1.thm1
2017-02-06 12:46
904
matrix_9__2382_16.min1.thm1
2017-02-06 12:46
812
matrix_9__2390_16.min1.thm1
2017-02-06 12:46
664
matrix_9__2393_14.min1.thm1
2017-02-06 12:46
830
matrix_9__2407_45.min1.thm1
2017-02-06 12:46
1.4K
matrix_9__2409_14.min1.thm1
2017-02-06 12:46
338
matrix_9__2428_13.min1.thm1
2017-02-06 12:46
372
matrix_9__2431_14.min1.thm1
2017-02-06 12:46
1.1K
matrix_9__2432_31.min1.thm1
2017-02-06 12:46
2.2K
matrix_9__2434_34.min1.thm1
2017-02-06 12:46
2.6K
matrix_9__2439_16.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__2444_27.min1.thm1
2017-02-06 12:46
3.0K
matrix_9__2467_13.min1.thm1
2017-02-06 12:46
372
matrix_9__2470_14.min1.thm1
2017-02-06 12:46
930
matrix_9__2471_13.min1.thm1
2017-02-06 12:46
961
matrix_9__2472_31.min1.thm1
2017-02-06 12:46
2.2K
matrix_9__2474_34.min1.thm1
2017-02-06 12:46
2.6K
matrix_9__2481_14.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__2482_20.min1.thm1
2017-02-06 12:46
794
matrix_9__2488_14.min1.thm1
2017-02-06 12:46
1.7K
matrix_9__2489_20.min1.thm1
2017-02-06 12:46
794
matrix_9__2493_31.min1.thm1
2017-02-06 12:46
2.2K
matrix_9__2495_38.min1.thm1
2017-02-06 12:46
2.5K
matrix_9__2498_37.min1.thm1
2017-02-06 12:46
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80