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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rewrite1__t5_rewrite12023-06-27 17:19 53K 
[   ]rewrite1__t8_rewrite12023-06-27 17:19 41K 
[   ]rewrite1__t17_rewrite12023-06-27 17:19 64K 
[   ]rewrite1__t18_rewrite12023-06-27 17:19 46K 
[   ]rewrite1__t21_rewrite12023-06-27 17:19 39K 
[   ]rewrite1__t23_rewrite12023-06-27 17:19 44K 
[   ]rewrite1__t49_rewrite12023-06-27 17:19 41K 
[   ]rewrite1__t51_rewrite12023-06-27 17:19 42K 
[   ]rewrite1__t56_rewrite12023-06-27 17:19 46K 
[   ]rewrite1__t61_rewrite12023-06-27 17:19 47K 
[   ]rewrite1__t62_rewrite12023-06-27 17:19 61K 

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