Index of /~mptp/mml5.63.1382/MPTP2/problems_small/diraf

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diraf__l4_diraf2021-07-18 08:27 10K 
[ ]diraf__l4_diraf.depv12021-07-25 20:57 56  
[ ]diraf__l4_diraf.depvmin12021-07-25 21:03 56  
[ ]diraf__l4_diraf.vmin12021-07-25 20:57 2.6K 
[ ]diraf__l4_diraf.vmin1out2021-07-25 21:01 58K 
[ ]diraf__l4_diraf.vout2021-07-25 14:38 49K 
[ ]diraf__l26_diraf2021-07-18 08:27 11K 
[ ]diraf__l26_diraf.vout2021-07-25 18:55 7.1K 
[ ]diraf__l37_diraf2021-07-18 08:20 5.1K 
[ ]diraf__l37_diraf.depv12021-07-25 20:57 66  
[ ]diraf__l37_diraf.depvmin12021-07-25 21:03 66  
[ ]diraf__l37_diraf.vmin12021-07-25 20:57 1.6K 
[ ]diraf__l37_diraf.vmin1out2021-07-25 20:58 24K 
[ ]diraf__l37_diraf.vout2021-07-25 18:12 25K 
[ ]diraf__t1_diraf2021-07-18 08:20 10K 
[ ]diraf__t1_diraf.depv12021-07-25 20:57 47  
[ ]diraf__t1_diraf.depvmin12021-07-25 21:03 47  
[ ]diraf__t1_diraf.vmin12021-07-25 20:57 2.2K 
[ ]diraf__t1_diraf.vmin1out2021-07-25 20:58 60K 
[ ]diraf__t1_diraf.vout2021-07-25 20:20 60K 
[ ]diraf__t2_diraf2021-07-18 08:20 11K 
[ ]diraf__t2_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t2_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t2_diraf.vmin12021-07-25 20:57 2.8K 
[ ]diraf__t2_diraf.vmin1out2021-07-25 21:02 63K 
[ ]diraf__t2_diraf.vout2021-07-25 19:14 63K 
[ ]diraf__t3_diraf2021-07-18 08:20 11K 
[ ]diraf__t3_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t3_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t3_diraf.vmin12021-07-25 20:57 2.9K 
[ ]diraf__t3_diraf.vmin1out2021-07-25 20:59 60K 
[ ]diraf__t3_diraf.vout2021-07-25 20:44 60K 
[ ]diraf__t4_diraf2021-07-18 08:20 10K 
[ ]diraf__t4_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t4_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t4_diraf.vmin12021-07-25 20:57 2.7K 
[ ]diraf__t4_diraf.vmin1out2021-07-25 21:02 57K 
[ ]diraf__t4_diraf.vout2021-07-25 16:43 57K 
[ ]diraf__t5_diraf2021-07-18 08:21 10K 
[ ]diraf__t5_diraf.depv12021-07-25 20:57 47  
[ ]diraf__t5_diraf.depvmin12021-07-25 21:03 47  
[ ]diraf__t5_diraf.vmin12021-07-25 20:57 2.4K 
[ ]diraf__t5_diraf.vmin1out2021-07-25 20:59 56K 
[ ]diraf__t5_diraf.vout2021-07-25 16:32 56K 
[ ]diraf__t6_diraf2021-07-18 08:21 10K 
[ ]diraf__t6_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t6_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t6_diraf.vmin12021-07-25 20:57 2.7K 
[ ]diraf__t6_diraf.vmin1out2021-07-25 21:00 76K 
[ ]diraf__t6_diraf.vout2021-07-25 19:14 76K 
[ ]diraf__t7_diraf2021-07-18 08:18 8.9K 
[ ]diraf__t7_diraf.depv12021-07-25 20:57 55  
[ ]diraf__t7_diraf.depvmin12021-07-25 21:03 55  
[ ]diraf__t7_diraf.vmin12021-07-25 20:57 1.1K 
[ ]diraf__t7_diraf.vmin1out2021-07-25 21:02 25K 
[ ]diraf__t7_diraf.vout2021-07-25 19:28 28K 
[ ]diraf__t8_diraf2021-07-18 08:18 10K 
[ ]diraf__t8_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t8_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t8_diraf.vmin12021-07-25 20:57 2.5K 
[ ]diraf__t8_diraf.vmin1out2021-07-25 21:00 32K 
[ ]diraf__t8_diraf.vout2021-07-25 18:26 50K 
[ ]diraf__t9_diraf2021-07-18 08:18 8.9K 
[ ]diraf__t9_diraf.depv12021-07-25 20:57 55  
[ ]diraf__t9_diraf.depvmin12021-07-25 21:03 55  
[ ]diraf__t9_diraf.vmin12021-07-25 20:57 1.2K 
[ ]diraf__t9_diraf.vmin1out2021-07-25 20:58 16K 
[ ]diraf__t9_diraf.vout2021-07-25 17:06 17K 
[ ]diraf__t10_diraf2021-07-18 08:18 8.8K 
[ ]diraf__t10_diraf.depv12021-07-25 20:57 56  
[ ]diraf__t10_diraf.depvmin12021-07-25 21:03 56  
[ ]diraf__t10_diraf.vmin12021-07-25 20:57 1.0K 
[ ]diraf__t10_diraf.vmin1out2021-07-25 21:02 13K 
[ ]diraf__t10_diraf.vout2021-07-25 17:59 14K 
[ ]diraf__t11_diraf2021-07-18 08:21 11K 
[ ]diraf__t11_diraf.depv12021-07-25 20:57 75  
[ ]diraf__t11_diraf.depvmin12021-07-25 21:03 75  
[ ]diraf__t11_diraf.vmin12021-07-25 20:57 3.4K 
[ ]diraf__t11_diraf.vmin1out2021-07-25 21:01 70K 
[ ]diraf__t11_diraf.vout2021-07-25 16:20 71K 
[ ]diraf__t12_diraf2021-07-18 08:21 11K 
[ ]diraf__t12_diraf.depv12021-07-25 20:57 66  
[ ]diraf__t12_diraf.depvmin12021-07-25 21:03 66  
[ ]diraf__t12_diraf.vmin12021-07-25 20:57 3.1K 
[ ]diraf__t12_diraf.vmin1out2021-07-25 21:00 68K 
[ ]diraf__t12_diraf.vout2021-07-25 19:25 69K 
[ ]diraf__t13_diraf2021-07-18 08:21 10K 
[ ]diraf__t13_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t13_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t13_diraf.vmin12021-07-25 20:57 2.6K 
[ ]diraf__t13_diraf.vmin1out2021-07-25 20:59 39K 
[ ]diraf__t13_diraf.vout2021-07-25 18:52 40K 
[ ]diraf__t14_diraf2021-07-18 08:21 11K 
[ ]diraf__t14_diraf.depv12021-07-25 20:57 75  
[ ]diraf__t14_diraf.depvmin12021-07-25 21:03 75  
[ ]diraf__t14_diraf.vmin12021-07-25 20:57 3.2K 
[ ]diraf__t14_diraf.vmin1out2021-07-25 20:59 63K 
[ ]diraf__t14_diraf.vout2021-07-25 18:41 63K 
[ ]diraf__t15_diraf2021-07-18 08:22 11K 
[ ]diraf__t15_diraf.depv12021-07-25 20:57 66  
[ ]diraf__t15_diraf.depvmin12021-07-25 21:03 66  
[ ]diraf__t15_diraf.vmin12021-07-25 20:57 3.0K 
[ ]diraf__t15_diraf.vmin1out2021-07-25 21:02 61K 
[ ]diraf__t15_diraf.vout2021-07-25 19:07 61K 
[ ]diraf__t16_diraf2021-07-18 08:22 11K 
[ ]diraf__t16_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t16_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t16_diraf.vmin12021-07-25 20:57 2.8K 
[ ]diraf__t16_diraf.vmin1out2021-07-25 20:59 60K 
[ ]diraf__t16_diraf.vout2021-07-25 17:33 60K 
[ ]diraf__t17_diraf2021-07-18 08:22 12K 
[ ]diraf__t17_diraf.depv12021-07-25 20:57 37  
[ ]diraf__t17_diraf.depvmin12021-07-25 21:03 37  
[ ]diraf__t17_diraf.vmin12021-07-25 20:57 1.5K 
[ ]diraf__t17_diraf.vmin1out2021-07-25 21:01 19K 
[ ]diraf__t17_diraf.vout2021-07-25 17:32 25K 
[ ]diraf__t18_diraf2021-07-18 08:22 9.9K 
[ ]diraf__t18_diraf.depv12021-07-25 20:57 105  
[ ]diraf__t18_diraf.depvmin12021-07-25 21:03 105  
[ ]diraf__t18_diraf.vmin12021-07-25 20:57 3.0K 
[ ]diraf__t18_diraf.vmin1out2021-07-25 21:01 88K 
[ ]diraf__t18_diraf.vout2021-07-25 18:28 74K 
[ ]diraf__t19_diraf2021-07-18 08:18 8.8K 
[ ]diraf__t19_diraf.depv12021-07-25 20:57 56  
[ ]diraf__t19_diraf.depvmin12021-07-25 21:03 56  
[ ]diraf__t19_diraf.vmin12021-07-25 20:57 1.0K 
[ ]diraf__t19_diraf.vmin1out2021-07-25 21:02 15K 
[ ]diraf__t19_diraf.vout2021-07-25 18:26 14K 
[ ]diraf__t20_diraf2021-07-18 08:19 8.9K 
[ ]diraf__t20_diraf.depv12021-07-25 20:57 56  
[ ]diraf__t20_diraf.depvmin12021-07-25 21:03 56  
[ ]diraf__t20_diraf.vmin12021-07-25 20:57 1.2K 
[ ]diraf__t20_diraf.vmin1out2021-07-25 21:01 16K 
[ ]diraf__t20_diraf.vout2021-07-25 16:58 17K 
[ ]diraf__t21_diraf2021-07-18 08:22 11K 
[ ]diraf__t21_diraf.depv12021-07-25 20:57 66  
[ ]diraf__t21_diraf.depvmin12021-07-25 21:03 66  
[ ]diraf__t21_diraf.vmin12021-07-25 20:57 3.1K 
[ ]diraf__t21_diraf.vmin1out2021-07-25 21:02 67K 
[ ]diraf__t21_diraf.vout2021-07-25 20:21 74K 
[ ]diraf__t22_diraf2021-07-18 08:19 9.2K 
[ ]diraf__t22_diraf.depv12021-07-25 20:57 56  
[ ]diraf__t22_diraf.depvmin12021-07-25 21:03 56  
[ ]diraf__t22_diraf.vmin12021-07-25 20:57 1.5K 
[ ]diraf__t22_diraf.vmin1out2021-07-25 20:59 51K 
[ ]diraf__t22_diraf.vout2021-07-25 18:21 52K 
[ ]diraf__t23_diraf2021-07-18 08:23 5.4K 
[ ]diraf__t23_diraf.depv12021-07-25 20:57 30  
[ ]diraf__t23_diraf.depvmin12021-07-25 21:03 30  
[ ]diraf__t23_diraf.vmin12021-07-25 20:57 1.7K 
[ ]diraf__t23_diraf.vmin1out2021-07-25 21:01 30K 
[ ]diraf__t23_diraf.vout2021-07-25 19:39 31K 
[ ]diraf__t24_diraf2021-07-18 08:23 12K 
[ ]diraf__t24_diraf.depv12021-07-25 20:57 86  
[ ]diraf__t24_diraf.depvmin12021-07-25 21:03 77  
[ ]diraf__t24_diraf.vmin12021-07-25 20:57 4.2K 
[ ]diraf__t24_diraf.vmin1out2021-07-25 20:57 50K 
[ ]diraf__t24_diraf.vout2021-07-25 14:39 51K 
[ ]diraf__t25_diraf2021-07-18 08:23 10K 
[ ]diraf__t25_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t25_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t25_diraf.vmin12021-07-25 20:57 2.7K 
[ ]diraf__t25_diraf.vmin1out2021-07-25 21:02 42K 
[ ]diraf__t25_diraf.vout2021-07-25 15:09 42K 
[ ]diraf__t26_diraf2021-07-18 08:23 10K 
[ ]diraf__t26_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t26_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t26_diraf.vmin12021-07-25 20:57 2.7K 
[ ]diraf__t26_diraf.vmin1out2021-07-25 21:02 44K 
[ ]diraf__t26_diraf.vout2021-07-25 15:15 44K 
[ ]diraf__t27_diraf2021-07-18 08:23 12K 
[ ]diraf__t27_diraf.vout2021-07-25 19:27 7.1K 
[ ]diraf__t28_diraf2021-07-18 08:24 11K 
[ ]diraf__t28_diraf.depv12021-07-25 20:57 75  
[ ]diraf__t28_diraf.depvmin12021-07-25 21:03 75  
[ ]diraf__t28_diraf.vmin12021-07-25 20:57 3.2K 
[ ]diraf__t28_diraf.vmin1out2021-07-25 21:00 41K 
[ ]diraf__t28_diraf.vout2021-07-25 15:46 58K 
[ ]diraf__t29_diraf2021-07-18 08:24 11K 
[ ]diraf__t29_diraf.depv12021-07-25 20:57 84  
[ ]diraf__t29_diraf.depvmin12021-07-25 21:03 84  
[ ]diraf__t29_diraf.vmin12021-07-25 20:57 3.6K 
[ ]diraf__t29_diraf.vmin1out2021-07-25 20:59 64K 
[ ]diraf__t29_diraf.vout2021-07-25 19:00 64K 
[ ]diraf__t30_diraf2021-07-18 08:24 4.3K 
[ ]diraf__t30_diraf.depv12021-07-25 20:57 20  
[ ]diraf__t30_diraf.depvmin12021-07-25 21:03 20  
[ ]diraf__t30_diraf.vmin12021-07-25 20:57 746  
[ ]diraf__t30_diraf.vmin1out2021-07-25 20:58 14K 
[ ]diraf__t30_diraf.vout2021-07-25 18:36 14K 
[ ]diraf__t31_diraf2021-07-18 08:19 4.8K 
[ ]diraf__t31_diraf.depv12021-07-25 20:57 66  
[ ]diraf__t31_diraf.depvmin12021-07-25 21:03 66  
[ ]diraf__t31_diraf.vmin12021-07-25 20:57 1.3K 
[ ]diraf__t31_diraf.vmin1out2021-07-25 20:59 16K 
[ ]diraf__t31_diraf.vout2021-07-25 17:24 17K 
[ ]diraf__t32_diraf2021-07-18 08:24 5.5K 
[ ]diraf__t32_diraf.depv12021-07-25 20:57 66  
[ ]diraf__t32_diraf.depvmin12021-07-25 21:03 66  
[ ]diraf__t32_diraf.vmin12021-07-25 20:57 1.9K 
[ ]diraf__t32_diraf.vmin1out2021-07-25 20:59 31K 
[ ]diraf__t32_diraf.vout2021-07-25 16:47 40K 
[ ]diraf__t33_diraf2021-07-18 08:24 6.7K 
[ ]diraf__t33_diraf.depv12021-07-25 20:57 96  
[ ]diraf__t33_diraf.depvmin12021-07-25 21:03 96  
[ ]diraf__t33_diraf.vmin12021-07-25 20:57 3.2K 
[ ]diraf__t33_diraf.vmin1out2021-07-25 21:02 20K 
[ ]diraf__t33_diraf.vout2021-07-25 19:56 20K 
[ ]diraf__t34_diraf2021-07-18 08:24 6.2K 
[ ]diraf__t34_diraf.depv12021-07-25 20:57 87  
[ ]diraf__t34_diraf.depvmin12021-07-25 21:03 87  
[ ]diraf__t34_diraf.vmin12021-07-25 20:57 2.7K 
[ ]diraf__t34_diraf.vmin1out2021-07-25 21:01 49K 
[ ]diraf__t34_diraf.vout2021-07-25 14:43 40K 
[ ]diraf__t35_diraf2021-07-18 08:25 5.2K 
[ ]diraf__t35_diraf.depv12021-07-25 20:57 30  
[ ]diraf__t35_diraf.depvmin12021-07-25 21:03 30  
[ ]diraf__t35_diraf.vmin12021-07-25 20:57 1.2K 
[ ]diraf__t35_diraf.vmin1out2021-07-25 20:58 31K 
[ ]diraf__t35_diraf.vout2021-07-25 18:32 33K 
[ ]diraf__t36_diraf2021-07-18 08:25 4.5K 
[ ]diraf__t36_diraf.depv12021-07-25 20:57 90  
[ ]diraf__t36_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t36_diraf.vmin12021-07-25 20:57 1.3K 
[ ]diraf__t36_diraf.vmin1out2021-07-25 21:01 13K 
[ ]diraf__t36_diraf.vout2021-07-25 16:11 17K 
[ ]diraf__t37_diraf2021-07-18 08:25 4.6K 
[ ]diraf__t37_diraf.depv12021-07-25 20:57 30  
[ ]diraf__t37_diraf.depvmin12021-07-25 21:03 30  
[ ]diraf__t37_diraf.vmin12021-07-25 20:57 1.0K 
[ ]diraf__t37_diraf.vmin1out2021-07-25 21:00 10K 
[ ]diraf__t37_diraf.vout2021-07-25 16:01 10K 
[ ]diraf__t38_diraf2021-07-18 08:25 11K 
[ ]diraf__t38_diraf.depv12021-07-25 20:57 177  
[ ]diraf__t38_diraf.depvmin12021-07-25 21:03 167  
[ ]diraf__t38_diraf.vmin12021-07-25 20:57 3.9K 
[ ]diraf__t38_diraf.vmin1out2021-07-25 20:59 62K 
[ ]diraf__t38_diraf.vout2021-07-25 20:50 153K 
[ ]diraf__t39_diraf2021-07-18 08:25 15K 
[ ]diraf__t39_diraf.vout2021-07-25 20:14 4.1K 
[ ]diraf__t40_diraf2021-07-18 08:19 12K 
[ ]diraf__t40_diraf.vout2021-07-25 18:42 7.1K 
[ ]diraf__t41_diraf2021-07-18 08:26 13K 
[ ]diraf__t41_diraf.vout2021-07-25 19:37 4.1K 
[ ]diraf__t42_diraf2021-07-18 08:19 12K 
[ ]diraf__t42_diraf.vout2021-07-25 14:39 7.1K 
[ ]diraf__t43_diraf2021-07-18 08:26 9.3K 
[ ]diraf__t43_diraf.depv12021-07-25 20:57 57  
[ ]diraf__t43_diraf.depvmin12021-07-25 21:03 57  
[ ]diraf__t43_diraf.vmin12021-07-25 20:57 1.6K 
[ ]diraf__t43_diraf.vmin1out2021-07-25 20:58 45K 
[ ]diraf__t43_diraf.vout2021-07-25 19:58 50K 
[ ]diraf__t44_diraf2021-07-18 08:26 12K 
[ ]diraf__t44_diraf.vout2021-07-25 20:11 8.1K 
[ ]diraf__t45_diraf2021-07-18 08:26 11K 
[ ]diraf__t45_diraf.depv12021-07-25 20:57 67  
[ ]diraf__t45_diraf.depvmin12021-07-25 21:03 67  
[ ]diraf__t45_diraf.vmin12021-07-25 20:57 1.6K 
[ ]diraf__t45_diraf.vmin1out2021-07-25 21:02 44K 
[ ]diraf__t45_diraf.vout2021-07-25 19:56 39K 
[ ]diraf__t46_diraf2021-07-18 08:19 12K 
[ ]diraf__t46_diraf.vout2021-07-25 16:28 7.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80