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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prgcor_1__t1_prgcor_12024-07-28 20:07 20K 
[ ]prgcor_1__t1_prgcor_1.vout2024-08-03 09:19 2.0K 
[ ]prgcor_1__t2_prgcor_12024-07-28 20:08 131K 
[ ]prgcor_1__t2_prgcor_1.vout2024-08-03 06:17 7.3K 
[ ]prgcor_1__t3_prgcor_12024-07-28 20:09 25K 
[ ]prgcor_1__t3_prgcor_1.vout2024-08-03 04:18 7.4K 
[ ]prgcor_1__t4_prgcor_12024-07-28 20:10 33K 
[ ]prgcor_1__t4_prgcor_1.vout2024-08-03 07:05 7.3K 
[ ]prgcor_1__t5_prgcor_12024-07-28 20:10 25K 
[ ]prgcor_1__t5_prgcor_1.vout2024-08-03 04:44 7.3K 
[ ]prgcor_1__t6_prgcor_12024-07-28 20:11 26K 
[ ]prgcor_1__t6_prgcor_1.vout2024-08-03 09:10 2.0K 
[ ]prgcor_1__t7_prgcor_12024-07-28 20:13 20K 
[ ]prgcor_1__t7_prgcor_1.depv12024-08-03 10:19 207  
[ ]prgcor_1__t7_prgcor_1.depvmin12024-08-03 10:24 207  
[ ]prgcor_1__t7_prgcor_1.vmin12024-08-03 10:19 1.8K 
[ ]prgcor_1__t7_prgcor_1.vmin1out2024-08-03 10:20 17K 
[ ]prgcor_1__t7_prgcor_1.vout2024-08-03 09:56 16K 
[ ]prgcor_1__t8_prgcor_12024-07-28 20:14 97K 
[ ]prgcor_1__t8_prgcor_1.vout2024-08-03 06:13 6.8K 
[ ]prgcor_1__t9_prgcor_12024-07-28 20:16 161K 
[ ]prgcor_1__t9_prgcor_1.vout2024-08-03 08:54 7.3K 
[ ]prgcor_1__t10_prgcor_12024-07-28 20:17 9.8K 
[ ]prgcor_1__t10_prgcor_1.vout2024-08-03 07:46 2.0K 
[ ]prgcor_1__t11_prgcor_12024-07-28 20:18 35K 
[ ]prgcor_1__t11_prgcor_1.vout2024-08-03 05:25 2.0K 
[ ]prgcor_1__t12_prgcor_12024-07-28 20:19 30K 
[ ]prgcor_1__t12_prgcor_1.vout2024-08-03 06:28 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80