Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/algstr_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_1__44_18.min1.thm12017-02-06 12:46 538  
[ ]algstr_1__44_18.min1.thm1.tptp2017-02-06 16:48 475  
[ ]algstr_1__47_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_1__48_25.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_1__50_13.min1.thm12017-02-06 12:46 622  
[ ]algstr_1__62_18.min1.thm12017-02-06 12:46 538  
[ ]algstr_1__62_18.min1.thm1.tptp2017-02-06 16:48 475  
[ ]algstr_1__63_27.min1.thm12017-02-06 12:46 917  
[ ]algstr_1__64_15.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__77_18.min1.thm12017-02-06 12:46 538  
[ ]algstr_1__77_18.min1.thm1.tptp2017-02-06 16:48 475  
[ ]algstr_1__78_12.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__79_14.min1.thm12017-02-06 12:46 457  
[ ]algstr_1__79_14.min1.thm1.tptp2017-02-06 16:48 380  
[ ]algstr_1__87_14.min1.thm12017-02-06 12:46 349  
[ ]algstr_1__87_14.min1.thm1.tptp2017-02-06 16:48 292  
[ ]algstr_1__94_16.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__95_11.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__100_23.min1.thm12017-02-06 12:46 848  
[ ]algstr_1__104_2.min1.thm12017-02-06 12:46 906  
[ ]algstr_1__111_16.min1.thm12017-02-06 12:46 951  
[ ]algstr_1__119_16.min1.thm12017-02-06 12:46 951  
[ ]algstr_1__123_71.min1.thm12017-02-06 12:46 769  
[ ]algstr_1__123_71.min1.thm1.tptp2017-02-06 16:48 761  
[ ]algstr_1__156_14.min1.thm12017-02-06 12:46 425  
[ ]algstr_1__159_14.min1.thm12017-02-06 12:46 425  
[ ]algstr_1__186_18.min1.thm12017-02-06 12:46 867  
[ ]algstr_1__188_16.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__191_74.min1.thm12017-02-06 12:46 859  
[ ]algstr_1__193_64.min1.thm12017-02-06 12:46 417  
[ ]algstr_1__206_15.min1.thm12017-02-06 12:46 458  
[ ]algstr_1__206_15.min1.thm1.tptp2017-02-06 16:48 370  
[ ]algstr_1__219_15.min1.thm12017-02-06 12:46 404  
[ ]algstr_1__219_15.min1.thm1.tptp2017-02-06 16:48 316  
[ ]algstr_1__225_11.min1.thm12017-02-06 12:46 392  
[ ]algstr_1__235_20.min1.thm12017-02-06 12:46 556  
[ ]algstr_1__235_20.min1.thm1.tptp2017-02-06 16:48 466  
[ ]algstr_1__236_59.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__237_35.min1.thm12017-02-06 12:46 758  
[ ]algstr_1__241_47.min1.thm12017-02-06 12:46 567  
[ ]algstr_1__242_45.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__245_20.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__246_15.min1.thm12017-02-06 12:46 903  
[ ]algstr_1__247_18.min1.thm12017-02-06 12:46 880  
[ ]algstr_1__250_18.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__268_29.min1.thm12017-02-06 12:46 559  
[ ]algstr_1__268_29.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_1__270_17.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__275_14.min1.thm12017-02-06 12:46 690  
[ ]algstr_1__283_15.min1.thm12017-02-06 12:46 323  
[ ]algstr_1__283_15.min1.thm1.tptp2017-02-06 16:48 235  
[ ]algstr_1__294_11.min1.thm12017-02-06 12:46 584  
[ ]algstr_1__301_16.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__302_11.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__307_24.min1.thm12017-02-06 12:46 849  
[ ]algstr_1__311_30.min1.thm12017-02-06 12:46 907  
[ ]algstr_1__318_16.min1.thm12017-02-06 12:46 955  
[ ]algstr_1__326_16.min1.thm12017-02-06 12:46 955  
[ ]algstr_1__349_63.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_1__351_16.min1.thm12017-02-06 12:46 567  
[ ]algstr_1__361_14.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_1__364_76.min1.thm12017-02-06 12:46 859  
[ ]algstr_1__371_41.min1.thm12017-02-06 12:46 874  
[ ]algstr_1__372_16.min1.thm12017-02-06 12:46 638  
[ ]algstr_1__391_18.min1.thm12017-02-06 12:46 551  
[ ]algstr_1__391_18.min1.thm1.tptp2017-02-06 16:48 488  
[ ]algstr_1__394_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_1__395_25.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__397_13.min1.thm12017-02-06 12:46 641  
[ ]algstr_1__408_18.min1.thm12017-02-06 12:46 551  
[ ]algstr_1__408_18.min1.thm1.tptp2017-02-06 16:48 488  
[ ]algstr_1__409_27.min1.thm12017-02-06 12:46 945  
[ ]algstr_1__410_15.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_1__422_18.min1.thm12017-02-06 12:46 551  
[ ]algstr_1__422_18.min1.thm1.tptp2017-02-06 16:48 488  
[ ]algstr_1__423_12.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__424_14.min1.thm12017-02-06 12:46 470  
[ ]algstr_1__424_14.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_1__445_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_1__445_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_1__451_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_1__451_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_1__460_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__461_24.min1.thm12017-02-06 12:46 858  
[ ]algstr_1__462_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_1__462_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_1__468_17.min1.thm12017-02-06 12:46 559  
[ ]algstr_1__468_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_1__471_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__472_24.min1.thm12017-02-06 12:46 858  
[ ]algstr_1__473_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_1__473_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_1__479_17.min1.thm12017-02-06 12:46 559  
[ ]algstr_1__479_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_1__482_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_1__482_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_1__484_17.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_1__489_14.min1.thm12017-02-06 12:46 872  
[ ]algstr_1__492_66.min1.thm12017-02-06 12:46 417  
[ ]algstr_1__498_41.min1.thm12017-02-06 12:46 690  
[ ]algstr_1__499_16.min1.thm12017-02-06 12:46 709  
[ ]algstr_1__520_48.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_1__531_17.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__532_40.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__532_40.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]algstr_1__533_56.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__533_56.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]algstr_1__534_17.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_1__543_13.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__551_13.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__556_11.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__561_26.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_1__565_8.min1.thm12017-02-06 12:46 957  
[ ]algstr_1__567_8.min1.thm12017-02-06 12:46 829  
[ ]algstr_1__575_18.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_1__579_20.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_1__581_20.min1.thm12017-02-06 12:46 2.3K 
[ ]algstr_1__587_28.min1.thm12017-02-06 12:46 545  
[ ]algstr_1__591_16.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__598_27.min1.thm12017-02-06 12:46 545  
[ ]algstr_1__602_16.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_1__610_29.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_1__612_14.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_1__613_39.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_1__615_14.min1.thm12017-02-06 12:46 428  
[ ]algstr_1__615_14.min1.thm1.tptp2017-02-06 16:48 351  
[ ]algstr_1__623_29.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_1__625_14.min1.thm12017-02-06 12:46 2.5K 
[ ]algstr_1__626_39.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_1__628_14.min1.thm12017-02-06 12:46 428  
[ ]algstr_1__628_14.min1.thm1.tptp2017-02-06 16:48 351  
[ ]algstr_1__636_35.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_1__648_35.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_1__658_25.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_1__660_17.min1.thm12017-02-06 12:46 2.6K 
[ ]algstr_1__666_25.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_1__668_17.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_1__703_47.min1.thm12017-02-06 12:46 668  
[ ]algstr_1__705_70.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__710_39.min1.thm12017-02-06 12:46 837  
[ ]algstr_1__711_21.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__717_40.min1.thm12017-02-06 12:46 837  
[ ]algstr_1__718_21.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__721_24.min1.thm12017-02-06 12:46 897  
[ ]algstr_1__737_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__746_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__748_50.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__749_17.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__755_14.min1.thm12017-02-06 12:46 544  
[ ]algstr_1__765_16.min1.thm12017-02-06 12:46 536  
[ ]algstr_1__782_34.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_1__786_14.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__794_46.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_1__796_16.min1.thm12017-02-06 12:46 656  
[ ]algstr_1__806_14.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__812_29.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_1__821_46.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_1__823_16.min1.thm12017-02-06 12:46 734  
[ ]algstr_1__838_45.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_1__840_27.min1.thm12017-02-06 12:46 885  
[ ]algstr_1__841_33.min1.thm12017-02-06 12:46 784  
[ ]algstr_1__842_19.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_1__856_17.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_1__858_16.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__859_22.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_1__860_22.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__861_17.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_1__869_13.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_1__885_18.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__893_65.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_1__896_18.min1.thm12017-02-06 12:46 1.9K 
[ ]algstr_1__909_35.min1.thm12017-02-06 12:46 1.2K 
[ ]algstr_1__911_35.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_1__913_64.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_1__916_18.min1.thm12017-02-06 12:46 955  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80