Index of /~mptp/1147/MPTP2/ilp0/parsp_2
Name
Last modified
Size
Description
Parent Directory
-
parsp_2__38_22.min1.thm1
2017-02-06 12:46
897
parsp_2__39_18.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__40_17.min1.thm1
2017-02-06 12:46
741
parsp_2__52_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__53_23.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__54_19.min1.thm1
2017-02-06 12:46
892
parsp_2__55_19.min1.thm1
2017-02-06 12:46
784
parsp_2__60_26.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__61_28.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__62_23.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__63_19.min1.thm1
2017-02-06 12:46
892
parsp_2__64_19.min1.thm1
2017-02-06 12:46
784
parsp_2__69_22.min1.thm1
2017-02-06 12:46
787
parsp_2__70_19.min1.thm1
2017-02-06 12:46
925
parsp_2__72_17.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__119_33.min1.thm1
2017-02-06 12:46
3.6K
parsp_2__123_13.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__124_60.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__125_60.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__126_33.min1.thm1
2017-02-06 12:46
4.1K
parsp_2__130_13.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__131_60.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__132_60.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__133_33.min1.thm1
2017-02-06 12:46
3.9K
parsp_2__135_23.min1.thm1
2017-02-06 12:46
7.9K
parsp_2__143_33.min1.thm1
2017-02-06 12:46
3.6K
parsp_2__148_60.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__150_33.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__154_13.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__155_60.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__156_60.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__157_33.min1.thm1
2017-02-06 12:46
3.9K
parsp_2__159_23.min1.thm1
2017-02-06 12:46
7.9K
parsp_2__167_33.min1.thm1
2017-02-06 12:46
3.6K
parsp_2__172_60.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__174_33.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__178_12.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__179_60.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__180_60.min1.thm1
2017-02-06 12:46
4.7K
parsp_2__181_33.min1.thm1
2017-02-06 12:46
4.5K
parsp_2__183_23.min1.thm1
2017-02-06 12:46
7.9K
parsp_2__185_21.min1.thm1
2017-02-06 12:46
10K
parsp_2__187_16.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__217_42.min1.thm1
2017-02-06 12:46
4.1K
parsp_2__219_4.min1.thm1
2017-02-06 12:46
4.6K
parsp_2__220_21.min1.thm1
2017-02-06 12:46
9.8K
parsp_2__285_16.min1.thm1
2017-02-06 12:46
6.1K
parsp_2__288_3.min1.thm1
2017-02-06 12:46
4.8K
parsp_2__298_67.min1.thm1
2017-02-06 12:46
5.1K
parsp_2__299_17.min1.thm1
2017-02-06 12:46
3.7K
parsp_2__312_50.min1.thm1
2017-02-06 12:46
3.7K
parsp_2__313_60.min1.thm1
2017-02-06 12:46
4.1K
parsp_2__315_69.min1.thm1
2017-02-06 12:46
3.6K
parsp_2__318_35.min1.thm1
2017-02-06 12:46
6.1K
parsp_2__320_2.min1.thm1
2017-02-06 12:46
5.8K
parsp_2__322_2.min1.thm1
2017-02-06 12:46
5.0K
parsp_2__324_2.min1.thm1
2017-02-06 12:46
5.0K
parsp_2__332_2.min1.thm1
2017-02-06 12:46
5.8K
parsp_2__334_2.min1.thm1
2017-02-06 12:46
5.0K
parsp_2__336_2.min1.thm1
2017-02-06 12:46
5.0K
parsp_2__344_3.min1.thm1
2017-02-06 12:46
5.8K
parsp_2__346_3.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__348_3.min1.thm1
2017-02-06 12:46
5.2K
parsp_2__358_13.min1.thm1
2017-02-06 12:46
9.7K
parsp_2__360_27.min1.thm1
2017-02-06 12:46
3.3K
parsp_2__361_46.min1.thm1
2017-02-06 12:46
4.4K
parsp_2__362_17.min1.thm1
2017-02-06 12:46
12K
parsp_2__370_36.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__371_23.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__372_23.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__373_23.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__374_20.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__375_14.min1.thm1
2017-02-06 12:46
859
parsp_2__376_13.min1.thm1
2017-02-06 12:46
814
parsp_2__381_36.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__382_27.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__383_13.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__389_34.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__390_20.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__391_25.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__392_27.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__393_27.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__394_24.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__395_26.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__396_21.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__397_58.min1.thm1
2017-02-06 12:46
3.3K
parsp_2__399_43.min1.thm1
2017-02-06 12:46
3.2K
parsp_2__400_39.min1.thm1
2017-02-06 12:46
2.9K
parsp_2__401_31.min1.thm1
2017-02-06 12:46
3.0K
parsp_2__402_61.min1.thm1
2017-02-06 12:46
3.6K
parsp_2__403_29.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__404_23.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__405_24.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__406_26.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__418_28.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__419_31.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__422_24.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__424_21.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__425_21.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__426_24.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__428_21.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__430_24.min1.thm1
2017-02-06 12:46
2.2K
parsp_2__432_21.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__446_28.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__453_10.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__455_10.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__456_8.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__458_11.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__459_9.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__461_11.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__462_11.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__464_27.min1.thm1
2017-02-06 12:46
3.1K
parsp_2__471_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__472_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__473_11.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__474_26.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__475_54.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__479_37.min1.thm1
2017-02-06 12:46
7.2K
parsp_2__480_26.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__481_54.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__485_37.min1.thm1
2017-02-06 12:46
7.2K
parsp_2__486_50.min1.thm1
2017-02-06 12:46
4.0K
parsp_2__488_59.min1.thm1
2017-02-06 12:46
4.1K
parsp_2__489_50.min1.thm1
2017-02-06 12:46
4.0K
parsp_2__491_59.min1.thm1
2017-02-06 12:46
4.1K
parsp_2__492_50.min1.thm1
2017-02-06 12:46
4.0K
parsp_2__493_61.min1.thm1
2017-02-06 12:46
4.1K
parsp_2__495_20.min1.thm1
2017-02-06 12:46
7.3K
parsp_2__496_41.min1.thm1
2017-02-06 12:46
4.2K
parsp_2__499_36.min1.thm1
2017-02-06 12:46
4.4K
parsp_2__502_37.min1.thm1
2017-02-06 12:46
4.4K
parsp_2__504_17.min1.thm1
2017-02-06 12:46
5.7K
parsp_2__510_34.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__511_19.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__512_14.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__513_10.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__515_35.min1.thm1
2017-02-06 12:46
2.2K
parsp_2__518_36.min1.thm1
2017-02-06 12:46
2.4K
parsp_2__520_29.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__522_18.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__530_27.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__531_23.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__532_24.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__533_24.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__534_26.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__535_23.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__536_20.min1.thm1
2017-02-06 12:46
2.2K
parsp_2__537_39.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__538_30.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__539_33.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__541_35.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__543_32.min1.thm1
2017-02-06 12:46
2.4K
parsp_2__544_30.min1.thm1
2017-02-06 12:46
3.1K
parsp_2__550_16.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__559_19.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__560_23.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__561_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__562_18.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__563_33.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__564_31.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__567_30.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__568_36.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__569_35.min1.thm1
2017-02-06 12:46
2.4K
parsp_2__570_32.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__571_34.min1.thm1
2017-02-06 12:46
3.0K
parsp_2__574_15.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__575_19.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__578_18.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__579_14.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__590_29.min1.thm1
2017-02-06 12:46
3.3K
parsp_2__591_29.min1.thm1
2017-02-06 12:46
3.3K
parsp_2__593_11.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__593_11.min1.thm1.tptp
2017-02-06 16:47
928
parsp_2__595_23.min1.thm1
2017-02-06 12:46
2.9K
parsp_2__597_26.min1.thm1
2017-02-06 12:46
3.1K
parsp_2__601_24.min1.thm1
2017-02-06 12:46
4.2K
parsp_2__602_61.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__603_55.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__604_49.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__607_31.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__609_17.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__616_18.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__617_18.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__622_44.min1.thm1
2017-02-06 12:46
6.4K
parsp_2__644_17.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__645_16.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__652_11.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__653_11.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__654_12.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__655_11.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__657_27.min1.thm1
2017-02-06 12:46
3.1K
parsp_2__658_50.min1.thm1
2017-02-06 12:46
3.7K
parsp_2__659_54.min1.thm1
2017-02-06 12:46
4.4K
parsp_2__663_37.min1.thm1
2017-02-06 12:46
7.5K
parsp_2__664_28.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__666_51.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__667_28.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__669_51.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__670_28.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__671_53.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__672_31.min1.thm1
2017-02-06 12:46
7.3K
parsp_2__673_34.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__674_27.min1.thm1
2017-02-06 12:46
2.1K
parsp_2__675_30.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__676_28.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__678_30.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__680_25.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__707_16.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__708_12.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__710_27.min1.thm1
2017-02-06 12:46
3.1K
parsp_2__712_31.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__713_11.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__715_27.min1.thm1
2017-02-06 12:46
3.2K
parsp_2__716_33.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__718_37.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__719_31.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__720_31.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__721_28.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__723_37.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__724_28.min1.thm1
2017-02-06 12:46
4.9K
parsp_2__726_37.min1.thm1
2017-02-06 12:46
4.3K
parsp_2__727_8.min1.thm1
2017-02-06 12:46
2.7K
parsp_2__728_29.min1.thm1
2017-02-06 12:46
3.4K
parsp_2__750_39.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__751_22.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__754_40.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__758_34.min1.thm1
2017-02-06 12:46
2.6K
parsp_2__759_16.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__776_23.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__776_23.min1.thm1.tptp
2017-02-06 16:47
1.5K
parsp_2__778_66.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__780_14.min1.thm1
2017-02-06 12:46
826
parsp_2__796_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__798_34.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__799_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__800_32.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__801_17.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__811_21.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__812_26.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__813_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__820_22.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__821_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__833_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__834_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__836_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__837_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__838_22.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__839_22.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__840_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__848_23.min1.thm1
2017-02-06 12:46
924
parsp_2__849_27.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__850_14.min1.thm1
2017-02-06 12:46
436
parsp_2__850_14.min1.thm1.tptp
2017-02-06 16:47
353
parsp_2__857_37.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__858_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__871_27.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__872_34.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__874_29.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__875_19.min1.thm1
2017-02-06 12:46
892
parsp_2__876_26.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__877_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__881_24.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__884_17.min1.thm1
2017-02-06 12:46
546
parsp_2__895_24.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__896_19.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__898_14.min1.thm1
2017-02-06 12:46
526
parsp_2__911_25.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__913_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__914_25.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__916_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__917_29.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__918_28.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__919_19.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__921_14.min1.thm1
2017-02-06 12:46
670
parsp_2__935_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__936_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__938_19.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__939_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__940_24.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__942_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__943_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__945_20.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__947_19.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__952_24.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__954_20.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__955_19.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__956_19.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__958_17.min1.thm1
2017-02-06 12:46
516
parsp_2__958_17.min1.thm1.tptp
2017-02-06 16:47
430
parsp_2__969_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__971_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__972_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__973_22.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__974_17.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__985_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__986_24.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__987_24.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__989_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__992_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__993_19.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__995_17.min1.thm1
2017-02-06 12:46
483
parsp_2__995_17.min1.thm1.tptp
2017-02-06 16:47
395
parsp_2__1006_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1008_34.min1.thm1
2017-02-06 12:46
2.8K
parsp_2__1010_19.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1012_17.min1.thm1
2017-02-06 12:46
483
parsp_2__1012_17.min1.thm1.tptp
2017-02-06 16:47
395
parsp_2__1023_34.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1024_38.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1025_17.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1034_32.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1035_22.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1036_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1045_25.min1.thm1
2017-02-06 12:46
821
parsp_2__1046_23.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1047_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1064_24.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1066_19.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1067_29.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1072_24.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1073_24.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1075_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1076_29.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1081_24.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1082_24.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1084_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1085_29.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1088_27.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1089_17.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1096_34.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1100_11.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1101_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1103_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1104_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1106_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1107_38.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1108_27.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1109_24.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1110_17.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__1127_56.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1128_54.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1129_17.min1.thm1
2017-02-06 12:46
3.2K
parsp_2__1139_12.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1140_44.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1141_17.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1150_19.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1151_44.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__1152_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1160_22.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1162_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1163_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1165_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1166_27.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1167_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1175_22.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1177_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1178_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1180_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1181_27.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1182_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1192_31.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1194_28.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1195_26.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1196_17.min1.thm1
2017-02-06 12:46
2.2K
parsp_2__1205_31.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1206_14.min1.thm1
2017-02-06 12:46
459
parsp_2__1206_14.min1.thm1.tptp
2017-02-06 16:47
378
parsp_2__1215_16.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1217_34.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1218_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1220_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1221_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1223_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1224_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1226_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1227_27.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1228_26.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1229_17.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1237_32.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1239_23.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1240_32.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1241_26.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1242_17.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1249_26.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1250_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1258_29.min1.thm1
2017-02-06 12:46
907
parsp_2__1260_28.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1261_27.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1263_28.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1264_19.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1265_24.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1266_22.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1267_22.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1268_28.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1270_25.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1271_23.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1272_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1274_11.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1275_9.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1276_17.min1.thm1
2017-02-06 12:46
609
parsp_2__1285_34.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1286_27.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1288_23.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1289_27.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1291_23.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1292_32.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1293_17.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__1304_19.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1305_24.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1307_19.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__1308_17.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1309_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1321_11.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1322_16.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1324_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1325_44.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1326_17.min1.thm1
2017-02-06 12:46
2.5K
parsp_2__1340_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1341_33.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1342_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1345_11.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1346_46.min1.thm1
2017-02-06 12:46
2.2K
parsp_2__1350_11.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1354_12.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1355_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1357_29.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1358_30.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1359_28.min1.thm1
2017-02-06 12:46
1.8K
parsp_2__1361_29.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1362_29.min1.thm1
2017-02-06 12:46
2.3K
parsp_2__1363_33.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1364_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1368_33.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1369_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1371_17.min1.thm1
2017-02-06 12:46
871
parsp_2__1379_29.min1.thm1
2017-02-06 12:46
907
parsp_2__1380_34.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1381_14.min1.thm1
2017-02-06 12:46
539
parsp_2__1381_14.min1.thm1.tptp
2017-02-06 16:47
472
parsp_2__1389_29.min1.thm1
2017-02-06 12:46
907
parsp_2__1390_27.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1392_28.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1393_26.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1394_14.min1.thm1
2017-02-06 12:46
590
parsp_2__1409_73.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1410_17.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1418_74.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1420_17.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1430_67.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1433_14.min1.thm1
2017-02-06 12:46
214
parsp_2__1445_28.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1446_19.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1447_26.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1448_19.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1450_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1461_16.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1462_19.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1466_67.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1467_19.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1469_17.min1.thm1
2017-02-06 12:46
516
parsp_2__1469_17.min1.thm1.tptp
2017-02-06 16:47
430
parsp_2__1478_32.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1479_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1485_19.min1.thm1
2017-02-06 12:46
890
parsp_2__1489_38.min1.thm1
2017-02-06 12:46
2.2K
parsp_2__1490_9.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1494_12.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1495_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1497_28.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1498_26.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1499_31.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1501_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1502_26.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1503_17.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1519_28.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1520_34.min1.thm1
2017-02-06 12:46
1.9K
parsp_2__1522_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1523_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1524_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1526_19.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1527_29.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1528_19.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1530_17.min1.thm1
2017-02-06 12:46
1.2K
parsp_2__1543_52.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1544_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1551_28.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1552_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1553_57.min1.thm1
2017-02-06 12:46
2.0K
parsp_2__1554_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1559_16.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1560_19.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1562_17.min1.thm1
2017-02-06 12:46
596
parsp_2__1570_25.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1571_16.min1.thm1
2017-02-06 12:46
463
parsp_2__1571_16.min1.thm1.tptp
2017-02-06 16:47
382
parsp_2__1578_28.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1579_29.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1581_28.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1582_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1583_25.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1584_16.min1.thm1
2017-02-06 12:46
470
parsp_2__1584_16.min1.thm1.tptp
2017-02-06 16:47
389
parsp_2__1590_36.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1591_19.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1593_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1602_28.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1603_28.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1604_19.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1606_17.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1619_52.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1620_19.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1628_28.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1629_28.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1630_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1638_29.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1639_28.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1640_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1644_22.min1.thm1
2017-02-06 12:46
1.3K
parsp_2__1645_19.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1647_17.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1655_18.min1.thm1
2017-02-06 12:46
761
parsp_2__1656_17.min1.thm1
2017-02-06 12:46
1.4K
parsp_2__1667_52.min1.thm1
2017-02-06 12:46
1.5K
parsp_2__1668_52.min1.thm1
2017-02-06 12:46
1.7K
parsp_2__1669_19.min1.thm1
2017-02-06 12:46
1.6K
parsp_2__1674_16.min1.thm1
2017-02-06 12:46
1.0K
parsp_2__1675_19.min1.thm1
2017-02-06 12:46
1.1K
parsp_2__1677_17.min1.thm1
2017-02-06 12:46
516
parsp_2__1677_17.min1.thm1.tptp
2017-02-06 16:47
430
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80