Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/integr19
Name
Last modified
Size
Description
Parent Directory
-
integr19__1676_23.min1.thm1
2017-02-06 12:44
1.9K
integr19__697_53.min1.thm1
2017-02-06 12:44
498
integr19__2362_24.min1.thm1
2017-02-06 12:44
1.1K
integr19__851_26.min1.thm1
2017-02-06 12:44
2.8K
integr19__2485_19.min1.thm1
2017-02-06 12:44
1.0K
integr19__2533_20.min1.thm1
2017-02-06 12:44
1.2K
integr19__241_33.min1.thm1
2017-02-06 12:44
1.0K
integr19__108_27.min1.thm1
2017-02-06 12:44
1.0K
integr19__2462_55.min1.thm1
2017-02-06 12:44
1.5K
integr19__2401_21.min1.thm1
2017-02-06 12:44
1.0K
integr19__780_26.min1.thm1
2017-02-06 12:44
2.8K
integr19__90_25.min1.thm1
2017-02-06 12:44
924
integr19__987_31.min1.thm1
2017-02-06 12:44
1.1K
integr19__1949_42.min1.thm1
2017-02-06 12:44
1.9K
integr19__2685_48.min1.thm1
2017-02-06 12:44
2.0K
integr19__576_26.min1.thm1
2017-02-06 12:44
1.4K
integr19__596_21.min1.thm1
2017-02-06 12:44
3.6K
integr19__522_20.min1.thm1
2017-02-06 12:44
2.0K
integr19__74_24.min1.thm1
2017-02-06 12:44
542
integr19__952_11.min1.thm1
2017-02-06 12:44
788
integr19__1656_28.min1.thm1
2017-02-06 12:44
1.8K
integr19__1582_22.min1.thm1
2017-02-06 12:44
2.1K
integr19__551_18.min1.thm1
2017-02-06 12:44
1.8K
integr19__1634_21.min1.thm1
2017-02-06 12:44
2.9K
integr19__578_27.min1.thm1
2017-02-06 12:44
1.3K
integr19__72_19.min1.thm1
2017-02-06 12:44
901
integr19__2637_20.min1.thm1
2017-02-06 12:44
1.1K
integr19__738_36.min1.thm1
2017-02-06 12:44
2.7K
integr19__1325_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__799_30.min1.thm1
2017-02-06 12:44
2.8K
integr19__2501_20.min1.thm1
2017-02-06 12:44
1.4K
integr19__1617_53.min1.thm1
2017-02-06 12:44
1.1K
integr19__724_46.min1.thm1
2017-02-06 12:44
871
integr19__1579_12.min1.thm1
2017-02-06 12:44
1.4K
integr19__1751_25.min1.thm1
2017-02-06 12:44
1.1K
integr19__1872_22.min1.thm1
2017-02-06 12:44
1.8K
integr19__2629_18.min1.thm1
2017-02-06 12:44
935
integr19__327_48.min1.thm1
2017-02-06 12:44
1.0K
integr19__1580_44.min1.thm1
2017-02-06 12:44
1.5K
integr19__1635_21.min1.thm1
2017-02-06 12:44
1.8K
integr19__1735_22.min1.thm1
2017-02-06 12:44
1.0K
integr19__1327_24.min1.thm1
2017-02-06 12:44
1.1K
integr19__1444_23.min1.thm1
2017-02-06 12:44
2.7K
integr19__1641_23.min1.thm1
2017-02-06 12:44
1.2K
integr19__2392_34.min1.thm1
2017-02-06 12:44
2.6K
integr19__1424_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__610_27.min1.thm1
2017-02-06 12:44
1.1K
integr19__2155_28.min1.thm1
2017-02-06 12:44
489
integr19__2552_34.min1.thm1
2017-02-06 12:44
1.1K
integr19__2684_35.min1.thm1
2017-02-06 12:44
827
integr19__2689_37.min1.thm1
2017-02-06 12:44
874
integr19__2583_34.min1.thm1
2017-02-06 12:44
1.9K
integr19__1217_17.min1.thm1
2017-02-06 12:44
667
integr19__2306_59.min1.thm1
2017-02-06 12:44
703
integr19__1590_31.min1.thm1
2017-02-06 12:44
1.1K
integr19__1069_13.min1.thm1
2017-02-06 12:44
223
integr19__1397_35.min1.thm1
2017-02-06 12:44
1.4K
integr19__216_42.min1.thm1
2017-02-06 12:44
2.6K
integr19__1673_18.min1.thm1
2017-02-06 12:44
347
integr19__2154_47.min1.thm1
2017-02-06 12:44
2.1K
integr19__2220_48.min1.thm1
2017-02-06 12:44
2.5K
integr19__2136_48.min1.thm1
2017-02-06 12:44
2.0K
integr19__493_25.min1.thm1
2017-02-06 12:44
1.3K
integr19__1127_26.min1.thm1
2017-02-06 12:44
554
integr19__1850_29.min1.thm1
2017-02-06 12:44
967
integr19__158_14.min1.thm1
2017-02-06 12:44
879
integr19__2519_30.min1.thm1
2017-02-06 12:44
657
integr19__115_27.min1.thm1
2017-02-06 12:44
898
integr19__2096_18.min1.thm1
2017-02-06 12:44
315
integr19__1616_27.min1.thm1
2017-02-06 12:44
1.3K
integr19__1662_26.min1.thm1
2017-02-06 12:44
2.3K
integr19__1783_20.min1.thm1
2017-02-06 12:44
1.2K
integr19__1218_21.min1.thm1
2017-02-06 12:44
1.0K
integr19__235_20.min1.thm1
2017-02-06 12:44
395
integr19__2588_36.min1.thm1
2017-02-06 12:44
408
integr19__2225_42.min1.thm1
2017-02-06 12:44
2.7K
integr19__103_13.min1.thm1
2017-02-06 12:44
218
integr19__1517_21.min1.thm1
2017-02-06 12:44
1.2K
integr19__2515_54.min1.thm1
2017-02-06 12:44
2.3K
integr19__1544_26.min1.thm1
2017-02-06 12:44
562
integr19__1610_26.min1.thm1
2017-02-06 12:44
1.4K
integr19__602_23.min1.thm1
2017-02-06 12:44
1.2K
integr19__1815_24.min1.thm1
2017-02-06 12:44
602
integr19__550_15.min1.thm1
2017-02-06 12:44
1.4K
integr19__1387_17.min1.thm1
2017-02-06 12:44
1.0K
integr19__2572_41.min1.thm1
2017-02-06 12:44
1.2K
integr19__1501_25.min1.thm1
2017-02-06 12:44
1.1K
integr19__371_55.min1.thm1
2017-02-06 12:44
1.2K
integr19__397_18.min1.thm1
2017-02-06 12:44
385
integr19__2304_49.min1.thm1
2017-02-06 12:44
1.9K
integr19__407_55.min1.thm1
2017-02-06 12:44
1.2K
integr19__624_26.min1.thm1
2017-02-06 12:44
2.3K
integr19__2032_40.min1.thm1
2017-02-06 12:44
1.6K
integr19__2194_24.min1.thm1
2017-02-06 12:44
652
integr19__1081_36.min1.thm1
2017-02-06 12:44
1.0K
integr19__1076_36.min1.thm1
2017-02-06 12:44
1.0K
integr19__1165_23.min1.thm1
2017-02-06 12:44
727
integr19__2577_29.min1.thm1
2017-02-06 12:44
2.0K
integr19__679_19.min1.thm1
2017-02-06 12:44
1.2K
integr19__2213_37.min1.thm1
2017-02-06 12:44
1.5K
integr19__563_21.min1.thm1
2017-02-06 12:44
2.7K
integr19__76_34.min1.thm1
2017-02-06 12:44
943
integr19__240_37.min1.thm1
2017-02-06 12:44
701
integr19__1637_20.min1.thm1
2017-02-06 12:44
1.9K
integr19__2059_48.min1.thm1
2017-02-06 12:44
2.0K
integr19__352_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__964_19.min1.thm1
2017-02-06 12:44
1.1K
integr19__552_22.min1.thm1
2017-02-06 12:44
2.1K
integr19__819_43.min1.thm1
2017-02-06 12:44
1.3K
integr19__2605_20.min1.thm1
2017-02-06 12:44
951
integr19__100_24.min1.thm1
2017-02-06 12:44
684
integr19__2211_24.min1.thm1
2017-02-06 12:44
1.1K
integr19__1246_27.min1.thm1
2017-02-06 12:44
554
integr19__126_44.min1.thm1
2017-02-06 12:44
1.0K
integr19__1530_16.min1.thm1
2017-02-06 12:44
1.5K
integr19__1615_23.min1.thm1
2017-02-06 12:44
2.7K
integr19__2327_59.min1.thm1
2017-02-06 12:44
851
integr19__272_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__1650_31.min1.thm1
2017-02-06 12:44
2.2K
integr19__117_47.min1.thm1
2017-02-06 12:44
802
integr19__2274_55.min1.thm1
2017-02-06 12:44
2.1K
integr19__2331_24.min1.thm1
2017-02-06 12:44
935
integr19__1466_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__1245_28.min1.thm1
2017-02-06 12:44
489
integr19__2333_37.min1.thm1
2017-02-06 12:44
1.3K
integr19__2023_66.min1.thm1
2017-02-06 12:44
1.6K
integr19__2278_34.min1.thm1
2017-02-06 12:44
2.7K
integr19__701_19.min1.thm1
2017-02-06 12:44
1.2K
integr19__2458_39.min1.thm1
2017-02-06 12:44
1.2K
integr19__606_39.min1.thm1
2017-02-06 12:44
1.1K
integr19__2529_30.min1.thm1
2017-02-06 12:44
805
integr19__1788_17.min1.thm1
2017-02-06 12:44
1.1K
integr19__73_25.min1.thm1
2017-02-06 12:44
1.0K
integr19__1581_18.min1.thm1
2017-02-06 12:44
1.8K
integr19__1379_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__1542_13.min1.thm1
2017-02-06 12:44
223
integr19__1191_17.min1.thm1
2017-02-06 12:44
384
integr19__883_67.min1.thm1
2017-02-06 12:44
1.5K
integr19__1825_30.min1.thm1
2017-02-06 12:44
1.0K
integr19__2492_19.min1.thm1
2017-02-06 12:44
1.0K
integr19__92_19.min1.thm1
2017-02-06 12:44
524
integr19__1654_26.min1.thm1
2017-02-06 12:44
2.1K
integr19__1840_23.min1.thm1
2017-02-06 12:44
591
integr19__2195_28.min1.thm1
2017-02-06 12:44
489
integr19__1433_20.min1.thm1
2017-02-06 12:44
670
integr19__1276_18.min1.thm1
2017-02-06 12:44
385
integr19__2506_28.min1.thm1
2017-02-06 12:44
806
integr19__656_18.min1.thm1
2017-02-06 12:44
181
integr19__437_13.min1.thm1
2017-02-06 12:44
845
integr19__1219_34.min1.thm1
2017-02-06 12:44
1.0K
integr19__1549_26.min1.thm1
2017-02-06 12:44
766
integr19__1182_25.min1.thm1
2017-02-06 12:44
1.1K
integr19__196_17.min1.thm1
2017-02-06 12:44
1.1K
integr19__316_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__2545_22.min1.thm1
2017-02-06 12:44
351
integr19__2600_23.min1.thm1
2017-02-06 12:44
2.4K
integr19__614_26.min1.thm1
2017-02-06 12:44
2.1K
integr19__2607_21.min1.thm1
2017-02-06 12:44
1.8K
integr19__1443_23.min1.thm1
2017-02-06 12:44
3.3K
integr19__214_21.min1.thm1
2017-02-06 12:44
1.8K
integr19__368_56.min1.thm1
2017-02-06 12:44
1.1K
integr19__1103_34.min1.thm1
2017-02-06 12:44
1.0K
integr19__1021_28.min1.thm1
2017-02-06 12:44
489
integr19__1647_24.min1.thm1
2017-02-06 12:44
1.0K
integr19__2457_15.min1.thm1
2017-02-06 12:44
598
integr19__2176_24.min1.thm1
2017-02-06 12:44
960
integr19__526_27.min1.thm1
2017-02-06 12:44
679
integr19__2585_28.min1.thm1
2017-02-06 12:44
1.1K
integr19__357_24.min1.thm1
2017-02-06 12:44
1.1K
integr19__110_41.min1.thm1
2017-02-06 12:44
802
integr19__2115_29.min1.thm1
2017-02-06 12:44
1.7K
integr19__2134_33.min1.thm1
2017-02-06 12:44
1.6K
integr19__608_24.min1.thm1
2017-02-06 12:44
1.0K
integr19__523_24.min1.thm1
2017-02-06 12:44
1.2K
integr19__2175_28.min1.thm1
2017-02-06 12:44
489
integr19__593_45.min1.thm1
2017-02-06 12:44
1.3K
integr19__595_26.min1.thm1
2017-02-06 12:44
2.0K
integr19__1045_24.min1.thm1
2017-02-06 12:44
554
integr19__2095_56.min1.thm1
2017-02-06 12:44
2.6K
integr19__219_23.min1.thm1
2017-02-06 12:44
727
integr19__88_25.min1.thm1
2017-02-06 12:44
849
integr19__753_22.min1.thm1
2017-02-06 12:44
2.3K
integr19__1531_56.min1.thm1
2017-02-06 12:44
1.0K
integr19__2216_13.min1.thm1
2017-02-06 12:44
223
integr19__2606_14.min1.thm1
2017-02-06 12:44
2.2K
integr19__2015_42.min1.thm1
2017-02-06 12:44
1.6K
integr19__236_25.min1.thm1
2017-02-06 12:44
1.0K
integr19__393_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__481_43.min1.thm1
2017-02-06 12:44
939
integr19__2463_18.min1.thm1
2017-02-06 12:44
1.7K
integr19__860_50.min1.thm1
2017-02-06 12:44
2.3K
integr19__1611_23.min1.thm1
2017-02-06 12:44
2.7K
integr19__2488_24.min1.thm1
2017-02-06 12:44
1.1K
integr19__2565_24.min1.thm1
2017-02-06 12:44
269
integr19__1763_21.min1.thm1
2017-02-06 12:44
1.4K
integr19__2589_26.min1.thm1
2017-02-06 12:44
2.1K
integr19__324_40.min1.thm1
2017-02-06 12:44
1.0K
integr19__1779_22.min1.thm1
2017-02-06 12:44
1.1K
integr19__1882_49.min1.thm1
2017-02-06 12:44
2.0K
integr19__1186_37.min1.thm1
2017-02-06 12:44
701
integr19__2681_40.min1.thm1
2017-02-06 12:44
757
integr19__1242_26.min1.thm1
2017-02-06 12:44
554
integr19__1595_26.min1.thm1
2017-02-06 12:44
1.7K
integr19__1781_26.min1.thm1
2017-02-06 12:44
700
integr19__1596_25.min1.thm1
2017-02-06 12:44
1.6K
integr19__89_13.min1.thm1
2017-02-06 12:44
751
integr19__1784_17.min1.thm1
2017-02-06 12:44
1.4K
integr19__127_19.min1.thm1
2017-02-06 12:44
612
integr19__910_33.min1.thm1
2017-02-06 12:44
1.0K
integr19__2571_25.min1.thm1
2017-02-06 12:44
1.8K
integr19__635_18.min1.thm1
2017-02-06 12:44
458
integr19__743_25.min1.thm1
2017-02-06 12:44
2.8K
integr19__159_31.min1.thm1
2017-02-06 12:44
1.4K
integr19__598_20.min1.thm1
2017-02-06 12:44
1.9K
integr19__2215_33.min1.thm1
2017-02-06 12:44
2.3K
integr19__2072_8.min1.thm1
2017-02-06 12:44
223
integr19__1749_20.min1.thm1
2017-02-06 12:44
1.5K
integr19__2692_46.min1.thm1
2017-02-06 12:44
563
integr19__1759_27.min1.thm1
2017-02-06 12:44
2.1K
integr19__1181_15.min1.thm1
2017-02-06 12:44
397
integr19__175_16.min1.thm1
2017-02-06 12:44
379
integr19__1515_26.min1.thm1
2017-02-06 12:44
1.3K
integr19__2644_33.min1.thm1
2017-02-06 12:44
956
integr19__786_42.min1.thm1
2017-02-06 12:44
1.8K
integr19__1124_27.min1.thm1
2017-02-06 12:44
554
integr19__2398_26.min1.thm1
2017-02-06 12:44
1.4K
integr19__698_53.min1.thm1
2017-02-06 12:44
1.0K
integr19__2576_35.min1.thm1
2017-02-06 12:44
925
integr19__703_19.min1.thm1
2017-02-06 12:44
1.7K
integr19__2680_16.min1.thm1
2017-02-06 12:44
598
integr19__1649_27.min1.thm1
2017-02-06 12:44
1.1K
integr19__1733_42.min1.thm1
2017-02-06 12:44
399
integr19__2480_22.min1.thm1
2017-02-06 12:44
3.5K
integr19__1168_16.min1.thm1
2017-02-06 12:44
384
integr19__597_21.min1.thm1
2017-02-06 12:44
1.8K
integr19__2112_48.min1.thm1
2017-02-06 12:44
2.0K
integr19__691_23.min1.thm1
2017-02-06 12:44
1.2K
integr19__75_13.min1.thm1
2017-02-06 12:44
736
integr19__2419_25.min1.thm1
2017-02-06 12:44
2.6K
integr19__2587_23.min1.thm1
2017-02-06 12:44
882
integr19__1541_28.min1.thm1
2017-02-06 12:44
489
integr19__114_36.min1.thm1
2017-02-06 12:44
1.0K
integr19__223_16.min1.thm1
2017-02-06 12:44
384
integr19__638_23.min1.thm1
2017-02-06 12:44
1.9K
integr19__702_27.min1.thm1
2017-02-06 12:44
1.0K
integr19__559_31.min1.thm1
2017-02-06 12:44
1.1K
integr19__2325_49.min1.thm1
2017-02-06 12:44
1.9K
integr19__1274_21.min1.thm1
2017-02-06 12:44
1.1K
integr19__1612_27.min1.thm1
2017-02-06 12:44
1.3K
integr19__2658_22.min1.thm1
2017-02-06 12:44
929
integr19__1006_23.min1.thm1
2017-02-06 12:44
1.8K
integr19__1645_39.min1.thm1
2017-02-06 12:44
1.1K
integr19__247_17.min1.thm1
2017-02-06 12:44
384
integr19__280_48.min1.thm1
2017-02-06 12:44
1.4K
integr19__2244_55.min1.thm1
2017-02-06 12:44
2.1K
integr19__465_24.min1.thm1
2017-02-06 12:44
400
integr19__2365_49.min1.thm1
2017-02-06 12:44
1.9K
integr19__2459_35.min1.thm1
2017-02-06 12:44
1.6K
integr19__704_19.min1.thm1
2017-02-06 12:44
1.4K
integr19__2338_43.min1.thm1
2017-02-06 12:44
1.9K
integr19__774_35.min1.thm1
2017-02-06 12:44
2.7K
integr19__2514_60.min1.thm1
2017-02-06 12:44
2.6K
integr19__404_56.min1.thm1
2017-02-06 12:44
1.1K
integr19__1187_28.min1.thm1
2017-02-06 12:44
1.0K
integr19__2139_22.min1.thm1
2017-02-06 12:44
1.7K
integr19__1754_20.min1.thm1
2017-02-06 12:44
1.2K
integr19__2247_34.min1.thm1
2017-02-06 12:44
2.7K
integr19__106_36.min1.thm1
2017-02-06 12:44
1.0K
integr19__2657_28.min1.thm1
2017-02-06 12:44
311
integr19__477_64.min1.thm1
2017-02-06 12:44
1.2K
integr19__1050_33.min1.thm1
2017-02-06 12:44
1.8K
integr19__2486_19.min1.thm1
2017-02-06 12:44
1.0K
integr19__1518_26.min1.thm1
2017-02-06 12:44
1.2K
integr19__2418_32.min1.thm1
2017-02-06 12:44
1.2K
integr19__91_25.min1.thm1
2017-02-06 12:44
580
integr19__2153_23.min1.thm1
2017-02-06 12:44
921
integr19__1407_23.min1.thm1
2017-02-06 12:44
2.7K
integr19__618_28.min1.thm1
2017-02-06 12:44
1.8K
integr19__2479_27.min1.thm1
2017-02-06 12:44
933
integr19__475_25.min1.thm1
2017-02-06 12:44
2.4K
integr19__1699_18.min1.thm1
2017-02-06 12:44
181
integr19__107_27.min1.thm1
2017-02-06 12:44
898
integr19__2248_34.min1.thm1
2017-02-06 12:44
2.7K
integr19__2277_34.min1.thm1
2017-02-06 12:44
2.7K
integr19__1022_24.min1.thm1
2017-02-06 12:44
1.0K
integr19__2122_19.min1.thm1
2017-02-06 12:44
1.7K
integr19__1072_26.min1.thm1
2017-02-06 12:44
766
integr19__1123_28.min1.thm1
2017-02-06 12:44
489
integr19__283_51.min1.thm1
2017-02-06 12:44
1.4K
integr19__2040_64.min1.thm1
2017-02-06 12:44
1.8K
integr19__2538_57.min1.thm1
2017-02-06 12:44
1.9K
integr19__1068_28.min1.thm1
2017-02-06 12:44
489
integr19__2344_43.min1.thm1
2017-02-06 12:44
2.1K
integr19__497_23.min1.thm1
2017-02-06 12:44
1.5K
integr19__2334_13.min1.thm1
2017-02-06 12:44
223
integr19__2695_54.min1.thm1
2017-02-06 12:44
1.1K
integr19__577_23.min1.thm1
2017-02-06 12:44
2.6K
integr19__1959_37.min1.thm1
2017-02-06 12:44
1.8K
integr19__2367_34.min1.thm1
2017-02-06 12:44
2.3K
integr19__2390_49.min1.thm1
2017-02-06 12:44
1.9K
integr19__692_66.min1.thm1
2017-02-06 12:44
1.4K
integr19__1631_45.min1.thm1
2017-02-06 12:44
1.3K
integr19__1764_18.min1.thm1
2017-02-06 12:44
1.6K
integr19__1684_29.min1.thm1
2017-02-06 12:44
2.2K
integr19__1406_23.min1.thm1
2017-02-06 12:44
3.3K
integr19__2060_10.min1.thm1
2017-02-06 12:44
235
integr19__480_42.min1.thm1
2017-02-06 12:44
1.3K
integr19__436_13.min1.thm1
2017-02-06 12:44
767
integr19__1190_19.min1.thm1
2017-02-06 12:44
1.8K
integr19__1432_17.min1.thm1
2017-02-06 12:44
1.1K
integr19__2464_25.min1.thm1
2017-02-06 12:44
555
integr19__246_19.min1.thm1
2017-02-06 12:44
1.8K
integr19__2494_19.min1.thm1
2017-02-06 12:44
1.0K
integr19__2550_32.min1.thm1
2017-02-06 12:44
852
integr19__1633_28.min1.thm1
2017-02-06 12:44
2.0K
integr19__1758_26.min1.thm1
2017-02-06 12:44
1.3K
integr19__1393_48.min1.thm1
2017-02-06 12:44
1.2K
integr19__724_46.min1.thm1.tptp
2017-02-06 16:47
810
integr19__1673_18.min1.thm1.tptp
2017-02-06 16:47
282
integr19__1735_22.min1.thm1.tptp
2017-02-06 16:47
1.0K
integr19__235_20.min1.thm1.tptp
2017-02-06 16:47
330
integr19__1850_29.min1.thm1.tptp
2017-02-06 16:47
884
integr19__1815_24.min1.thm1.tptp
2017-02-06 16:47
540
integr19__1825_30.min1.thm1.tptp
2017-02-06 16:47
890
integr19__2458_39.min1.thm1.tptp
2017-02-06 16:47
1.1K
integr19__526_27.min1.thm1.tptp
2017-02-06 16:47
596
integr19__1840_23.min1.thm1.tptp
2017-02-06 16:47
529
integr19__127_19.min1.thm1.tptp
2017-02-06 16:47
543
integr19__481_43.min1.thm1.tptp
2017-02-06 16:47
885
integr19__910_33.min1.thm1.tptp
2017-02-06 16:47
935
integr19__2692_46.min1.thm1.tptp
2017-02-06 16:47
474
integr19__465_24.min1.thm1.tptp
2017-02-06 16:47
323
integr19__1181_15.min1.thm1.tptp
2017-02-06 16:47
332
integr19__2459_35.min1.thm1.tptp
2017-02-06 16:47
1.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80