Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/rewrite1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rewrite1__t5_rewrite12023-06-27 16:49 52K 
[   ]rewrite1__t8_rewrite12023-06-27 16:49 40K 
[   ]rewrite1__t17_rewrite12023-06-27 16:49 63K 
[   ]rewrite1__t18_rewrite12023-06-27 16:49 46K 
[   ]rewrite1__t21_rewrite12023-06-27 16:49 39K 
[   ]rewrite1__t23_rewrite12023-06-27 16:49 43K 
[   ]rewrite1__t49_rewrite12023-06-27 16:49 41K 
[   ]rewrite1__t51_rewrite12023-06-27 16:49 42K 
[   ]rewrite1__t56_rewrite12023-06-27 16:49 45K 
[   ]rewrite1__t61_rewrite12023-06-27 16:49 46K 
[   ]rewrite1__t62_rewrite12023-06-27 16:49 61K 

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