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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_7__l17_rusub_72025-09-09 06:26 49K 
[ ]rusub_7__l17_rusub_7.depv12025-09-15 19:47 127  
[ ]rusub_7__l17_rusub_7.depvmin12025-09-15 19:52 127  
[ ]rusub_7__l17_rusub_7.vmin12025-09-15 19:47 2.8K 
[ ]rusub_7__l17_rusub_7.vmin1out2025-09-15 19:48 50K 
[ ]rusub_7__l17_rusub_7.vout2025-09-15 18:01 51K 
[ ]rusub_7__l18_rusub_72025-09-09 06:28 72K 
[ ]rusub_7__l18_rusub_7.vout2025-09-15 17:13 7.3K 
[ ]rusub_7__l24_rusub_72025-09-09 06:36 37K 
[ ]rusub_7__l24_rusub_7.vout2025-09-15 19:04 7.3K 
[ ]rusub_7__l25_rusub_72025-09-09 06:38 38K 
[ ]rusub_7__l25_rusub_7.vout2025-09-15 16:25 7.3K 
[ ]rusub_7__l26_rusub_72025-09-09 06:30 38K 
[ ]rusub_7__l26_rusub_7.vout2025-09-15 18:08 7.3K 
[ ]rusub_7__l29_rusub_72025-09-09 06:32 45K 
[ ]rusub_7__l29_rusub_7.vout2025-09-15 18:29 6.8K 
[ ]rusub_7__l35_rusub_72025-09-09 06:34 56K 
[ ]rusub_7__l35_rusub_7.vout2025-09-15 18:01 6.8K 
[ ]rusub_7__t1_rusub_72025-09-09 05:22 47K 
[ ]rusub_7__t1_rusub_7.vout2025-09-15 19:07 4.1K 
[ ]rusub_7__t2_rusub_72025-09-09 06:15 49K 
[ ]rusub_7__t2_rusub_7.vout2025-09-15 19:35 7.3K 
[ ]rusub_7__t3_rusub_72025-09-09 06:18 49K 
[ ]rusub_7__t3_rusub_7.vout2025-09-15 17:56 7.3K 
[ ]rusub_7__t4_rusub_72025-09-09 05:24 50K 
[ ]rusub_7__t4_rusub_7.vout2025-09-15 16:30 4.7K 
[ ]rusub_7__t5_rusub_72025-09-09 05:26 51K 
[ ]rusub_7__t5_rusub_7.vout2025-09-15 16:16 4.7K 
[ ]rusub_7__t6_rusub_72025-09-09 05:29 52K 
[ ]rusub_7__t6_rusub_7.vout2025-09-15 13:48 4.7K 
[ ]rusub_7__t7_rusub_72025-09-09 06:20 51K 
[ ]rusub_7__t7_rusub_7.vout2025-09-15 13:44 4.2K 
[ ]rusub_7__t8_rusub_72025-09-09 06:22 51K 
[ ]rusub_7__t8_rusub_7.vout2025-09-15 17:51 7.3K 
[ ]rusub_7__t9_rusub_72025-09-09 06:25 51K 
[ ]rusub_7__t9_rusub_7.vout2025-09-15 13:29 7.3K 
[ ]rusub_7__t10_rusub_72025-09-09 05:31 48K 
[ ]rusub_7__t10_rusub_7.vout2025-09-15 19:00 4.1K 
[ ]rusub_7__t11_rusub_72025-09-09 05:33 47K 
[ ]rusub_7__t11_rusub_7.vout2025-09-15 17:23 4.1K 
[ ]rusub_7__t12_rusub_72025-09-09 05:35 47K 
[ ]rusub_7__t12_rusub_7.vout2025-09-15 18:18 7.3K 
[ ]rusub_7__t13_rusub_72025-09-09 05:38 49K 
[ ]rusub_7__t13_rusub_7.vout2025-09-15 16:38 7.8K 
[ ]rusub_7__t14_rusub_72025-09-09 05:40 53K 
[ ]rusub_7__t14_rusub_7.vout2025-09-15 17:48 5.4K 
[ ]rusub_7__t15_rusub_72025-09-09 05:42 42K 
[ ]rusub_7__t15_rusub_7.vout2025-09-15 16:52 4.1K 
[ ]rusub_7__t16_rusub_72025-09-09 05:44 41K 
[ ]rusub_7__t16_rusub_7.vout2025-09-15 17:15 4.1K 
[ ]rusub_7__t17_rusub_72025-09-09 05:46 54K 
[ ]rusub_7__t17_rusub_7.vout2025-09-15 18:47 2.0K 
[ ]rusub_7__t18_rusub_72025-09-09 05:48 60K 
[ ]rusub_7__t18_rusub_7.vout2025-09-15 14:44 4.7K 
[ ]rusub_7__t19_rusub_72025-09-09 05:51 540K 
[ ]rusub_7__t19_rusub_7.vout2025-09-15 16:03 3.7K 
[ ]rusub_7__t20_rusub_72025-09-09 05:53 43K 
[ ]rusub_7__t20_rusub_7.vout2025-09-15 15:16 7.3K 
[ ]rusub_7__t21_rusub_72025-09-09 05:56 79K 
[ ]rusub_7__t21_rusub_7.vout2025-09-15 16:51 7.3K 
[ ]rusub_7__t22_rusub_72025-09-09 05:58 48K 
[ ]rusub_7__t22_rusub_7.depv12025-09-15 19:47 36  
[ ]rusub_7__t22_rusub_7.depvmin12025-09-15 19:52 36  
[ ]rusub_7__t22_rusub_7.vmin12025-09-15 19:47 2.0K 
[ ]rusub_7__t22_rusub_7.vmin1out2025-09-15 19:50 34K 
[ ]rusub_7__t22_rusub_7.vout2025-09-15 18:06 44K 
[ ]rusub_7__t23_rusub_72025-09-09 05:59 45K 
[ ]rusub_7__t23_rusub_7.vout2025-09-15 16:45 7.3K 
[ ]rusub_7__t24_rusub_72025-09-09 06:01 40K 
[ ]rusub_7__t24_rusub_7.vout2025-09-15 17:06 7.3K 
[ ]rusub_7__t25_rusub_72025-09-09 06:04 73K 
[ ]rusub_7__t25_rusub_7.vout2025-09-15 18:12 3.7K 
[ ]rusub_7__t26_rusub_72025-09-09 06:06 66K 
[ ]rusub_7__t26_rusub_7.vout2025-09-15 19:21 3.7K 
[ ]rusub_7__t27_rusub_72025-09-09 06:09 62K 
[ ]rusub_7__t27_rusub_7.vout2025-09-15 17:08 7.3K 
[ ]rusub_7__t28_rusub_72025-09-09 06:11 52K 
[ ]rusub_7__t28_rusub_7.vout2025-09-15 18:23 7.3K 
[ ]rusub_7__t29_rusub_72025-09-09 06:13 52K 
[ ]rusub_7__t29_rusub_7.vout2025-09-15 18:01 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80