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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_1__t1_ndiff_12024-07-26 18:42 30K 
[ ]ndiff_1__t1_ndiff_1.vout2024-08-03 06:46 5.3K 
[ ]ndiff_1__t3_ndiff_12024-07-26 19:46 28K 
[ ]ndiff_1__t3_ndiff_1.vout2024-08-03 07:24 5.4K 
[ ]ndiff_1__t4_ndiff_12024-07-26 18:44 42K 
[ ]ndiff_1__t4_ndiff_1.vout2024-08-03 08:40 3.6K 
[ ]ndiff_1__t5_ndiff_12024-07-26 18:37 24K 
[ ]ndiff_1__t5_ndiff_1.depv12024-08-03 10:19 43  
[ ]ndiff_1__t5_ndiff_1.depvmin12024-08-03 10:24 43  
[ ]ndiff_1__t5_ndiff_1.vmin12024-08-03 10:20 1.7K 
[ ]ndiff_1__t5_ndiff_1.vmin1out2024-08-03 10:20 41K 
[ ]ndiff_1__t5_ndiff_1.vout2024-08-03 07:12 51K 
[ ]ndiff_1__t6_ndiff_12024-07-26 18:45 37K 
[ ]ndiff_1__t6_ndiff_1.vout2024-08-03 06:04 7.3K 
[ ]ndiff_1__t7_ndiff_12024-07-26 18:47 31K 
[ ]ndiff_1__t7_ndiff_1.vout2024-08-03 04:11 2.0K 
[ ]ndiff_1__t8_ndiff_12024-07-26 18:49 45K 
[ ]ndiff_1__t8_ndiff_1.vout2024-08-03 06:39 4.7K 
[ ]ndiff_1__t9_ndiff_12024-07-26 18:50 37K 
[ ]ndiff_1__t9_ndiff_1.vout2024-08-03 05:53 4.7K 
[ ]ndiff_1__t10_ndiff_12024-07-26 18:52 37K 
[ ]ndiff_1__t10_ndiff_1.vout2024-08-03 08:00 4.7K 
[ ]ndiff_1__t11_ndiff_12024-07-26 18:54 60K 
[ ]ndiff_1__t11_ndiff_1.vout2024-08-03 09:09 4.7K 
[ ]ndiff_1__t12_ndiff_12024-07-26 18:56 37K 
[ ]ndiff_1__t12_ndiff_1.vout2024-08-03 08:29 4.7K 
[ ]ndiff_1__t13_ndiff_12024-07-26 18:58 65K 
[ ]ndiff_1__t13_ndiff_1.vout2024-08-03 04:38 6.8K 
[ ]ndiff_1__t14_ndiff_12024-07-26 19:00 66K 
[ ]ndiff_1__t14_ndiff_1.vout2024-08-03 05:43 6.8K 
[ ]ndiff_1__t18_ndiff_12024-07-26 19:02 36K 
[ ]ndiff_1__t18_ndiff_1.depv12024-08-03 10:19 254  
[ ]ndiff_1__t18_ndiff_1.depvmin12024-08-03 10:24 244  
[ ]ndiff_1__t18_ndiff_1.vmin12024-08-03 10:20 4.2K 
[ ]ndiff_1__t18_ndiff_1.vmin1out2024-08-03 10:20 99K 
[ ]ndiff_1__t18_ndiff_1.vout2024-08-03 06:54 54K 
[ ]ndiff_1__t21_ndiff_12024-07-26 19:04 66K 
[ ]ndiff_1__t21_ndiff_1.vout2024-08-03 06:54 7.3K 
[ ]ndiff_1__t22_ndiff_12024-07-26 19:05 22K 
[ ]ndiff_1__t22_ndiff_1.depv12024-08-03 10:19 133  
[ ]ndiff_1__t22_ndiff_1.depvmin12024-08-03 10:24 65  
[ ]ndiff_1__t22_ndiff_1.vmin12024-08-03 10:20 1.4K 
[ ]ndiff_1__t22_ndiff_1.vmin1out2024-08-03 10:20 21K 
[ ]ndiff_1__t22_ndiff_1.vout2024-08-03 04:52 26K 
[ ]ndiff_1__t24_ndiff_12024-07-26 19:07 58K 
[ ]ndiff_1__t24_ndiff_1.vout2024-08-03 04:51 4.7K 
[ ]ndiff_1__t25_ndiff_12024-07-26 19:09 45K 
[ ]ndiff_1__t25_ndiff_1.depv12024-08-03 10:19 177  
[ ]ndiff_1__t25_ndiff_1.depvmin12024-08-03 10:24 177  
[ ]ndiff_1__t25_ndiff_1.vmin12024-08-03 10:20 4.4K 
[ ]ndiff_1__t25_ndiff_1.vmin1out2024-08-03 10:21 81K 
[ ]ndiff_1__t25_ndiff_1.vout2024-08-03 08:45 67K 
[ ]ndiff_1__t26_ndiff_12024-07-26 19:10 35K 
[ ]ndiff_1__t26_ndiff_1.depv12024-08-03 10:19 138  
[ ]ndiff_1__t26_ndiff_1.depvmin12024-08-03 10:24 113  
[ ]ndiff_1__t26_ndiff_1.vmin12024-08-03 10:20 3.2K 
[ ]ndiff_1__t26_ndiff_1.vmin1out2024-08-03 10:23 42K 
[ ]ndiff_1__t26_ndiff_1.vout2024-08-03 10:16 65K 
[ ]ndiff_1__t28_ndiff_12024-07-26 19:12 52K 
[ ]ndiff_1__t28_ndiff_1.vout2024-08-03 05:29 5.3K 
[ ]ndiff_1__t29_ndiff_12024-07-26 19:14 45K 
[ ]ndiff_1__t29_ndiff_1.vout2024-08-03 06:30 5.8K 
[ ]ndiff_1__t30_ndiff_12024-07-26 18:38 31K 
[ ]ndiff_1__t30_ndiff_1.depv12024-08-03 10:19 111  
[ ]ndiff_1__t30_ndiff_1.depvmin12024-08-03 10:24 111  
[ ]ndiff_1__t30_ndiff_1.vmin12024-08-03 10:20 2.5K 
[ ]ndiff_1__t30_ndiff_1.vmin1out2024-08-03 10:20 37K 
[ ]ndiff_1__t30_ndiff_1.vout2024-08-03 05:56 54K 
[ ]ndiff_1__t31_ndiff_12024-07-26 19:16 47K 
[ ]ndiff_1__t31_ndiff_1.vout2024-08-03 10:10 6.8K 
[ ]ndiff_1__t32_ndiff_12024-07-26 19:18 45K 
[ ]ndiff_1__t32_ndiff_1.vout2024-08-03 10:03 6.8K 
[ ]ndiff_1__t33_ndiff_12024-07-26 19:20 84K 
[ ]ndiff_1__t33_ndiff_1.vout2024-08-03 04:59 7.3K 
[ ]ndiff_1__t35_ndiff_12024-07-26 19:22 62K 
[ ]ndiff_1__t35_ndiff_1.vout2024-08-03 05:56 7.3K 
[ ]ndiff_1__t36_ndiff_12024-07-26 19:25 62K 
[ ]ndiff_1__t36_ndiff_1.vout2024-08-03 04:32 7.3K 
[ ]ndiff_1__t37_ndiff_12024-07-26 19:27 56K 
[ ]ndiff_1__t37_ndiff_1.vout2024-08-03 08:46 7.3K 
[ ]ndiff_1__t38_ndiff_12024-07-26 19:29 86K 
[ ]ndiff_1__t38_ndiff_1.vout2024-08-03 09:11 7.3K 
[ ]ndiff_1__t39_ndiff_12024-07-26 19:31 48K 
[ ]ndiff_1__t39_ndiff_1.vout2024-08-03 08:43 7.3K 
[ ]ndiff_1__t40_ndiff_12024-07-26 19:33 47K 
[ ]ndiff_1__t40_ndiff_1.vout2024-08-03 05:36 6.8K 
[ ]ndiff_1__t41_ndiff_12024-07-26 19:35 52K 
[ ]ndiff_1__t41_ndiff_1.vout2024-08-03 06:10 6.8K 
[ ]ndiff_1__t42_ndiff_12024-07-26 19:37 87K 
[ ]ndiff_1__t42_ndiff_1.vout2024-08-03 08:59 7.3K 
[ ]ndiff_1__t43_ndiff_12024-07-26 19:40 88K 
[ ]ndiff_1__t43_ndiff_1.vout2024-08-03 08:32 6.8K 
[ ]ndiff_1__t45_ndiff_12024-07-26 18:40 49K 
[ ]ndiff_1__t45_ndiff_1.depv12024-08-03 10:19 87  
[ ]ndiff_1__t45_ndiff_1.depvmin12024-08-03 10:24 87  
[ ]ndiff_1__t45_ndiff_1.vmin12024-08-03 10:20 3.9K 
[ ]ndiff_1__t45_ndiff_1.vmin1out2024-08-03 10:23 131K 
[ ]ndiff_1__t45_ndiff_1.vout2024-08-03 10:08 173K 
[ ]ndiff_1__t46_ndiff_12024-07-26 19:42 47K 
[ ]ndiff_1__t46_ndiff_1.vout2024-08-03 09:16 7.3K 
[ ]ndiff_1__t47_ndiff_12024-07-26 19:44 78K 
[ ]ndiff_1__t47_ndiff_1.vout2024-08-03 08:17 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80