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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_1__t1_fcont_12024-07-27 09:30 46K 
[ ]fcont_1__t1_fcont_1.vout2024-08-03 04:22 7.3K 
[ ]fcont_1__t3_fcont_12024-07-27 09:32 53K 
[ ]fcont_1__t3_fcont_1.vout2024-08-03 08:55 6.8K 
[ ]fcont_1__t4_fcont_12024-07-27 09:34 45K 
[ ]fcont_1__t4_fcont_1.vout2024-08-03 05:58 6.8K 
[ ]fcont_1__t5_fcont_12024-07-27 09:35 39K 
[ ]fcont_1__t5_fcont_1.vout2024-08-03 09:48 7.3K 
[ ]fcont_1__t6_fcont_12024-07-27 09:37 44K 
[ ]fcont_1__t6_fcont_1.vout2024-08-03 06:37 6.8K 
[ ]fcont_1__t7_fcont_12024-07-27 09:38 79K 
[ ]fcont_1__t7_fcont_1.vout2024-08-03 04:16 6.8K 
[ ]fcont_1__t8_fcont_12024-07-27 09:40 45K 
[ ]fcont_1__t8_fcont_1.vout2024-08-03 04:51 6.8K 
[ ]fcont_1__t9_fcont_12024-07-27 09:41 54K 
[ ]fcont_1__t9_fcont_1.vout2024-08-03 07:46 6.8K 
[ ]fcont_1__t10_fcont_12024-07-27 09:43 53K 
[ ]fcont_1__t10_fcont_1.vout2024-08-03 09:10 6.8K 
[ ]fcont_1__t11_fcont_12024-07-27 09:45 82K 
[ ]fcont_1__t11_fcont_1.vout2024-08-03 08:06 4.7K 
[ ]fcont_1__t12_fcont_12024-07-27 09:46 48K 
[ ]fcont_1__t12_fcont_1.vout2024-08-03 05:03 6.8K 
[ ]fcont_1__t13_fcont_12024-07-27 09:48 48K 
[ ]fcont_1__t13_fcont_1.vout2024-08-03 09:42 6.8K 
[ ]fcont_1__t14_fcont_12024-07-27 09:49 50K 
[ ]fcont_1__t14_fcont_1.vout2024-08-03 05:10 6.8K 
[ ]fcont_1__t15_fcont_12024-07-27 09:27 34K 
[ ]fcont_1__t15_fcont_1.depv12024-08-03 10:19 77  
[ ]fcont_1__t15_fcont_1.depvmin12024-08-03 10:24 77  
[ ]fcont_1__t15_fcont_1.vmin12024-08-03 10:19 946  
[ ]fcont_1__t15_fcont_1.vmin1out2024-08-03 10:21 13K 
[ ]fcont_1__t15_fcont_1.vout2024-08-03 06:36 14K 
[ ]fcont_1__t16_fcont_12024-07-27 09:51 35K 
[ ]fcont_1__t16_fcont_1.depv12024-08-03 10:19 89  
[ ]fcont_1__t16_fcont_1.depvmin12024-08-03 10:24 89  
[ ]fcont_1__t16_fcont_1.vmin12024-08-03 10:19 1.2K 
[ ]fcont_1__t16_fcont_1.vmin1out2024-08-03 10:22 11K 
[ ]fcont_1__t16_fcont_1.vout2024-08-03 06:38 15K 
[ ]fcont_1__t17_fcont_12024-07-27 09:29 35K 
[ ]fcont_1__t17_fcont_1.depv12024-08-03 10:19 84  
[ ]fcont_1__t17_fcont_1.depvmin12024-08-03 10:24 84  
[ ]fcont_1__t17_fcont_1.vmin12024-08-03 10:19 784  
[ ]fcont_1__t17_fcont_1.vmin1out2024-08-03 10:23 6.4K 
[ ]fcont_1__t17_fcont_1.vout2024-08-03 09:41 6.5K 
[ ]fcont_1__t18_fcont_12024-07-27 09:52 85K 
[ ]fcont_1__t18_fcont_1.vout2024-08-03 06:39 7.3K 
[ ]fcont_1__t19_fcont_12024-07-27 09:54 59K 
[ ]fcont_1__t19_fcont_1.depv12024-08-03 10:19 176  
[ ]fcont_1__t19_fcont_1.depvmin12024-08-03 10:24 176  
[ ]fcont_1__t19_fcont_1.vmin12024-08-03 10:19 2.8K 
[ ]fcont_1__t19_fcont_1.vmin1out2024-08-03 10:20 34K 
[ ]fcont_1__t19_fcont_1.vout2024-08-03 09:53 41K 
[ ]fcont_1__t20_fcont_12024-07-27 09:55 51K 
[ ]fcont_1__t20_fcont_1.vout2024-08-03 08:26 6.8K 
[ ]fcont_1__t21_fcont_12024-07-27 09:57 67K 
[ ]fcont_1__t21_fcont_1.vout2024-08-03 07:20 7.3K 
[ ]fcont_1__t22_fcont_12024-07-27 09:59 65K 
[ ]fcont_1__t22_fcont_1.vout2024-08-03 04:12 6.8K 
[ ]fcont_1__t23_fcont_12024-07-27 10:00 46K 
[ ]fcont_1__t23_fcont_1.vout2024-08-03 07:34 2.0K 
[ ]fcont_1__t24_fcont_12024-07-27 10:02 68K 
[ ]fcont_1__t24_fcont_1.vout2024-08-03 06:08 7.3K 
[ ]fcont_1__t25_fcont_12024-07-27 10:04 42K 
[ ]fcont_1__t25_fcont_1.vout2024-08-03 07:19 4.7K 
[ ]fcont_1__t26_fcont_12024-07-27 10:05 45K 
[ ]fcont_1__t26_fcont_1.vout2024-08-03 09:40 4.7K 
[ ]fcont_1__t27_fcont_12024-07-27 10:07 63K 
[ ]fcont_1__t27_fcont_1.vout2024-08-03 08:01 6.8K 
[ ]fcont_1__t28_fcont_12024-07-27 10:08 50K 
[ ]fcont_1__t28_fcont_1.vout2024-08-03 08:43 7.3K 
[ ]fcont_1__t29_fcont_12024-07-27 10:10 42K 
[ ]fcont_1__t29_fcont_1.depv12024-08-03 10:19 305  
[ ]fcont_1__t29_fcont_1.depvmin12024-08-03 10:24 255  
[ ]fcont_1__t29_fcont_1.vmin12024-08-03 10:19 3.1K 
[ ]fcont_1__t29_fcont_1.vmin1out2024-08-03 10:23 23K 
[ ]fcont_1__t29_fcont_1.vout2024-08-03 07:51 37K 
[ ]fcont_1__t30_fcont_12024-07-27 10:11 39K 
[ ]fcont_1__t30_fcont_1.vout2024-08-03 06:47 2.0K 
[ ]fcont_1__t31_fcont_12024-07-27 10:12 44K 
[ ]fcont_1__t31_fcont_1.vout2024-08-03 07:44 7.3K 
[ ]fcont_1__t32_fcont_12024-07-27 10:14 45K 
[ ]fcont_1__t32_fcont_1.vout2024-08-03 08:11 2.0K 
[ ]fcont_1__t33_fcont_12024-07-27 10:15 36K 
[ ]fcont_1__t33_fcont_1.depv12024-08-03 10:19 89  
[ ]fcont_1__t33_fcont_1.depvmin12024-08-03 10:24 89  
[ ]fcont_1__t33_fcont_1.vmin12024-08-03 10:19 1.2K 
[ ]fcont_1__t33_fcont_1.vmin1out2024-08-03 10:22 11K 
[ ]fcont_1__t33_fcont_1.vout2024-08-03 05:34 15K 
[ ]fcont_1__t34_fcont_12024-07-27 10:17 44K 
[ ]fcont_1__t34_fcont_1.vout2024-08-03 05:11 6.8K 
[ ]fcont_1__t35_fcont_12024-07-27 10:18 53K 
[ ]fcont_1__t35_fcont_1.vout2024-08-03 07:48 6.8K 
[ ]fcont_1__t36_fcont_12024-07-27 10:19 44K 
[ ]fcont_1__t36_fcont_1.vout2024-08-03 06:51 4.7K 
[ ]fcont_1__t37_fcont_12024-07-27 10:21 42K 
[ ]fcont_1__t37_fcont_1.depv12024-08-03 10:19 185  
[ ]fcont_1__t37_fcont_1.depvmin12024-08-03 10:24 185  
[ ]fcont_1__t37_fcont_1.vmin12024-08-03 10:19 2.2K 
[ ]fcont_1__t37_fcont_1.vmin1out2024-08-03 10:23 22K 
[ ]fcont_1__t37_fcont_1.vout2024-08-03 07:57 28K 
[ ]fcont_1__t38_fcont_12024-07-27 10:22 47K 
[ ]fcont_1__t38_fcont_1.depv12024-08-03 10:19 327  
[ ]fcont_1__t38_fcont_1.depvmin12024-08-03 10:24 315  
[ ]fcont_1__t38_fcont_1.vmin12024-08-03 10:19 3.4K 
[ ]fcont_1__t38_fcont_1.vmin1out2024-08-03 10:22 30K 
[ ]fcont_1__t38_fcont_1.vout2024-08-03 05:36 40K 
[ ]fcont_1__t39_fcont_12024-07-27 10:24 45K 
[ ]fcont_1__t39_fcont_1.depv12024-08-03 10:19 179  
[ ]fcont_1__t39_fcont_1.depvmin12024-08-03 10:24 135  
[ ]fcont_1__t39_fcont_1.vmin12024-08-03 10:19 1.6K 
[ ]fcont_1__t39_fcont_1.vmin1out2024-08-03 10:23 9.9K 
[ ]fcont_1__t39_fcont_1.vout2024-08-03 09:04 15K 
[ ]fcont_1__t40_fcont_12024-07-27 10:25 39K 
[ ]fcont_1__t40_fcont_1.vout2024-08-03 07:50 2.0K 
[ ]fcont_1__t41_fcont_12024-07-27 10:27 63K 
[ ]fcont_1__t41_fcont_1.vout2024-08-03 10:10 2.0K 
[ ]fcont_1__t42_fcont_12024-07-27 10:28 59K 
[ ]fcont_1__t42_fcont_1.vout2024-08-03 07:29 4.7K 
[ ]fcont_1__t43_fcont_12024-07-27 10:30 48K 
[ ]fcont_1__t43_fcont_1.vout2024-08-03 06:55 6.8K 
[ ]fcont_1__t44_fcont_12024-07-27 10:31 39K 
[ ]fcont_1__t44_fcont_1.vout2024-08-03 06:01 2.0K 
[ ]fcont_1__t45_fcont_12024-07-27 10:33 39K 
[ ]fcont_1__t45_fcont_1.vout2024-08-03 08:06 2.0K 
[ ]fcont_1__t46_fcont_12024-07-27 10:35 131K 
[ ]fcont_1__t46_fcont_1.vout2024-08-03 07:30 3.7K 
[ ]fcont_1__t47_fcont_12024-07-27 10:37 46K 
[ ]fcont_1__t47_fcont_1.vout2024-08-03 09:46 7.3K 
[ ]fcont_1__t48_fcont_12024-07-27 10:38 38K 
[ ]fcont_1__t48_fcont_1.depv12024-08-03 10:19 169  
[ ]fcont_1__t48_fcont_1.depvmin12024-08-03 10:24 169  
[ ]fcont_1__t48_fcont_1.vmin12024-08-03 10:19 1.6K 
[ ]fcont_1__t48_fcont_1.vmin1out2024-08-03 10:21 18K 
[ ]fcont_1__t48_fcont_1.vout2024-08-03 10:04 19K 
[ ]fcont_1__t49_fcont_12024-07-27 10:40 38K 
[ ]fcont_1__t49_fcont_1.depv12024-08-03 10:19 137  
[ ]fcont_1__t49_fcont_1.depvmin12024-08-03 10:24 137  
[ ]fcont_1__t49_fcont_1.vmin12024-08-03 10:19 1.5K 
[ ]fcont_1__t49_fcont_1.vmin1out2024-08-03 10:22 16K 
[ ]fcont_1__t49_fcont_1.vout2024-08-03 07:29 21K 
[ ]fcont_1__t50_fcont_12024-07-27 10:41 44K 
[ ]fcont_1__t50_fcont_1.vout2024-08-03 08:52 6.2K 
[ ]fcont_1__t51_fcont_12024-07-27 10:43 58K 
[ ]fcont_1__t51_fcont_1.vout2024-08-03 05:57 7.8K 
[ ]fcont_1__t52_fcont_12024-07-27 10:44 58K 
[ ]fcont_1__t52_fcont_1.vout2024-08-03 06:46 7.8K 
[ ]fcont_1__t53_fcont_12024-07-27 10:46 58K 
[ ]fcont_1__t53_fcont_1.vout2024-08-03 09:42 7.8K 
[ ]fcont_1__t54_fcont_12024-07-27 10:47 58K 
[ ]fcont_1__t54_fcont_1.vout2024-08-03 06:33 7.8K 
[ ]fcont_1__t55_fcont_12024-07-27 10:49 47K 
[ ]fcont_1__t55_fcont_1.vout2024-08-03 09:54 7.8K 
[ ]fcont_1__t57_fcont_12024-07-27 10:51 62K 
[ ]fcont_1__t57_fcont_1.vout2024-08-03 04:46 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80