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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diraf__l4_diraf2024-07-28 11:15 10K 
[ ]diraf__l4_diraf.depv12024-08-03 10:19 57  
[ ]diraf__l4_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__l4_diraf.vmin12024-08-03 10:19 2.6K 
[ ]diraf__l4_diraf.vmin1out2024-08-03 10:23 58K 
[ ]diraf__l4_diraf.vout2024-08-03 06:32 58K 
[ ]diraf__l26_diraf2024-07-28 11:15 11K 
[ ]diraf__l26_diraf.vout2024-08-03 04:48 7.1K 
[ ]diraf__l37_diraf2024-07-28 10:50 5.1K 
[ ]diraf__l37_diraf.depv12024-08-03 10:19 66  
[ ]diraf__l37_diraf.depvmin12024-08-03 10:24 66  
[ ]diraf__l37_diraf.vmin12024-08-03 10:19 1.6K 
[ ]diraf__l37_diraf.vmin1out2024-08-03 10:21 24K 
[ ]diraf__l37_diraf.vout2024-08-03 07:05 25K 
[ ]diraf__t1_diraf2024-07-28 10:51 10K 
[ ]diraf__t1_diraf.depv12024-08-03 10:19 47  
[ ]diraf__t1_diraf.depvmin12024-08-03 10:24 47  
[ ]diraf__t1_diraf.vmin12024-08-03 10:19 2.2K 
[ ]diraf__t1_diraf.vmin1out2024-08-03 10:23 60K 
[ ]diraf__t1_diraf.vout2024-08-03 04:40 60K 
[ ]diraf__t2_diraf2024-07-28 10:51 11K 
[ ]diraf__t2_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t2_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t2_diraf.vmin12024-08-03 10:19 2.8K 
[ ]diraf__t2_diraf.vmin1out2024-08-03 10:21 63K 
[ ]diraf__t2_diraf.vout2024-08-03 05:29 63K 
[ ]diraf__t3_diraf2024-07-28 10:52 11K 
[ ]diraf__t3_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t3_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t3_diraf.vmin12024-08-03 10:19 2.9K 
[ ]diraf__t3_diraf.vmin1out2024-08-03 10:21 60K 
[ ]diraf__t3_diraf.vout2024-08-03 06:26 60K 
[ ]diraf__t4_diraf2024-07-28 10:53 10K 
[ ]diraf__t4_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t4_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t4_diraf.vmin12024-08-03 10:19 2.7K 
[ ]diraf__t4_diraf.vmin1out2024-08-03 10:21 57K 
[ ]diraf__t4_diraf.vout2024-08-03 06:16 57K 
[ ]diraf__t5_diraf2024-07-28 10:53 10K 
[ ]diraf__t5_diraf.depv12024-08-03 10:19 47  
[ ]diraf__t5_diraf.depvmin12024-08-03 10:24 47  
[ ]diraf__t5_diraf.vmin12024-08-03 10:19 2.4K 
[ ]diraf__t5_diraf.vmin1out2024-08-03 10:23 56K 
[ ]diraf__t5_diraf.vout2024-08-03 04:50 56K 
[ ]diraf__t6_diraf2024-07-28 10:54 10K 
[ ]diraf__t6_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t6_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t6_diraf.vmin12024-08-03 10:19 2.7K 
[ ]diraf__t6_diraf.vmin1out2024-08-03 10:20 76K 
[ ]diraf__t6_diraf.vout2024-08-03 08:43 76K 
[ ]diraf__t7_diraf2024-07-28 10:44 8.9K 
[ ]diraf__t7_diraf.depv12024-08-03 10:19 55  
[ ]diraf__t7_diraf.depvmin12024-08-03 10:24 55  
[ ]diraf__t7_diraf.vmin12024-08-03 10:19 1.1K 
[ ]diraf__t7_diraf.vmin1out2024-08-03 10:20 25K 
[ ]diraf__t7_diraf.vout2024-08-03 06:39 28K 
[ ]diraf__t8_diraf2024-07-28 10:44 10K 
[ ]diraf__t8_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t8_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t8_diraf.vmin12024-08-03 10:19 2.5K 
[ ]diraf__t8_diraf.vmin1out2024-08-03 10:23 32K 
[ ]diraf__t8_diraf.vout2024-08-03 07:05 50K 
[ ]diraf__t9_diraf2024-07-28 10:45 8.9K 
[ ]diraf__t9_diraf.depv12024-08-03 10:19 55  
[ ]diraf__t9_diraf.depvmin12024-08-03 10:24 55  
[ ]diraf__t9_diraf.vmin12024-08-03 10:19 1.2K 
[ ]diraf__t9_diraf.vmin1out2024-08-03 10:23 16K 
[ ]diraf__t9_diraf.vout2024-08-03 10:01 17K 
[ ]diraf__t10_diraf2024-07-28 10:46 8.8K 
[ ]diraf__t10_diraf.depv12024-08-03 10:19 56  
[ ]diraf__t10_diraf.depvmin12024-08-03 10:24 56  
[ ]diraf__t10_diraf.vmin12024-08-03 10:19 1.0K 
[ ]diraf__t10_diraf.vmin1out2024-08-03 10:23 13K 
[ ]diraf__t10_diraf.vout2024-08-03 07:59 14K 
[ ]diraf__t11_diraf2024-07-28 10:55 11K 
[ ]diraf__t11_diraf.depv12024-08-03 10:19 75  
[ ]diraf__t11_diraf.depvmin12024-08-03 10:24 75  
[ ]diraf__t11_diraf.vmin12024-08-03 10:19 3.4K 
[ ]diraf__t11_diraf.vmin1out2024-08-03 10:23 70K 
[ ]diraf__t11_diraf.vout2024-08-03 07:29 71K 
[ ]diraf__t12_diraf2024-07-28 10:55 11K 
[ ]diraf__t12_diraf.depv12024-08-03 10:19 66  
[ ]diraf__t12_diraf.depvmin12024-08-03 10:24 66  
[ ]diraf__t12_diraf.vmin12024-08-03 10:19 3.1K 
[ ]diraf__t12_diraf.vmin1out2024-08-03 10:23 68K 
[ ]diraf__t12_diraf.vout2024-08-03 08:53 69K 
[ ]diraf__t13_diraf2024-07-28 10:56 10K 
[ ]diraf__t13_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t13_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t13_diraf.vmin12024-08-03 10:19 2.6K 
[ ]diraf__t13_diraf.vmin1out2024-08-03 10:22 39K 
[ ]diraf__t13_diraf.vout2024-08-03 08:25 40K 
[ ]diraf__t14_diraf2024-07-28 10:57 11K 
[ ]diraf__t14_diraf.depv12024-08-03 10:19 75  
[ ]diraf__t14_diraf.depvmin12024-08-03 10:24 75  
[ ]diraf__t14_diraf.vmin12024-08-03 10:19 3.2K 
[ ]diraf__t14_diraf.vmin1out2024-08-03 10:22 63K 
[ ]diraf__t14_diraf.vout2024-08-03 07:37 63K 
[ ]diraf__t15_diraf2024-07-28 10:57 11K 
[ ]diraf__t15_diraf.depv12024-08-03 10:19 66  
[ ]diraf__t15_diraf.depvmin12024-08-03 10:24 66  
[ ]diraf__t15_diraf.vmin12024-08-03 10:19 3.0K 
[ ]diraf__t15_diraf.vmin1out2024-08-03 10:20 61K 
[ ]diraf__t15_diraf.vout2024-08-03 07:49 61K 
[ ]diraf__t16_diraf2024-07-28 10:58 11K 
[ ]diraf__t16_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t16_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t16_diraf.vmin12024-08-03 10:19 2.8K 
[ ]diraf__t16_diraf.vmin1out2024-08-03 10:21 60K 
[ ]diraf__t16_diraf.vout2024-08-03 04:42 60K 
[ ]diraf__t17_diraf2024-07-28 10:59 12K 
[ ]diraf__t17_diraf.depv12024-08-03 10:19 37  
[ ]diraf__t17_diraf.depvmin12024-08-03 10:24 37  
[ ]diraf__t17_diraf.vmin12024-08-03 10:19 1.5K 
[ ]diraf__t17_diraf.vmin1out2024-08-03 10:20 19K 
[ ]diraf__t17_diraf.vout2024-08-03 05:44 25K 
[ ]diraf__t18_diraf2024-07-28 11:00 9.9K 
[ ]diraf__t18_diraf.depv12024-08-03 10:19 105  
[ ]diraf__t18_diraf.depvmin12024-08-03 10:24 105  
[ ]diraf__t18_diraf.vmin12024-08-03 10:19 3.0K 
[ ]diraf__t18_diraf.vmin1out2024-08-03 10:21 88K 
[ ]diraf__t18_diraf.vout2024-08-03 06:08 74K 
[ ]diraf__t19_diraf2024-07-28 10:46 8.8K 
[ ]diraf__t19_diraf.depv12024-08-03 10:19 56  
[ ]diraf__t19_diraf.depvmin12024-08-03 10:24 56  
[ ]diraf__t19_diraf.vmin12024-08-03 10:19 1.0K 
[ ]diraf__t19_diraf.vmin1out2024-08-03 10:20 15K 
[ ]diraf__t19_diraf.vout2024-08-03 04:49 14K 
[ ]diraf__t20_diraf2024-07-28 10:47 8.9K 
[ ]diraf__t20_diraf.depv12024-08-03 10:19 56  
[ ]diraf__t20_diraf.depvmin12024-08-03 10:24 56  
[ ]diraf__t20_diraf.vmin12024-08-03 10:19 1.2K 
[ ]diraf__t20_diraf.vmin1out2024-08-03 10:22 16K 
[ ]diraf__t20_diraf.vout2024-08-03 06:15 17K 
[ ]diraf__t21_diraf2024-07-28 11:00 11K 
[ ]diraf__t21_diraf.depv12024-08-03 10:19 66  
[ ]diraf__t21_diraf.depvmin12024-08-03 10:24 66  
[ ]diraf__t21_diraf.vmin12024-08-03 10:19 3.1K 
[ ]diraf__t21_diraf.vmin1out2024-08-03 10:23 74K 
[ ]diraf__t21_diraf.vout2024-08-03 05:52 74K 
[ ]diraf__t22_diraf2024-07-28 10:47 9.2K 
[ ]diraf__t22_diraf.depv12024-08-03 10:19 56  
[ ]diraf__t22_diraf.depvmin12024-08-03 10:24 56  
[ ]diraf__t22_diraf.vmin12024-08-03 10:19 1.5K 
[ ]diraf__t22_diraf.vmin1out2024-08-03 10:23 51K 
[ ]diraf__t22_diraf.vout2024-08-03 08:41 52K 
[ ]diraf__t23_diraf2024-07-28 11:01 5.4K 
[ ]diraf__t23_diraf.depv12024-08-03 10:19 30  
[ ]diraf__t23_diraf.depvmin12024-08-03 10:24 30  
[ ]diraf__t23_diraf.vmin12024-08-03 10:19 1.7K 
[ ]diraf__t23_diraf.vmin1out2024-08-03 10:22 30K 
[ ]diraf__t23_diraf.vout2024-08-03 05:39 31K 
[ ]diraf__t24_diraf2024-07-28 11:01 12K 
[ ]diraf__t24_diraf.depv12024-08-03 10:19 86  
[ ]diraf__t24_diraf.depvmin12024-08-03 10:24 77  
[ ]diraf__t24_diraf.vmin12024-08-03 10:19 4.2K 
[ ]diraf__t24_diraf.vmin1out2024-08-03 10:21 50K 
[ ]diraf__t24_diraf.vout2024-08-03 07:22 51K 
[ ]diraf__t25_diraf2024-07-28 11:02 10K 
[ ]diraf__t25_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t25_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t25_diraf.vmin12024-08-03 10:19 2.7K 
[ ]diraf__t25_diraf.vmin1out2024-08-03 10:21 42K 
[ ]diraf__t25_diraf.vout2024-08-03 05:26 42K 
[ ]diraf__t26_diraf2024-07-28 11:03 10K 
[ ]diraf__t26_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t26_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t26_diraf.vmin12024-08-03 10:19 2.7K 
[ ]diraf__t26_diraf.vmin1out2024-08-03 10:21 44K 
[ ]diraf__t26_diraf.vout2024-08-03 04:23 44K 
[ ]diraf__t27_diraf2024-07-28 11:03 12K 
[ ]diraf__t27_diraf.vout2024-08-03 04:50 7.1K 
[ ]diraf__t28_diraf2024-07-28 11:04 11K 
[ ]diraf__t28_diraf.depv12024-08-03 10:19 75  
[ ]diraf__t28_diraf.depvmin12024-08-03 10:24 75  
[ ]diraf__t28_diraf.vmin12024-08-03 10:19 3.2K 
[ ]diraf__t28_diraf.vmin1out2024-08-03 10:23 41K 
[ ]diraf__t28_diraf.vout2024-08-03 04:20 58K 
[ ]diraf__t29_diraf2024-07-28 11:05 11K 
[ ]diraf__t29_diraf.depv12024-08-03 10:19 84  
[ ]diraf__t29_diraf.depvmin12024-08-03 10:24 84  
[ ]diraf__t29_diraf.vmin12024-08-03 10:19 3.6K 
[ ]diraf__t29_diraf.vmin1out2024-08-03 10:21 64K 
[ ]diraf__t29_diraf.vout2024-08-03 08:50 64K 
[ ]diraf__t30_diraf2024-07-28 11:05 4.3K 
[ ]diraf__t30_diraf.depv12024-08-03 10:19 20  
[ ]diraf__t30_diraf.depvmin12024-08-03 10:24 20  
[ ]diraf__t30_diraf.vmin12024-08-03 10:19 746  
[ ]diraf__t30_diraf.vmin1out2024-08-03 10:21 14K 
[ ]diraf__t30_diraf.vout2024-08-03 06:34 14K 
[ ]diraf__t31_diraf2024-07-28 10:48 4.8K 
[ ]diraf__t31_diraf.depv12024-08-03 10:19 66  
[ ]diraf__t31_diraf.depvmin12024-08-03 10:24 66  
[ ]diraf__t31_diraf.vmin12024-08-03 10:19 1.3K 
[ ]diraf__t31_diraf.vmin1out2024-08-03 10:22 16K 
[ ]diraf__t31_diraf.vout2024-08-03 06:29 17K 
[ ]diraf__t32_diraf2024-07-28 11:06 5.5K 
[ ]diraf__t32_diraf.depv12024-08-03 10:19 66  
[ ]diraf__t32_diraf.depvmin12024-08-03 10:24 66  
[ ]diraf__t32_diraf.vmin12024-08-03 10:19 1.9K 
[ ]diraf__t32_diraf.vmin1out2024-08-03 10:21 34K 
[ ]diraf__t32_diraf.vout2024-08-03 05:42 40K 
[ ]diraf__t33_diraf2024-07-28 11:07 6.7K 
[ ]diraf__t33_diraf.depv12024-08-03 10:19 96  
[ ]diraf__t33_diraf.depvmin12024-08-03 10:24 96  
[ ]diraf__t33_diraf.vmin12024-08-03 10:19 3.2K 
[ ]diraf__t33_diraf.vmin1out2024-08-03 10:20 20K 
[ ]diraf__t33_diraf.vout2024-08-03 08:54 20K 
[ ]diraf__t34_diraf2024-07-28 11:07 6.2K 
[ ]diraf__t34_diraf.depv12024-08-03 10:19 87  
[ ]diraf__t34_diraf.depvmin12024-08-03 10:24 87  
[ ]diraf__t34_diraf.vmin12024-08-03 10:19 2.7K 
[ ]diraf__t34_diraf.vmin1out2024-08-03 10:22 43K 
[ ]diraf__t34_diraf.vout2024-08-03 08:17 40K 
[ ]diraf__t35_diraf2024-07-28 11:08 5.2K 
[ ]diraf__t35_diraf.depv12024-08-03 10:19 30  
[ ]diraf__t35_diraf.depvmin12024-08-03 10:24 30  
[ ]diraf__t35_diraf.vmin12024-08-03 10:19 1.2K 
[ ]diraf__t35_diraf.vmin1out2024-08-03 10:23 31K 
[ ]diraf__t35_diraf.vout2024-08-03 06:13 33K 
[ ]diraf__t36_diraf2024-07-28 11:08 4.5K 
[ ]diraf__t36_diraf.depv12024-08-03 10:19 90  
[ ]diraf__t36_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t36_diraf.vmin12024-08-03 10:19 1.3K 
[ ]diraf__t36_diraf.vmin1out2024-08-03 10:21 13K 
[ ]diraf__t36_diraf.vout2024-08-03 04:49 17K 
[ ]diraf__t37_diraf2024-07-28 11:09 4.6K 
[ ]diraf__t37_diraf.depv12024-08-03 10:19 30  
[ ]diraf__t37_diraf.depvmin12024-08-03 10:24 30  
[ ]diraf__t37_diraf.vmin12024-08-03 10:19 1.0K 
[ ]diraf__t37_diraf.vmin1out2024-08-03 10:20 10K 
[ ]diraf__t37_diraf.vout2024-08-03 04:40 10K 
[ ]diraf__t38_diraf2024-07-28 11:10 11K 
[ ]diraf__t38_diraf.depv12024-08-03 10:19 177  
[ ]diraf__t38_diraf.depvmin12024-08-03 10:24 167  
[ ]diraf__t38_diraf.vmin12024-08-03 10:19 3.9K 
[ ]diraf__t38_diraf.vmin1out2024-08-03 10:21 62K 
[ ]diraf__t38_diraf.vout2024-08-03 04:45 153K 
[ ]diraf__t39_diraf2024-07-28 11:11 15K 
[ ]diraf__t39_diraf.vout2024-08-03 06:37 4.1K 
[ ]diraf__t40_diraf2024-07-28 10:48 12K 
[ ]diraf__t40_diraf.vout2024-08-03 08:58 7.1K 
[ ]diraf__t41_diraf2024-07-28 11:12 13K 
[ ]diraf__t41_diraf.vout2024-08-03 06:29 4.1K 
[ ]diraf__t42_diraf2024-07-28 10:49 12K 
[ ]diraf__t42_diraf.vout2024-08-03 05:24 7.1K 
[ ]diraf__t43_diraf2024-07-28 11:12 9.3K 
[ ]diraf__t43_diraf.depv12024-08-03 10:19 57  
[ ]diraf__t43_diraf.depvmin12024-08-03 10:24 57  
[ ]diraf__t43_diraf.vmin12024-08-03 10:19 1.6K 
[ ]diraf__t43_diraf.vmin1out2024-08-03 10:23 45K 
[ ]diraf__t43_diraf.vout2024-08-03 08:18 50K 
[ ]diraf__t44_diraf2024-07-28 11:13 12K 
[ ]diraf__t44_diraf.vout2024-08-03 09:55 8.1K 
[ ]diraf__t45_diraf2024-07-28 11:14 11K 
[ ]diraf__t45_diraf.depv12024-08-03 10:19 67  
[ ]diraf__t45_diraf.depvmin12024-08-03 10:24 67  
[ ]diraf__t45_diraf.vmin12024-08-03 10:19 1.6K 
[ ]diraf__t45_diraf.vmin1out2024-08-03 10:21 44K 
[ ]diraf__t45_diraf.vout2024-08-03 09:06 40K 
[ ]diraf__t46_diraf2024-07-28 10:50 12K 
[ ]diraf__t46_diraf.vout2024-08-03 05:35 7.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80