Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/sincos10
Name
Last modified
Size
Description
Parent Directory
-
sincos10__54_19.min1.thm1
2017-02-06 12:46
549
sincos10__57_45.min1.thm1
2017-02-06 12:46
750
sincos10__68_34.min1.thm1
2017-02-06 12:46
749
sincos10__69_20.min1.thm1
2017-02-06 12:46
647
sincos10__71_22.min1.thm1
2017-02-06 12:46
1.3K
sincos10__72_23.min1.thm1
2017-02-06 12:46
538
sincos10__72_23.min1.thm1.tptp
2017-02-06 16:47
476
sincos10__79_41.min1.thm1
2017-02-06 12:46
824
sincos10__79_41.min1.thm1.tptp
2017-02-06 16:47
748
sincos10__85_18.min1.thm1
2017-02-06 12:46
1.8K
sincos10__86_18.min1.thm1
2017-02-06 12:46
2.3K
sincos10__93_19.min1.thm1
2017-02-06 12:46
563
sincos10__96_48.min1.thm1
2017-02-06 12:46
865
sincos10__107_35.min1.thm1
2017-02-06 12:46
751
sincos10__108_20.min1.thm1
2017-02-06 12:46
648
sincos10__110_22.min1.thm1
2017-02-06 12:46
1.3K
sincos10__111_24.min1.thm1
2017-02-06 12:46
540
sincos10__111_24.min1.thm1.tptp
2017-02-06 16:47
478
sincos10__118_42.min1.thm1
2017-02-06 12:46
827
sincos10__118_42.min1.thm1.tptp
2017-02-06 16:47
751
sincos10__124_16.min1.thm1
2017-02-06 12:46
1.8K
sincos10__126_18.min1.thm1
2017-02-06 12:46
1.7K
sincos10__133_19.min1.thm1
2017-02-06 12:46
535
sincos10__136_45.min1.thm1
2017-02-06 12:46
721
sincos10__147_35.min1.thm1
2017-02-06 12:46
864
sincos10__148_20.min1.thm1
2017-02-06 12:46
658
sincos10__149_24.min1.thm1
2017-02-06 12:46
653
sincos10__159_18.min1.thm1
2017-02-06 12:46
1.6K
sincos10__160_20.min1.thm1
2017-02-06 12:46
1.4K
sincos10__166_42.min1.thm1
2017-02-06 12:46
857
sincos10__166_42.min1.thm1.tptp
2017-02-06 16:47
781
sincos10__172_18.min1.thm1
2017-02-06 12:46
1.8K
sincos10__179_19.min1.thm1
2017-02-06 12:46
491
sincos10__182_42.min1.thm1
2017-02-06 12:46
644
sincos10__193_34.min1.thm1
2017-02-06 12:46
749
sincos10__194_20.min1.thm1
2017-02-06 12:46
647
sincos10__196_20.min1.thm1
2017-02-06 12:46
1.3K
sincos10__197_23.min1.thm1
2017-02-06 12:46
538
sincos10__197_23.min1.thm1.tptp
2017-02-06 16:47
476
sincos10__204_41.min1.thm1
2017-02-06 12:46
824
sincos10__204_41.min1.thm1.tptp
2017-02-06 16:47
748
sincos10__214_25.min1.thm1
2017-02-06 12:46
579
sincos10__216_19.min1.thm1
2017-02-06 12:46
601
sincos10__226_16.min1.thm1
2017-02-06 12:46
444
sincos10__236_16.min1.thm1
2017-02-06 12:46
1.8K
sincos10__237_33.min1.thm1
2017-02-06 12:46
2.1K
sincos10__238_26.min1.thm1
2017-02-06 12:46
586
sincos10__240_19.min1.thm1
2017-02-06 12:46
607
sincos10__248_38.min1.thm1
2017-02-06 12:46
1.3K
sincos10__250_16.min1.thm1
2017-02-06 12:46
452
sincos10__261_26.min1.thm1
2017-02-06 12:46
562
sincos10__261_26.min1.thm1.tptp
2017-02-06 16:47
482
sincos10__263_21.min1.thm1
2017-02-06 12:46
647
sincos10__273_16.min1.thm1
2017-02-06 12:46
474
sincos10__284_25.min1.thm1
2017-02-06 12:46
507
sincos10__284_25.min1.thm1.tptp
2017-02-06 16:47
427
sincos10__286_21.min1.thm1
2017-02-06 12:46
603
sincos10__296_16.min1.thm1
2017-02-06 12:46
474
sincos10__302_33.min1.thm1
2017-02-06 12:46
871
sincos10__305_34.min1.thm1
2017-02-06 12:46
875
sincos10__308_36.min1.thm1
2017-02-06 12:46
916
sincos10__311_35.min1.thm1
2017-02-06 12:46
883
sincos10__339_32.min1.thm1
2017-02-06 12:46
1.3K
sincos10__342_30.min1.thm1
2017-02-06 12:46
597
sincos10__344_35.min1.thm1
2017-02-06 12:46
1.2K
sincos10__347_31.min1.thm1
2017-02-06 12:46
601
sincos10__349_33.min1.thm1
2017-02-06 12:46
2.8K
sincos10__356_33.min1.thm1
2017-02-06 12:46
641
sincos10__358_33.min1.thm1
2017-02-06 12:46
1.4K
sincos10__361_32.min1.thm1
2017-02-06 12:46
597
sincos10__401_18.min1.thm1
2017-02-06 12:46
1.8K
sincos10__418_19.min1.thm1
2017-02-06 12:46
2.5K
sincos10__442_38.min1.thm1
2017-02-06 12:46
566
sincos10__442_38.min1.thm1.tptp
2017-02-06 16:47
486
sincos10__443_36.min1.thm1
2017-02-06 12:46
673
sincos10__445_29.min1.thm1
2017-02-06 12:46
1.8K
sincos10__447_28.min1.thm1
2017-02-06 12:46
1.5K
sincos10__486_20.min1.thm1
2017-02-06 12:46
583
sincos10__487_23.min1.thm1
2017-02-06 12:46
601
sincos10__489_16.min1.thm1
2017-02-06 12:46
1.8K
sincos10__490_20.min1.thm1
2017-02-06 12:46
583
sincos10__491_23.min1.thm1
2017-02-06 12:46
601
sincos10__493_16.min1.thm1
2017-02-06 12:46
1.8K
sincos10__495_18.min1.thm1
2017-02-06 12:46
2.4K
sincos10__500_26.min1.thm1
2017-02-06 12:46
889
sincos10__502_21.min1.thm1
2017-02-06 12:46
651
sincos10__505_26.min1.thm1
2017-02-06 12:46
725
sincos10__509_14.min1.thm1
2017-02-06 12:46
859
sincos10__514_32.min1.thm1
2017-02-06 12:46
1.6K
sincos10__516_38.min1.thm1
2017-02-06 12:46
712
sincos10__517_27.min1.thm1
2017-02-06 12:46
2.9K
sincos10__518_43.min1.thm1
2017-02-06 12:46
712
sincos10__522_25.min1.thm1
2017-02-06 12:46
350
sincos10__536_20.min1.thm1
2017-02-06 12:46
584
sincos10__537_20.min1.thm1
2017-02-06 12:46
584
sincos10__538_24.min1.thm1
2017-02-06 12:46
603
sincos10__540_16.min1.thm1
2017-02-06 12:46
1.7K
sincos10__541_24.min1.thm1
2017-02-06 12:46
603
sincos10__543_15.min1.thm1
2017-02-06 12:46
1.4K
sincos10__544_17.min1.thm1
2017-02-06 12:46
1.7K
sincos10__546_18.min1.thm1
2017-02-06 12:46
789
sincos10__549_23.min1.thm1
2017-02-06 12:46
1.1K
sincos10__550_33.min1.thm1
2017-02-06 12:46
1.5K
sincos10__552_39.min1.thm1
2017-02-06 12:46
714
sincos10__553_28.min1.thm1
2017-02-06 12:46
1.5K
sincos10__554_44.min1.thm1
2017-02-06 12:46
714
sincos10__565_21.min1.thm1
2017-02-06 12:46
725
sincos10__566_18.min1.thm1
2017-02-06 12:46
961
sincos10__568_27.min1.thm1
2017-02-06 12:46
673
sincos10__570_28.min1.thm1
2017-02-06 12:46
1.7K
sincos10__572_15.min1.thm1
2017-02-06 12:46
927
sincos10__576_25.min1.thm1
2017-02-06 12:46
350
sincos10__590_22.min1.thm1
2017-02-06 12:46
594
sincos10__591_24.min1.thm1
2017-02-06 12:46
623
sincos10__594_22.min1.thm1
2017-02-06 12:46
594
sincos10__595_24.min1.thm1
2017-02-06 12:46
623
sincos10__600_18.min1.thm1
2017-02-06 12:46
1.5K
sincos10__609_29.min1.thm1
2017-02-06 12:46
1.9K
sincos10__612_33.min1.thm1
2017-02-06 12:46
1.5K
sincos10__618_27.min1.thm1
2017-02-06 12:46
675
sincos10__620_28.min1.thm1
2017-02-06 12:46
1.7K
sincos10__623_15.min1.thm1
2017-02-06 12:46
927
sincos10__631_41.min1.thm1
2017-02-06 12:46
734
sincos10__633_46.min1.thm1
2017-02-06 12:46
734
sincos10__637_29.min1.thm1
2017-02-06 12:46
350
sincos10__651_22.min1.thm1
2017-02-06 12:46
583
sincos10__652_23.min1.thm1
2017-02-06 12:46
601
sincos10__654_17.min1.thm1
2017-02-06 12:46
1.5K
sincos10__655_22.min1.thm1
2017-02-06 12:46
583
sincos10__656_23.min1.thm1
2017-02-06 12:46
601
sincos10__658_13.min1.thm1
2017-02-06 12:46
1.3K
sincos10__659_14.min1.thm1
2017-02-06 12:46
1.3K
sincos10__661_18.min1.thm1
2017-02-06 12:46
1.4K
sincos10__664_25.min1.thm1
2017-02-06 12:46
1.6K
sincos10__665_32.min1.thm1
2017-02-06 12:46
1.6K
sincos10__667_40.min1.thm1
2017-02-06 12:46
712
sincos10__668_27.min1.thm1
2017-02-06 12:46
1.6K
sincos10__669_45.min1.thm1
2017-02-06 12:46
712
sincos10__674_26.min1.thm1
2017-02-06 12:46
1.4K
sincos10__676_21.min1.thm1
2017-02-06 12:46
651
sincos10__681_14.min1.thm1
2017-02-06 12:46
859
sincos10__685_29.min1.thm1
2017-02-06 12:46
350
sincos10__691_35.min1.thm1
2017-02-06 12:46
791
sincos10__694_36.min1.thm1
2017-02-06 12:46
793
sincos10__697_38.min1.thm1
2017-02-06 12:46
813
sincos10__700_37.min1.thm1
2017-02-06 12:46
791
sincos10__704_14.min1.thm1
2017-02-06 12:46
796
sincos10__706_14.min1.thm1
2017-02-06 12:46
798
sincos10__708_14.min1.thm1
2017-02-06 12:46
818
sincos10__710_14.min1.thm1
2017-02-06 12:46
796
sincos10__732_11.min1.thm1
2017-02-06 12:46
131
sincos10__735_11.min1.thm1
2017-02-06 12:46
131
sincos10__738_11.min1.thm1
2017-02-06 12:46
131
sincos10__741_11.min1.thm1
2017-02-06 12:46
131
sincos10__747_11.min1.thm1
2017-02-06 12:46
1.0K
sincos10__749_11.min1.thm1
2017-02-06 12:46
1.0K
sincos10__751_11.min1.thm1
2017-02-06 12:46
1.0K
sincos10__753_11.min1.thm1
2017-02-06 12:46
1.0K
sincos10__807_40.min1.thm1
2017-02-06 12:46
1.4K
sincos10__811_16.min1.thm1
2017-02-06 12:46
1.8K
sincos10__814_18.min1.thm1
2017-02-06 12:46
1.3K
sincos10__834_9.min1.thm1
2017-02-06 12:46
919
sincos10__839_8.min1.thm1
2017-02-06 12:46
851
sincos10__842_17.min1.thm1
2017-02-06 12:46
773
sincos10__850_8.min1.thm1
2017-02-06 12:46
851
sincos10__855_9.min1.thm1
2017-02-06 12:46
919
sincos10__859_17.min1.thm1
2017-02-06 12:46
857
sincos10__869_39.min1.thm1
2017-02-06 12:46
598
sincos10__869_39.min1.thm1.tptp
2017-02-06 16:47
536
sincos10__870_14.min1.thm1
2017-02-06 12:46
598
sincos10__870_14.min1.thm1.tptp
2017-02-06 16:47
542
sincos10__876_31.min1.thm1
2017-02-06 12:46
2.8K
sincos10__879_45.min1.thm1
2017-02-06 12:46
1.8K
sincos10__880_31.min1.thm1
2017-02-06 12:46
1.5K
sincos10__909_45.min1.thm1
2017-02-06 12:46
850
sincos10__910_14.min1.thm1
2017-02-06 12:46
757
sincos10__921_48.min1.thm1
2017-02-06 12:46
2.4K
sincos10__922_48.min1.thm1
2017-02-06 12:46
2.4K
sincos10__923_38.min1.thm1
2017-02-06 12:46
2.3K
sincos10__934_19.min1.thm1
2017-02-06 12:46
1.1K
sincos10__939_19.min1.thm1
2017-02-06 12:46
1.1K
sincos10__954_49.min1.thm1
2017-02-06 12:46
762
sincos10__954_49.min1.thm1.tptp
2017-02-06 16:47
700
sincos10__955_14.min1.thm1
2017-02-06 12:46
762
sincos10__955_14.min1.thm1.tptp
2017-02-06 16:47
706
sincos10__977_19.min1.thm1
2017-02-06 12:46
1.1K
sincos10__982_19.min1.thm1
2017-02-06 12:46
1.1K
sincos10__995_45.min1.thm1
2017-02-06 12:46
767
sincos10__996_14.min1.thm1
2017-02-06 12:46
674
sincos10__996_14.min1.thm1.tptp
2017-02-06 16:47
618
sincos10__1000_45.min1.thm1
2017-02-06 12:46
1.8K
sincos10__1001_48.min1.thm1
2017-02-06 12:46
1.8K
sincos10__1028_29.min1.thm1
2017-02-06 12:46
2.8K
sincos10__1054_43.min1.thm1
2017-02-06 12:46
861
sincos10__1062_45.min1.thm1
2017-02-06 12:46
866
sincos10__1070_47.min1.thm1
2017-02-06 12:46
916
sincos10__1078_45.min1.thm1
2017-02-06 12:46
861
sincos10__1089_34.min1.thm1
2017-02-06 12:46
380
sincos10__1089_34.min1.thm1.tptp
2017-02-06 16:47
305
sincos10__1104_27.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1105_34.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1132_34.min1.thm1
2017-02-06 12:46
380
sincos10__1132_34.min1.thm1.tptp
2017-02-06 16:47
305
sincos10__1147_27.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1148_34.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1188_18.min1.thm1
2017-02-06 12:46
1.1K
sincos10__1189_34.min1.thm1
2017-02-06 12:46
370
sincos10__1189_34.min1.thm1.tptp
2017-02-06 16:47
295
sincos10__1200_27.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1201_34.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1214_39.min1.thm1
2017-02-06 12:46
3.0K
sincos10__1228_34.min1.thm1
2017-02-06 12:46
369
sincos10__1228_34.min1.thm1.tptp
2017-02-06 16:47
294
sincos10__1243_27.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1244_34.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1274_34.min1.thm1
2017-02-06 12:46
1.2K
sincos10__1275_33.min1.thm1
2017-02-06 12:46
2.8K
sincos10__1278_59.min1.thm1
2017-02-06 12:46
970
sincos10__1293_21.min1.thm1
2017-02-06 12:46
944
sincos10__1313_21.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1351_13.min1.thm1
2017-02-06 12:46
1.2K
sincos10__1366_21.min1.thm1
2017-02-06 12:46
1.1K
sincos10__1385_34.min1.thm1
2017-02-06 12:46
1.2K
sincos10__1386_21.min1.thm1
2017-02-06 12:46
2.0K
sincos10__1388_8.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1403_21.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1412_31.min1.thm1
2017-02-06 12:46
2.8K
sincos10__1479_29.min1.thm1
2017-02-06 12:46
2.8K
sincos10__1507_29.min1.thm1
2017-02-06 12:46
2.8K
sincos10__1538_14.min1.thm1
2017-02-06 12:46
378
sincos10__1540_14.min1.thm1
2017-02-06 12:46
414
sincos10__1542_14.min1.thm1
2017-02-06 12:46
460
sincos10__1544_14.min1.thm1
2017-02-06 12:46
416
sincos10__1551_31.min1.thm1
2017-02-06 12:46
2.8K
sincos10__1556_14.min1.thm1
2017-02-06 12:46
889
sincos10__1556_14.min1.thm1.tptp
2017-02-06 16:47
807
sincos10__1568_14.min1.thm1
2017-02-06 12:46
971
sincos10__1568_14.min1.thm1.tptp
2017-02-06 16:47
889
sincos10__1580_14.min1.thm1
2017-02-06 12:46
1.0K
sincos10__1580_14.min1.thm1.tptp
2017-02-06 16:47
955
sincos10__1592_14.min1.thm1
2017-02-06 12:46
927
sincos10__1592_14.min1.thm1.tptp
2017-02-06 16:47
845
sincos10__1628_62.min1.thm1
2017-02-06 12:46
1.7K
sincos10__1632_64.min1.thm1
2017-02-06 12:46
1.7K
sincos10__1636_68.min1.thm1
2017-02-06 12:46
1.7K
sincos10__1640_66.min1.thm1
2017-02-06 12:46
1.7K
sincos10__1661_19.min1.thm1
2017-02-06 12:46
1.6K
sincos10__1665_14.min1.thm1
2017-02-06 12:46
288
sincos10__1674_20.min1.thm1
2017-02-06 12:46
1.5K
sincos10__1678_14.min1.thm1
2017-02-06 12:46
290
sincos10__1691_14.min1.thm1
2017-02-06 12:46
290
sincos10__1700_19.min1.thm1
2017-02-06 12:46
1.5K
sincos10__1704_14.min1.thm1
2017-02-06 12:46
290
sincos10__1710_25.min1.thm1
2017-02-06 12:46
545
sincos10__1712_37.min1.thm1
2017-02-06 12:46
679
sincos10__1713_17.min1.thm1
2017-02-06 12:46
411
sincos10__1713_17.min1.thm1.tptp
2017-02-06 16:47
331
sincos10__1719_16.min1.thm1
2017-02-06 12:46
1.4K
sincos10__1720_31.min1.thm1
2017-02-06 12:46
780
sincos10__1722_39.min1.thm1
2017-02-06 12:46
808
sincos10__1723_17.min1.thm1
2017-02-06 12:46
491
sincos10__1723_17.min1.thm1.tptp
2017-02-06 16:47
411
sincos10__1729_35.min1.thm1
2017-02-06 12:46
780
sincos10__1731_43.min1.thm1
2017-02-06 12:46
808
sincos10__1732_17.min1.thm1
2017-02-06 12:46
537
sincos10__1732_17.min1.thm1.tptp
2017-02-06 16:47
457
sincos10__1738_29.min1.thm1
2017-02-06 12:46
548
sincos10__1739_19.min1.thm1
2017-02-06 12:46
2.0K
sincos10__1740_41.min1.thm1
2017-02-06 12:46
682
sincos10__1741_17.min1.thm1
2017-02-06 12:46
449
sincos10__1741_17.min1.thm1.tptp
2017-02-06 16:47
369
sincos10__1825_41.min1.thm1
2017-02-06 12:46
1.6K
sincos10__1827_43.min1.thm1
2017-02-06 12:46
534
sincos10__1827_43.min1.thm1.tptp
2017-02-06 16:47
472
sincos10__1828_14.min1.thm1
2017-02-06 12:46
534
sincos10__1828_14.min1.thm1.tptp
2017-02-06 16:47
478
sincos10__1834_49.min1.thm1
2017-02-06 12:46
541
sincos10__1838_24.min1.thm1
2017-02-06 12:46
1.6K
sincos10__1856_19.min1.thm1
2017-02-06 12:46
1.1K
sincos10__1860_47.min1.thm1
2017-02-06 12:46
802
sincos10__1861_14.min1.thm1
2017-02-06 12:46
709
sincos10__1867_53.min1.thm1
2017-02-06 12:46
607
sincos10__1877_19.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1882_19.min1.thm1
2017-02-06 12:46
2.1K
sincos10__1891_19.min1.thm1
2017-02-06 12:46
1.1K
sincos10__1895_47.min1.thm1
2017-02-06 12:46
802
sincos10__1896_14.min1.thm1
2017-02-06 12:46
709
sincos10__1927_41.min1.thm1
2017-02-06 12:46
1.6K
sincos10__1929_43.min1.thm1
2017-02-06 12:46
534
sincos10__1929_43.min1.thm1.tptp
2017-02-06 16:47
472
sincos10__1930_14.min1.thm1
2017-02-06 12:46
534
sincos10__1930_14.min1.thm1.tptp
2017-02-06 16:47
478
sincos10__1936_51.min1.thm1
2017-02-06 12:46
541
sincos10__1940_24.min1.thm1
2017-02-06 12:46
1.6K
sincos10__1946_19.min1.thm1
2017-02-06 12:46
2.0K
sincos10__1951_19.min1.thm1
2017-02-06 12:46
2.0K
sincos10__1961_21.min1.thm1
2017-02-06 12:46
1.3K
sincos10__1972_14.min1.thm1
2017-02-06 12:46
288
sincos10__1991_14.min1.thm1
2017-02-06 12:46
290
sincos10__2010_14.min1.thm1
2017-02-06 12:46
290
sincos10__2018_21.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2029_14.min1.thm1
2017-02-06 12:46
290
sincos10__2040_17.min1.thm1
2017-02-06 12:46
824
sincos10__2047_17.min1.thm1
2017-02-06 12:46
2.1K
sincos10__2052_17.min1.thm1
2017-02-06 12:46
892
sincos10__2064_17.min1.thm1
2017-02-06 12:46
892
sincos10__2071_17.min1.thm1
2017-02-06 12:46
2.0K
sincos10__2076_17.min1.thm1
2017-02-06 12:46
826
sincos10__2089_34.min1.thm1
2017-02-06 12:46
2.3K
sincos10__2105_21.min1.thm1
2017-02-06 12:46
851
sincos10__2137_21.min1.thm1
2017-02-06 12:46
1.0K
sincos10__2170_21.min1.thm1
2017-02-06 12:46
1.0K
sincos10__2186_34.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2202_21.min1.thm1
2017-02-06 12:46
889
sincos10__2229_21.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2268_21.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2281_27.min1.thm1
2017-02-06 12:46
1.4K
sincos10__2296_7.min1.thm1
2017-02-06 12:46
2.2K
sincos10__2316_51.min1.thm1
2017-02-06 12:46
1.5K
sincos10__2318_23.min1.thm1
2017-02-06 12:46
1.8K
sincos10__2330_22.min1.thm1
2017-02-06 12:46
1.4K
sincos10__2332_34.min1.thm1
2017-02-06 12:46
1.0K
sincos10__2333_16.min1.thm1
2017-02-06 12:46
1.8K
sincos10__2339_19.min1.thm1
2017-02-06 12:46
715
sincos10__2341_15.min1.thm1
2017-02-06 12:46
1.1K
sincos10__2343_17.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2344_28.min1.thm1
2017-02-06 12:46
1.8K
sincos10__2345_50.min1.thm1
2017-02-06 12:46
2.2K
sincos10__2351_23.min1.thm1
2017-02-06 12:46
2.2K
sincos10__2352_17.min1.thm1
2017-02-06 12:46
2.4K
sincos10__2359_17.min1.thm1
2017-02-06 12:46
2.1K
sincos10__2370_19.min1.thm1
2017-02-06 12:46
761
sincos10__2372_16.min1.thm1
2017-02-06 12:46
1.6K
sincos10__2376_16.min1.thm1
2017-02-06 12:46
945
sincos10__2377_23.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2387_26.min1.thm1
2017-02-06 12:46
2.9K
sincos10__2389_17.min1.thm1
2017-02-06 12:46
2.5K
sincos10__2402_41.min1.thm1
2017-02-06 12:46
1.2K
sincos10__2409_19.min1.thm1
2017-02-06 12:46
761
sincos10__2411_16.min1.thm1
2017-02-06 12:46
945
sincos10__2412_23.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2416_50.min1.thm1
2017-02-06 12:46
2.2K
sincos10__2422_26.min1.thm1
2017-02-06 12:46
2.9K
sincos10__2431_17.min1.thm1
2017-02-06 12:46
2.0K
sincos10__2439_22.min1.thm1
2017-02-06 12:46
1.4K
sincos10__2442_19.min1.thm1
2017-02-06 12:46
717
sincos10__2448_15.min1.thm1
2017-02-06 12:46
1.1K
sincos10__2450_17.min1.thm1
2017-02-06 12:46
1.3K
sincos10__2452_50.min1.thm1
2017-02-06 12:46
2.2K
sincos10__2458_23.min1.thm1
2017-02-06 12:46
2.2K
sincos10__2459_17.min1.thm1
2017-02-06 12:46
2.4K
sincos10__2468_31.min1.thm1
2017-02-06 12:46
509
sincos10__2468_31.min1.thm1.tptp
2017-02-06 16:47
429
sincos10__2471_34.min1.thm1
2017-02-06 12:46
646
sincos10__2476_42.min1.thm1
2017-02-06 12:46
711
sincos10__2481_14.min1.thm1
2017-02-06 12:46
440
sincos10__2494_39.min1.thm1
2017-02-06 12:46
886
sincos10__2495_22.min1.thm1
2017-02-06 12:46
681
sincos10__2497_22.min1.thm1
2017-02-06 12:46
1.4K
sincos10__2499_28.min1.thm1
2017-02-06 12:46
683
sincos10__2505_46.min1.thm1
2017-02-06 12:46
886
sincos10__2505_46.min1.thm1.tptp
2017-02-06 16:47
810
sincos10__2514_28.min1.thm1
2017-02-06 12:46
1.8K
sincos10__2516_14.min1.thm1
2017-02-06 12:46
462
sincos10__2529_41.min1.thm1
2017-02-06 12:46
932
sincos10__2530_22.min1.thm1
2017-02-06 12:46
704
sincos10__2532_22.min1.thm1
2017-02-06 12:46
1.4K
sincos10__2534_30.min1.thm1
2017-02-06 12:46
729
sincos10__2540_48.min1.thm1
2017-02-06 12:46
955
sincos10__2540_48.min1.thm1.tptp
2017-02-06 16:47
879
sincos10__2545_51.min1.thm1
2017-02-06 12:46
841
sincos10__2549_28.min1.thm1
2017-02-06 12:46
1.8K
sincos10__2551_14.min1.thm1
2017-02-06 12:46
462
sincos10__2561_37.min1.thm1
2017-02-06 12:46
652
sincos10__2561_37.min1.thm1.tptp
2017-02-06 16:47
581
sincos10__2566_49.min1.thm1
2017-02-06 12:46
753
sincos10__2571_14.min1.thm1
2017-02-06 12:46
440
sincos10__2610_29.min1.thm1
2017-02-06 12:46
792
sincos10__2611_27.min1.thm1
2017-02-06 12:46
1.1K
sincos10__2662_29.min1.thm1
2017-02-06 12:46
795
sincos10__2663_27.min1.thm1
2017-02-06 12:46
1.2K
sincos10__2705_40.min1.thm1
2017-02-06 12:46
572
sincos10__2705_40.min1.thm1.tptp
2017-02-06 16:47
492
sincos10__2706_38.min1.thm1
2017-02-06 12:46
679
sincos10__2708_32.min1.thm1
2017-02-06 12:46
1.9K
sincos10__2710_31.min1.thm1
2017-02-06 12:46
1.5K
sincos10__2724_27.min1.thm1
2017-02-06 12:46
1.2K
sincos10__2776_27.min1.thm1
2017-02-06 12:46
1.2K
sincos10__2807_37.min1.thm1
2017-02-06 12:46
2.6K
sincos10__2843_38.min1.thm1
2017-02-06 12:46
568
sincos10__2843_38.min1.thm1.tptp
2017-02-06 16:47
488
sincos10__2844_36.min1.thm1
2017-02-06 12:46
675
sincos10__2846_30.min1.thm1
2017-02-06 12:46
1.8K
sincos10__2848_29.min1.thm1
2017-02-06 12:46
1.5K
sincos10__2881_44.min1.thm1
2017-02-06 12:46
763
sincos10__2884_45.min1.thm1
2017-02-06 12:46
765
sincos10__2887_49.min1.thm1
2017-02-06 12:46
785
sincos10__2890_48.min1.thm1
2017-02-06 12:46
763
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80