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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nfcont_4__t1_nfcont_42025-09-08 22:59 54K 
[ ]nfcont_4__t1_nfcont_4.depv12025-09-15 19:46 24  
[ ]nfcont_4__t1_nfcont_4.depvmin12025-09-15 19:51 24  
[ ]nfcont_4__t1_nfcont_4.vmin12025-09-15 19:47 817  
[ ]nfcont_4__t1_nfcont_4.vmin1out2025-09-15 19:49 22K 
[ ]nfcont_4__t1_nfcont_4.vout2025-09-15 13:55 15K 
[ ]nfcont_4__t2_nfcont_42025-09-08 23:05 59K 
[ ]nfcont_4__t2_nfcont_4.vout2025-09-15 15:21 4.1K 
[ ]nfcont_4__t3_nfcont_42025-09-08 23:08 68K 
[ ]nfcont_4__t3_nfcont_4.vout2025-09-15 14:04 4.7K 
[ ]nfcont_4__t4_nfcont_42025-09-09 00:42 50K 
[ ]nfcont_4__t4_nfcont_4.vout2025-09-15 13:55 7.9K 
[ ]nfcont_4__t5_nfcont_42025-09-08 23:10 61K 
[ ]nfcont_4__t5_nfcont_4.vout2025-09-15 15:03 4.1K 
[ ]nfcont_4__t6_nfcont_42025-09-08 23:13 55K 
[ ]nfcont_4__t6_nfcont_4.vout2025-09-15 13:54 4.1K 
[ ]nfcont_4__t7_nfcont_42025-09-08 23:14 38K 
[ ]nfcont_4__t7_nfcont_4.vout2025-09-15 14:44 4.1K 
[ ]nfcont_4__t8_nfcont_42025-09-08 23:17 54K 
[ ]nfcont_4__t8_nfcont_4.vout2025-09-15 16:15 4.1K 
[ ]nfcont_4__t9_nfcont_42025-09-08 23:19 54K 
[ ]nfcont_4__t9_nfcont_4.vout2025-09-15 15:38 4.1K 
[ ]nfcont_4__t10_nfcont_42025-09-08 23:22 60K 
[ ]nfcont_4__t10_nfcont_4.vout2025-09-15 19:22 4.1K 
[ ]nfcont_4__t11_nfcont_42025-09-09 00:45 71K 
[ ]nfcont_4__t11_nfcont_4.vout2025-09-15 18:24 3.7K 
[ ]nfcont_4__t12_nfcont_42025-09-09 00:48 72K 
[ ]nfcont_4__t12_nfcont_4.vout2025-09-15 19:16 3.7K 
[ ]nfcont_4__t13_nfcont_42025-09-08 23:24 63K 
[ ]nfcont_4__t13_nfcont_4.vout2025-09-15 13:47 4.1K 
[ ]nfcont_4__t14_nfcont_42025-09-08 23:27 70K 
[ ]nfcont_4__t14_nfcont_4.vout2025-09-15 15:58 4.1K 
[ ]nfcont_4__t15_nfcont_42025-09-08 23:29 70K 
[ ]nfcont_4__t15_nfcont_4.vout2025-09-15 18:56 4.1K 
[ ]nfcont_4__t16_nfcont_42025-09-08 23:32 64K 
[ ]nfcont_4__t16_nfcont_4.vout2025-09-15 15:25 4.1K 
[ ]nfcont_4__t17_nfcont_42025-09-08 23:34 64K 
[ ]nfcont_4__t17_nfcont_4.vout2025-09-15 18:03 4.1K 
[ ]nfcont_4__t18_nfcont_42025-09-08 23:37 63K 
[ ]nfcont_4__t18_nfcont_4.depv12025-09-15 19:46 181  
[ ]nfcont_4__t18_nfcont_4.depvmin12025-09-15 19:51 181  
[ ]nfcont_4__t18_nfcont_4.vmin12025-09-15 19:47 3.9K 
[ ]nfcont_4__t18_nfcont_4.vmin1out2025-09-15 19:49 42K 
[ ]nfcont_4__t18_nfcont_4.vout2025-09-15 15:44 55K 
[ ]nfcont_4__t19_nfcont_42025-09-08 23:39 68K 
[ ]nfcont_4__t19_nfcont_4.vout2025-09-15 18:53 4.1K 
[ ]nfcont_4__t20_nfcont_42025-09-08 23:42 63K 
[ ]nfcont_4__t20_nfcont_4.vout2025-09-15 15:17 6.8K 
[ ]nfcont_4__t21_nfcont_42025-09-08 23:01 39K 
[ ]nfcont_4__t21_nfcont_4.depv12025-09-15 19:46 25  
[ ]nfcont_4__t21_nfcont_4.depvmin12025-09-15 19:51 25  
[ ]nfcont_4__t21_nfcont_4.vmin12025-09-15 19:47 1.0K 
[ ]nfcont_4__t21_nfcont_4.vmin1out2025-09-15 19:50 29K 
[ ]nfcont_4__t21_nfcont_4.vout2025-09-15 18:09 21K 
[ ]nfcont_4__t22_nfcont_42025-09-08 23:44 68K 
[ ]nfcont_4__t22_nfcont_4.vout2025-09-15 16:18 4.1K 
[ ]nfcont_4__t23_nfcont_42025-09-08 23:46 54K 
[ ]nfcont_4__t23_nfcont_4.vout2025-09-15 16:13 4.1K 
[ ]nfcont_4__t24_nfcont_42025-09-08 23:49 69K 
[ ]nfcont_4__t24_nfcont_4.vout2025-09-15 14:31 6.8K 
[ ]nfcont_4__t25_nfcont_42025-09-08 23:50 37K 
[ ]nfcont_4__t25_nfcont_4.depv12025-09-15 19:46 91  
[ ]nfcont_4__t25_nfcont_4.depvmin12025-09-15 19:51 91  
[ ]nfcont_4__t25_nfcont_4.vmin12025-09-15 19:47 1.3K 
[ ]nfcont_4__t25_nfcont_4.vmin1out2025-09-15 19:49 12K 
[ ]nfcont_4__t25_nfcont_4.vout2025-09-15 15:16 16K 
[ ]nfcont_4__t26_nfcont_42025-09-08 23:53 72K 
[ ]nfcont_4__t26_nfcont_4.vout2025-09-15 17:36 7.3K 
[ ]nfcont_4__t27_nfcont_42025-09-08 23:55 71K 
[ ]nfcont_4__t27_nfcont_4.vout2025-09-15 15:31 7.4K 
[ ]nfcont_4__t28_nfcont_42025-09-08 23:58 63K 
[ ]nfcont_4__t28_nfcont_4.vout2025-09-15 14:10 7.3K 
[ ]nfcont_4__t29_nfcont_42025-09-09 00:00 63K 
[ ]nfcont_4__t29_nfcont_4.vout2025-09-15 15:45 7.4K 
[ ]nfcont_4__t30_nfcont_42025-09-09 00:02 71K 
[ ]nfcont_4__t30_nfcont_4.vout2025-09-15 17:20 4.1K 
[ ]nfcont_4__t31_nfcont_42025-09-09 00:05 59K 
[ ]nfcont_4__t31_nfcont_4.vout2025-09-15 16:26 4.1K 
[ ]nfcont_4__t32_nfcont_42025-09-09 00:07 61K 
[ ]nfcont_4__t32_nfcont_4.depv12025-09-15 19:46 145  
[ ]nfcont_4__t32_nfcont_4.depvmin12025-09-15 19:51 145  
[ ]nfcont_4__t32_nfcont_4.vmin12025-09-15 19:47 3.5K 
[ ]nfcont_4__t32_nfcont_4.vmin1out2025-09-15 19:49 48K 
[ ]nfcont_4__t32_nfcont_4.vout2025-09-15 17:23 47K 
[ ]nfcont_4__t33_nfcont_42025-09-09 00:10 59K 
[ ]nfcont_4__t33_nfcont_4.vout2025-09-15 17:48 4.7K 
[ ]nfcont_4__t34_nfcont_42025-09-08 23:03 39K 
[ ]nfcont_4__t34_nfcont_4.vout2025-09-15 17:23 3.2K 
[ ]nfcont_4__t35_nfcont_42025-09-09 00:11 52K 
[ ]nfcont_4__t35_nfcont_4.vout2025-09-15 15:57 4.7K 
[ ]nfcont_4__t36_nfcont_42025-09-09 00:13 39K 
[ ]nfcont_4__t36_nfcont_4.depv12025-09-15 19:46 91  
[ ]nfcont_4__t36_nfcont_4.depvmin12025-09-15 19:51 91  
[ ]nfcont_4__t36_nfcont_4.vmin12025-09-15 19:47 1.3K 
[ ]nfcont_4__t36_nfcont_4.vmin1out2025-09-15 19:50 12K 
[ ]nfcont_4__t36_nfcont_4.vout2025-09-15 14:51 16K 
[ ]nfcont_4__t37_nfcont_42025-09-09 00:15 67K 
[ ]nfcont_4__t37_nfcont_4.vout2025-09-15 19:42 4.1K 
[ ]nfcont_4__t38_nfcont_42025-09-09 00:18 65K 
[ ]nfcont_4__t38_nfcont_4.vout2025-09-15 15:54 4.1K 
[ ]nfcont_4__t39_nfcont_42025-09-09 00:20 64K 
[ ]nfcont_4__t39_nfcont_4.vout2025-09-15 13:38 7.4K 
[ ]nfcont_4__t40_nfcont_42025-09-09 00:22 63K 
[ ]nfcont_4__t40_nfcont_4.vout2025-09-15 16:16 4.1K 
[ ]nfcont_4__t41_nfcont_42025-09-09 00:25 67K 
[ ]nfcont_4__t41_nfcont_4.vout2025-09-15 17:23 4.1K 
[ ]nfcont_4__t42_nfcont_42025-09-09 00:28 62K 
[ ]nfcont_4__t42_nfcont_4.vout2025-09-15 16:37 4.7K 
[ ]nfcont_4__t43_nfcont_42025-09-09 00:30 82K 
[ ]nfcont_4__t43_nfcont_4.vout2025-09-15 13:37 6.8K 
[ ]nfcont_4__t44_nfcont_42025-09-09 00:33 63K 
[ ]nfcont_4__t44_nfcont_4.vout2025-09-15 15:02 7.3K 
[ ]nfcont_4__t45_nfcont_42025-09-09 00:35 49K 
[ ]nfcont_4__t45_nfcont_4.vout2025-09-15 17:28 4.7K 
[ ]nfcont_4__t46_nfcont_42025-09-09 00:37 78K 
[ ]nfcont_4__t46_nfcont_4.vout2025-09-15 18:02 6.8K 
[ ]nfcont_4__t47_nfcont_42025-09-09 00:40 62K 
[ ]nfcont_4__t47_nfcont_4.vout2025-09-15 14:48 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80