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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algstr_2__39_14.min1.thm12017-02-06 12:46 741  
[ ]algstr_2__41_12.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_2__42_14.min1.thm12017-02-06 12:46 417  
[ ]algstr_2__42_14.min1.thm1.tptp2017-02-06 16:48 340  
[ ]algstr_2__50_47.min1.thm12017-02-06 12:46 730  
[ ]algstr_2__51_14.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_2__59_48.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_2__82_14.min1.thm12017-02-06 12:46 932  
[ ]algstr_2__83_15.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__91_13.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__101_15.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_2__151_29.min1.thm12017-02-06 12:46 953  
[ ]algstr_2__152_13.min1.thm12017-02-06 12:46 458  
[ ]algstr_2__152_13.min1.thm1.tptp2017-02-06 16:48 381  
[ ]algstr_2__158_16.min1.thm12017-02-06 12:46 546  
[ ]algstr_2__158_16.min1.thm1.tptp2017-02-06 16:48 483  
[ ]algstr_2__160_25.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__161_13.min1.thm12017-02-06 12:46 458  
[ ]algstr_2__161_13.min1.thm1.tptp2017-02-06 16:48 381  
[ ]algstr_2__167_13.min1.thm12017-02-06 12:46 658  
[ ]algstr_2__169_18.min1.thm12017-02-06 12:46 712  
[ ]algstr_2__177_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__178_19.min1.thm12017-02-06 12:46 946  
[ ]algstr_2__179_24.min1.thm12017-02-06 12:46 830  
[ ]algstr_2__180_13.min1.thm12017-02-06 12:46 458  
[ ]algstr_2__180_13.min1.thm1.tptp2017-02-06 16:48 381  
[ ]algstr_2__186_20.min1.thm12017-02-06 12:46 804  
[ ]algstr_2__187_15.min1.thm12017-02-06 12:46 646  
[ ]algstr_2__188_19.min1.thm12017-02-06 12:46 870  
[ ]algstr_2__199_29.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_2__200_15.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_2__201_13.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_2__202_17.min1.thm12017-02-06 12:46 2.4K 
[ ]algstr_2__211_15.min1.thm12017-02-06 12:46 1.5K 
[ ]algstr_2__212_17.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_2__220_17.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_2__221_13.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_2__229_32.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__230_19.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__276_25.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__277_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__277_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__282_29.min1.thm12017-02-06 12:46 971  
[ ]algstr_2__283_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__283_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__291_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__292_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__293_24.min1.thm12017-02-06 12:46 858  
[ ]algstr_2__294_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__294_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__300_17.min1.thm12017-02-06 12:46 559  
[ ]algstr_2__300_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_2__302_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__303_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__304_24.min1.thm12017-02-06 12:46 858  
[ ]algstr_2__305_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__305_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__311_17.min1.thm12017-02-06 12:46 559  
[ ]algstr_2__311_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_2__313_25.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__314_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__314_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__331_30.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_2__332_15.min1.thm12017-02-06 12:46 1.4K 
[ ]algstr_2__333_13.min1.thm12017-02-06 12:46 1.7K 
[ ]algstr_2__342_17.min1.thm12017-02-06 12:46 1.8K 
[ ]algstr_2__343_13.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_2__349_32.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_2__350_19.min1.thm12017-02-06 12:46 2.2K 
[ ]algstr_2__400_25.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__401_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__401_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__406_29.min1.thm12017-02-06 12:46 971  
[ ]algstr_2__407_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__407_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__415_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__416_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__417_24.min1.thm12017-02-06 12:46 858  
[ ]algstr_2__418_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__418_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__424_17.min1.thm12017-02-06 12:46 559  
[ ]algstr_2__424_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_2__426_29.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__427_19.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__428_24.min1.thm12017-02-06 12:46 858  
[ ]algstr_2__429_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__429_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__435_17.min1.thm12017-02-06 12:46 559  
[ ]algstr_2__435_17.min1.thm1.tptp2017-02-06 16:48 496  
[ ]algstr_2__437_25.min1.thm12017-02-06 12:46 1.1K 
[ ]algstr_2__438_13.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__438_13.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__466_18.min1.thm12017-02-06 12:46 663  
[ ]algstr_2__468_18.min1.thm12017-02-06 12:46 680  
[ ]algstr_2__469_31.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_2__470_27.min1.thm12017-02-06 12:46 1.6K 
[ ]algstr_2__471_25.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__472_15.min1.thm12017-02-06 12:46 649  
[ ]algstr_2__490_18.min1.thm12017-02-06 12:46 680  
[ ]algstr_2__491_29.min1.thm12017-02-06 12:46 957  
[ ]algstr_2__492_17.min1.thm12017-02-06 12:46 2.1K 
[ ]algstr_2__498_24.min1.thm12017-02-06 12:46 961  
[ ]algstr_2__499_17.min1.thm12017-02-06 12:46 555  
[ ]algstr_2__501_17.min1.thm12017-02-06 12:46 732  
[ ]algstr_2__501_17.min1.thm1.tptp2017-02-06 16:48 652  
[ ]algstr_2__515_18.min1.thm12017-02-06 12:46 676  
[ ]algstr_2__516_12.min1.thm12017-02-06 12:46 2.0K 
[ ]algstr_2__517_14.min1.thm12017-02-06 12:46 470  
[ ]algstr_2__517_14.min1.thm1.tptp2017-02-06 16:48 393  
[ ]algstr_2__554_31.min1.thm12017-02-06 12:46 3.1K 
[ ]algstr_2__555_15.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__555_15.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__561_18.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__561_18.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__564_15.min1.thm12017-02-06 12:46 482  
[ ]algstr_2__564_15.min1.thm1.tptp2017-02-06 16:48 405  
[ ]algstr_2__570_18.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__570_18.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__573_15.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__573_15.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__579_18.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__579_18.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__583_26.min1.thm12017-02-06 12:46 890  
[ ]algstr_2__584_15.min1.thm12017-02-06 12:46 482  
[ ]algstr_2__584_15.min1.thm1.tptp2017-02-06 16:48 405  
[ ]algstr_2__590_18.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__590_18.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__594_26.min1.thm12017-02-06 12:46 3.1K 
[ ]algstr_2__595_15.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__595_15.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__601_15.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__601_15.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__608_18.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_2__611_15.min1.thm12017-02-06 12:46 482  
[ ]algstr_2__611_15.min1.thm1.tptp2017-02-06 16:48 405  
[ ]algstr_2__621_15.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__621_15.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__632_26.min1.thm12017-02-06 12:46 890  
[ ]algstr_2__633_15.min1.thm12017-02-06 12:46 482  
[ ]algstr_2__633_15.min1.thm1.tptp2017-02-06 16:48 405  
[ ]algstr_2__640_18.min1.thm12017-02-06 12:46 2.8K 
[ ]algstr_2__644_26.min1.thm12017-02-06 12:46 3.1K 
[ ]algstr_2__645_15.min1.thm12017-02-06 12:46 2.7K 
[ ]algstr_2__645_15.min1.thm1.tptp2017-02-06 16:48 2.8K 
[ ]algstr_2__683_25.min1.thm12017-02-06 12:46 971  
[ ]algstr_2__684_15.min1.thm12017-02-06 12:46 507  
[ ]algstr_2__684_15.min1.thm1.tptp2017-02-06 16:48 430  
[ ]algstr_2__689_29.min1.thm12017-02-06 12:46 1.3K 
[ ]algstr_2__690_21.min1.thm12017-02-06 12:46 1.0K 
[ ]algstr_2__691_21.min1.thm12017-02-06 12:46 852  
[ ]algstr_2__692_21.min1.thm12017-02-06 12:46 852  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80