Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf1/seq_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_4__l161_seq_42023-06-27 17:19 55K 
[   ]seq_4__l171_seq_42023-06-27 17:19 63K 
[   ]seq_4__l175_seq_42023-06-27 17:19 62K 
[   ]seq_4__t2_seq_42023-06-27 17:19 63K 
[   ]seq_4__t5_seq_42023-06-27 17:19 63K 
[   ]seq_4__t7_seq_42023-06-27 17:19 63K 
[   ]seq_4__t31_seq_42023-06-27 17:19 97K 
[   ]seq_4__t35_seq_42023-06-27 17:19 98K 
[   ]seq_4__t37_seq_42023-06-27 17:19 93K 
[   ]seq_4__t38_seq_42023-06-27 17:19 93K 
[   ]seq_4__t39_seq_42023-06-27 17:19 122K 
[   ]seq_4__t114_seq_42023-06-27 17:19 144K 
[   ]seq_4__t115_seq_42023-06-27 17:19 156K 
[   ]seq_4__t116_seq_42023-06-27 17:19 149K 
[   ]seq_4__t117_seq_42023-06-27 17:19 152K 
[   ]seq_4__t127_seq_42023-06-27 17:19 144K 
[   ]seq_4__t128_seq_42023-06-27 17:19 140K 
[   ]seq_4__t129_seq_42023-06-27 17:19 180K 

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