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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]prgcor_2__t1_prgcor_22021-07-17 22:56 34K 
[   ]prgcor_2__t1_prgcor_2.depv12021-07-25 20:57 166  
[   ]prgcor_2__t1_prgcor_2.depvmin12021-07-25 21:03 166  
[   ]prgcor_2__t1_prgcor_2.vmin12021-07-25 20:57 2.4K 
[   ]prgcor_2__t1_prgcor_2.vmin1out2021-07-25 21:02 65K 
[   ]prgcor_2__t1_prgcor_2.vout2021-07-25 17:37 66K 
[   ]prgcor_2__t2_prgcor_22021-07-17 22:57 42K 
[   ]prgcor_2__t2_prgcor_2.vout2021-07-25 19:35 7.3K 
[   ]prgcor_2__t3_prgcor_22021-07-17 22:58 59K 
[   ]prgcor_2__t3_prgcor_2.vout2021-07-25 19:44 6.8K 
[   ]prgcor_2__t4_prgcor_22021-07-17 22:58 61K 
[   ]prgcor_2__t4_prgcor_2.vout2021-07-25 17:14 7.3K 
[   ]prgcor_2__t5_prgcor_22021-07-17 22:59 45K 
[   ]prgcor_2__t5_prgcor_2.vout2021-07-25 17:15 6.8K 
[   ]prgcor_2__t6_prgcor_22021-07-17 22:59 48K 
[   ]prgcor_2__t6_prgcor_2.vout2021-07-25 20:10 6.8K 
[   ]prgcor_2__t7_prgcor_22021-07-17 23:00 53K 
[   ]prgcor_2__t7_prgcor_2.vout2021-07-25 18:47 6.8K 
[   ]prgcor_2__t8_prgcor_22021-07-17 23:01 53K 
[   ]prgcor_2__t8_prgcor_2.vout2021-07-25 17:36 6.8K 
[   ]prgcor_2__t9_prgcor_22021-07-17 23:01 54K 
[   ]prgcor_2__t9_prgcor_2.vout2021-07-25 16:20 6.8K 

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