Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/goboard4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goboard4__t1_goboard42024-07-28 17:03 178K 
[   ]goboard4__t1_goboard4.vout2024-08-03 09:31 6.8K 
[   ]goboard4__t2_goboard42024-07-28 17:05 43K 
[   ]goboard4__t2_goboard4.vout2024-08-03 04:44 4.7K 
[   ]goboard4__t3_goboard42024-07-28 16:56 40K 
[   ]goboard4__t3_goboard4.depv12024-08-03 10:19 49  
[   ]goboard4__t3_goboard4.depvmin12024-08-03 10:24 24  
[   ]goboard4__t3_goboard4.vmin12024-08-03 10:20 2.3K 
[   ]goboard4__t3_goboard4.vmin1out2024-08-03 10:22 24K 
[   ]goboard4__t3_goboard4.vout2024-08-03 05:21 37K 
[   ]goboard4__t4_goboard42024-07-28 17:08 95K 
[   ]goboard4__t4_goboard4.vout2024-08-03 04:56 7.3K 
[   ]goboard4__t5_goboard42024-07-28 17:10 51K 
[   ]goboard4__t5_goboard4.vout2024-08-03 10:00 3.8K 
[   ]goboard4__t6_goboard42024-07-28 17:12 58K 
[   ]goboard4__t6_goboard4.vout2024-08-03 05:42 4.7K 

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