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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bhsp_6__t1_bhsp_62024-07-28 20:46 36K 
[   ]bhsp_6__t1_bhsp_6.vout2024-08-03 05:23 6.7K 
[   ]bhsp_6__t2_bhsp_62024-07-28 20:48 34K 
[   ]bhsp_6__t2_bhsp_6.vout2024-08-03 08:50 7.3K 
[   ]bhsp_6__t3_bhsp_62024-07-28 20:49 41K 
[   ]bhsp_6__t3_bhsp_6.vout2024-08-03 05:23 2.0K 
[   ]bhsp_6__t4_bhsp_62024-07-28 20:52 48K 
[   ]bhsp_6__t4_bhsp_6.vout2024-08-03 04:20 4.7K 
[   ]bhsp_6__t5_bhsp_62024-07-28 20:53 45K 
[   ]bhsp_6__t5_bhsp_6.vout2024-08-03 08:48 6.8K 
[   ]bhsp_6__t6_bhsp_62024-07-28 20:55 39K 
[   ]bhsp_6__t6_bhsp_6.vout2024-08-03 04:42 2.0K 
[   ]bhsp_6__t7_bhsp_62024-07-28 20:57 33K 
[   ]bhsp_6__t7_bhsp_6.vout2024-08-03 05:02 2.0K 
[   ]bhsp_6__t8_bhsp_62024-07-28 20:44 32K 
[   ]bhsp_6__t8_bhsp_6.depv12024-08-03 10:19 30  
[   ]bhsp_6__t8_bhsp_6.depvmin12024-08-03 10:24 30  
[   ]bhsp_6__t8_bhsp_6.vmin12024-08-03 10:20 1.8K 
[   ]bhsp_6__t8_bhsp_6.vmin1out2024-08-03 10:23 25K 
[   ]bhsp_6__t8_bhsp_6.vout2024-08-03 09:51 21K 
[   ]bhsp_6__t9_bhsp_62024-07-28 20:58 30K 
[   ]bhsp_6__t9_bhsp_6.vout2024-08-03 09:07 4.7K 

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