Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/scpisort
Name
Last modified
Size
Description
Parent Directory
-
scpisort__67_41.min1.thm1
2017-02-06 12:44
456
scpisort__70_32.min1.thm1
2017-02-06 12:44
723
scpisort__73_44.min1.thm1
2017-02-06 12:44
643
scpisort__75_17.min1.thm1
2017-02-06 12:44
475
scpisort__75_17.min1.thm1.tptp
2017-02-06 16:47
406
scpisort__80_22.min1.thm1
2017-02-06 12:44
1.5K
scpisort__81_33.min1.thm1
2017-02-06 12:44
1.1K
scpisort__95_17.min1.thm1
2017-02-06 12:44
240
scpisort__113_23.min1.thm1
2017-02-06 12:44
1.9K
scpisort__114_26.min1.thm1
2017-02-06 12:44
1.1K
scpisort__120_39.min1.thm1
2017-02-06 12:44
960
scpisort__121_26.min1.thm1
2017-02-06 12:44
2.0K
scpisort__122_20.min1.thm1
2017-02-06 12:44
836
scpisort__124_29.min1.thm1
2017-02-06 12:44
2.4K
scpisort__158_5.min1.thm1
2017-02-06 12:44
4.4K
scpisort__159_17.min1.thm1
2017-02-06 12:44
1.3K
scpisort__172_16.min1.thm1
2017-02-06 12:44
3.1K
scpisort__185_17.min1.thm1
2017-02-06 12:44
3.1K
scpisort__201_17.min1.thm1
2017-02-06 12:44
2.8K
scpisort__217_17.min1.thm1
2017-02-06 12:44
2.8K
scpisort__232_72.min1.thm1
2017-02-06 12:44
4.4K
scpisort__234_17.min1.thm1
2017-02-06 12:44
1.3K
scpisort__247_17.min1.thm1
2017-02-06 12:44
2.6K
scpisort__260_52.min1.thm1
2017-02-06 12:44
2.1K
scpisort__273_49.min1.thm1
2017-02-06 12:44
2.1K
scpisort__277_19.min1.thm1
2017-02-06 12:44
2.4K
scpisort__318_25.min1.thm1
2017-02-06 12:44
2.0K
scpisort__325_15.min1.thm1
2017-02-06 12:44
395
scpisort__333_22.min1.thm1
2017-02-06 12:44
736
scpisort__334_21.min1.thm1
2017-02-06 12:44
1.5K
scpisort__335_26.min1.thm1
2017-02-06 12:44
1.0K
scpisort__344_34.min1.thm1
2017-02-06 12:44
1.6K
scpisort__351_23.min1.thm1
2017-02-06 12:44
2.8K
scpisort__352_23.min1.thm1
2017-02-06 12:44
2.7K
scpisort__355_30.min1.thm1
2017-02-06 12:44
1.7K
scpisort__356_36.min1.thm1
2017-02-06 12:44
479
scpisort__363_38.min1.thm1
2017-02-06 12:44
2.1K
scpisort__379_21.min1.thm1
2017-02-06 12:44
968
scpisort__380_28.min1.thm1
2017-02-06 12:44
1.3K
scpisort__381_34.min1.thm1
2017-02-06 12:44
942
scpisort__383_27.min1.thm1
2017-02-06 12:44
1.0K
scpisort__385_21.min1.thm1
2017-02-06 12:44
1.1K
scpisort__403_24.min1.thm1
2017-02-06 12:44
1.6K
scpisort__404_42.min1.thm1
2017-02-06 12:44
1.8K
scpisort__408_16.min1.thm1
2017-02-06 12:44
3.5K
scpisort__424_19.min1.thm1
2017-02-06 12:44
720
scpisort__433_27.min1.thm1
2017-02-06 12:44
236
scpisort__441_29.min1.thm1
2017-02-06 12:44
697
scpisort__442_54.min1.thm1
2017-02-06 12:44
560
scpisort__445_29.min1.thm1
2017-02-06 12:44
1.4K
scpisort__456_50.min1.thm1
2017-02-06 12:44
2.2K
scpisort__458_44.min1.thm1
2017-02-06 12:44
1.5K
scpisort__475_46.min1.thm1
2017-02-06 12:44
520
scpisort__493_11.min1.thm1
2017-02-06 12:44
377
scpisort__533_27.min1.thm1
2017-02-06 12:44
1.9K
scpisort__544_31.min1.thm1
2017-02-06 12:44
1.6K
scpisort__552_27.min1.thm1
2017-02-06 12:44
1.7K
scpisort__555_32.min1.thm1
2017-02-06 12:44
2.1K
scpisort__562_18.min1.thm1
2017-02-06 12:44
2.3K
scpisort__566_17.min1.thm1
2017-02-06 12:44
930
scpisort__567_22.min1.thm1
2017-02-06 12:44
1.3K
scpisort__568_28.min1.thm1
2017-02-06 12:44
918
scpisort__570_24.min1.thm1
2017-02-06 12:44
1.0K
scpisort__574_15.min1.thm1
2017-02-06 12:44
1.1K
scpisort__587_38.min1.thm1
2017-02-06 12:44
735
scpisort__606_14.min1.thm1
2017-02-06 12:44
221
scpisort__614_19.min1.thm1
2017-02-06 12:44
2.4K
scpisort__624_25.min1.thm1
2017-02-06 12:44
2.4K
scpisort__639_36.min1.thm1
2017-02-06 12:44
464
scpisort__685_25.min1.thm1
2017-02-06 12:44
2.0K
scpisort__703_15.min1.thm1
2017-02-06 12:44
395
scpisort__707_38.min1.thm1
2017-02-06 12:44
2.4K
scpisort__713_45.min1.thm1
2017-02-06 12:44
2.8K
scpisort__714_23.min1.thm1
2017-02-06 12:44
2.8K
scpisort__719_15.min1.thm1
2017-02-06 12:44
248
scpisort__727_35.min1.thm1
2017-02-06 12:44
575
scpisort__727_35.min1.thm1.tptp
2017-02-06 16:47
487
scpisort__738_11.min1.thm1
2017-02-06 12:44
377
scpisort__743_19.min1.thm1
2017-02-06 12:44
3.1K
scpisort__747_19.min1.thm1
2017-02-06 12:44
2.2K
scpisort__774_11.min1.thm1
2017-02-06 12:44
910
scpisort__774_11.min1.thm1.tptp
2017-02-06 16:47
831
scpisort__789_17.min1.thm1
2017-02-06 12:44
1.1K
scpisort__789_17.min1.thm1.tptp
2017-02-06 16:47
1.0K
scpisort__796_37.min1.thm1
2017-02-06 12:44
575
scpisort__798_35.min1.thm1
2017-02-06 12:44
3.3K
scpisort__805_14.min1.thm1
2017-02-06 12:44
648
scpisort__832_11.min1.thm1
2017-02-06 12:44
910
scpisort__832_11.min1.thm1.tptp
2017-02-06 16:47
831
scpisort__847_18.min1.thm1
2017-02-06 12:44
1.1K
scpisort__847_18.min1.thm1.tptp
2017-02-06 16:47
1.0K
scpisort__853_36.min1.thm1
2017-02-06 12:44
575
scpisort__855_35.min1.thm1
2017-02-06 12:44
3.3K
scpisort__863_14.min1.thm1
2017-02-06 12:44
972
scpisort__932_24.min1.thm1
2017-02-06 12:44
2.2K
scpisort__933_8.min1.thm1
2017-02-06 12:44
2.0K
scpisort__943_8.min1.thm1
2017-02-06 12:44
1.7K
scpisort__962_35.min1.thm1
2017-02-06 12:44
925
scpisort__966_35.min1.thm1
2017-02-06 12:44
1.1K
scpisort__982_37.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1021_36.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1022_37.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1024_13.min1.thm1
2017-02-06 12:44
1.1K
scpisort__1055_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1107_35.min1.thm1
2017-02-06 12:44
925
scpisort__1111_35.min1.thm1
2017-02-06 12:44
1.1K
scpisort__1131_37.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1171_37.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1237_36.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1240_36.min1.thm1
2017-02-06 12:44
1.8K
scpisort__1249_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1270_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1319_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1322_38.min1.thm1
2017-02-06 12:44
2.8K
scpisort__1330_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1356_10.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1364_11.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1367_21.min1.thm1
2017-02-06 12:44
1.1K
scpisort__1374_10.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1377_21.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1394_21.min1.thm1
2017-02-06 12:44
1.5K
scpisort__1410_21.min1.thm1
2017-02-06 12:44
1.7K
scpisort__1417_10.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1422_21.min1.thm1
2017-02-06 12:44
1.8K
scpisort__1426_17.min1.thm1
2017-02-06 12:44
384
scpisort__1431_12.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1432_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1440_17.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1449_17.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1546_20.min1.thm1
2017-02-06 12:44
925
scpisort__1554_17.min1.thm1
2017-02-06 12:44
278
scpisort__1556_21.min1.thm1
2017-02-06 12:44
2.1K
scpisort__1560_20.min1.thm1
2017-02-06 12:44
1.4K
scpisort__1563_25.min1.thm1
2017-02-06 12:44
4.1K
scpisort__1566_42.min1.thm1
2017-02-06 12:44
677
scpisort__1566_42.min1.thm1.tptp
2017-02-06 16:47
625
scpisort__1580_21.min1.thm1
2017-02-06 12:44
925
scpisort__1594_34.min1.thm1
2017-02-06 12:44
933
scpisort__1611_24.min1.thm1
2017-02-06 12:44
941
scpisort__1612_15.min1.thm1
2017-02-06 12:44
375
scpisort__1630_26.min1.thm1
2017-02-06 12:44
2.1K
scpisort__1635_36.min1.thm1
2017-02-06 12:44
1.1K
scpisort__1636_38.min1.thm1
2017-02-06 12:44
1.7K
scpisort__1637_38.min1.thm1
2017-02-06 12:44
1.7K
scpisort__1638_23.min1.thm1
2017-02-06 12:44
286
scpisort__1640_27.min1.thm1
2017-02-06 12:44
2.2K
scpisort__1646_27.min1.thm1
2017-02-06 12:44
1.4K
scpisort__1651_14.min1.thm1
2017-02-06 12:44
4.4K
scpisort__1661_23.min1.thm1
2017-02-06 12:44
13K
scpisort__1671_49.min1.thm1
2017-02-06 12:44
1.8K
scpisort__1685_11.min1.thm1
2017-02-06 12:44
275
scpisort__1710_23.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1716_13.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1718_35.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1720_13.min1.thm1
2017-02-06 12:44
3.5K
scpisort__1722_35.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1733_36.min1.thm1
2017-02-06 12:44
1.2K
scpisort__1734_36.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1750_36.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1757_36.min1.thm1
2017-02-06 12:44
1.3K
scpisort__1768_17.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1769_36.min1.thm1
2017-02-06 12:44
3.8K
scpisort__1770_21.min1.thm1
2017-02-06 12:44
1.5K
scpisort__1777_13.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1780_21.min1.thm1
2017-02-06 12:44
725
scpisort__1787_13.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1790_21.min1.thm1
2017-02-06 12:44
847
scpisort__1797_13.min1.thm1
2017-02-06 12:44
1.0K
scpisort__1800_21.min1.thm1
2017-02-06 12:44
949
scpisort__1817_23.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1827_22.min1.thm1
2017-02-06 12:44
3.7K
scpisort__1828_21.min1.thm1
2017-02-06 12:44
3.7K
scpisort__1829_18.min1.thm1
2017-02-06 12:44
3.7K
scpisort__1833_17.min1.thm1
2017-02-06 12:44
3.6K
scpisort__1835_36.min1.thm1
2017-02-06 12:44
1.4K
scpisort__1845_36.min1.thm1
2017-02-06 12:44
2.7K
scpisort__1881_20.min1.thm1
2017-02-06 12:44
925
scpisort__1885_23.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1898_20.min1.thm1
2017-02-06 12:44
3.8K
scpisort__1901_15.min1.thm1
2017-02-06 12:44
3.8K
scpisort__1902_40.min1.thm1
2017-02-06 12:44
1.4K
scpisort__1925_20.min1.thm1
2017-02-06 12:44
925
scpisort__1929_23.min1.thm1
2017-02-06 12:44
2.0K
scpisort__1942_20.min1.thm1
2017-02-06 12:44
3.8K
scpisort__1948_15.min1.thm1
2017-02-06 12:44
3.8K
scpisort__1949_40.min1.thm1
2017-02-06 12:44
1.4K
scpisort__1973_11.min1.thm1
2017-02-06 12:44
2.9K
scpisort__1996_35.min1.thm1
2017-02-06 12:44
1.1K
scpisort__2000_35.min1.thm1
2017-02-06 12:44
1.2K
scpisort__2008_36.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2014_24.min1.thm1
2017-02-06 12:44
1.9K
scpisort__2035_20.min1.thm1
2017-02-06 12:44
925
scpisort__2039_23.min1.thm1
2017-02-06 12:44
2.0K
scpisort__2044_17.min1.thm1
2017-02-06 12:44
278
scpisort__2046_22.min1.thm1
2017-02-06 12:44
2.1K
scpisort__2050_20.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2054_28.min1.thm1
2017-02-06 12:44
4.3K
scpisort__2057_42.min1.thm1
2017-02-06 12:44
1.8K
scpisort__2100_23.min1.thm1
2017-02-06 12:44
2.0K
scpisort__2117_28.min1.thm1
2017-02-06 12:44
1.8K
scpisort__2127_15.min1.thm1
2017-02-06 12:44
607
scpisort__2139_20.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2144_18.min1.thm1
2017-02-06 12:44
1.1K
scpisort__2154_23.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2156_21.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2157_36.min1.thm1
2017-02-06 12:44
2.2K
scpisort__2167_24.min1.thm1
2017-02-06 12:44
2.5K
scpisort__2169_24.min1.thm1
2017-02-06 12:44
2.2K
scpisort__2170_20.min1.thm1
2017-02-06 12:44
1.1K
scpisort__2172_20.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2173_24.min1.thm1
2017-02-06 12:44
1.8K
scpisort__2176_19.min1.thm1
2017-02-06 12:44
1.1K
scpisort__2180_26.min1.thm1
2017-02-06 12:44
1.2K
scpisort__2186_19.min1.thm1
2017-02-06 12:44
947
scpisort__2188_19.min1.thm1
2017-02-06 12:44
2.0K
scpisort__2201_37.min1.thm1
2017-02-06 12:44
2.1K
scpisort__2206_47.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2223_23.min1.thm1
2017-02-06 12:44
253
scpisort__2226_34.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2230_29.min1.thm1
2017-02-06 12:44
965
scpisort__2240_27.min1.thm1
2017-02-06 12:44
295
scpisort__2248_31.min1.thm1
2017-02-06 12:44
1.7K
scpisort__2251_33.min1.thm1
2017-02-06 12:44
3.0K
scpisort__2266_24.min1.thm1
2017-02-06 12:44
1.8K
scpisort__2269_21.min1.thm1
2017-02-06 12:44
948
scpisort__2271_19.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2281_19.min1.thm1
2017-02-06 12:44
295
scpisort__2285_26.min1.thm1
2017-02-06 12:44
1.0K
scpisort__2286_32.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2292_29.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2300_25.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2301_23.min1.thm1
2017-02-06 12:44
277
scpisort__2306_31.min1.thm1
2017-02-06 12:44
2.5K
scpisort__2312_31.min1.thm1
2017-02-06 12:44
416
scpisort__2312_31.min1.thm1.tptp
2017-02-06 16:47
330
scpisort__2314_27.min1.thm1
2017-02-06 12:44
1.7K
scpisort__2316_35.min1.thm1
2017-02-06 12:44
3.2K
scpisort__2329_21.min1.thm1
2017-02-06 12:44
412
scpisort__2337_21.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2340_19.min1.thm1
2017-02-06 12:44
609
scpisort__2365_16.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2381_23.min1.thm1
2017-02-06 12:44
253
scpisort__2384_34.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2388_29.min1.thm1
2017-02-06 12:44
965
scpisort__2392_25.min1.thm1
2017-02-06 12:44
958
scpisort__2406_54.min1.thm1
2017-02-06 12:44
544
scpisort__2414_25.min1.thm1
2017-02-06 12:44
2.0K
scpisort__2424_28.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2429_17.min1.thm1
2017-02-06 12:44
388
scpisort__2435_41.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2436_74.min1.thm1
2017-02-06 12:44
1.6K
scpisort__2438_12.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2439_16.min1.thm1
2017-02-06 12:44
480
scpisort__2466_11.min1.thm1
2017-02-06 12:44
187
scpisort__2469_16.min1.thm1
2017-02-06 12:44
1.1K
scpisort__2470_41.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2471_18.min1.thm1
2017-02-06 12:44
1.0K
scpisort__2475_20.min1.thm1
2017-02-06 12:44
2.3K
scpisort__2476_20.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2477_47.min1.thm1
2017-02-06 12:44
1.0K
scpisort__2508_24.min1.thm1
2017-02-06 12:44
3.8K
scpisort__2524_24.min1.thm1
2017-02-06 12:44
3.8K
scpisort__2538_24.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2543_25.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2545_22.min1.thm1
2017-02-06 12:44
1.7K
scpisort__2563_24.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2568_25.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2569_27.min1.thm1
2017-02-06 12:44
1.7K
scpisort__2571_21.min1.thm1
2017-02-06 12:44
1.6K
scpisort__2572_61.min1.thm1
2017-02-06 12:44
2.8K
scpisort__2578_32.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2581_18.min1.thm1
2017-02-06 12:44
3.8K
scpisort__2595_29.min1.thm1
2017-02-06 12:44
2.7K
scpisort__2600_47.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2612_26.min1.thm1
2017-02-06 12:44
2.0K
scpisort__2623_27.min1.thm1
2017-02-06 12:44
1.4K
scpisort__2628_19.min1.thm1
2017-02-06 12:44
404
scpisort__2659_18.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2663_13.min1.thm1
2017-02-06 12:44
2.0K
scpisort__2665_35.min1.thm1
2017-02-06 12:44
1.0K
scpisort__2669_35.min1.thm1
2017-02-06 12:44
1.1K
scpisort__2673_36.min1.thm1
2017-02-06 12:44
1.3K
scpisort__2679_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__2682_21.min1.thm1
2017-02-06 12:44
3.5K
scpisort__2689_13.min1.thm1
2017-02-06 12:44
1.2K
scpisort__2692_21.min1.thm1
2017-02-06 12:44
828
scpisort__2700_17.min1.thm1
2017-02-06 12:44
1.2K
scpisort__2701_19.min1.thm1
2017-02-06 12:44
1.7K
scpisort__2703_14.min1.thm1
2017-02-06 12:44
1.5K
scpisort__2729_26.min1.thm1
2017-02-06 12:44
2.5K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80