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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmring3__l20_scmring32024-07-28 05:18 34K 
[ ]scmring3__l20_scmring3.depv12024-08-03 10:19 148  
[ ]scmring3__l20_scmring3.depvmin12024-08-03 10:24 148  
[ ]scmring3__l20_scmring3.vmin12024-08-03 10:20 966  
[ ]scmring3__l20_scmring3.vmin1out2024-08-03 10:22 9.8K 
[ ]scmring3__l20_scmring3.vout2024-08-03 06:53 9.8K 
[ ]scmring3__l21_scmring32024-07-28 05:20 70K 
[ ]scmring3__l21_scmring3.vout2024-08-03 05:26 7.9K 
[ ]scmring3__l32_scmring32024-07-28 05:23 65K 
[ ]scmring3__l32_scmring3.vout2024-08-03 04:26 7.3K 
[ ]scmring3__t1_scmring32024-07-28 04:01 59K 
[ ]scmring3__t1_scmring3.vout2024-08-03 10:07 7.3K 
[ ]scmring3__t2_scmring32024-07-28 04:03 54K 
[ ]scmring3__t2_scmring3.depv12024-08-03 10:19 66  
[ ]scmring3__t2_scmring3.depvmin12024-08-03 10:24 44  
[ ]scmring3__t2_scmring3.vmin12024-08-03 10:20 829  
[ ]scmring3__t2_scmring3.vmin1out2024-08-03 10:22 7.9K 
[ ]scmring3__t2_scmring3.vout2024-08-03 07:17 14K 
[ ]scmring3__t3_scmring32024-07-28 04:05 57K 
[ ]scmring3__t3_scmring3.depv12024-08-03 10:19 165  
[ ]scmring3__t3_scmring3.depvmin12024-08-03 10:24 165  
[ ]scmring3__t3_scmring3.vmin12024-08-03 10:20 2.1K 
[ ]scmring3__t3_scmring3.vmin1out2024-08-03 10:20 28K 
[ ]scmring3__t3_scmring3.vout2024-08-03 06:31 28K 
[ ]scmring3__t5_scmring32024-07-28 03:46 58K 
[ ]scmring3__t5_scmring3.depv12024-08-03 10:19 204  
[ ]scmring3__t5_scmring3.depvmin12024-08-03 10:24 204  
[ ]scmring3__t5_scmring3.vmin12024-08-03 10:20 2.7K 
[ ]scmring3__t5_scmring3.vmin1out2024-08-03 10:21 30K 
[ ]scmring3__t5_scmring3.vout2024-08-03 06:44 24K 
[ ]scmring3__t6_scmring32024-07-28 03:48 58K 
[ ]scmring3__t6_scmring3.depv12024-08-03 10:19 204  
[ ]scmring3__t6_scmring3.depvmin12024-08-03 10:24 204  
[ ]scmring3__t6_scmring3.vmin12024-08-03 10:20 2.7K 
[ ]scmring3__t6_scmring3.vmin1out2024-08-03 10:23 30K 
[ ]scmring3__t6_scmring3.vout2024-08-03 06:56 24K 
[ ]scmring3__t7_scmring32024-07-28 03:50 58K 
[ ]scmring3__t7_scmring3.depv12024-08-03 10:19 204  
[ ]scmring3__t7_scmring3.depvmin12024-08-03 10:24 204  
[ ]scmring3__t7_scmring3.vmin12024-08-03 10:20 2.7K 
[ ]scmring3__t7_scmring3.vmin1out2024-08-03 10:20 30K 
[ ]scmring3__t7_scmring3.vout2024-08-03 06:37 24K 
[ ]scmring3__t8_scmring32024-07-28 03:52 58K 
[ ]scmring3__t8_scmring3.depv12024-08-03 10:19 204  
[ ]scmring3__t8_scmring3.depvmin12024-08-03 10:24 204  
[ ]scmring3__t8_scmring3.vmin12024-08-03 10:20 2.7K 
[ ]scmring3__t8_scmring3.vmin1out2024-08-03 10:20 30K 
[ ]scmring3__t8_scmring3.vout2024-08-03 09:45 24K 
[ ]scmring3__t9_scmring32024-07-28 03:54 58K 
[ ]scmring3__t9_scmring3.depv12024-08-03 10:19 204  
[ ]scmring3__t9_scmring3.depvmin12024-08-03 10:24 204  
[ ]scmring3__t9_scmring3.vmin12024-08-03 10:20 2.6K 
[ ]scmring3__t9_scmring3.vmin1out2024-08-03 10:23 29K 
[ ]scmring3__t9_scmring3.vout2024-08-03 06:01 23K 
[ ]scmring3__t10_scmring32024-07-28 03:56 58K 
[ ]scmring3__t10_scmring3.depv12024-08-03 10:19 230  
[ ]scmring3__t10_scmring3.depvmin12024-08-03 10:24 230  
[ ]scmring3__t10_scmring3.vmin12024-08-03 10:20 2.4K 
[ ]scmring3__t10_scmring3.vmin1out2024-08-03 10:21 27K 
[ ]scmring3__t10_scmring3.vout2024-08-03 08:53 21K 
[ ]scmring3__t11_scmring32024-07-28 03:59 61K 
[ ]scmring3__t11_scmring3.depv12024-08-03 10:19 161  
[ ]scmring3__t11_scmring3.depvmin12024-08-03 10:24 161  
[ ]scmring3__t11_scmring3.vmin12024-08-03 10:20 2.2K 
[ ]scmring3__t11_scmring3.vmin1out2024-08-03 10:21 29K 
[ ]scmring3__t11_scmring3.vout2024-08-03 06:27 28K 
[ ]scmring3__t12_scmring32024-07-28 04:08 72K 
[ ]scmring3__t12_scmring3.vout2024-08-03 06:29 4.7K 
[ ]scmring3__t13_scmring32024-07-28 04:10 71K 
[ ]scmring3__t13_scmring3.vout2024-08-03 05:16 4.7K 
[ ]scmring3__t14_scmring32024-07-28 04:13 71K 
[ ]scmring3__t14_scmring3.vout2024-08-03 09:29 4.7K 
[ ]scmring3__t15_scmring32024-07-28 04:15 71K 
[ ]scmring3__t15_scmring3.vout2024-08-03 06:36 4.7K 
[ ]scmring3__t16_scmring32024-07-28 04:17 71K 
[ ]scmring3__t16_scmring3.vout2024-08-03 06:54 4.7K 
[ ]scmring3__t17_scmring32024-07-28 04:20 71K 
[ ]scmring3__t17_scmring3.vout2024-08-03 04:45 4.7K 
[ ]scmring3__t18_scmring32024-07-28 04:22 71K 
[ ]scmring3__t18_scmring3.vout2024-08-03 08:40 4.7K 
[ ]scmring3__t19_scmring32024-07-28 04:25 71K 
[ ]scmring3__t19_scmring3.vout2024-08-03 05:21 4.7K 
[ ]scmring3__t20_scmring32024-07-28 04:27 62K 
[ ]scmring3__t20_scmring3.vout2024-08-03 08:48 5.3K 
[ ]scmring3__t21_scmring32024-07-28 04:29 63K 
[ ]scmring3__t21_scmring3.vout2024-08-03 05:21 5.3K 
[ ]scmring3__t22_scmring32024-07-28 04:32 63K 
[ ]scmring3__t22_scmring3.vout2024-08-03 08:22 5.3K 
[ ]scmring3__t23_scmring32024-07-28 04:34 63K 
[ ]scmring3__t23_scmring3.vout2024-08-03 06:34 5.3K 
[ ]scmring3__t24_scmring32024-07-28 04:36 63K 
[ ]scmring3__t24_scmring3.vout2024-08-03 08:38 5.3K 
[ ]scmring3__t25_scmring32024-07-28 04:39 63K 
[ ]scmring3__t25_scmring3.vout2024-08-03 05:23 5.3K 
[ ]scmring3__t26_scmring32024-07-28 04:41 68K 
[ ]scmring3__t26_scmring3.vout2024-08-03 05:13 5.3K 
[ ]scmring3__t27_scmring32024-07-28 04:44 76K 
[ ]scmring3__t27_scmring3.vout2024-08-03 08:04 5.3K 
[ ]scmring3__t28_scmring32024-07-28 04:47 69K 
[ ]scmring3__t28_scmring3.vout2024-08-03 09:06 5.3K 
[ ]scmring3__t29_scmring32024-07-28 04:49 71K 
[ ]scmring3__t29_scmring3.vout2024-08-03 05:17 5.4K 
[ ]scmring3__t30_scmring32024-07-28 04:52 77K 
[ ]scmring3__t30_scmring3.vout2024-08-03 05:50 7.4K 
[ ]scmring3__t31_scmring32024-07-28 04:54 66K 
[ ]scmring3__t31_scmring3.vout2024-08-03 07:09 7.4K 
[ ]scmring3__t32_scmring32024-07-28 04:57 103K 
[ ]scmring3__t32_scmring3.vout2024-08-03 06:54 4.2K 
[ ]scmring3__t33_scmring32024-07-28 05:00 125K 
[ ]scmring3__t33_scmring3.vout2024-08-03 09:55 3.7K 
[ ]scmring3__t34_scmring32024-07-28 05:03 73K 
[ ]scmring3__t34_scmring3.vout2024-08-03 06:20 7.4K 
[ ]scmring3__t35_scmring32024-07-28 05:06 127K 
[ ]scmring3__t35_scmring3.vout2024-08-03 09:19 7.3K 
[ ]scmring3__t36_scmring32024-07-28 05:08 76K 
[ ]scmring3__t36_scmring3.vout2024-08-03 08:39 7.3K 
[ ]scmring3__t37_scmring32024-07-28 05:11 116K 
[ ]scmring3__t37_scmring3.vout2024-08-03 08:39 4.7K 
[ ]scmring3__t38_scmring32024-07-28 05:14 129K 
[ ]scmring3__t38_scmring3.vout2024-08-03 04:31 4.7K 
[ ]scmring3__t39_scmring32024-07-28 05:16 64K 
[ ]scmring3__t39_scmring3.vout2024-08-03 09:36 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80