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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nfcont_1__l20_nfcont_12025-09-09 20:00 5.1K 
[   ]nfcont_1__l20_nfcont_1.depv12025-09-15 19:47 52  
[   ]nfcont_1__l20_nfcont_1.depvmin12025-09-15 19:51 52  
[   ]nfcont_1__l20_nfcont_1.vmin12025-09-15 19:47 286  
[   ]nfcont_1__l20_nfcont_1.vmin1out2025-09-15 19:50 2.2K 
[   ]nfcont_1__l20_nfcont_1.vout2025-09-15 15:43 2.1K 
[   ]nfcont_1__t1_nfcont_12025-09-09 20:02 25K 
[   ]nfcont_1__t1_nfcont_1.vout2025-09-15 19:42 4.1K 
[   ]nfcont_1__t2_nfcont_12025-09-09 20:03 27K 
[   ]nfcont_1__t2_nfcont_1.vout2025-09-15 19:40 4.1K 
[   ]nfcont_1__t3_nfcont_12025-09-09 21:31 15K 
[   ]nfcont_1__t3_nfcont_1.depv12025-09-15 19:47 181  
[   ]nfcont_1__t3_nfcont_1.depvmin12025-09-15 19:51 181  
[   ]nfcont_1__t3_nfcont_1.vmin12025-09-15 19:47 2.5K 
[   ]nfcont_1__t3_nfcont_1.vmin1out2025-09-15 19:49 52K 
[   ]nfcont_1__t3_nfcont_1.vout2025-09-15 19:25 23K 
[   ]nfcont_1__t4_nfcont_12025-09-09 20:05 18K 
[   ]nfcont_1__t4_nfcont_1.depv12025-09-15 19:47 175  
[   ]nfcont_1__t4_nfcont_1.depvmin12025-09-15 19:51 175  
[   ]nfcont_1__t4_nfcont_1.vmin12025-09-15 19:47 3.0K 
[   ]nfcont_1__t4_nfcont_1.vmin1out2025-09-15 19:48 71K 
[   ]nfcont_1__t4_nfcont_1.vout2025-09-15 15:08 25K 
[   ]nfcont_1__t5_nfcont_12025-09-09 20:06 26K 
[   ]nfcont_1__t5_nfcont_1.depv12025-09-15 19:47 252  
[   ]nfcont_1__t5_nfcont_1.depvmin12025-09-15 19:51 252  
[   ]nfcont_1__t5_nfcont_1.vmin12025-09-15 19:47 3.1K 
[   ]nfcont_1__t5_nfcont_1.vmin1out2025-09-15 19:51 47K 
[   ]nfcont_1__t5_nfcont_1.vout2025-09-15 17:47 46K 
[   ]nfcont_1__t6_nfcont_12025-09-09 20:08 26K 
[   ]nfcont_1__t6_nfcont_1.depv12025-09-15 19:47 242  
[   ]nfcont_1__t6_nfcont_1.depvmin12025-09-15 19:51 242  
[   ]nfcont_1__t6_nfcont_1.vmin12025-09-15 19:47 2.5K 
[   ]nfcont_1__t6_nfcont_1.vmin1out2025-09-15 19:47 42K 
[   ]nfcont_1__t6_nfcont_1.vout2025-09-15 16:23 43K 
[   ]nfcont_1__t7_nfcont_12025-09-09 20:10 42K 
[   ]nfcont_1__t7_nfcont_1.vout2025-09-15 17:43 6.8K 
[   ]nfcont_1__t8_nfcont_12025-09-09 20:12 47K 
[   ]nfcont_1__t8_nfcont_1.vout2025-09-15 14:47 6.8K 
[   ]nfcont_1__t9_nfcont_12025-09-09 20:14 36K 
[   ]nfcont_1__t9_nfcont_1.vout2025-09-15 13:27 4.7K 
[   ]nfcont_1__t10_nfcont_12025-09-09 20:16 32K 
[   ]nfcont_1__t10_nfcont_1.vout2025-09-15 19:41 7.3K 
[   ]nfcont_1__t11_nfcont_12025-09-09 20:17 35K 
[   ]nfcont_1__t11_nfcont_1.vout2025-09-15 15:14 6.8K 
[   ]nfcont_1__t12_nfcont_12025-09-09 20:19 41K 
[   ]nfcont_1__t12_nfcont_1.vout2025-09-15 13:59 6.8K 
[   ]nfcont_1__t13_nfcont_12025-09-09 20:21 33K 
[   ]nfcont_1__t13_nfcont_1.vout2025-09-15 18:13 7.3K 
[   ]nfcont_1__t14_nfcont_12025-09-09 20:23 38K 
[   ]nfcont_1__t14_nfcont_1.vout2025-09-15 18:26 6.8K 
[   ]nfcont_1__t15_nfcont_12025-09-09 20:25 43K 
[   ]nfcont_1__t15_nfcont_1.vout2025-09-15 18:57 7.3K 
[   ]nfcont_1__t16_nfcont_12025-09-09 20:26 34K 
[   ]nfcont_1__t16_nfcont_1.vout2025-09-15 19:07 7.3K 
[   ]nfcont_1__t17_nfcont_12025-09-09 20:28 39K 
[   ]nfcont_1__t17_nfcont_1.vout2025-09-15 18:38 7.3K 
[   ]nfcont_1__t18_nfcont_12025-09-09 20:30 38K 
[   ]nfcont_1__t18_nfcont_1.vout2025-09-15 13:51 6.8K 
[   ]nfcont_1__t19_nfcont_12025-09-09 20:32 39K 
[   ]nfcont_1__t19_nfcont_1.vout2025-09-15 17:24 6.8K 
[   ]nfcont_1__t20_nfcont_12025-09-09 20:34 41K 
[   ]nfcont_1__t20_nfcont_1.vout2025-09-15 19:07 6.8K 
[   ]nfcont_1__t21_nfcont_12025-09-09 20:36 34K 
[   ]nfcont_1__t21_nfcont_1.vout2025-09-15 15:40 6.8K 
[   ]nfcont_1__t22_nfcont_12025-09-09 20:37 33K 
[   ]nfcont_1__t22_nfcont_1.vout2025-09-15 19:29 6.8K 
[   ]nfcont_1__t23_nfcont_12025-09-09 20:39 37K 
[   ]nfcont_1__t23_nfcont_1.vout2025-09-15 15:08 6.8K 
[   ]nfcont_1__t24_nfcont_12025-09-09 20:41 42K 
[   ]nfcont_1__t24_nfcont_1.vout2025-09-15 16:17 6.8K 
[   ]nfcont_1__t25_nfcont_12025-09-09 20:43 46K 
[   ]nfcont_1__t25_nfcont_1.vout2025-09-15 17:14 7.3K 
[   ]nfcont_1__t26_nfcont_12025-09-09 20:45 31K 
[   ]nfcont_1__t26_nfcont_1.depv12025-09-15 19:47 78  
[   ]nfcont_1__t26_nfcont_1.depvmin12025-09-15 19:51 78  
[   ]nfcont_1__t26_nfcont_1.vmin12025-09-15 19:47 3.0K 
[   ]nfcont_1__t26_nfcont_1.vmin1out2025-09-15 19:49 79K 
[   ]nfcont_1__t26_nfcont_1.vout2025-09-15 19:26 32K 
[   ]nfcont_1__t27_nfcont_12025-09-09 20:46 37K 
[   ]nfcont_1__t27_nfcont_1.vout2025-09-15 19:23 7.3K 
[   ]nfcont_1__t28_nfcont_12025-09-09 20:49 48K 
[   ]nfcont_1__t28_nfcont_1.vout2025-09-15 17:52 7.3K 
[   ]nfcont_1__t29_nfcont_12025-09-09 20:51 42K 
[   ]nfcont_1__t29_nfcont_1.vout2025-09-15 16:34 6.8K 
[   ]nfcont_1__t30_nfcont_12025-09-09 20:53 40K 
[   ]nfcont_1__t30_nfcont_1.vout2025-09-15 18:12 7.3K 
[   ]nfcont_1__t31_nfcont_12025-09-09 20:54 40K 
[   ]nfcont_1__t31_nfcont_1.vout2025-09-15 14:49 7.3K 
[   ]nfcont_1__t32_nfcont_12025-09-09 20:56 36K 
[   ]nfcont_1__t32_nfcont_1.vout2025-09-15 19:04 7.3K 
[   ]nfcont_1__t33_nfcont_12025-09-09 20:58 28K 
[   ]nfcont_1__t33_nfcont_1.depv12025-09-15 19:47 188  
[   ]nfcont_1__t33_nfcont_1.depvmin12025-09-15 19:51 188  
[   ]nfcont_1__t33_nfcont_1.vmin12025-09-15 19:47 3.0K 
[   ]nfcont_1__t33_nfcont_1.vmin1out2025-09-15 19:49 42K 
[   ]nfcont_1__t33_nfcont_1.vout2025-09-15 17:26 35K 
[   ]nfcont_1__t34_nfcont_12025-09-09 21:00 32K 
[   ]nfcont_1__t34_nfcont_1.vout2025-09-15 16:02 7.4K 
[   ]nfcont_1__t35_nfcont_12025-09-09 21:01 31K 
[   ]nfcont_1__t35_nfcont_1.vout2025-09-15 13:34 4.1K 
[   ]nfcont_1__t36_nfcont_12025-09-09 21:03 41K 
[   ]nfcont_1__t36_nfcont_1.vout2025-09-15 19:21 6.8K 
[   ]nfcont_1__t37_nfcont_12025-09-09 21:05 38K 
[   ]nfcont_1__t37_nfcont_1.vout2025-09-15 14:50 6.8K 
[   ]nfcont_1__t38_nfcont_12025-09-09 21:07 23K 
[   ]nfcont_1__t38_nfcont_1.depv12025-09-15 19:47 58  
[   ]nfcont_1__t38_nfcont_1.depvmin12025-09-15 19:51 58  
[   ]nfcont_1__t38_nfcont_1.vmin12025-09-15 19:47 2.2K 
[   ]nfcont_1__t38_nfcont_1.vmin1out2025-09-15 19:48 51K 
[   ]nfcont_1__t38_nfcont_1.vout2025-09-15 19:05 54K 
[   ]nfcont_1__t39_nfcont_12025-09-09 21:09 46K 
[   ]nfcont_1__t39_nfcont_1.vout2025-09-15 13:40 6.8K 
[   ]nfcont_1__t40_nfcont_12025-09-09 21:10 40K 
[   ]nfcont_1__t40_nfcont_1.vout2025-09-15 14:16 6.8K 
[   ]nfcont_1__t41_nfcont_12025-09-09 21:12 42K 
[   ]nfcont_1__t41_nfcont_1.vout2025-09-15 13:53 6.8K 
[   ]nfcont_1__t42_nfcont_12025-09-09 21:14 34K 
[   ]nfcont_1__t42_nfcont_1.vout2025-09-15 15:01 7.3K 
[   ]nfcont_1__t43_nfcont_12025-09-09 21:16 37K 
[   ]nfcont_1__t43_nfcont_1.vout2025-09-15 19:39 7.3K 
[   ]nfcont_1__t44_nfcont_12025-09-09 21:18 37K 
[   ]nfcont_1__t44_nfcont_1.vout2025-09-15 19:12 7.9K 
[   ]nfcont_1__t47_nfcont_12025-09-09 21:20 37K 
[   ]nfcont_1__t47_nfcont_1.vout2025-09-15 17:43 4.7K 
[   ]nfcont_1__t48_nfcont_12025-09-09 20:00 33K 
[   ]nfcont_1__t48_nfcont_1.depv12025-09-15 19:47 39  
[   ]nfcont_1__t48_nfcont_1.depvmin12025-09-15 19:51 39  
[   ]nfcont_1__t48_nfcont_1.vmin12025-09-15 19:47 2.5K 
[   ]nfcont_1__t48_nfcont_1.vmin1out2025-09-15 19:50 41K 
[   ]nfcont_1__t48_nfcont_1.vout2025-09-15 15:56 67K 
[   ]nfcont_1__t49_nfcont_12025-09-09 21:21 32K 
[   ]nfcont_1__t49_nfcont_1.vout2025-09-15 16:08 2.0K 
[   ]nfcont_1__t50_nfcont_12025-09-09 21:23 32K 
[   ]nfcont_1__t50_nfcont_1.depv12025-09-15 19:47 304  
[   ]nfcont_1__t50_nfcont_1.depvmin12025-09-15 19:51 275  
[   ]nfcont_1__t50_nfcont_1.vmin12025-09-15 19:47 3.6K 
[   ]nfcont_1__t50_nfcont_1.vmin1out2025-09-15 19:50 28K 
[   ]nfcont_1__t50_nfcont_1.vout2025-09-15 17:09 52K 
[   ]nfcont_1__t51_nfcont_12025-09-09 21:25 41K 
[   ]nfcont_1__t51_nfcont_1.vout2025-09-15 17:34 7.3K 
[   ]nfcont_1__t52_nfcont_12025-09-09 21:27 61K 
[   ]nfcont_1__t52_nfcont_1.vout2025-09-15 16:37 7.3K 
[   ]nfcont_1__t53_nfcont_12025-09-09 21:29 35K 
[   ]nfcont_1__t53_nfcont_1.vout2025-09-15 17:17 2.0K 
[   ]nfcont_1__t54_nfcont_12025-09-09 21:30 30K 
[   ]nfcont_1__t54_nfcont_1.vout2025-09-15 14:09 6.8K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80