Index of /~mptp/mml5.63.1382/MPTP2/problems_small/numeral1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]numeral1__t1_numeral12021-07-17 21:35 53K 
[   ]numeral1__t1_numeral1.vout2021-07-25 14:54 7.9K 
[   ]numeral1__t2_numeral12021-07-17 21:35 64K 
[   ]numeral1__t2_numeral1.vout2021-07-25 16:32 7.3K 
[   ]numeral1__t3_numeral12021-07-17 21:36 55K 
[   ]numeral1__t3_numeral1.vout2021-07-25 16:04 6.8K 
[   ]numeral1__t4_numeral12021-07-17 21:36 43K 
[   ]numeral1__t4_numeral1.vout2021-07-25 19:15 7.9K 
[   ]numeral1__t5_numeral12021-07-17 21:37 42K 
[   ]numeral1__t5_numeral1.vout2021-07-25 16:08 4.7K 
[   ]numeral1__t6_numeral12021-07-17 21:38 94K 
[   ]numeral1__t6_numeral1.vout2021-07-25 18:37 7.8K 
[   ]numeral1__t7_numeral12021-07-17 21:38 72K 
[   ]numeral1__t7_numeral1.vout2021-07-25 18:59 4.7K 
[   ]numeral1__t8_numeral12021-07-17 21:39 404K 
[   ]numeral1__t8_numeral1.vout2021-07-25 19:54 4.7K 
[   ]numeral1__t9_numeral12021-07-17 21:40 125K 
[   ]numeral1__t9_numeral1.vout2021-07-25 15:31 7.3K 
[   ]numeral1__t10_numeral12021-07-17 21:40 404K 
[   ]numeral1__t10_numeral1.vout2021-07-25 15:41 4.7K 

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