Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/projred1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]projred1__l13_projred12025-09-11 23:10 10K 
[ ]projred1__l15_projred12025-09-11 23:11 18K 
[ ]projred1__t1_projred12025-09-11 22:51 6.5K 
[ ]projred1__t2_projred12025-09-11 22:51 6.9K 
[ ]projred1__t3_projred12025-09-11 22:52 6.5K 
[ ]projred1__t4_projred12025-09-11 22:53 6.7K 
[ ]projred1__t5_projred12025-09-11 22:53 7.2K 
[ ]projred1__t6_projred12025-09-11 22:54 7.8K 
[ ]projred1__t7_projred12025-09-11 22:55 5.6K 
[ ]projred1__t8_projred12025-09-11 22:55 5.8K 
[ ]projred1__t9_projred12025-09-11 22:56 7.1K 
[ ]projred1__t10_projred12025-09-11 22:56 6.4K 
[ ]projred1__t11_projred12025-09-11 22:57 8.3K 
[ ]projred1__t12_projred12025-09-11 22:58 16K 
[ ]projred1__t13_projred12025-09-11 22:59 8.2K 
[ ]projred1__t14_projred12025-09-11 23:00 13K 
[ ]projred1__t15_projred12025-09-11 23:00 13K 
[ ]projred1__t16_projred12025-09-11 23:01 12K 
[ ]projred1__t17_projred12025-09-11 23:02 7.5K 
[ ]projred1__t18_projred12025-09-11 23:03 12K 
[ ]projred1__t19_projred12025-09-11 23:03 12K 
[ ]projred1__t20_projred12025-09-11 23:04 13K 
[ ]projred1__t21_projred12025-09-11 23:05 14K 
[ ]projred1__t22_projred12025-09-11 23:06 16K 
[ ]projred1__t23_projred12025-09-11 23:07 14K 
[ ]projred1__t24_projred12025-09-11 23:07 12K 
[ ]projred1__t25_projred12025-09-11 23:09 28K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80