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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff11__t1_ndiff112024-07-26 17:16 53K 
[ ]ndiff11__t1_ndiff11.depv12024-08-03 10:19 126  
[ ]ndiff11__t1_ndiff11.depvmin12024-08-03 10:24 101  
[ ]ndiff11__t1_ndiff11.vmin12024-08-03 10:20 2.8K 
[ ]ndiff11__t1_ndiff11.vmin1out2024-08-03 10:20 43K 
[ ]ndiff11__t1_ndiff11.vout2024-08-03 04:27 52K 
[ ]ndiff11__t2_ndiff112024-07-26 17:18 70K 
[ ]ndiff11__t2_ndiff11.vout2024-08-03 05:29 3.6K 
[ ]ndiff11__t3_ndiff112024-07-26 17:20 102K 
[ ]ndiff11__t3_ndiff11.vout2024-08-03 05:49 7.3K 
[ ]ndiff11__t4_ndiff112024-07-26 17:22 112K 
[ ]ndiff11__t4_ndiff11.vout2024-08-03 08:44 7.3K 
[ ]ndiff11__t5_ndiff112024-07-26 17:25 85K 
[ ]ndiff11__t5_ndiff11.vout2024-08-03 07:45 3.7K 
[ ]ndiff11__t6_ndiff112024-07-26 17:27 102K 
[ ]ndiff11__t6_ndiff11.vout2024-08-03 08:15 7.3K 
[ ]ndiff11__t7_ndiff112024-07-26 17:30 57K 
[ ]ndiff11__t7_ndiff11.depv12024-08-03 10:19 195  
[ ]ndiff11__t7_ndiff11.depvmin12024-08-03 10:24 195  
[ ]ndiff11__t7_ndiff11.vmin12024-08-03 10:20 4.4K 
[ ]ndiff11__t7_ndiff11.vmin1out2024-08-03 10:20 101K 
[ ]ndiff11__t7_ndiff11.vout2024-08-03 08:18 102K 
[ ]ndiff11__t8_ndiff112024-07-26 17:32 86K 
[ ]ndiff11__t8_ndiff11.vout2024-08-03 08:45 6.8K 
[ ]ndiff11__t9_ndiff112024-07-26 17:12 61K 
[ ]ndiff11__t9_ndiff11.depv12024-08-03 10:19 139  
[ ]ndiff11__t9_ndiff11.depvmin12024-08-03 10:24 139  
[ ]ndiff11__t9_ndiff11.vmin12024-08-03 10:20 2.3K 
[ ]ndiff11__t9_ndiff11.vmin1out2024-08-03 10:20 31K 
[ ]ndiff11__t9_ndiff11.vout2024-08-03 05:48 33K 
[ ]ndiff11__t10_ndiff112024-07-26 17:34 62K 
[ ]ndiff11__t10_ndiff11.depv12024-08-03 10:19 206  
[ ]ndiff11__t10_ndiff11.depvmin12024-08-03 10:24 206  
[ ]ndiff11__t10_ndiff11.vmin12024-08-03 10:20 3.4K 
[ ]ndiff11__t10_ndiff11.vmin1out2024-08-03 10:20 49K 
[ ]ndiff11__t10_ndiff11.vout2024-08-03 04:14 54K 
[ ]ndiff11__t11_ndiff112024-07-26 17:37 83K 
[ ]ndiff11__t11_ndiff11.vout2024-08-03 05:32 7.3K 
[ ]ndiff11__t12_ndiff112024-07-26 17:40 108K 
[ ]ndiff11__t12_ndiff11.depv12024-08-03 10:19 275  
[ ]ndiff11__t12_ndiff11.depvmin12024-08-03 10:24 275  
[ ]ndiff11__t12_ndiff11.vmin12024-08-03 10:20 5.2K 
[ ]ndiff11__t12_ndiff11.vmin1out2024-08-03 10:20 78K 
[ ]ndiff11__t12_ndiff11.vout2024-08-03 07:48 65K 
[ ]ndiff11__t13_ndiff112024-07-26 17:43 90K 
[ ]ndiff11__t13_ndiff11.depv12024-08-03 10:19 128  
[ ]ndiff11__t13_ndiff11.depvmin12024-08-03 10:24 128  
[ ]ndiff11__t13_ndiff11.vmin12024-08-03 10:20 2.3K 
[ ]ndiff11__t13_ndiff11.vmin1out2024-08-03 10:22 46K 
[ ]ndiff11__t13_ndiff11.vout2024-08-03 06:12 46K 
[ ]ndiff11__t14_ndiff112024-07-26 17:45 92K 
[ ]ndiff11__t14_ndiff11.vout2024-08-03 05:33 4.2K 
[ ]ndiff11__t15_ndiff112024-07-26 17:49 175K 
[ ]ndiff11__t15_ndiff11.vout2024-08-03 07:48 7.3K 
[ ]ndiff11__t17_ndiff112024-07-26 17:52 92K 
[ ]ndiff11__t17_ndiff11.vout2024-08-03 08:11 7.3K 
[ ]ndiff11__t18_ndiff112024-07-26 17:55 109K 
[ ]ndiff11__t18_ndiff11.vout2024-08-03 08:16 6.8K 
[ ]ndiff11__t19_ndiff112024-07-26 17:57 83K 
[ ]ndiff11__t19_ndiff11.vout2024-08-03 09:21 6.8K 
[ ]ndiff11__t20_ndiff112024-07-26 18:01 126K 
[ ]ndiff11__t20_ndiff11.vout2024-08-03 07:20 6.8K 
[ ]ndiff11__t21_ndiff112024-07-26 18:03 82K 
[ ]ndiff11__t21_ndiff11.vout2024-08-03 05:32 6.8K 
[ ]ndiff11__t22_ndiff112024-07-26 18:06 100K 
[ ]ndiff11__t22_ndiff11.vout2024-08-03 04:36 7.3K 
[ ]ndiff11__t23_ndiff112024-07-26 18:09 134K 
[ ]ndiff11__t23_ndiff11.vout2024-08-03 07:14 6.8K 
[ ]ndiff11__t24_ndiff112024-07-26 18:13 132K 
[ ]ndiff11__t24_ndiff11.vout2024-08-03 09:33 7.3K 
[ ]ndiff11__t25_ndiff112024-07-26 18:15 110K 
[ ]ndiff11__t25_ndiff11.vout2024-08-03 09:46 3.7K 
[ ]ndiff11__t26_ndiff112024-07-26 18:17 83K 
[ ]ndiff11__t26_ndiff11.vout2024-08-03 07:54 6.8K 
[ ]ndiff11__t27_ndiff112024-07-26 18:20 97K 
[ ]ndiff11__t27_ndiff11.depv12024-08-03 10:19 36  
[ ]ndiff11__t27_ndiff11.depvmin12024-08-03 10:24 36  
[ ]ndiff11__t27_ndiff11.vmin12024-08-03 10:20 3.2K 
[ ]ndiff11__t27_ndiff11.vmin1out2024-08-03 10:20 85K 
[ ]ndiff11__t27_ndiff11.vout2024-08-03 09:08 300K 
[ ]ndiff11__t28_ndiff112024-07-26 18:24 116K 
[ ]ndiff11__t28_ndiff11.vout2024-08-03 06:08 6.8K 
[ ]ndiff11__t29_ndiff112024-07-26 18:27 146K 
[ ]ndiff11__t29_ndiff11.vout2024-08-03 06:11 7.3K 
[ ]ndiff11__t30_ndiff112024-07-26 18:31 141K 
[ ]ndiff11__t30_ndiff11.vout2024-08-03 08:19 7.3K 
[ ]ndiff11__t31_ndiff112024-07-26 18:34 104K 
[ ]ndiff11__t31_ndiff11.depv12024-08-03 10:19 142  
[ ]ndiff11__t31_ndiff11.depvmin12024-08-03 10:24 142  
[ ]ndiff11__t31_ndiff11.vmin12024-08-03 10:20 2.9K 
[ ]ndiff11__t31_ndiff11.vmin1out2024-08-03 10:22 53K 
[ ]ndiff11__t31_ndiff11.vout2024-08-03 09:09 55K 
[ ]ndiff11__t32_ndiff112024-07-26 17:14 111K 
[ ]ndiff11__t32_ndiff11.vout2024-08-03 08:49 3.7K 
[ ]ndiff11__t33_ndiff112024-07-26 18:37 149K 
[ ]ndiff11__t33_ndiff11.vout2024-08-03 08:40 3.7K 
[ ]ndiff11__t34_ndiff112024-07-26 18:40 119K 
[ ]ndiff11__t34_ndiff11.vout2024-08-03 06:53 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80