Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/integra4
Name
Last modified
Size
Description
Parent Directory
-
integra4__2934_14.min1.thm1
2017-02-06 12:44
1.6K
integra4__2916_28.min1.thm1
2017-02-06 12:44
821
integra4__2911_28.min1.thm1
2017-02-06 12:44
820
integra4__2909_39.min1.thm1
2017-02-06 12:44
875
integra4__2907_19.min1.thm1
2017-02-06 12:44
1.6K
integra4__2906_19.min1.thm1
2017-02-06 12:44
1.6K
integra4__2901_20.min1.thm1
2017-02-06 12:44
1.5K
integra4__2898_20.min1.thm1
2017-02-06 12:44
1.5K
integra4__2891_18.min1.thm1
2017-02-06 12:44
1.5K
integra4__2889_15.min1.thm1
2017-02-06 12:44
1.6K
integra4__2888_25.min1.thm1
2017-02-06 12:44
383
integra4__2872_14.min1.thm1
2017-02-06 12:44
384
integra4__2850_20.min1.thm1
2017-02-06 12:44
647
integra4__2842_19.min1.thm1
2017-02-06 12:44
2.1K
integra4__2840_19.min1.thm1
2017-02-06 12:44
651
integra4__2830_19.min1.thm1
2017-02-06 12:44
2.1K
integra4__2828_19.min1.thm1
2017-02-06 12:44
649
integra4__2819_13.min1.thm1
2017-02-06 12:44
578
integra4__2818_13.min1.thm1
2017-02-06 12:44
708
integra4__2817_36.min1.thm1
2017-02-06 12:44
585
integra4__2814_19.min1.thm1
2017-02-06 12:44
1.6K
integra4__2812_22.min1.thm1
2017-02-06 12:44
758
integra4__2810_8.min1.thm1
2017-02-06 12:44
562
integra4__2809_26.min1.thm1
2017-02-06 12:44
1.4K
integra4__2808_8.min1.thm1
2017-02-06 12:44
562
integra4__2807_26.min1.thm1
2017-02-06 12:44
1.4K
integra4__2782_18.min1.thm1.tptp
2017-02-06 16:47
605
integra4__2782_18.min1.thm1
2017-02-06 12:44
666
integra4__2766_69.min1.thm1
2017-02-06 12:44
2.0K
integra4__2737_36.min1.thm1
2017-02-06 12:44
1.2K
integra4__2731_36.min1.thm1
2017-02-06 12:44
1.2K
integra4__2724_36.min1.thm1
2017-02-06 12:44
1.2K
integra4__2722_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__2716_70.min1.thm1
2017-02-06 12:44
2.0K
integra4__2714_70.min1.thm1
2017-02-06 12:44
2.0K
integra4__2707_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2705_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2703_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__2689_31.min1.thm1
2017-02-06 12:44
1.6K
integra4__2677_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2669_24.min1.thm1
2017-02-06 12:44
2.1K
integra4__2665_30.min1.thm1
2017-02-06 12:44
1.1K
integra4__2662_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__2656_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2654_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__2650_27.min1.thm1
2017-02-06 12:44
1.2K
integra4__2615_70.min1.thm1
2017-02-06 12:44
2.0K
integra4__2607_24.min1.thm1
2017-02-06 12:44
2.1K
integra4__2603_30.min1.thm1
2017-02-06 12:44
1.1K
integra4__2600_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__2594_70.min1.thm1
2017-02-06 12:44
2.0K
integra4__2592_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__2588_27.min1.thm1
2017-02-06 12:44
1.2K
integra4__2580_36.min1.thm1
2017-02-06 12:44
761
integra4__2578_16.min1.thm1
2017-02-06 12:44
1.5K
integra4__2577_35.min1.thm1
2017-02-06 12:44
761
integra4__2575_21.min1.thm1
2017-02-06 12:44
1.5K
integra4__2561_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2553_24.min1.thm1
2017-02-06 12:44
2.1K
integra4__2549_30.min1.thm1
2017-02-06 12:44
1.1K
integra4__2546_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__2540_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2538_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__2534_27.min1.thm1
2017-02-06 12:44
1.2K
integra4__2511_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__2507_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__2503_40.min1.thm1
2017-02-06 12:44
1.5K
integra4__2499_40.min1.thm1
2017-02-06 12:44
1.5K
integra4__2486_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__2482_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__2481_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__2477_13.min1.thm1
2017-02-06 12:44
404
integra4__2473_23.min1.thm1
2017-02-06 12:44
1.8K
integra4__2472_16.min1.thm1
2017-02-06 12:44
1.3K
integra4__2471_41.min1.thm1
2017-02-06 12:44
1.3K
integra4__2462_20.min1.thm1
2017-02-06 12:44
1.7K
integra4__2460_21.min1.thm1
2017-02-06 12:44
1.0K
integra4__2404_18.min1.thm1.tptp
2017-02-06 16:47
603
integra4__2404_18.min1.thm1
2017-02-06 12:44
664
integra4__2387_69.min1.thm1
2017-02-06 12:44
2.0K
integra4__2385_68.min1.thm1
2017-02-06 12:44
2.0K
integra4__2378_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2348_36.min1.thm1
2017-02-06 12:44
1.2K
integra4__2343_36.min1.thm1
2017-02-06 12:44
1.2K
integra4__2338_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__2333_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2331_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__2321_31.min1.thm1
2017-02-06 12:44
1.6K
integra4__2319_22.min1.thm1
2017-02-06 12:44
1.6K
integra4__2308_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2300_24.min1.thm1
2017-02-06 12:44
2.1K
integra4__2296_30.min1.thm1
2017-02-06 12:44
1.1K
integra4__2293_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__2287_71.min1.thm1
2017-02-06 12:44
2.0K
integra4__2285_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__2281_27.min1.thm1
2017-02-06 12:44
1.2K
integra4__2260_40.min1.thm1
2017-02-06 12:44
1.5K
integra4__2256_40.min1.thm1
2017-02-06 12:44
1.5K
integra4__2255_31.min1.thm1
2017-02-06 12:44
723
integra4__2240_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__2236_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__2235_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__2229_21.min1.thm1
2017-02-06 12:44
1.0K
integra4__2174_16.min1.thm1
2017-02-06 12:44
586
integra4__2164_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2161_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2156_29.min1.thm1
2017-02-06 12:44
1.4K
integra4__2145_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2142_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2138_30.min1.thm1
2017-02-06 12:44
1.7K
integra4__2135_15.min1.thm1
2017-02-06 12:44
339
integra4__2125_17.min1.thm1
2017-02-06 12:44
961
integra4__2123_16.min1.thm1
2017-02-06 12:44
586
integra4__2113_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2110_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2105_29.min1.thm1
2017-02-06 12:44
1.4K
integra4__2094_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2091_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2087_30.min1.thm1
2017-02-06 12:44
1.7K
integra4__2084_15.min1.thm1
2017-02-06 12:44
339
integra4__2074_16.min1.thm1
2017-02-06 12:44
960
integra4__2042_16.min1.thm1
2017-02-06 12:44
586
integra4__2032_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2029_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2024_29.min1.thm1
2017-02-06 12:44
1.4K
integra4__2013_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2010_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__2006_30.min1.thm1
2017-02-06 12:44
1.7K
integra4__2003_15.min1.thm1
2017-02-06 12:44
339
integra4__1993_16.min1.thm1
2017-02-06 12:44
960
integra4__1975_19.min1.thm1
2017-02-06 12:44
1.4K
integra4__1965_21.min1.thm1
2017-02-06 12:44
2.5K
integra4__1938_43.min1.thm1
2017-02-06 12:44
938
integra4__1933_43.min1.thm1
2017-02-06 12:44
938
integra4__1922_29.min1.thm1
2017-02-06 12:44
1.1K
integra4__1921_23.min1.thm1
2017-02-06 12:44
802
integra4__1920_33.min1.thm1
2017-02-06 12:44
800
integra4__1919_33.min1.thm1
2017-02-06 12:44
800
integra4__1918_23.min1.thm1
2017-02-06 12:44
802
integra4__1917_33.min1.thm1
2017-02-06 12:44
1.8K
integra4__1916_33.min1.thm1
2017-02-06 12:44
1.8K
integra4__1915_28.min1.thm1
2017-02-06 12:44
1.1K
integra4__1902_27.min1.thm1
2017-02-06 12:44
1.5K
integra4__1888_19.min1.thm1.tptp
2017-02-06 16:47
649
integra4__1888_19.min1.thm1
2017-02-06 12:44
731
integra4__1884_27.min1.thm1
2017-02-06 12:44
1.7K
integra4__1876_26.min1.thm1
2017-02-06 12:44
1.1K
integra4__1875_26.min1.thm1
2017-02-06 12:44
2.2K
integra4__1857_18.min1.thm1.tptp
2017-02-06 16:47
603
integra4__1857_18.min1.thm1
2017-02-06 12:44
664
integra4__1841_22.min1.thm1
2017-02-06 12:44
1.6K
integra4__1830_16.min1.thm1
2017-02-06 12:44
2.3K
integra4__1823_46.min1.thm1
2017-02-06 12:44
1.2K
integra4__1822_39.min1.thm1
2017-02-06 12:44
1.8K
integra4__1820_24.min1.thm1
2017-02-06 12:44
2.1K
integra4__1813_30.min1.thm1
2017-02-06 12:44
1.1K
integra4__1810_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__1805_15.min1.thm1
2017-02-06 12:44
2.3K
integra4__1802_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__1798_27.min1.thm1
2017-02-06 12:44
1.2K
integra4__1795_41.min1.thm1
2017-02-06 12:44
1.1K
integra4__1793_39.min1.thm1
2017-02-06 12:44
808
integra4__1788_29.min1.thm1
2017-02-06 12:44
671
integra4__1777_14.min1.thm1
2017-02-06 12:44
2.3K
integra4__1769_69.min1.thm1
2017-02-06 12:44
2.0K
integra4__1767_68.min1.thm1
2017-02-06 12:44
2.0K
integra4__1765_24.min1.thm1
2017-02-06 12:44
1.6K
integra4__1759_33.min1.thm1
2017-02-06 12:44
2.9K
integra4__1744_30.min1.thm1
2017-02-06 12:44
658
integra4__1681_34.min1.thm1
2017-02-06 12:44
846
integra4__1649_30.min1.thm1
2017-02-06 12:44
592
integra4__1609_30.min1.thm1.tptp
2017-02-06 16:47
791
integra4__1609_30.min1.thm1
2017-02-06 12:44
860
integra4__1603_54.min1.thm1
2017-02-06 12:44
2.1K
integra4__1595_59.min1.thm1
2017-02-06 12:44
2.1K
integra4__1592_29.min1.thm1
2017-02-06 12:44
269
integra4__1561_33.min1.thm1
2017-02-06 12:44
1.2K
integra4__1556_35.min1.thm1
2017-02-06 12:44
638
integra4__1548_48.min1.thm1
2017-02-06 12:44
457
integra4__1516_33.min1.thm1
2017-02-06 12:44
1.3K
integra4__1511_35.min1.thm1
2017-02-06 12:44
632
integra4__1502_41.min1.thm1
2017-02-06 12:44
455
integra4__1492_30.min1.thm1
2017-02-06 12:44
592
integra4__1460_57.min1.thm1
2017-02-06 12:44
1.4K
integra4__1458_41.min1.thm1
2017-02-06 12:44
1.8K
integra4__1457_51.min1.thm1
2017-02-06 12:44
1.9K
integra4__1456_57.min1.thm1
2017-02-06 12:44
1.4K
integra4__1454_41.min1.thm1
2017-02-06 12:44
811
integra4__1447_24.min1.thm1
2017-02-06 12:44
970
integra4__1443_58.min1.thm1
2017-02-06 12:44
1.5K
integra4__1441_51.min1.thm1
2017-02-06 12:44
1.9K
integra4__1440_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__1439_34.min1.thm1
2017-02-06 12:44
1.2K
integra4__1430_24.min1.thm1
2017-02-06 12:44
1.3K
integra4__1428_30.min1.thm1
2017-02-06 12:44
1.1K
integra4__1425_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__1415_14.min1.thm1
2017-02-06 12:44
2.3K
integra4__1412_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__1389_46.min1.thm1
2017-02-06 12:44
1.7K
integra4__1385_46.min1.thm1
2017-02-06 12:44
1.7K
integra4__1381_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__1377_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__1376_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__1349_33.min1.thm1
2017-02-06 12:44
1.8K
integra4__1348_33.min1.thm1
2017-02-06 12:44
800
integra4__1347_23.min1.thm1
2017-02-06 12:44
802
integra4__1335_32.min1.thm1
2017-02-06 12:44
795
integra4__1325_32.min1.thm1
2017-02-06 12:44
795
integra4__1306_16.min1.thm1
2017-02-06 12:44
666
integra4__1303_23.min1.thm1.tptp
2017-02-06 16:47
686
integra4__1303_23.min1.thm1
2017-02-06 12:44
753
integra4__1302_20.min1.thm1
2017-02-06 12:44
415
integra4__1301_69.min1.thm1
2017-02-06 12:44
867
integra4__1292_28.min1.thm1
2017-02-06 12:44
1.4K
integra4__1291_26.min1.thm1.tptp
2017-02-06 16:47
507
integra4__1291_26.min1.thm1
2017-02-06 12:44
588
integra4__1290_28.min1.thm1
2017-02-06 12:44
1.3K
integra4__1281_20.min1.thm1
2017-02-06 12:44
1.2K
integra4__1274_26.min1.thm1.tptp
2017-02-06 16:47
507
integra4__1274_26.min1.thm1
2017-02-06 12:44
588
integra4__1273_28.min1.thm1
2017-02-06 12:44
1.3K
integra4__1265_15.min1.thm1
2017-02-06 12:44
217
integra4__1261_26.min1.thm1
2017-02-06 12:44
1.1K
integra4__1240_16.min1.thm1
2017-02-06 12:44
666
integra4__1237_23.min1.thm1.tptp
2017-02-06 16:47
686
integra4__1237_23.min1.thm1
2017-02-06 12:44
753
integra4__1236_20.min1.thm1
2017-02-06 12:44
415
integra4__1235_69.min1.thm1.tptp
2017-02-06 16:47
664
integra4__1235_69.min1.thm1
2017-02-06 12:44
729
integra4__1229_27.min1.thm1
2017-02-06 12:44
1.3K
integra4__1227_33.min1.thm1
2017-02-06 12:44
1.9K
integra4__1226_26.min1.thm1.tptp
2017-02-06 16:47
507
integra4__1226_26.min1.thm1
2017-02-06 12:44
588
integra4__1225_28.min1.thm1
2017-02-06 12:44
1.3K
integra4__1216_20.min1.thm1
2017-02-06 12:44
1.2K
integra4__1212_26.min1.thm1
2017-02-06 12:44
1.2K
integra4__1210_32.min1.thm1
2017-02-06 12:44
3.2K
integra4__1209_26.min1.thm1.tptp
2017-02-06 16:47
507
integra4__1209_26.min1.thm1
2017-02-06 12:44
588
integra4__1208_28.min1.thm1
2017-02-06 12:44
1.3K
integra4__1200_15.min1.thm1
2017-02-06 12:44
217
integra4__1196_26.min1.thm1
2017-02-06 12:44
1.1K
integra4__1185_17.min1.thm1
2017-02-06 12:44
1.7K
integra4__1184_20.min1.thm1
2017-02-06 12:44
1.2K
integra4__1183_22.min1.thm1
2017-02-06 12:44
1.2K
integra4__1181_16.min1.thm1
2017-02-06 12:44
960
integra4__1170_28.min1.thm1
2017-02-06 12:44
967
integra4__1169_29.min1.thm1
2017-02-06 12:44
967
integra4__1165_51.min1.thm1
2017-02-06 12:44
1.1K
integra4__1162_21.min1.thm1.tptp
2017-02-06 16:47
812
integra4__1162_21.min1.thm1
2017-02-06 12:44
873
integra4__1155_16.min1.thm1
2017-02-06 12:44
972
integra4__1146_44.min1.thm1
2017-02-06 12:44
963
integra4__1127_14.min1.thm1
2017-02-06 12:44
684
integra4__1124_21.min1.thm1
2017-02-06 12:44
1.0K
integra4__1119_20.min1.thm1
2017-02-06 12:44
628
integra4__1116_13.min1.thm1
2017-02-06 12:44
215
integra4__1108_17.min1.thm1
2017-02-06 12:44
1.7K
integra4__1106_21.min1.thm1
2017-02-06 12:44
730
integra4__1102_19.min1.thm1
2017-02-06 12:44
800
integra4__1101_31.min1.thm1
2017-02-06 12:44
1.6K
integra4__1100_44.min1.thm1
2017-02-06 12:44
680
integra4__1097_21.min1.thm1
2017-02-06 12:44
746
integra4__1092_19.min1.thm1
2017-02-06 12:44
1.7K
integra4__1091_19.min1.thm1
2017-02-06 12:44
1.7K
integra4__1089_23.min1.thm1
2017-02-06 12:44
1.5K
integra4__1073_21.min1.thm1
2017-02-06 12:44
1.3K
integra4__1071_14.min1.thm1
2017-02-06 12:44
625
integra4__1067_46.min1.thm1
2017-02-06 12:44
1.2K
integra4__1064_19.min1.thm1
2017-02-06 12:44
1.6K
integra4__1059_46.min1.thm1
2017-02-06 12:44
1.7K
integra4__1056_24.min1.thm1
2017-02-06 12:44
1.6K
integra4__1055_23.min1.thm1
2017-02-06 12:44
905
integra4__1047_38.min1.thm1
2017-02-06 12:44
624
integra4__1046_29.min1.thm1
2017-02-06 12:44
1.0K
integra4__1045_29.min1.thm1
2017-02-06 12:44
1.0K
integra4__1041_29.min1.thm1
2017-02-06 12:44
1.0K
integra4__1035_24.min1.thm1
2017-02-06 12:44
2.5K
integra4__1034_19.min1.thm1
2017-02-06 12:44
1.8K
integra4__1032_34.min1.thm1
2017-02-06 12:44
1.9K
integra4__1028_44.min1.thm1
2017-02-06 12:44
757
integra4__1025_40.min1.thm1
2017-02-06 12:44
873
integra4__1013_17.min1.thm1
2017-02-06 12:44
811
integra4__1005_26.min1.thm1.tptp
2017-02-06 16:47
402
integra4__1005_26.min1.thm1
2017-02-06 12:44
483
integra4__995_24.min1.thm1.tptp
2017-02-06 16:47
394
integra4__995_24.min1.thm1
2017-02-06 12:44
475
integra4__994_29.min1.thm1
2017-02-06 12:44
718
integra4__992_16.min1.thm1
2017-02-06 12:44
391
integra4__983_40.min1.thm1
2017-02-06 12:44
773
integra4__981_18.min1.thm1
2017-02-06 12:44
624
integra4__980_18.min1.thm1
2017-02-06 12:44
1.8K
integra4__973_19.min1.thm1
2017-02-06 12:44
1.8K
integra4__965_37.min1.thm1.tptp
2017-02-06 16:47
485
integra4__965_37.min1.thm1
2017-02-06 12:44
562
integra4__961_16.min1.thm1
2017-02-06 12:44
2.0K
integra4__960_43.min1.thm1
2017-02-06 12:44
1.9K
integra4__956_43.min1.thm1
2017-02-06 12:44
1.7K
integra4__955_19.min1.thm1
2017-02-06 12:44
624
integra4__949_42.min1.thm1
2017-02-06 12:44
3.9K
integra4__947_59.min1.thm1
2017-02-06 12:44
1.0K
integra4__938_51.min1.thm1
2017-02-06 12:44
1.7K
integra4__937_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__926_19.min1.thm1
2017-02-06 12:44
1.9K
integra4__924_17.min1.thm1
2017-02-06 12:44
1.3K
integra4__923_32.min1.thm1
2017-02-06 12:44
961
integra4__918_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__911_21.min1.thm1
2017-02-06 12:44
3.0K
integra4__907_19.min1.thm1
2017-02-06 12:44
1.7K
integra4__905_20.min1.thm1
2017-02-06 12:44
656
integra4__894_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__883_25.min1.thm1
2017-02-06 12:44
1.7K
integra4__879_22.min1.thm1
2017-02-06 12:44
1.7K
integra4__874_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__871_32.min1.thm1
2017-02-06 12:44
961
integra4__864_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__860_58.min1.thm1
2017-02-06 12:44
2.0K
integra4__854_34.min1.thm1
2017-02-06 12:44
549
integra4__850_19.min1.thm1
2017-02-06 12:44
733
integra4__848_29.min1.thm1
2017-02-06 12:44
806
integra4__832_16.min1.thm1
2017-02-06 12:44
1.4K
integra4__829_39.min1.thm1.tptp
2017-02-06 16:47
423
integra4__829_39.min1.thm1
2017-02-06 12:44
501
integra4__828_18.min1.thm1.tptp
2017-02-06 16:47
333
integra4__828_18.min1.thm1
2017-02-06 12:44
397
integra4__825_19.min1.thm1
2017-02-06 12:44
1.5K
integra4__824_38.min1.thm1
2017-02-06 12:44
1.5K
integra4__821_17.min1.thm1
2017-02-06 12:44
1.7K
integra4__816_17.min1.thm1
2017-02-06 12:44
2.1K
integra4__815_14.min1.thm1
2017-02-06 12:44
2.0K
integra4__807_8.min1.thm1.tptp
2017-02-06 16:47
500
integra4__807_8.min1.thm1
2017-02-06 12:44
578
integra4__800_41.min1.thm1
2017-02-06 12:44
2.2K
integra4__797_20.min1.thm1
2017-02-06 12:44
1.3K
integra4__794_44.min1.thm1
2017-02-06 12:44
1.7K
integra4__792_35.min1.thm1
2017-02-06 12:44
2.3K
integra4__791_19.min1.thm1
2017-02-06 12:44
1.7K
integra4__757_26.min1.thm1
2017-02-06 12:44
1.2K
integra4__754_36.min1.thm1
2017-02-06 12:44
1.0K
integra4__741_26.min1.thm1
2017-02-06 12:44
1.2K
integra4__738_36.min1.thm1
2017-02-06 12:44
1.0K
integra4__721_14.min1.thm1
2017-02-06 12:44
542
integra4__716_29.min1.thm1
2017-02-06 12:44
742
integra4__704_29.min1.thm1
2017-02-06 12:44
684
integra4__700_21.min1.thm1
2017-02-06 12:44
1.7K
integra4__698_25.min1.thm1
2017-02-06 12:44
859
integra4__697_29.min1.thm1
2017-02-06 12:44
1.1K
integra4__694_21.min1.thm1
2017-02-06 12:44
2.0K
integra4__692_19.min1.thm1
2017-02-06 12:44
1.3K
integra4__691_34.min1.thm1
2017-02-06 12:44
1.5K
integra4__689_18.min1.thm1
2017-02-06 12:44
701
integra4__688_42.min1.thm1
2017-02-06 12:44
1.5K
integra4__687_44.min1.thm1
2017-02-06 12:44
897
integra4__679_47.min1.thm1
2017-02-06 12:44
1.8K
integra4__675_47.min1.thm1
2017-02-06 12:44
2.1K
integra4__670_45.min1.thm1
2017-02-06 12:44
1.6K
integra4__666_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__663_28.min1.thm1
2017-02-06 12:44
1.7K
integra4__662_27.min1.thm1
2017-02-06 12:44
1.6K
integra4__645_55.min1.thm1
2017-02-06 12:44
1.8K
integra4__644_32.min1.thm1
2017-02-06 12:44
1.7K
integra4__638_47.min1.thm1
2017-02-06 12:44
1.9K
integra4__634_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__628_13.min1.thm1
2017-02-06 12:44
215
integra4__611_14.min1.thm1
2017-02-06 12:44
542
integra4__606_29.min1.thm1
2017-02-06 12:44
742
integra4__594_29.min1.thm1
2017-02-06 12:44
684
integra4__590_21.min1.thm1
2017-02-06 12:44
1.7K
integra4__588_25.min1.thm1
2017-02-06 12:44
859
integra4__587_29.min1.thm1
2017-02-06 12:44
1.1K
integra4__584_21.min1.thm1
2017-02-06 12:44
2.0K
integra4__582_19.min1.thm1
2017-02-06 12:44
1.3K
integra4__581_34.min1.thm1
2017-02-06 12:44
1.5K
integra4__579_18.min1.thm1
2017-02-06 12:44
701
integra4__578_42.min1.thm1
2017-02-06 12:44
1.5K
integra4__577_44.min1.thm1
2017-02-06 12:44
897
integra4__569_47.min1.thm1
2017-02-06 12:44
1.8K
integra4__565_47.min1.thm1
2017-02-06 12:44
2.1K
integra4__560_45.min1.thm1
2017-02-06 12:44
1.6K
integra4__556_23.min1.thm1
2017-02-06 12:44
1.7K
integra4__553_28.min1.thm1
2017-02-06 12:44
1.7K
integra4__552_27.min1.thm1
2017-02-06 12:44
1.6K
integra4__539_49.min1.thm1
2017-02-06 12:44
2.0K
integra4__535_55.min1.thm1
2017-02-06 12:44
1.8K
integra4__534_32.min1.thm1
2017-02-06 12:44
1.7K
integra4__528_19.min1.thm1
2017-02-06 12:44
2.0K
integra4__524_41.min1.thm1
2017-02-06 12:44
1.5K
integra4__516_13.min1.thm1
2017-02-06 12:44
215
integra4__497_14.min1.thm1
2017-02-06 12:44
618
integra4__490_35.min1.thm1
2017-02-06 12:44
721
integra4__489_35.min1.thm1
2017-02-06 12:44
721
integra4__488_21.min1.thm1
2017-02-06 12:44
672
integra4__486_20.min1.thm1
2017-02-06 12:44
958
integra4__480_21.min1.thm1
2017-02-06 12:44
1.1K
integra4__474_20.min1.thm1
2017-02-06 12:44
622
integra4__473_29.min1.thm1
2017-02-06 12:44
1.8K
integra4__472_45.min1.thm1
2017-02-06 12:44
1.1K
integra4__469_13.min1.thm1
2017-02-06 12:44
212
integra4__460_36.min1.thm1
2017-02-06 12:44
749
integra4__459_16.min1.thm1
2017-02-06 12:44
952
integra4__458_20.min1.thm1
2017-02-06 12:44
1.5K
integra4__456_16.min1.thm1
2017-02-06 12:44
952
integra4__448_36.min1.thm1
2017-02-06 12:44
749
integra4__447_16.min1.thm1
2017-02-06 12:44
952
integra4__446_20.min1.thm1
2017-02-06 12:44
1.5K
integra4__444_16.min1.thm1
2017-02-06 12:44
952
integra4__434_19.min1.thm1
2017-02-06 12:44
1.5K
integra4__410_17.min1.thm1
2017-02-06 12:44
1.4K
integra4__409_26.min1.thm1
2017-02-06 12:44
922
integra4__408_28.min1.thm1
2017-02-06 12:44
922
integra4__407_26.min1.thm1
2017-02-06 12:44
934
integra4__406_26.min1.thm1
2017-02-06 12:44
934
integra4__393_44.min1.thm1
2017-02-06 12:44
709
integra4__388_19.min1.thm1
2017-02-06 12:44
1.5K
integra4__381_16.min1.thm1
2017-02-06 12:44
873
integra4__362_26.min1.thm1
2017-02-06 12:44
646
integra4__358_25.min1.thm1
2017-02-06 12:44
1.0K
integra4__355_18.min1.thm1
2017-02-06 12:44
1.9K
integra4__353_16.min1.thm1
2017-02-06 12:44
1.3K
integra4__352_18.min1.thm1
2017-02-06 12:44
1.6K
integra4__350_27.min1.thm1
2017-02-06 12:44
831
integra4__349_17.min1.thm1
2017-02-06 12:44
660
integra4__348_13.min1.thm1
2017-02-06 12:44
662
integra4__347_36.min1.thm1
2017-02-06 12:44
1.4K
integra4__346_42.min1.thm1
2017-02-06 12:44
963
integra4__327_44.min1.thm1
2017-02-06 12:44
709
integra4__322_19.min1.thm1
2017-02-06 12:44
1.5K
integra4__315_16.min1.thm1
2017-02-06 12:44
873
integra4__296_26.min1.thm1
2017-02-06 12:44
646
integra4__292_25.min1.thm1
2017-02-06 12:44
1.0K
integra4__289_18.min1.thm1
2017-02-06 12:44
1.9K
integra4__287_16.min1.thm1
2017-02-06 12:44
1.3K
integra4__286_18.min1.thm1
2017-02-06 12:44
1.4K
integra4__284_27.min1.thm1
2017-02-06 12:44
902
integra4__283_17.min1.thm1
2017-02-06 12:44
660
integra4__282_13.min1.thm1
2017-02-06 12:44
662
integra4__281_36.min1.thm1
2017-02-06 12:44
1.4K
integra4__280_42.min1.thm1
2017-02-06 12:44
963
integra4__262_17.min1.thm1
2017-02-06 12:44
1.6K
integra4__257_54.min1.thm1
2017-02-06 12:44
1.6K
integra4__247_27.min1.thm1.tptp
2017-02-06 16:47
476
integra4__247_27.min1.thm1
2017-02-06 12:44
549
integra4__243_35.min1.thm1
2017-02-06 12:44
1.1K
integra4__239_32.min1.thm1.tptp
2017-02-06 16:47
507
integra4__239_32.min1.thm1
2017-02-06 12:44
578
integra4__229_17.min1.thm1.tptp
2017-02-06 16:47
873
integra4__229_17.min1.thm1
2017-02-06 12:44
943
integra4__226_20.min1.thm1
2017-02-06 12:44
969
integra4__224_21.min1.thm1
2017-02-06 12:44
910
integra4__223_12.min1.thm1
2017-02-06 12:44
1.0K
integra4__222_17.min1.thm1
2017-02-06 12:44
1.6K
integra4__219_22.min1.thm1
2017-02-06 12:44
1.6K
integra4__217_22.min1.thm1
2017-02-06 12:44
1.3K
integra4__209_13.min1.thm1
2017-02-06 12:44
923
integra4__207_25.min1.thm1.tptp
2017-02-06 16:47
364
integra4__207_25.min1.thm1
2017-02-06 12:44
444
integra4__204_51.min1.thm1
2017-02-06 12:44
1.2K
integra4__200_19.min1.thm1
2017-02-06 12:44
458
integra4__199_24.min1.thm1.tptp
2017-02-06 16:47
349
integra4__199_24.min1.thm1
2017-02-06 12:44
413
integra4__197_21.min1.thm1
2017-02-06 12:44
588
integra4__196_12.min1.thm1
2017-02-06 12:44
1.0K
integra4__194_23.min1.thm1
2017-02-06 12:44
1.6K
integra4__186_19.min1.thm1.tptp
2017-02-06 16:47
349
integra4__186_19.min1.thm1
2017-02-06 12:44
413
integra4__181_23.min1.thm1
2017-02-06 12:44
2.0K
integra4__180_19.min1.thm1
2017-02-06 12:44
780
integra4__178_14.min1.thm1
2017-02-06 12:44
588
integra4__170_24.min1.thm1.tptp
2017-02-06 16:47
364
integra4__170_24.min1.thm1
2017-02-06 12:44
444
integra4__157_17.min1.thm1
2017-02-06 12:44
1.8K
integra4__153_56.min1.thm1
2017-02-06 12:44
719
integra4__148_19.min1.thm1
2017-02-06 12:44
1.7K
integra4__140_16.min1.thm1
2017-02-06 12:44
873
integra4__132_19.min1.thm1
2017-02-06 12:44
1.0K
integra4__127_42.min1.thm1
2017-02-06 12:44
963
integra4__116_56.min1.thm1
2017-02-06 12:44
718
integra4__111_19.min1.thm1
2017-02-06 12:44
1.7K
integra4__103_16.min1.thm1
2017-02-06 12:44
873
integra4__94_19.min1.thm1
2017-02-06 12:44
1.0K
integra4__89_42.min1.thm1
2017-02-06 12:44
963
integra4__74_34.min1.thm1
2017-02-06 12:44
611
integra4__71_14.min1.thm1
2017-02-06 12:44
2.4K
integra4__70_27.min1.thm1
2017-02-06 12:44
1.0K
integra4__65_17.min1.thm1
2017-02-06 12:44
2.0K
integra4__63_17.min1.thm1
2017-02-06 12:44
1.9K
integra4__61_13.min1.thm1
2017-02-06 12:44
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80