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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_1__t1_fcont_12025-09-09 16:40 46K 
[ ]fcont_1__t1_fcont_1.vout2025-09-15 14:36 7.3K 
[ ]fcont_1__t3_fcont_12025-09-09 16:42 53K 
[ ]fcont_1__t3_fcont_1.vout2025-09-15 16:59 6.8K 
[ ]fcont_1__t4_fcont_12025-09-09 16:43 45K 
[ ]fcont_1__t4_fcont_1.vout2025-09-15 16:30 6.8K 
[ ]fcont_1__t5_fcont_12025-09-09 16:45 39K 
[ ]fcont_1__t5_fcont_1.vout2025-09-15 14:29 7.3K 
[ ]fcont_1__t6_fcont_12025-09-09 16:46 44K 
[ ]fcont_1__t6_fcont_1.vout2025-09-15 15:44 6.8K 
[ ]fcont_1__t7_fcont_12025-09-09 16:48 79K 
[ ]fcont_1__t7_fcont_1.vout2025-09-15 13:33 7.3K 
[ ]fcont_1__t8_fcont_12025-09-09 16:50 45K 
[ ]fcont_1__t8_fcont_1.vout2025-09-15 19:13 7.3K 
[ ]fcont_1__t9_fcont_12025-09-09 16:51 54K 
[ ]fcont_1__t9_fcont_1.vout2025-09-15 13:32 7.3K 
[ ]fcont_1__t10_fcont_12025-09-09 16:53 53K 
[ ]fcont_1__t10_fcont_1.vout2025-09-15 16:40 6.8K 
[ ]fcont_1__t11_fcont_12025-09-09 16:55 82K 
[ ]fcont_1__t11_fcont_1.vout2025-09-15 13:32 4.7K 
[ ]fcont_1__t12_fcont_12025-09-09 16:56 48K 
[ ]fcont_1__t12_fcont_1.vout2025-09-15 17:49 6.8K 
[ ]fcont_1__t13_fcont_12025-09-09 16:58 49K 
[ ]fcont_1__t13_fcont_1.vout2025-09-15 18:49 6.8K 
[ ]fcont_1__t14_fcont_12025-09-09 16:59 50K 
[ ]fcont_1__t14_fcont_1.vout2025-09-15 14:00 6.8K 
[ ]fcont_1__t15_fcont_12025-09-09 16:37 34K 
[ ]fcont_1__t15_fcont_1.depv12025-09-15 19:47 77  
[ ]fcont_1__t15_fcont_1.depvmin12025-09-15 19:51 77  
[ ]fcont_1__t15_fcont_1.vmin12025-09-15 19:47 946  
[ ]fcont_1__t15_fcont_1.vmin1out2025-09-15 19:49 13K 
[ ]fcont_1__t15_fcont_1.vout2025-09-15 13:29 14K 
[ ]fcont_1__t16_fcont_12025-09-09 17:01 35K 
[ ]fcont_1__t16_fcont_1.depv12025-09-15 19:47 89  
[ ]fcont_1__t16_fcont_1.depvmin12025-09-15 19:51 89  
[ ]fcont_1__t16_fcont_1.vmin12025-09-15 19:47 1.2K 
[ ]fcont_1__t16_fcont_1.vmin1out2025-09-15 19:49 11K 
[ ]fcont_1__t16_fcont_1.vout2025-09-15 15:35 15K 
[ ]fcont_1__t17_fcont_12025-09-09 16:38 36K 
[ ]fcont_1__t17_fcont_1.depv12025-09-15 19:47 84  
[ ]fcont_1__t17_fcont_1.depvmin12025-09-15 19:51 84  
[ ]fcont_1__t17_fcont_1.vmin12025-09-15 19:47 784  
[ ]fcont_1__t17_fcont_1.vmin1out2025-09-15 19:51 6.4K 
[ ]fcont_1__t17_fcont_1.vout2025-09-15 15:13 6.5K 
[ ]fcont_1__t18_fcont_12025-09-09 17:03 86K 
[ ]fcont_1__t18_fcont_1.vout2025-09-15 16:51 7.3K 
[ ]fcont_1__t19_fcont_12025-09-09 17:04 59K 
[ ]fcont_1__t19_fcont_1.depv12025-09-15 19:47 176  
[ ]fcont_1__t19_fcont_1.depvmin12025-09-15 19:51 176  
[ ]fcont_1__t19_fcont_1.vmin12025-09-15 19:47 2.8K 
[ ]fcont_1__t19_fcont_1.vmin1out2025-09-15 19:48 34K 
[ ]fcont_1__t19_fcont_1.vout2025-09-15 14:27 41K 
[ ]fcont_1__t20_fcont_12025-09-09 17:06 51K 
[ ]fcont_1__t20_fcont_1.vout2025-09-15 16:31 6.8K 
[ ]fcont_1__t21_fcont_12025-09-09 17:07 67K 
[ ]fcont_1__t21_fcont_1.vout2025-09-15 16:05 6.8K 
[ ]fcont_1__t22_fcont_12025-09-09 17:09 65K 
[ ]fcont_1__t22_fcont_1.vout2025-09-15 15:04 6.8K 
[ ]fcont_1__t23_fcont_12025-09-09 17:11 47K 
[ ]fcont_1__t23_fcont_1.vout2025-09-15 19:04 2.0K 
[ ]fcont_1__t24_fcont_12025-09-09 17:13 68K 
[ ]fcont_1__t24_fcont_1.vout2025-09-15 15:06 7.3K 
[ ]fcont_1__t25_fcont_12025-09-09 17:14 42K 
[ ]fcont_1__t25_fcont_1.vout2025-09-15 15:39 4.7K 
[ ]fcont_1__t26_fcont_12025-09-09 17:15 45K 
[ ]fcont_1__t26_fcont_1.vout2025-09-15 19:18 4.7K 
[ ]fcont_1__t27_fcont_12025-09-09 17:17 63K 
[ ]fcont_1__t27_fcont_1.vout2025-09-15 18:57 6.8K 
[ ]fcont_1__t28_fcont_12025-09-09 17:19 50K 
[ ]fcont_1__t28_fcont_1.vout2025-09-15 16:53 6.8K 
[ ]fcont_1__t29_fcont_12025-09-09 17:20 42K 
[ ]fcont_1__t29_fcont_1.depv12025-09-15 19:47 305  
[ ]fcont_1__t29_fcont_1.depvmin12025-09-15 19:51 255  
[ ]fcont_1__t29_fcont_1.vmin12025-09-15 19:47 3.1K 
[ ]fcont_1__t29_fcont_1.vmin1out2025-09-15 19:48 23K 
[ ]fcont_1__t29_fcont_1.vout2025-09-15 13:37 37K 
[ ]fcont_1__t30_fcont_12025-09-09 17:22 39K 
[ ]fcont_1__t30_fcont_1.vout2025-09-15 13:55 2.0K 
[ ]fcont_1__t31_fcont_12025-09-09 17:23 44K 
[ ]fcont_1__t31_fcont_1.vout2025-09-15 14:50 6.8K 
[ ]fcont_1__t32_fcont_12025-09-09 17:25 45K 
[ ]fcont_1__t32_fcont_1.vout2025-09-15 14:22 2.0K 
[ ]fcont_1__t33_fcont_12025-09-09 17:26 36K 
[ ]fcont_1__t33_fcont_1.depv12025-09-15 19:47 89  
[ ]fcont_1__t33_fcont_1.depvmin12025-09-15 19:51 89  
[ ]fcont_1__t33_fcont_1.vmin12025-09-15 19:47 1.2K 
[ ]fcont_1__t33_fcont_1.vmin1out2025-09-15 19:50 11K 
[ ]fcont_1__t33_fcont_1.vout2025-09-15 15:40 15K 
[ ]fcont_1__t34_fcont_12025-09-09 17:27 44K 
[ ]fcont_1__t34_fcont_1.vout2025-09-15 13:26 6.8K 
[ ]fcont_1__t35_fcont_12025-09-09 17:29 53K 
[ ]fcont_1__t35_fcont_1.vout2025-09-15 15:29 7.3K 
[ ]fcont_1__t36_fcont_12025-09-09 17:30 44K 
[ ]fcont_1__t36_fcont_1.vout2025-09-15 18:00 4.7K 
[ ]fcont_1__t37_fcont_12025-09-09 17:32 42K 
[ ]fcont_1__t37_fcont_1.depv12025-09-15 19:47 185  
[ ]fcont_1__t37_fcont_1.depvmin12025-09-15 19:51 185  
[ ]fcont_1__t37_fcont_1.vmin12025-09-15 19:47 2.2K 
[ ]fcont_1__t37_fcont_1.vmin1out2025-09-15 19:48 22K 
[ ]fcont_1__t37_fcont_1.vout2025-09-15 18:45 28K 
[ ]fcont_1__t38_fcont_12025-09-09 17:33 47K 
[ ]fcont_1__t38_fcont_1.depv12025-09-15 19:47 327  
[ ]fcont_1__t38_fcont_1.depvmin12025-09-15 19:51 315  
[ ]fcont_1__t38_fcont_1.vmin12025-09-15 19:47 3.4K 
[ ]fcont_1__t38_fcont_1.vmin1out2025-09-15 19:48 30K 
[ ]fcont_1__t38_fcont_1.vout2025-09-15 19:08 40K 
[ ]fcont_1__t39_fcont_12025-09-09 17:35 45K 
[ ]fcont_1__t39_fcont_1.depv12025-09-15 19:47 179  
[ ]fcont_1__t39_fcont_1.depvmin12025-09-15 19:51 135  
[ ]fcont_1__t39_fcont_1.vmin12025-09-15 19:47 1.6K 
[ ]fcont_1__t39_fcont_1.vmin1out2025-09-15 19:49 9.9K 
[ ]fcont_1__t39_fcont_1.vout2025-09-15 15:50 15K 
[ ]fcont_1__t40_fcont_12025-09-09 17:36 39K 
[ ]fcont_1__t40_fcont_1.vout2025-09-15 14:40 2.0K 
[ ]fcont_1__t41_fcont_12025-09-09 17:38 63K 
[ ]fcont_1__t41_fcont_1.vout2025-09-15 16:30 2.0K 
[ ]fcont_1__t42_fcont_12025-09-09 17:39 59K 
[ ]fcont_1__t42_fcont_1.vout2025-09-15 18:02 4.7K 
[ ]fcont_1__t43_fcont_12025-09-09 17:41 49K 
[ ]fcont_1__t43_fcont_1.vout2025-09-15 18:36 7.3K 
[ ]fcont_1__t44_fcont_12025-09-09 17:42 39K 
[ ]fcont_1__t44_fcont_1.vout2025-09-15 19:21 2.0K 
[ ]fcont_1__t45_fcont_12025-09-09 17:43 39K 
[ ]fcont_1__t45_fcont_1.vout2025-09-15 16:15 2.0K 
[ ]fcont_1__t46_fcont_12025-09-09 17:46 131K 
[ ]fcont_1__t46_fcont_1.vout2025-09-15 15:12 3.7K 
[ ]fcont_1__t47_fcont_12025-09-09 17:48 47K 
[ ]fcont_1__t47_fcont_1.vout2025-09-15 15:03 7.3K 
[ ]fcont_1__t48_fcont_12025-09-09 17:49 38K 
[ ]fcont_1__t48_fcont_1.depv12025-09-15 19:47 169  
[ ]fcont_1__t48_fcont_1.depvmin12025-09-15 19:51 169  
[ ]fcont_1__t48_fcont_1.vmin12025-09-15 19:47 1.6K 
[ ]fcont_1__t48_fcont_1.vmin1out2025-09-15 19:50 18K 
[ ]fcont_1__t48_fcont_1.vout2025-09-15 14:15 19K 
[ ]fcont_1__t49_fcont_12025-09-09 17:50 38K 
[ ]fcont_1__t49_fcont_1.depv12025-09-15 19:47 137  
[ ]fcont_1__t49_fcont_1.depvmin12025-09-15 19:51 137  
[ ]fcont_1__t49_fcont_1.vmin12025-09-15 19:47 1.5K 
[ ]fcont_1__t49_fcont_1.vmin1out2025-09-15 19:48 16K 
[ ]fcont_1__t49_fcont_1.vout2025-09-15 16:52 21K 
[ ]fcont_1__t50_fcont_12025-09-09 17:52 44K 
[ ]fcont_1__t50_fcont_1.vout2025-09-15 19:18 6.2K 
[ ]fcont_1__t51_fcont_12025-09-09 17:53 58K 
[ ]fcont_1__t51_fcont_1.vout2025-09-15 16:53 7.8K 
[ ]fcont_1__t52_fcont_12025-09-09 17:55 58K 
[ ]fcont_1__t52_fcont_1.vout2025-09-15 16:27 7.8K 
[ ]fcont_1__t53_fcont_12025-09-09 17:57 58K 
[ ]fcont_1__t53_fcont_1.vout2025-09-15 15:01 7.8K 
[ ]fcont_1__t54_fcont_12025-09-09 17:58 58K 
[ ]fcont_1__t54_fcont_1.vout2025-09-15 19:25 7.8K 
[ ]fcont_1__t55_fcont_12025-09-09 18:00 47K 
[ ]fcont_1__t55_fcont_1.vout2025-09-15 16:52 7.8K 
[ ]fcont_1__t57_fcont_12025-09-09 18:01 62K 
[ ]fcont_1__t57_fcont_1.vout2025-09-15 15:47 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80