Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t57_card_2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dilworth__685_21.min1.thm1.tptp2017-02-06 16:58 275  
[   ]dilworth__813_20.min1.thm1.tptp2017-02-06 16:58 275  
[   ]hallmar1__862_19.min1.thm1.tptp2017-02-06 16:58 278  
[   ]jordan1g__829_26.min1.thm1.tptp2017-02-06 16:58 509  
[   ]jordan1g__996_25.min1.thm1.tptp2017-02-06 16:58 507  
[   ]jordan1g__1059_26.min1.thm1.tptp2017-02-06 16:58 512  
[   ]jordan1g__1408_27.min1.thm1.tptp2017-02-06 16:58 509  
[   ]jordan1g__1473_27.min1.thm1.tptp2017-02-06 16:58 509  
[   ]jordan1j__150_26.min1.thm1.tptp2017-02-06 16:58 499  
[   ]jordan1j__182_21.min1.thm1.tptp2017-02-06 16:58 499  
[   ]jordan1j__405_26.min1.thm1.tptp2017-02-06 16:58 499  
[   ]jordan1j__414_28.min1.thm1.tptp2017-02-06 16:58 499  
[   ]jordan1j__443_26.min1.thm1.tptp2017-02-06 16:58 503  
[   ]neckla_3__6569_45.min1.thm1.tptp2017-02-06 16:58 390  
[   ]ordinal6__475_21.min1.thm1.tptp2017-02-06 16:58 263  
[   ]pencil_1__370_23.min1.thm1.tptp2017-02-06 16:58 283  
[   ]pencil_1__405_22.min1.thm1.tptp2017-02-06 16:58 276  
[   ]pencil_1__424_21.min1.thm1.tptp2017-02-06 16:58 275  
[   ]pencil_1__544_22.min1.thm1.tptp2017-02-06 16:58 276  
[   ]pencil_1__567_23.min1.thm1.tptp2017-02-06 16:58 291  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80