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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pralg_1__t1_pralg_12024-07-28 03:17 42K 
[ ]pralg_1__t1_pralg_1.vout2024-08-03 06:30 4.7K 
[ ]pralg_1__t2_pralg_12024-07-28 03:18 30K 
[ ]pralg_1__t2_pralg_1.vout2024-08-03 08:15 8.4K 
[ ]pralg_1__t3_pralg_12024-07-28 03:19 28K 
[ ]pralg_1__t3_pralg_1.vout2024-08-03 07:16 4.7K 
[ ]pralg_1__t4_pralg_12024-07-28 03:20 33K 
[ ]pralg_1__t4_pralg_1.vout2024-08-03 09:40 7.3K 
[ ]pralg_1__t5_pralg_12024-07-28 03:22 49K 
[ ]pralg_1__t5_pralg_1.vout2024-08-03 05:04 6.8K 
[ ]pralg_1__t6_pralg_12024-07-28 03:24 45K 
[ ]pralg_1__t6_pralg_1.vout2024-08-03 04:31 4.7K 
[ ]pralg_1__t7_pralg_12024-07-28 03:26 62K 
[ ]pralg_1__t7_pralg_1.vout2024-08-03 08:03 4.7K 
[ ]pralg_1__t8_pralg_12024-07-28 03:27 33K 
[ ]pralg_1__t8_pralg_1.depv12024-08-03 10:19 324  
[ ]pralg_1__t8_pralg_1.depvmin12024-08-03 10:24 212  
[ ]pralg_1__t8_pralg_1.vmin12024-08-03 10:19 3.3K 
[ ]pralg_1__t8_pralg_1.vmin1out2024-08-03 10:23 28K 
[ ]pralg_1__t8_pralg_1.vout2024-08-03 08:59 37K 
[ ]pralg_1__t9_pralg_12024-07-28 03:29 33K 
[ ]pralg_1__t9_pralg_1.vout2024-08-03 08:56 7.8K 
[ ]pralg_1__t10_pralg_12024-07-28 03:30 37K 
[ ]pralg_1__t10_pralg_1.vout2024-08-03 08:12 6.2K 
[ ]pralg_1__t11_pralg_12024-07-28 03:32 35K 
[ ]pralg_1__t11_pralg_1.vout2024-08-03 05:42 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80