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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]waybel_7__t46_waybel_7.vout2025-09-15 15:32 7.3K 
[ ]waybel_7__t46_waybel_72025-09-09 18:53 37K 
[ ]waybel_7__t45_waybel_7.vout2025-09-15 19:10 15K 
[ ]waybel_7__t45_waybel_7.vmin1out2025-09-15 19:48 33K 
[ ]waybel_7__t45_waybel_7.vmin12025-09-15 19:47 1.4K 
[ ]waybel_7__t45_waybel_7.depvmin12025-09-15 19:51 39  
[ ]waybel_7__t45_waybel_7.depv12025-09-15 19:47 39  
[ ]waybel_7__t45_waybel_72025-09-09 18:51 24K 
[ ]waybel_7__t44_waybel_7.vout2025-09-15 16:01 4.1K 
[ ]waybel_7__t44_waybel_72025-09-09 18:50 26K 
[ ]waybel_7__t43_waybel_7.vout2025-09-15 15:40 6.8K 
[ ]waybel_7__t43_waybel_72025-09-09 18:48 36K 
[ ]waybel_7__t42_waybel_7.vout2025-09-15 18:46 4.1K 
[ ]waybel_7__t42_waybel_72025-09-09 18:47 32K 
[ ]waybel_7__t41_waybel_7.vout2025-09-15 15:39 4.1K 
[ ]waybel_7__t41_waybel_72025-09-09 18:45 23K 
[ ]waybel_7__t40_waybel_7.vout2025-09-15 14:00 4.1K 
[ ]waybel_7__t40_waybel_72025-09-09 18:44 24K 
[ ]waybel_7__t39_waybel_7.vout2025-09-15 14:14 7.3K 
[ ]waybel_7__t39_waybel_72025-09-09 18:43 29K 
[ ]waybel_7__t38_waybel_7.vout2025-09-15 18:47 6.8K 
[ ]waybel_7__t38_waybel_72025-09-09 18:41 27K 
[ ]waybel_7__t37_waybel_7.vout2025-09-15 14:09 7.3K 
[ ]waybel_7__t37_waybel_72025-09-09 18:40 28K 
[ ]waybel_7__t36_waybel_7.vout2025-09-15 19:34 7.3K 
[ ]waybel_7__t36_waybel_72025-09-09 18:39 29K 
[ ]waybel_7__t35_waybel_7.vout2025-09-15 15:02 7.3K 
[ ]waybel_7__t35_waybel_72025-09-09 18:38 21K 
[ ]waybel_7__t34_waybel_7.vout2025-09-15 14:51 19K 
[ ]waybel_7__t34_waybel_7.vmin1out2025-09-15 19:50 29K 
[ ]waybel_7__t34_waybel_7.vmin12025-09-15 19:47 1.9K 
[ ]waybel_7__t34_waybel_7.depvmin12025-09-15 19:51 106  
[ ]waybel_7__t34_waybel_7.depv12025-09-15 19:47 106  
[ ]waybel_7__t34_waybel_72025-09-09 18:36 19K 
[ ]waybel_7__t33_waybel_7.vout2025-09-15 16:20 52K 
[ ]waybel_7__t33_waybel_7.vmin1out2025-09-15 19:48 56K 
[ ]waybel_7__t33_waybel_7.vmin12025-09-15 19:47 2.5K 
[ ]waybel_7__t33_waybel_7.depvmin12025-09-15 19:51 147  
[ ]waybel_7__t33_waybel_7.depv12025-09-15 19:47 147  
[ ]waybel_7__t33_waybel_72025-09-09 18:35 19K 
[ ]waybel_7__t32_waybel_7.vout2025-09-15 13:41 7.4K 
[ ]waybel_7__t32_waybel_72025-09-09 18:34 18K 
[ ]waybel_7__t31_waybel_7.vout2025-09-15 19:42 7.3K 
[ ]waybel_7__t31_waybel_72025-09-09 18:33 40K 
[ ]waybel_7__t30_waybel_7.vout2025-09-15 14:55 4.2K 
[ ]waybel_7__t30_waybel_72025-09-09 18:31 39K 
[ ]waybel_7__t29_waybel_7.vout2025-09-15 16:10 32K 
[ ]waybel_7__t29_waybel_7.vmin1out2025-09-15 19:51 39K 
[ ]waybel_7__t29_waybel_7.vmin12025-09-15 19:47 2.5K 
[ ]waybel_7__t29_waybel_7.depvmin12025-09-15 19:51 80  
[ ]waybel_7__t29_waybel_7.depv12025-09-15 19:47 80  
[ ]waybel_7__t29_waybel_72025-09-09 18:29 27K 
[ ]waybel_7__t28_waybel_7.vout2025-09-15 18:58 4.2K 
[ ]waybel_7__t28_waybel_72025-09-09 18:28 37K 
[ ]waybel_7__t27_waybel_7.vout2025-09-15 17:06 7.3K 
[ ]waybel_7__t27_waybel_72025-09-09 18:26 30K 
[ ]waybel_7__t26_waybel_7.vout2025-09-15 16:40 7.3K 
[ ]waybel_7__t26_waybel_72025-09-09 18:25 24K 
[ ]waybel_7__t25_waybel_7.vout2025-09-15 17:44 118K 
[ ]waybel_7__t25_waybel_7.vmin1out2025-09-15 19:48 133K 
[ ]waybel_7__t25_waybel_7.vmin12025-09-15 19:47 4.1K 
[ ]waybel_7__t25_waybel_7.depvmin12025-09-15 19:51 205  
[ ]waybel_7__t25_waybel_7.depv12025-09-15 19:47 205  
[ ]waybel_7__t25_waybel_72025-09-09 18:24 26K 
[ ]waybel_7__t24_waybel_7.vout2025-09-15 19:12 7.3K 
[ ]waybel_7__t24_waybel_72025-09-09 18:23 22K 
[ ]waybel_7__t23_waybel_7.vout2025-09-15 16:19 3.7K 
[ ]waybel_7__t23_waybel_72025-09-09 18:21 33K 
[ ]waybel_7__t22_waybel_7.vout2025-09-15 19:17 7.3K 
[ ]waybel_7__t22_waybel_72025-09-09 18:20 31K 
[ ]waybel_7__t21_waybel_7.vout2025-09-15 17:47 41K 
[ ]waybel_7__t21_waybel_7.vmin1out2025-09-15 19:48 40K 
[ ]waybel_7__t21_waybel_7.vmin12025-09-15 19:47 3.0K 
[ ]waybel_7__t21_waybel_7.depvmin12025-09-15 19:51 213  
[ ]waybel_7__t21_waybel_7.depv12025-09-15 19:47 284  
[ ]waybel_7__t21_waybel_72025-09-09 18:18 24K 
[ ]waybel_7__t20_waybel_7.vout2025-09-15 17:19 2.0K 
[ ]waybel_7__t20_waybel_72025-09-09 18:17 21K 
[ ]waybel_7__t19_waybel_7.vout2025-09-15 14:14 3.7K 
[ ]waybel_7__t19_waybel_72025-09-09 18:16 29K 
[ ]waybel_7__t18_waybel_7.vout2025-09-15 17:41 7.3K 
[ ]waybel_7__t18_waybel_72025-09-09 18:15 21K 
[ ]waybel_7__t17_waybel_7.vout2025-09-15 17:48 3.2K 
[ ]waybel_7__t17_waybel_72025-09-09 18:13 24K 
[ ]waybel_7__t16_waybel_7.vout2025-09-15 19:20 3.2K 
[ ]waybel_7__t16_waybel_72025-09-09 18:12 27K 
[ ]waybel_7__t15_waybel_7.vout2025-09-15 19:25 4.1K 
[ ]waybel_7__t15_waybel_72025-09-09 18:11 25K 
[ ]waybel_7__t14_waybel_7.vout2025-09-15 13:58 7.3K 
[ ]waybel_7__t14_waybel_72025-09-09 18:10 22K 
[ ]waybel_7__t13_waybel_7.vout2025-09-15 14:00 4.1K 
[ ]waybel_7__t13_waybel_72025-09-09 18:09 25K 
[ ]waybel_7__t12_waybel_7.vout2025-09-15 16:22 6.8K 
[ ]waybel_7__t12_waybel_72025-09-09 18:08 22K 
[ ]waybel_7__t11_waybel_7.vout2025-09-15 17:02 7.9K 
[ ]waybel_7__t11_waybel_72025-09-09 18:06 24K 
[ ]waybel_7__t10_waybel_7.vout2025-09-15 15:28 7.9K 
[ ]waybel_7__t10_waybel_72025-09-09 18:05 23K 
[ ]waybel_7__t9_waybel_7.vout2025-09-15 15:04 34K 
[ ]waybel_7__t9_waybel_7.vmin1out2025-09-15 19:47 32K 
[ ]waybel_7__t9_waybel_7.vmin12025-09-15 19:47 2.1K 
[ ]waybel_7__t9_waybel_7.depvmin12025-09-15 19:51 128  
[ ]waybel_7__t9_waybel_7.depv12025-09-15 19:47 155  
[ ]waybel_7__t9_waybel_72025-09-09 18:04 25K 
[ ]waybel_7__t8_waybel_7.vout2025-09-15 15:39 32K 
[ ]waybel_7__t8_waybel_7.vmin1out2025-09-15 19:51 32K 
[ ]waybel_7__t8_waybel_7.vmin12025-09-15 19:47 1.9K 
[ ]waybel_7__t8_waybel_7.depvmin12025-09-15 19:51 128  
[ ]waybel_7__t8_waybel_7.depv12025-09-15 19:47 128  
[ ]waybel_7__t8_waybel_72025-09-09 18:03 25K 
[ ]waybel_7__t7_waybel_7.vout2025-09-15 14:38 36K 
[ ]waybel_7__t7_waybel_7.vmin1out2025-09-15 19:48 31K 
[ ]waybel_7__t7_waybel_7.vmin12025-09-15 19:47 1.7K 
[ ]waybel_7__t7_waybel_7.depvmin12025-09-15 19:51 147  
[ ]waybel_7__t7_waybel_7.depv12025-09-15 19:47 147  
[ ]waybel_7__t7_waybel_72025-09-09 18:02 23K 
[ ]waybel_7__t6_waybel_7.vout2025-09-15 17:26 35K 
[ ]waybel_7__t6_waybel_7.vmin1out2025-09-15 19:50 31K 
[ ]waybel_7__t6_waybel_7.vmin12025-09-15 19:47 1.8K 
[ ]waybel_7__t6_waybel_7.depvmin12025-09-15 19:51 159  
[ ]waybel_7__t6_waybel_7.depv12025-09-15 19:47 159  
[ ]waybel_7__t6_waybel_72025-09-09 18:00 22K 
[ ]waybel_7__t5_waybel_7.vout2025-09-15 17:04 7.9K 
[ ]waybel_7__t5_waybel_72025-09-09 17:59 26K 
[ ]waybel_7__t4_waybel_7.vout2025-09-15 19:15 8.4K 
[ ]waybel_7__t4_waybel_72025-09-09 17:58 15K 
[ ]waybel_7__t3_waybel_7.vout2025-09-15 16:12 23K 
[ ]waybel_7__t3_waybel_7.vmin1out2025-09-15 19:49 23K 
[ ]waybel_7__t3_waybel_7.vmin12025-09-15 19:47 1.4K 
[ ]waybel_7__t3_waybel_7.depvmin12025-09-15 19:51 121  
[ ]waybel_7__t3_waybel_7.depv12025-09-15 19:47 121  
[ ]waybel_7__t3_waybel_72025-09-09 17:57 6.6K 
[ ]waybel_7__t2_waybel_7.vout2025-09-15 14:25 6.2K 
[ ]waybel_7__t2_waybel_7.vmin1out2025-09-15 19:50 6.3K 
[ ]waybel_7__t2_waybel_7.vmin12025-09-15 19:47 1.0K 
[ ]waybel_7__t2_waybel_7.depvmin12025-09-15 19:51 133  
[ ]waybel_7__t2_waybel_7.depv12025-09-15 19:47 133  
[ ]waybel_7__t2_waybel_72025-09-09 17:56 21K 
[ ]waybel_7__t1_waybel_7.vout2025-09-15 17:24 18K 
[ ]waybel_7__t1_waybel_7.vmin1out2025-09-15 19:49 19K 
[ ]waybel_7__t1_waybel_7.vmin12025-09-15 19:47 1.4K 
[ ]waybel_7__t1_waybel_7.depvmin12025-09-15 19:51 104  
[ ]waybel_7__t1_waybel_7.depv12025-09-15 19:47 104  
[ ]waybel_7__t1_waybel_72025-09-09 17:55 16K 
[ ]waybel_7__l53_waybel_7.vout2025-09-15 19:22 7.3K 
[ ]waybel_7__l53_waybel_72025-09-09 18:57 29K 
[ ]waybel_7__l27_waybel_7.vout2025-09-15 17:57 7.3K 
[ ]waybel_7__l27_waybel_72025-09-09 18:55 25K 
[ ]waybel_7__l25_waybel_7.vout2025-09-15 16:47 6.8K 
[ ]waybel_7__l25_waybel_72025-09-09 18:54 25K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80