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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gtarski4__l1_gtarski42024-07-28 14:14 5.2K 
[ ]gtarski4__l1_gtarski4.depv12024-08-03 10:19 87  
[ ]gtarski4__l1_gtarski4.depvmin12024-08-03 10:24 87  
[ ]gtarski4__l1_gtarski4.vmin12024-08-03 10:19 1.4K 
[ ]gtarski4__l1_gtarski4.vmin1out2024-08-03 10:21 14K 
[ ]gtarski4__l1_gtarski4.vout2024-08-03 09:38 22K 
[ ]gtarski4__l2_gtarski42024-07-28 14:15 5.7K 
[ ]gtarski4__l2_gtarski4.depv12024-08-03 10:19 100  
[ ]gtarski4__l2_gtarski4.depvmin12024-08-03 10:24 100  
[ ]gtarski4__l2_gtarski4.vmin12024-08-03 10:19 1.8K 
[ ]gtarski4__l2_gtarski4.vmin1out2024-08-03 10:22 17K 
[ ]gtarski4__l2_gtarski4.vout2024-08-03 05:34 27K 
[ ]gtarski4__l48_gtarski42024-07-28 14:16 4.7K 
[ ]gtarski4__l48_gtarski4.depv12024-08-03 10:19 52  
[ ]gtarski4__l48_gtarski4.depvmin12024-08-03 10:24 52  
[ ]gtarski4__l48_gtarski4.vmin12024-08-03 10:19 1.2K 
[ ]gtarski4__l48_gtarski4.vmin1out2024-08-03 10:20 21K 
[ ]gtarski4__l48_gtarski4.vout2024-08-03 06:15 22K 
[ ]gtarski4__t1_gtarski42024-07-28 13:48 2.6K 
[ ]gtarski4__t1_gtarski4.depv12024-08-03 10:19 36  
[ ]gtarski4__t1_gtarski4.depvmin12024-08-03 10:24 36  
[ ]gtarski4__t1_gtarski4.vmin12024-08-03 10:19 1.2K 
[ ]gtarski4__t1_gtarski4.vmin1out2024-08-03 10:20 34K 
[ ]gtarski4__t1_gtarski4.vout2024-08-03 06:47 34K 
[ ]gtarski4__t2_gtarski42024-07-28 13:48 3.1K 
[ ]gtarski4__t2_gtarski4.depv12024-08-03 10:19 36  
[ ]gtarski4__t2_gtarski4.depvmin12024-08-03 10:24 36  
[ ]gtarski4__t2_gtarski4.vmin12024-08-03 10:19 2.0K 
[ ]gtarski4__t2_gtarski4.vmin1out2024-08-03 10:20 59K 
[ ]gtarski4__t2_gtarski4.vout2024-08-03 09:01 59K 
[ ]gtarski4__t3_gtarski42024-07-28 13:49 3.9K 
[ ]gtarski4__t3_gtarski4.depv12024-08-03 10:19 36  
[ ]gtarski4__t3_gtarski4.depvmin12024-08-03 10:24 36  
[ ]gtarski4__t3_gtarski4.vmin12024-08-03 10:19 2.8K 
[ ]gtarski4__t3_gtarski4.vmin1out2024-08-03 10:22 70K 
[ ]gtarski4__t3_gtarski4.vout2024-08-03 07:30 70K 
[ ]gtarski4__t4_gtarski42024-07-28 13:49 2.3K 
[ ]gtarski4__t4_gtarski4.depv12024-08-03 10:19 51  
[ ]gtarski4__t4_gtarski4.depvmin12024-08-03 10:24 51  
[ ]gtarski4__t4_gtarski4.vmin12024-08-03 10:19 1.2K 
[ ]gtarski4__t4_gtarski4.vmin1out2024-08-03 10:23 16K 
[ ]gtarski4__t4_gtarski4.vout2024-08-03 05:58 15K 
[ ]gtarski4__t5_gtarski42024-07-28 13:50 6.0K 
[ ]gtarski4__t5_gtarski4.depv12024-08-03 10:19 128  
[ ]gtarski4__t5_gtarski4.depvmin12024-08-03 10:24 128  
[ ]gtarski4__t5_gtarski4.vmin12024-08-03 10:19 3.0K 
[ ]gtarski4__t5_gtarski4.vmin1out2024-08-03 10:22 29K 
[ ]gtarski4__t5_gtarski4.vout2024-08-03 06:56 29K 
[ ]gtarski4__t6_gtarski42024-07-28 13:50 1.4K 
[ ]gtarski4__t6_gtarski4.depv12024-08-03 10:19 38  
[ ]gtarski4__t6_gtarski4.depvmin12024-08-03 10:24 38  
[ ]gtarski4__t6_gtarski4.vmin12024-08-03 10:19 951  
[ ]gtarski4__t6_gtarski4.vmin1out2024-08-03 10:20 11K 
[ ]gtarski4__t6_gtarski4.vout2024-08-03 09:27 11K 
[ ]gtarski4__t7_gtarski42024-07-28 13:50 2.5K 
[ ]gtarski4__t7_gtarski4.depv12024-08-03 10:19 37  
[ ]gtarski4__t7_gtarski4.depvmin12024-08-03 10:24 37  
[ ]gtarski4__t7_gtarski4.vmin12024-08-03 10:19 1.3K 
[ ]gtarski4__t7_gtarski4.vmin1out2024-08-03 10:23 24K 
[ ]gtarski4__t7_gtarski4.vout2024-08-03 09:51 24K 
[ ]gtarski4__t8_gtarski42024-07-28 13:51 7.1K 
[ ]gtarski4__t8_gtarski4.depv12024-08-03 10:19 162  
[ ]gtarski4__t8_gtarski4.depvmin12024-08-03 10:24 136  
[ ]gtarski4__t8_gtarski4.vmin12024-08-03 10:19 3.5K 
[ ]gtarski4__t8_gtarski4.vmin1out2024-08-03 10:20 26K 
[ ]gtarski4__t8_gtarski4.vout2024-08-03 06:33 51K 
[ ]gtarski4__t9_gtarski42024-07-28 13:52 4.2K 
[ ]gtarski4__t9_gtarski4.depv12024-08-03 10:19 75  
[ ]gtarski4__t9_gtarski4.depvmin12024-08-03 10:24 75  
[ ]gtarski4__t9_gtarski4.vmin12024-08-03 10:19 1.8K 
[ ]gtarski4__t9_gtarski4.vmin1out2024-08-03 10:21 18K 
[ ]gtarski4__t9_gtarski4.vout2024-08-03 10:00 17K 
[ ]gtarski4__t10_gtarski42024-07-28 13:52 6.9K 
[ ]gtarski4__t10_gtarski4.depv12024-08-03 10:19 188  
[ ]gtarski4__t10_gtarski4.depvmin12024-08-03 10:24 188  
[ ]gtarski4__t10_gtarski4.vmin12024-08-03 10:19 3.7K 
[ ]gtarski4__t10_gtarski4.vmin1out2024-08-03 10:20 50K 
[ ]gtarski4__t10_gtarski4.vout2024-08-03 07:01 51K 
[ ]gtarski4__t11_gtarski42024-07-28 13:53 5.5K 
[ ]gtarski4__t11_gtarski4.depv12024-08-03 10:19 141  
[ ]gtarski4__t11_gtarski4.depvmin12024-08-03 10:24 141  
[ ]gtarski4__t11_gtarski4.vmin12024-08-03 10:19 2.6K 
[ ]gtarski4__t11_gtarski4.vmin1out2024-08-03 10:21 31K 
[ ]gtarski4__t11_gtarski4.vout2024-08-03 06:19 31K 
[ ]gtarski4__t12_gtarski42024-07-28 13:54 4.8K 
[ ]gtarski4__t12_gtarski4.depv12024-08-03 10:19 95  
[ ]gtarski4__t12_gtarski4.depvmin12024-08-03 10:24 95  
[ ]gtarski4__t12_gtarski4.vmin12024-08-03 10:19 2.4K 
[ ]gtarski4__t12_gtarski4.vmin1out2024-08-03 10:22 46K 
[ ]gtarski4__t12_gtarski4.vout2024-08-03 06:33 51K 
[ ]gtarski4__t13_gtarski42024-07-28 13:54 5.4K 
[ ]gtarski4__t13_gtarski4.depv12024-08-03 10:19 117  
[ ]gtarski4__t13_gtarski4.depvmin12024-08-03 10:24 117  
[ ]gtarski4__t13_gtarski4.vmin12024-08-03 10:19 3.0K 
[ ]gtarski4__t13_gtarski4.vmin1out2024-08-03 10:20 51K 
[ ]gtarski4__t13_gtarski4.vout2024-08-03 09:42 51K 
[ ]gtarski4__t14_gtarski42024-07-28 13:55 3.7K 
[ ]gtarski4__t14_gtarski4.depv12024-08-03 10:19 53  
[ ]gtarski4__t14_gtarski4.depvmin12024-08-03 10:24 53  
[ ]gtarski4__t14_gtarski4.vmin12024-08-03 10:19 1.1K 
[ ]gtarski4__t14_gtarski4.vmin1out2024-08-03 10:22 18K 
[ ]gtarski4__t14_gtarski4.vout2024-08-03 09:28 18K 
[ ]gtarski4__t15_gtarski42024-07-28 13:55 4.5K 
[ ]gtarski4__t15_gtarski4.depv12024-08-03 10:19 93  
[ ]gtarski4__t15_gtarski4.depvmin12024-08-03 10:24 93  
[ ]gtarski4__t15_gtarski4.vmin12024-08-03 10:19 2.2K 
[ ]gtarski4__t15_gtarski4.vmin1out2024-08-03 10:21 18K 
[ ]gtarski4__t15_gtarski4.vout2024-08-03 09:48 17K 
[ ]gtarski4__t16_gtarski42024-07-28 13:56 4.3K 
[ ]gtarski4__t16_gtarski4.depv12024-08-03 10:19 79  
[ ]gtarski4__t16_gtarski4.depvmin12024-08-03 10:24 79  
[ ]gtarski4__t16_gtarski4.vmin12024-08-03 10:19 1.9K 
[ ]gtarski4__t16_gtarski4.vmin1out2024-08-03 10:21 34K 
[ ]gtarski4__t16_gtarski4.vout2024-08-03 10:14 34K 
[ ]gtarski4__t17_gtarski42024-07-28 13:56 3.9K 
[ ]gtarski4__t17_gtarski4.depv12024-08-03 10:19 63  
[ ]gtarski4__t17_gtarski4.depvmin12024-08-03 10:24 63  
[ ]gtarski4__t17_gtarski4.vmin12024-08-03 10:19 1.2K 
[ ]gtarski4__t17_gtarski4.vmin1out2024-08-03 10:23 15K 
[ ]gtarski4__t17_gtarski4.vout2024-08-03 05:58 16K 
[ ]gtarski4__t18_gtarski42024-07-28 13:57 4.3K 
[ ]gtarski4__t18_gtarski4.depv12024-08-03 10:19 80  
[ ]gtarski4__t18_gtarski4.depvmin12024-08-03 10:24 80  
[ ]gtarski4__t18_gtarski4.vmin12024-08-03 10:19 2.0K 
[ ]gtarski4__t18_gtarski4.vmin1out2024-08-03 10:22 16K 
[ ]gtarski4__t18_gtarski4.vout2024-08-03 06:47 16K 
[ ]gtarski4__t19_gtarski42024-07-28 13:58 8.5K 
[ ]gtarski4__t19_gtarski4.vout2024-08-03 06:52 7.2K 
[ ]gtarski4__t20_gtarski42024-07-28 13:58 4.3K 
[ ]gtarski4__t20_gtarski4.depv12024-08-03 10:19 52  
[ ]gtarski4__t20_gtarski4.depvmin12024-08-03 10:24 52  
[ ]gtarski4__t20_gtarski4.vmin12024-08-03 10:19 1.0K 
[ ]gtarski4__t20_gtarski4.vmin1out2024-08-03 10:22 13K 
[ ]gtarski4__t20_gtarski4.vout2024-08-03 05:54 13K 
[ ]gtarski4__t21_gtarski42024-07-28 13:59 4.6K 
[ ]gtarski4__t21_gtarski4.depv12024-08-03 10:19 65  
[ ]gtarski4__t21_gtarski4.depvmin12024-08-03 10:24 65  
[ ]gtarski4__t21_gtarski4.vmin12024-08-03 10:19 1.6K 
[ ]gtarski4__t21_gtarski4.vmin1out2024-08-03 10:22 12K 
[ ]gtarski4__t21_gtarski4.vout2024-08-03 04:24 12K 
[ ]gtarski4__t22_gtarski42024-07-28 13:59 10K 
[ ]gtarski4__t22_gtarski4.vout2024-08-03 08:44 8.2K 
[ ]gtarski4__t23_gtarski42024-07-28 13:44 4.7K 
[ ]gtarski4__t23_gtarski4.depv12024-08-03 10:19 38  
[ ]gtarski4__t23_gtarski4.depvmin12024-08-03 10:24 38  
[ ]gtarski4__t23_gtarski4.vmin12024-08-03 10:19 1.2K 
[ ]gtarski4__t23_gtarski4.vmin1out2024-08-03 10:20 46K 
[ ]gtarski4__t23_gtarski4.vout2024-08-03 07:57 48K 
[ ]gtarski4__t24_gtarski42024-07-28 14:00 7.9K 
[ ]gtarski4__t24_gtarski4.vout2024-08-03 05:21 8.2K 
[ ]gtarski4__t25_gtarski42024-07-28 14:01 6.3K 
[ ]gtarski4__t25_gtarski4.depv12024-08-03 10:19 99  
[ ]gtarski4__t25_gtarski4.depvmin12024-08-03 10:24 99  
[ ]gtarski4__t25_gtarski4.vmin12024-08-03 10:19 2.7K 
[ ]gtarski4__t25_gtarski4.vmin1out2024-08-03 10:20 32K 
[ ]gtarski4__t25_gtarski4.vout2024-08-03 08:16 32K 
[ ]gtarski4__t26_gtarski42024-07-28 14:02 5.4K 
[ ]gtarski4__t26_gtarski4.depv12024-08-03 10:19 98  
[ ]gtarski4__t26_gtarski4.depvmin12024-08-03 10:24 98  
[ ]gtarski4__t26_gtarski4.vmin12024-08-03 10:19 2.5K 
[ ]gtarski4__t26_gtarski4.vmin1out2024-08-03 10:21 59K 
[ ]gtarski4__t26_gtarski4.vout2024-08-03 06:24 59K 
[ ]gtarski4__t27_gtarski42024-07-28 14:02 5.7K 
[ ]gtarski4__t27_gtarski4.depv12024-08-03 10:19 86  
[ ]gtarski4__t27_gtarski4.depvmin12024-08-03 10:24 86  
[ ]gtarski4__t27_gtarski4.vmin12024-08-03 10:19 2.1K 
[ ]gtarski4__t27_gtarski4.vmin1out2024-08-03 10:21 43K 
[ ]gtarski4__t27_gtarski4.vout2024-08-03 07:37 44K 
[ ]gtarski4__t28_gtarski42024-07-28 14:03 8.3K 
[ ]gtarski4__t28_gtarski4.vout2024-08-03 04:14 7.9K 
[ ]gtarski4__t29_gtarski42024-07-28 14:04 5.9K 
[ ]gtarski4__t29_gtarski4.depv12024-08-03 10:19 116  
[ ]gtarski4__t29_gtarski4.depvmin12024-08-03 10:24 116  
[ ]gtarski4__t29_gtarski4.vmin12024-08-03 10:19 2.9K 
[ ]gtarski4__t29_gtarski4.vmin1out2024-08-03 10:20 60K 
[ ]gtarski4__t29_gtarski4.vout2024-08-03 09:05 54K 
[ ]gtarski4__t30_gtarski42024-07-28 14:04 12K 
[ ]gtarski4__t30_gtarski4.vout2024-08-03 06:13 7.9K 
[ ]gtarski4__t31_gtarski42024-07-28 14:05 8.5K 
[ ]gtarski4__t31_gtarski4.vout2024-08-03 04:44 9.2K 
[ ]gtarski4__t32_gtarski42024-07-28 14:06 11K 
[ ]gtarski4__t32_gtarski4.vout2024-08-03 09:44 7.2K 
[ ]gtarski4__t33_gtarski42024-07-28 14:07 21K 
[ ]gtarski4__t33_gtarski4.vout2024-08-03 05:23 4.1K 
[ ]gtarski4__t34_gtarski42024-07-28 14:08 13K 
[ ]gtarski4__t34_gtarski4.vout2024-08-03 09:13 4.1K 
[ ]gtarski4__t35_gtarski42024-07-28 14:08 16K 
[ ]gtarski4__t35_gtarski4.vout2024-08-03 04:37 4.1K 
[ ]gtarski4__t36_gtarski42024-07-28 14:09 6.6K 
[ ]gtarski4__t36_gtarski4.depv12024-08-03 10:19 65  
[ ]gtarski4__t36_gtarski4.depvmin12024-08-03 10:24 65  
[ ]gtarski4__t36_gtarski4.vmin12024-08-03 10:19 1.8K 
[ ]gtarski4__t36_gtarski4.vmin1out2024-08-03 10:23 46K 
[ ]gtarski4__t36_gtarski4.vout2024-08-03 05:21 45K 
[ ]gtarski4__t37_gtarski42024-07-28 14:10 6.0K 
[ ]gtarski4__t37_gtarski4.depv12024-08-03 10:19 78  
[ ]gtarski4__t37_gtarski4.depvmin12024-08-03 10:24 78  
[ ]gtarski4__t37_gtarski4.vmin12024-08-03 10:19 2.1K 
[ ]gtarski4__t37_gtarski4.vmin1out2024-08-03 10:21 16K 
[ ]gtarski4__t37_gtarski4.vout2024-08-03 09:39 15K 
[ ]gtarski4__t38_gtarski42024-07-28 14:11 26K 
[ ]gtarski4__t38_gtarski4.vout2024-08-03 04:36 4.1K 
[ ]gtarski4__t39_gtarski42024-07-28 14:11 8.4K 
[ ]gtarski4__t39_gtarski4.depv12024-08-03 10:19 155  
[ ]gtarski4__t39_gtarski4.depvmin12024-08-03 10:24 155  
[ ]gtarski4__t39_gtarski4.vmin12024-08-03 10:19 4.1K 
[ ]gtarski4__t39_gtarski4.vmin1out2024-08-03 10:20 144K 
[ ]gtarski4__t39_gtarski4.vout2024-08-03 04:46 145K 
[ ]gtarski4__t40_gtarski42024-07-28 14:12 26K 
[ ]gtarski4__t40_gtarski4.vout2024-08-03 08:59 4.1K 
[ ]gtarski4__t41_gtarski42024-07-28 13:44 6.0K 
[ ]gtarski4__t41_gtarski4.depv12024-08-03 10:19 26  
[ ]gtarski4__t41_gtarski4.depvmin12024-08-03 10:24 26  
[ ]gtarski4__t41_gtarski4.vmin12024-08-03 10:19 1.3K 
[ ]gtarski4__t41_gtarski4.vmin1out2024-08-03 10:21 23K 
[ ]gtarski4__t41_gtarski4.vout2024-08-03 04:48 23K 
[ ]gtarski4__t42_gtarski42024-07-28 13:45 6.5K 
[ ]gtarski4__t42_gtarski4.depv12024-08-03 10:19 77  
[ ]gtarski4__t42_gtarski4.depvmin12024-08-03 10:24 38  
[ ]gtarski4__t42_gtarski4.vmin12024-08-03 10:19 2.3K 
[ ]gtarski4__t42_gtarski4.vmin1out2024-08-03 10:23 43K 
[ ]gtarski4__t42_gtarski4.vout2024-08-03 05:59 48K 
[ ]gtarski4__t43_gtarski42024-07-28 13:46 6.3K 
[ ]gtarski4__t43_gtarski4.depv12024-08-03 10:19 102  
[ ]gtarski4__t43_gtarski4.depvmin12024-08-03 10:24 77  
[ ]gtarski4__t43_gtarski4.vmin12024-08-03 10:19 2.5K 
[ ]gtarski4__t43_gtarski4.vmin1out2024-08-03 10:20 48K 
[ ]gtarski4__t43_gtarski4.vout2024-08-03 07:17 51K 
[ ]gtarski4__t44_gtarski42024-07-28 14:13 7.1K 
[ ]gtarski4__t44_gtarski4.depv12024-08-03 10:19 150  
[ ]gtarski4__t44_gtarski4.depvmin12024-08-03 10:24 150  
[ ]gtarski4__t44_gtarski4.vmin12024-08-03 10:19 3.2K 
[ ]gtarski4__t44_gtarski4.vmin1out2024-08-03 10:21 49K 
[ ]gtarski4__t44_gtarski4.vout2024-08-03 09:04 47K 
[ ]gtarski4__t45_gtarski42024-07-28 13:46 5.4K 
[ ]gtarski4__t45_gtarski4.depv12024-08-03 10:19 64  
[ ]gtarski4__t45_gtarski4.depvmin12024-08-03 10:24 64  
[ ]gtarski4__t45_gtarski4.vmin12024-08-03 10:19 1.3K 
[ ]gtarski4__t45_gtarski4.vmin1out2024-08-03 10:20 28K 
[ ]gtarski4__t45_gtarski4.vout2024-08-03 06:37 27K 
[ ]gtarski4__t46_gtarski42024-07-28 13:47 6.3K 
[ ]gtarski4__t46_gtarski4.depv12024-08-03 10:19 76  
[ ]gtarski4__t46_gtarski4.depvmin12024-08-03 10:24 76  
[ ]gtarski4__t46_gtarski4.vmin12024-08-03 10:19 2.2K 
[ ]gtarski4__t46_gtarski4.vmin1out2024-08-03 10:21 46K 
[ ]gtarski4__t46_gtarski4.vout2024-08-03 07:22 44K 
[ ]gtarski4__t47_gtarski42024-07-28 14:14 6.5K 
[ ]gtarski4__t47_gtarski4.depv12024-08-03 10:19 38  
[ ]gtarski4__t47_gtarski4.depvmin12024-08-03 10:24 38  
[ ]gtarski4__t47_gtarski4.vmin12024-08-03 10:19 1.4K 
[ ]gtarski4__t47_gtarski4.vmin1out2024-08-03 10:22 14K 
[ ]gtarski4__t47_gtarski4.vout2024-08-03 06:35 14K 
[ ]gtarski4__t48_gtarski42024-07-28 13:47 6.4K 
[ ]gtarski4__t48_gtarski4.depv12024-08-03 10:19 76  
[ ]gtarski4__t48_gtarski4.depvmin12024-08-03 10:24 76  
[ ]gtarski4__t48_gtarski4.vmin12024-08-03 10:19 2.2K 
[ ]gtarski4__t48_gtarski4.vmin1out2024-08-03 10:22 43K 
[ ]gtarski4__t48_gtarski4.vout2024-08-03 05:27 42K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80