Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/scm_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scm_1__t12_scm_12025-09-08 19:57 46K 
[ ]scm_1__t1_scm_12025-09-08 19:59 61K 
[ ]scm_1__t2_scm_12025-09-08 20:02 56K 
[ ]scm_1__t3_scm_12025-09-08 20:04 52K 
[ ]scm_1__t4_scm_12025-09-08 20:06 56K 
[ ]scm_1__t5_scm_12025-09-08 20:08 56K 
[ ]scm_1__t6_scm_12025-09-08 20:10 69K 
[ ]scm_1__t7_scm_12025-09-08 20:12 58K 
[ ]scm_1__t8_scm_12025-09-08 20:14 57K 
[ ]scm_1__t9_scm_12025-09-08 20:16 56K 
[ ]scm_1__t10_scm_12025-09-08 20:18 57K 
[ ]scm_1__t11_scm_12025-09-08 20:20 59K 
[ ]scm_1__t13_scm_12025-09-08 20:23 141K 
[ ]scm_1__t14_scm_12025-09-08 20:25 68K 
[ ]scm_1__t15_scm_12025-09-08 20:28 66K 
[ ]scm_1__t16_scm_12025-09-08 20:30 72K 
[ ]scm_1__t17_scm_12025-09-08 20:33 75K 
[ ]scm_1__t18_scm_12025-09-08 20:35 78K 
[ ]scm_1__t19_scm_12025-09-08 20:37 76K 
[ ]scm_1__t20_scm_12025-09-08 20:40 66K 
[ ]scm_1__t21_scm_12025-09-08 20:42 67K 
[ ]scm_1__t22_scm_12025-09-08 20:44 70K 
[ ]scm_1__t23_scm_12025-09-08 20:46 50K 
[ ]scm_1__l5_scm_12025-09-08 20:48 50K 
[ ]scm_1__l6_scm_12025-09-08 20:50 67K 
[ ]scm_1__t21_scm_1.vout2025-09-15 13:26 4.7K 
[ ]scm_1__t11_scm_1.vout2025-09-15 13:37 4.7K 
[ ]scm_1__t1_scm_1.vout2025-09-15 13:39 4.7K 
[ ]scm_1__t18_scm_1.vout2025-09-15 14:34 4.7K 
[ ]scm_1__t22_scm_1.vout2025-09-15 15:00 4.7K 
[ ]scm_1__t19_scm_1.vout2025-09-15 15:06 4.7K 
[ ]scm_1__t23_scm_1.vout2025-09-15 15:22 47K 
[ ]scm_1__t4_scm_1.vout2025-09-15 15:36 4.1K 
[ ]scm_1__t12_scm_1.vout2025-09-15 15:36 56K 
[ ]scm_1__t16_scm_1.vout2025-09-15 16:01 4.7K 
[ ]scm_1__t17_scm_1.vout2025-09-15 16:41 4.7K 
[ ]scm_1__t10_scm_1.vout2025-09-15 16:41 4.7K 
[ ]scm_1__l6_scm_1.vout2025-09-15 16:49 4.1K 
[ ]scm_1__t9_scm_1.vout2025-09-15 16:59 4.7K 
[ ]scm_1__t14_scm_1.vout2025-09-15 17:02 5.3K 
[ ]scm_1__t6_scm_1.vout2025-09-15 17:25 4.1K 
[ ]scm_1__t13_scm_1.vout2025-09-15 17:41 6.7K 
[ ]scm_1__l5_scm_1.vout2025-09-15 17:44 39K 
[ ]scm_1__t20_scm_1.vout2025-09-15 18:25 4.7K 
[ ]scm_1__t7_scm_1.vout2025-09-15 18:28 4.1K 
[ ]scm_1__t3_scm_1.vout2025-09-15 18:33 4.6K 
[ ]scm_1__t15_scm_1.vout2025-09-15 18:34 4.7K 
[ ]scm_1__t8_scm_1.vout2025-09-15 19:05 4.1K 
[ ]scm_1__t2_scm_1.vout2025-09-15 19:36 4.7K 
[ ]scm_1__t5_scm_1.vout2025-09-15 19:46 4.1K 
[ ]scm_1__l5_scm_1.depv12025-09-15 19:47 270  
[ ]scm_1__t12_scm_1.depv12025-09-15 19:47 144  
[ ]scm_1__t23_scm_1.depv12025-09-15 19:47 287  
[ ]scm_1__l5_scm_1.vmin12025-09-15 19:47 3.9K 
[ ]scm_1__t12_scm_1.vmin12025-09-15 19:47 3.3K 
[ ]scm_1__t23_scm_1.vmin12025-09-15 19:47 2.8K 
[ ]scm_1__t12_scm_1.vmin1out2025-09-15 19:48 49K 
[ ]scm_1__t23_scm_1.vmin1out2025-09-15 19:48 33K 
[ ]scm_1__l5_scm_1.vmin1out2025-09-15 19:50 67K 
[ ]scm_1__l5_scm_1.depvmin12025-09-15 19:52 189  
[ ]scm_1__t23_scm_1.depvmin12025-09-15 19:52 287  
[ ]scm_1__t12_scm_1.depvmin12025-09-15 19:52 119  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80