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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goboard4__t1_goboard42021-07-18 09:09 166K 
[   ]goboard4__t1_goboard4.vout2021-07-25 14:52 6.8K 
[   ]goboard4__t2_goboard42021-07-18 09:09 38K 
[   ]goboard4__t2_goboard4.vout2021-07-25 20:50 4.7K 
[   ]goboard4__t3_goboard42021-07-18 09:07 36K 
[   ]goboard4__t3_goboard4.depv12021-07-25 20:57 49  
[   ]goboard4__t3_goboard4.depvmin12021-07-25 21:03 24  
[   ]goboard4__t3_goboard4.vmin12021-07-25 20:57 2.3K 
[   ]goboard4__t3_goboard4.vmin1out2021-07-25 20:59 24K 
[   ]goboard4__t3_goboard4.vout2021-07-25 20:21 37K 
[   ]goboard4__t4_goboard42021-07-18 09:10 88K 
[   ]goboard4__t4_goboard4.vout2021-07-25 20:16 7.3K 
[   ]goboard4__t5_goboard42021-07-18 09:11 47K 
[   ]goboard4__t5_goboard4.vout2021-07-25 14:41 3.8K 
[   ]goboard4__t6_goboard42021-07-18 09:11 53K 
[   ]goboard4__t6_goboard4.vout2021-07-25 15:17 4.7K 

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