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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]weddwitt__l20_weddwitt2025-09-08 21:12 49K 
[ ]weddwitt__l20_weddwitt.depv12025-09-15 19:47 168  
[ ]weddwitt__l20_weddwitt.depvmin12025-09-15 19:51 168  
[ ]weddwitt__l20_weddwitt.vmin12025-09-15 19:47 2.5K 
[ ]weddwitt__l20_weddwitt.vmin1out2025-09-15 19:51 24K 
[ ]weddwitt__l20_weddwitt.vout2025-09-15 16:49 34K 
[ ]weddwitt__l21_weddwitt2025-09-08 21:14 51K 
[ ]weddwitt__l21_weddwitt.vout2025-09-15 13:43 8.4K 
[ ]weddwitt__l22_weddwitt2025-09-08 21:16 49K 
[ ]weddwitt__l22_weddwitt.depv12025-09-15 19:47 134  
[ ]weddwitt__l22_weddwitt.depvmin12025-09-15 19:51 134  
[ ]weddwitt__l22_weddwitt.vmin12025-09-15 19:47 2.3K 
[ ]weddwitt__l22_weddwitt.vmin1out2025-09-15 19:50 22K 
[ ]weddwitt__l22_weddwitt.vout2025-09-15 18:43 47K 
[ ]weddwitt__t1_weddwitt2025-09-08 19:54 19K 
[ ]weddwitt__t1_weddwitt.vout2025-09-15 16:36 7.3K 
[ ]weddwitt__t2_weddwitt2025-09-08 19:55 23K 
[ ]weddwitt__t2_weddwitt.vout2025-09-15 18:51 2.0K 
[ ]weddwitt__t3_weddwitt2025-09-08 19:56 44K 
[ ]weddwitt__t3_weddwitt.vout2025-09-15 15:55 7.3K 
[ ]weddwitt__t4_weddwitt2025-09-08 19:59 93K 
[ ]weddwitt__t4_weddwitt.vout2025-09-15 18:32 3.7K 
[ ]weddwitt__t5_weddwitt2025-09-08 20:00 58K 
[ ]weddwitt__t5_weddwitt.vout2025-09-15 14:05 7.3K 
[ ]weddwitt__t6_weddwitt2025-09-08 20:02 78K 
[ ]weddwitt__t6_weddwitt.vout2025-09-15 16:45 6.8K 
[ ]weddwitt__t7_weddwitt2025-09-08 20:04 37K 
[ ]weddwitt__t7_weddwitt.depv12025-09-15 19:47 150  
[ ]weddwitt__t7_weddwitt.depvmin12025-09-15 19:51 150  
[ ]weddwitt__t7_weddwitt.vmin12025-09-15 19:47 1.8K 
[ ]weddwitt__t7_weddwitt.vmin1out2025-09-15 19:50 16K 
[ ]weddwitt__t7_weddwitt.vout2025-09-15 15:50 28K 
[ ]weddwitt__t8_weddwitt2025-09-08 20:06 37K 
[ ]weddwitt__t8_weddwitt.depv12025-09-15 19:47 148  
[ ]weddwitt__t8_weddwitt.depvmin12025-09-15 19:51 148  
[ ]weddwitt__t8_weddwitt.vmin12025-09-15 19:47 1.8K 
[ ]weddwitt__t8_weddwitt.vmin1out2025-09-15 19:50 23K 
[ ]weddwitt__t8_weddwitt.vout2025-09-15 19:46 36K 
[ ]weddwitt__t9_weddwitt2025-09-08 20:08 55K 
[ ]weddwitt__t9_weddwitt.vout2025-09-15 14:41 7.3K 
[ ]weddwitt__t10_weddwitt2025-09-08 20:10 47K 
[ ]weddwitt__t10_weddwitt.vout2025-09-15 19:44 7.3K 
[ ]weddwitt__t11_weddwitt2025-09-08 21:08 50K 
[ ]weddwitt__t11_weddwitt.vout2025-09-15 13:35 5.3K 
[ ]weddwitt__t12_weddwitt2025-09-08 21:10 58K 
[ ]weddwitt__t12_weddwitt.vout2025-09-15 18:17 5.3K 
[ ]weddwitt__t13_weddwitt2025-09-08 20:12 55K 
[ ]weddwitt__t13_weddwitt.vout2025-09-15 16:13 7.3K 
[ ]weddwitt__t14_weddwitt2025-09-08 19:44 54K 
[ ]weddwitt__t14_weddwitt.depv12025-09-15 19:47 128  
[ ]weddwitt__t14_weddwitt.depvmin12025-09-15 19:51 128  
[ ]weddwitt__t14_weddwitt.vmin12025-09-15 19:47 1.6K 
[ ]weddwitt__t14_weddwitt.vmin1out2025-09-15 19:48 28K 
[ ]weddwitt__t14_weddwitt.vout2025-09-15 14:54 29K 
[ ]weddwitt__t15_weddwitt2025-09-08 20:15 99K 
[ ]weddwitt__t15_weddwitt.vout2025-09-15 19:20 6.8K 
[ ]weddwitt__t16_weddwitt2025-09-08 20:17 51K 
[ ]weddwitt__t16_weddwitt.depv12025-09-15 19:47 191  
[ ]weddwitt__t16_weddwitt.depvmin12025-09-15 19:51 178  
[ ]weddwitt__t16_weddwitt.vmin12025-09-15 19:47 2.9K 
[ ]weddwitt__t16_weddwitt.vmin1out2025-09-15 19:49 48K 
[ ]weddwitt__t16_weddwitt.vout2025-09-15 16:37 29K 
[ ]weddwitt__t17_weddwitt2025-09-08 20:19 52K 
[ ]weddwitt__t17_weddwitt.depv12025-09-15 19:47 179  
[ ]weddwitt__t17_weddwitt.depvmin12025-09-15 19:51 134  
[ ]weddwitt__t17_weddwitt.vmin12025-09-15 19:47 2.6K 
[ ]weddwitt__t17_weddwitt.vmin1out2025-09-15 19:50 29K 
[ ]weddwitt__t17_weddwitt.vout2025-09-15 17:06 64K 
[ ]weddwitt__t18_weddwitt2025-09-08 20:21 43K 
[ ]weddwitt__t18_weddwitt.depv12025-09-15 19:47 124  
[ ]weddwitt__t18_weddwitt.depvmin12025-09-15 19:51 124  
[ ]weddwitt__t18_weddwitt.vmin12025-09-15 19:47 1.8K 
[ ]weddwitt__t18_weddwitt.vmin1out2025-09-15 19:49 31K 
[ ]weddwitt__t18_weddwitt.vout2025-09-15 16:48 33K 
[ ]weddwitt__t19_weddwitt2025-09-08 20:23 43K 
[ ]weddwitt__t19_weddwitt.depv12025-09-15 19:47 153  
[ ]weddwitt__t19_weddwitt.depvmin12025-09-15 19:51 139  
[ ]weddwitt__t19_weddwitt.vmin12025-09-15 19:47 1.8K 
[ ]weddwitt__t19_weddwitt.vmin1out2025-09-15 19:50 27K 
[ ]weddwitt__t19_weddwitt.vout2025-09-15 14:25 31K 
[ ]weddwitt__t20_weddwitt2025-09-08 20:25 50K 
[ ]weddwitt__t20_weddwitt.vout2025-09-15 15:59 7.9K 
[ ]weddwitt__t21_weddwitt2025-09-08 20:27 53K 
[ ]weddwitt__t21_weddwitt.vout2025-09-15 13:53 8.4K 
[ ]weddwitt__t22_weddwitt2025-09-08 20:29 67K 
[ ]weddwitt__t22_weddwitt.vout2025-09-15 14:57 7.3K 
[ ]weddwitt__t23_weddwitt2025-09-08 20:31 50K 
[ ]weddwitt__t23_weddwitt.depv12025-09-15 19:47 165  
[ ]weddwitt__t23_weddwitt.depvmin12025-09-15 19:51 165  
[ ]weddwitt__t23_weddwitt.vmin12025-09-15 19:47 3.2K 
[ ]weddwitt__t23_weddwitt.vmin1out2025-09-15 19:50 75K 
[ ]weddwitt__t23_weddwitt.vout2025-09-15 19:33 41K 
[ ]weddwitt__t24_weddwitt2025-09-08 20:33 49K 
[ ]weddwitt__t24_weddwitt.depv12025-09-15 19:47 87  
[ ]weddwitt__t24_weddwitt.depvmin12025-09-15 19:51 87  
[ ]weddwitt__t24_weddwitt.vmin12025-09-15 19:47 2.7K 
[ ]weddwitt__t24_weddwitt.vmin1out2025-09-15 19:48 51K 
[ ]weddwitt__t24_weddwitt.vout2025-09-15 16:34 77K 
[ ]weddwitt__t25_weddwitt2025-09-08 20:35 45K 
[ ]weddwitt__t25_weddwitt.depv12025-09-15 19:47 190  
[ ]weddwitt__t25_weddwitt.depvmin12025-09-15 19:51 190  
[ ]weddwitt__t25_weddwitt.vmin12025-09-15 19:47 2.9K 
[ ]weddwitt__t25_weddwitt.vmin1out2025-09-15 19:48 47K 
[ ]weddwitt__t25_weddwitt.vout2025-09-15 17:26 43K 
[ ]weddwitt__t26_weddwitt2025-09-08 20:37 56K 
[ ]weddwitt__t26_weddwitt.vout2025-09-15 19:22 7.3K 
[ ]weddwitt__t27_weddwitt2025-09-08 20:39 50K 
[ ]weddwitt__t27_weddwitt.depv12025-09-15 19:47 239  
[ ]weddwitt__t27_weddwitt.depvmin12025-09-15 19:51 143  
[ ]weddwitt__t27_weddwitt.vmin12025-09-15 19:47 4.0K 
[ ]weddwitt__t27_weddwitt.vmin1out2025-09-15 19:51 29K 
[ ]weddwitt__t27_weddwitt.vout2025-09-15 16:25 79K 
[ ]weddwitt__t28_weddwitt2025-09-08 20:41 43K 
[ ]weddwitt__t28_weddwitt.vout2025-09-15 17:27 7.9K 
[ ]weddwitt__t29_weddwitt2025-09-08 20:43 65K 
[ ]weddwitt__t29_weddwitt.vout2025-09-15 17:44 7.4K 
[ ]weddwitt__t30_weddwitt2025-09-08 20:46 68K 
[ ]weddwitt__t30_weddwitt.vout2025-09-15 19:14 4.7K 
[ ]weddwitt__t31_weddwitt2025-09-08 20:48 58K 
[ ]weddwitt__t31_weddwitt.vout2025-09-15 13:29 5.8K 
[ ]weddwitt__t32_weddwitt2025-09-08 20:50 72K 
[ ]weddwitt__t32_weddwitt.vout2025-09-15 16:42 7.4K 
[ ]weddwitt__t33_weddwitt2025-09-08 20:52 60K 
[ ]weddwitt__t33_weddwitt.vout2025-09-15 15:43 4.7K 
[ ]weddwitt__t34_weddwitt2025-09-08 20:54 51K 
[ ]weddwitt__t34_weddwitt.vout2025-09-15 17:18 7.9K 
[ ]weddwitt__t35_weddwitt2025-09-08 20:57 78K 
[ ]weddwitt__t35_weddwitt.vout2025-09-15 16:07 7.3K 
[ ]weddwitt__t36_weddwitt2025-09-08 20:59 75K 
[ ]weddwitt__t36_weddwitt.vout2025-09-15 17:53 7.4K 
[ ]weddwitt__t37_weddwitt2025-09-08 21:01 71K 
[ ]weddwitt__t37_weddwitt.vout2025-09-15 17:00 7.4K 
[ ]weddwitt__t38_weddwitt2025-09-08 21:06 147K 
[ ]weddwitt__t38_weddwitt.vout2025-09-15 15:42 5.9K 
[ ]weddwitt__t39_weddwitt2025-09-08 19:46 53K 
[ ]weddwitt__t39_weddwitt.depv12025-09-15 19:47 67  
[ ]weddwitt__t39_weddwitt.depvmin12025-09-15 19:51 67  
[ ]weddwitt__t39_weddwitt.vmin12025-09-15 19:47 1.9K 
[ ]weddwitt__t39_weddwitt.vmin1out2025-09-15 19:49 32K 
[ ]weddwitt__t39_weddwitt.vout2025-09-15 17:36 33K 
[ ]weddwitt__t40_weddwitt2025-09-08 19:48 50K 
[ ]weddwitt__t40_weddwitt.depv12025-09-15 19:47 40  
[ ]weddwitt__t40_weddwitt.depvmin12025-09-15 19:51 40  
[ ]weddwitt__t40_weddwitt.vmin12025-09-15 19:47 2.0K 
[ ]weddwitt__t40_weddwitt.vmin1out2025-09-15 19:48 39K 
[ ]weddwitt__t40_weddwitt.vout2025-09-15 14:47 41K 
[ ]weddwitt__t41_weddwitt2025-09-08 19:49 39K 
[ ]weddwitt__t41_weddwitt.depv12025-09-15 19:47 26  
[ ]weddwitt__t41_weddwitt.depvmin12025-09-15 19:51 26  
[ ]weddwitt__t41_weddwitt.vmin12025-09-15 19:47 663  
[ ]weddwitt__t41_weddwitt.vmin1out2025-09-15 19:48 7.6K 
[ ]weddwitt__t41_weddwitt.vout2025-09-15 13:37 11K 
[ ]weddwitt__t42_weddwitt2025-09-08 19:51 44K 
[ ]weddwitt__t42_weddwitt.depv12025-09-15 19:47 122  
[ ]weddwitt__t42_weddwitt.depvmin12025-09-15 19:51 122  
[ ]weddwitt__t42_weddwitt.vmin12025-09-15 19:47 2.5K 
[ ]weddwitt__t42_weddwitt.vmin1out2025-09-15 19:47 45K 
[ ]weddwitt__t42_weddwitt.vout2025-09-15 13:43 27K 
[ ]weddwitt__t43_weddwitt2025-09-08 19:53 42K 
[ ]weddwitt__t43_weddwitt.depv12025-09-15 19:47 26  
[ ]weddwitt__t43_weddwitt.depvmin12025-09-15 19:51 26  
[ ]weddwitt__t43_weddwitt.vmin12025-09-15 19:47 835  
[ ]weddwitt__t43_weddwitt.vmin1out2025-09-15 19:50 10K 
[ ]weddwitt__t43_weddwitt.vout2025-09-15 17:40 16K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80