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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]symsp_1__l1_symsp_12024-07-28 01:02 1.6K 
[ ]symsp_1__l1_symsp_1.depv12024-08-03 10:19 78  
[ ]symsp_1__l1_symsp_1.depvmin12024-08-03 10:24 78  
[ ]symsp_1__l1_symsp_1.vmin12024-08-03 10:19 430  
[ ]symsp_1__l1_symsp_1.vmin1out2024-08-03 10:21 4.9K 
[ ]symsp_1__l1_symsp_1.vout2024-08-03 05:33 4.8K 
[ ]symsp_1__l2_symsp_12024-07-28 01:02 4.8K 
[ ]symsp_1__l2_symsp_1.depv12024-08-03 10:19 111  
[ ]symsp_1__l2_symsp_1.depvmin12024-08-03 10:24 111  
[ ]symsp_1__l2_symsp_1.vmin12024-08-03 10:19 1.8K 
[ ]symsp_1__l2_symsp_1.vmin1out2024-08-03 10:21 21K 
[ ]symsp_1__l2_symsp_1.vout2024-08-03 05:05 20K 
[ ]symsp_1__l4_symsp_12024-07-28 01:52 10K 
[ ]symsp_1__l4_symsp_1.depv12024-08-03 10:19 216  
[ ]symsp_1__l4_symsp_1.vmin12024-08-03 10:19 2.5K 
[ ]symsp_1__l4_symsp_1.vmin1out2024-08-03 10:22 7.9K 
[ ]symsp_1__l4_symsp_1.vout2024-08-03 06:54 60K 
[ ]symsp_1__l5_symsp_12024-07-28 01:53 20K 
[ ]symsp_1__l5_symsp_1.vout2024-08-03 05:54 4.7K 
[ ]symsp_1__l6_symsp_12024-07-28 01:55 27K 
[ ]symsp_1__l6_symsp_1.vout2024-08-03 09:39 4.7K 
[ ]symsp_1__l7_symsp_12024-07-28 01:57 22K 
[ ]symsp_1__l7_symsp_1.vout2024-08-03 09:19 4.7K 
[ ]symsp_1__t1_symsp_12024-07-28 01:03 18K 
[ ]symsp_1__t1_symsp_1.vout2024-08-03 09:10 7.3K 
[ ]symsp_1__t2_symsp_12024-07-28 01:05 18K 
[ ]symsp_1__t2_symsp_1.depv12024-08-03 10:19 242  
[ ]symsp_1__t2_symsp_1.depvmin12024-08-03 10:24 200  
[ ]symsp_1__t2_symsp_1.vmin12024-08-03 10:19 4.7K 
[ ]symsp_1__t2_symsp_1.vmin1out2024-08-03 10:21 73K 
[ ]symsp_1__t2_symsp_1.vout2024-08-03 07:03 64K 
[ ]symsp_1__t3_symsp_12024-07-28 01:06 19K 
[ ]symsp_1__t3_symsp_1.vout2024-08-03 06:32 7.3K 
[ ]symsp_1__t4_symsp_12024-07-28 01:07 19K 
[ ]symsp_1__t4_symsp_1.vout2024-08-03 08:59 7.8K 
[ ]symsp_1__t5_symsp_12024-07-28 01:09 22K 
[ ]symsp_1__t5_symsp_1.vout2024-08-03 04:31 7.3K 
[ ]symsp_1__t6_symsp_12024-07-28 01:10 18K 
[ ]symsp_1__t6_symsp_1.depv12024-08-03 10:19 159  
[ ]symsp_1__t6_symsp_1.depvmin12024-08-03 10:24 159  
[ ]symsp_1__t6_symsp_1.vmin12024-08-03 10:19 3.9K 
[ ]symsp_1__t6_symsp_1.vmin1out2024-08-03 10:23 75K 
[ ]symsp_1__t6_symsp_1.vout2024-08-03 05:46 42K 
[ ]symsp_1__t7_symsp_12024-07-28 01:11 20K 
[ ]symsp_1__t7_symsp_1.vout2024-08-03 09:39 7.8K 
[ ]symsp_1__t8_symsp_12024-07-28 01:13 19K 
[ ]symsp_1__t8_symsp_1.vout2024-08-03 05:18 7.3K 
[ ]symsp_1__t9_symsp_12024-07-28 01:14 18K 
[ ]symsp_1__t9_symsp_1.depv12024-08-03 10:19 220  
[ ]symsp_1__t9_symsp_1.depvmin12024-08-03 10:24 194  
[ ]symsp_1__t9_symsp_1.vmin12024-08-03 10:19 4.8K 
[ ]symsp_1__t9_symsp_1.vmin1out2024-08-03 10:22 62K 
[ ]symsp_1__t9_symsp_1.vout2024-08-03 09:28 95K 
[ ]symsp_1__t10_symsp_12024-07-28 01:15 21K 
[ ]symsp_1__t10_symsp_1.vout2024-08-03 07:45 7.3K 
[ ]symsp_1__t11_symsp_12024-07-28 01:17 19K 
[ ]symsp_1__t11_symsp_1.vout2024-08-03 06:34 7.8K 
[ ]symsp_1__t12_symsp_12024-07-28 01:18 25K 
[ ]symsp_1__t12_symsp_1.vout2024-08-03 06:58 4.1K 
[ ]symsp_1__t13_symsp_12024-07-28 01:19 26K 
[ ]symsp_1__t13_symsp_1.vout2024-08-03 10:12 7.9K 
[ ]symsp_1__t14_symsp_12024-07-28 01:21 19K 
[ ]symsp_1__t14_symsp_1.vout2024-08-03 04:26 4.1K 
[ ]symsp_1__t15_symsp_12024-07-28 01:22 24K 
[ ]symsp_1__t15_symsp_1.vout2024-08-03 09:50 4.1K 
[ ]symsp_1__t16_symsp_12024-07-28 01:24 25K 
[ ]symsp_1__t16_symsp_1.vout2024-08-03 04:47 4.1K 
[ ]symsp_1__t17_symsp_12024-07-28 01:25 23K 
[ ]symsp_1__t17_symsp_1.vout2024-08-03 04:37 4.1K 
[ ]symsp_1__t18_symsp_12024-07-28 01:26 26K 
[ ]symsp_1__t18_symsp_1.vout2024-08-03 04:57 4.1K 
[ ]symsp_1__t19_symsp_12024-07-28 01:28 23K 
[ ]symsp_1__t19_symsp_1.vout2024-08-03 09:59 4.1K 
[ ]symsp_1__t20_symsp_12024-07-28 01:29 22K 
[ ]symsp_1__t20_symsp_1.vout2024-08-03 09:29 4.1K 
[ ]symsp_1__t21_symsp_12024-07-28 01:30 19K 
[ ]symsp_1__t21_symsp_1.vout2024-08-03 05:50 4.1K 
[ ]symsp_1__t22_symsp_12024-07-28 01:32 18K 
[ ]symsp_1__t22_symsp_1.depv12024-08-03 10:19 149  
[ ]symsp_1__t22_symsp_1.depvmin12024-08-03 10:24 149  
[ ]symsp_1__t22_symsp_1.vmin12024-08-03 10:19 3.6K 
[ ]symsp_1__t22_symsp_1.vmin1out2024-08-03 10:23 53K 
[ ]symsp_1__t22_symsp_1.vout2024-08-03 07:21 23K 
[ ]symsp_1__t23_symsp_12024-07-28 01:33 20K 
[ ]symsp_1__t23_symsp_1.depv12024-08-03 10:19 212  
[ ]symsp_1__t23_symsp_1.depvmin12024-08-03 10:24 212  
[ ]symsp_1__t23_symsp_1.vmin12024-08-03 10:19 5.7K 
[ ]symsp_1__t23_symsp_1.vmin1out2024-08-03 10:21 61K 
[ ]symsp_1__t23_symsp_1.vout2024-08-03 06:49 103K 
[ ]symsp_1__t24_symsp_12024-07-28 01:34 27K 
[ ]symsp_1__t24_symsp_1.vout2024-08-03 09:18 4.1K 
[ ]symsp_1__t25_symsp_12024-07-28 01:36 21K 
[ ]symsp_1__t25_symsp_1.depv12024-08-03 10:19 348  
[ ]symsp_1__t25_symsp_1.depvmin12024-08-03 10:24 175  
[ ]symsp_1__t25_symsp_1.vmin12024-08-03 10:19 7.3K 
[ ]symsp_1__t25_symsp_1.vmin1out2024-08-03 10:23 38K 
[ ]symsp_1__t25_symsp_1.vout2024-08-03 08:12 93K 
[ ]symsp_1__t26_symsp_12024-07-28 01:37 22K 
[ ]symsp_1__t26_symsp_1.vout2024-08-03 08:57 4.1K 
[ ]symsp_1__t27_symsp_12024-07-28 01:38 28K 
[ ]symsp_1__t27_symsp_1.vout2024-08-03 08:14 7.3K 
[ ]symsp_1__t28_symsp_12024-07-28 01:40 26K 
[ ]symsp_1__t28_symsp_1.vout2024-08-03 08:49 2.0K 
[ ]symsp_1__t29_symsp_12024-07-28 01:41 24K 
[ ]symsp_1__t29_symsp_1.vout2024-08-03 06:42 7.3K 
[ ]symsp_1__t30_symsp_12024-07-28 01:43 24K 
[ ]symsp_1__t30_symsp_1.vout2024-08-03 04:36 7.3K 
[ ]symsp_1__t31_symsp_12024-07-28 01:44 24K 
[ ]symsp_1__t31_symsp_1.vout2024-08-03 08:17 7.3K 
[ ]symsp_1__t32_symsp_12024-07-28 01:45 23K 
[ ]symsp_1__t32_symsp_1.depv12024-08-03 10:19 90  
[ ]symsp_1__t32_symsp_1.depvmin12024-08-03 10:24 90  
[ ]symsp_1__t32_symsp_1.vmin12024-08-03 10:19 4.0K 
[ ]symsp_1__t32_symsp_1.vmin1out2024-08-03 10:22 91K 
[ ]symsp_1__t32_symsp_1.vout2024-08-03 04:29 77K 
[ ]symsp_1__t33_symsp_12024-07-28 01:47 25K 
[ ]symsp_1__t33_symsp_1.vout2024-08-03 09:32 7.3K 
[ ]symsp_1__t34_symsp_12024-07-28 01:48 27K 
[ ]symsp_1__t34_symsp_1.vout2024-08-03 08:47 7.3K 
[ ]symsp_1__t35_symsp_12024-07-28 01:49 28K 
[ ]symsp_1__t35_symsp_1.vout2024-08-03 06:17 7.3K 
[ ]symsp_1__t36_symsp_12024-07-28 01:51 26K 
[ ]symsp_1__t36_symsp_1.vout2024-08-03 09:25 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80