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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_5__l1_nat_52024-07-27 19:48 40K 
[ ]nat_5__l1_nat_5.vout2024-08-03 10:10 4.7K 
[ ]nat_5__l7_nat_52024-07-27 19:49 42K 
[ ]nat_5__l7_nat_5.vout2024-08-03 05:28 2.0K 
[ ]nat_5__l8_nat_52024-07-27 19:51 40K 
[ ]nat_5__l8_nat_5.vout2024-08-03 06:33 2.0K 
[ ]nat_5__l25_nat_52024-07-27 19:52 38K 
[ ]nat_5__l25_nat_5.depv12024-08-03 10:19 328  
[ ]nat_5__l25_nat_5.depvmin12024-08-03 10:24 276  
[ ]nat_5__l25_nat_5.vmin12024-08-03 10:19 2.2K 
[ ]nat_5__l25_nat_5.vmin1out2024-08-03 10:22 32K 
[ ]nat_5__l25_nat_5.vout2024-08-03 07:42 26K 
[ ]nat_5__l26_nat_52024-07-27 19:54 79K 
[ ]nat_5__l26_nat_5.vout2024-08-03 07:49 7.2K 
[ ]nat_5__l27_nat_52024-07-27 19:56 194K 
[ ]nat_5__l27_nat_5.vout2024-08-03 09:34 6.7K 
[ ]nat_5__l28_nat_52024-07-27 19:57 87K 
[ ]nat_5__l28_nat_5.vout2024-08-03 05:52 6.7K 
[ ]nat_5__l29_nat_52024-07-27 19:59 76K 
[ ]nat_5__l29_nat_5.vout2024-08-03 06:12 7.3K 
[ ]nat_5__l30_nat_52024-07-27 20:01 113K 
[ ]nat_5__l30_nat_5.vout2024-08-03 04:24 7.2K 
[ ]nat_5__l31_nat_52024-07-27 20:03 97K 
[ ]nat_5__l31_nat_5.vout2024-08-03 04:43 3.6K 
[ ]nat_5__l38_nat_52024-07-27 20:06 123K 
[ ]nat_5__l38_nat_5.vout2024-08-03 06:01 6.7K 
[ ]nat_5__t1_nat_52024-07-27 18:40 65K 
[ ]nat_5__t1_nat_5.vout2024-08-03 07:53 2.0K 
[ ]nat_5__t2_nat_52024-07-27 18:42 52K 
[ ]nat_5__t2_nat_5.vout2024-08-03 04:19 6.7K 
[ ]nat_5__t3_nat_52024-07-27 18:43 50K 
[ ]nat_5__t3_nat_5.vout2024-08-03 10:02 4.7K 
[ ]nat_5__t4_nat_52024-07-27 18:37 35K 
[ ]nat_5__t4_nat_5.depv12024-08-03 10:19 58  
[ ]nat_5__t4_nat_5.depvmin12024-08-03 10:24 58  
[ ]nat_5__t4_nat_5.vmin12024-08-03 10:19 504  
[ ]nat_5__t4_nat_5.vmin1out2024-08-03 10:23 5.1K 
[ ]nat_5__t4_nat_5.vout2024-08-03 09:31 5.5K 
[ ]nat_5__t5_nat_52024-07-27 18:45 36K 
[ ]nat_5__t5_nat_5.depv12024-08-03 10:19 58  
[ ]nat_5__t5_nat_5.depvmin12024-08-03 10:24 58  
[ ]nat_5__t5_nat_5.vmin12024-08-03 10:19 587  
[ ]nat_5__t5_nat_5.vmin1out2024-08-03 10:20 6.2K 
[ ]nat_5__t5_nat_5.vout2024-08-03 10:09 7.7K 
[ ]nat_5__t6_nat_52024-07-27 18:46 50K 
[ ]nat_5__t6_nat_5.depv12024-08-03 10:19 223  
[ ]nat_5__t6_nat_5.depvmin12024-08-03 10:24 223  
[ ]nat_5__t6_nat_5.vmin12024-08-03 10:19 2.0K 
[ ]nat_5__t6_nat_5.vmin1out2024-08-03 10:20 18K 
[ ]nat_5__t6_nat_5.vout2024-08-03 10:04 18K 
[ ]nat_5__t7_nat_52024-07-27 18:48 70K 
[ ]nat_5__t7_nat_5.vout2024-08-03 10:11 3.6K 
[ ]nat_5__t8_nat_52024-07-27 18:50 70K 
[ ]nat_5__t8_nat_5.vout2024-08-03 07:19 7.3K 
[ ]nat_5__t9_nat_52024-07-27 18:51 52K 
[ ]nat_5__t9_nat_5.vout2024-08-03 04:30 4.1K 
[ ]nat_5__t10_nat_52024-07-27 18:53 92K 
[ ]nat_5__t10_nat_5.vout2024-08-03 07:05 3.6K 
[ ]nat_5__t11_nat_52024-07-27 18:55 91K 
[ ]nat_5__t11_nat_5.vout2024-08-03 08:44 4.2K 
[ ]nat_5__t12_nat_52024-07-27 18:57 55K 
[ ]nat_5__t12_nat_5.vout2024-08-03 09:26 7.3K 
[ ]nat_5__t13_nat_52024-07-27 18:58 43K 
[ ]nat_5__t13_nat_5.vout2024-08-03 07:54 2.0K 
[ ]nat_5__t14_nat_52024-07-27 19:00 43K 
[ ]nat_5__t14_nat_5.vout2024-08-03 10:10 7.3K 
[ ]nat_5__t15_nat_52024-07-27 19:01 52K 
[ ]nat_5__t15_nat_5.vout2024-08-03 05:44 6.7K 
[ ]nat_5__t16_nat_52024-07-27 19:03 68K 
[ ]nat_5__t16_nat_5.vout2024-08-03 05:21 7.3K 
[ ]nat_5__t17_nat_52024-07-27 19:05 46K 
[ ]nat_5__t17_nat_5.vout2024-08-03 05:40 4.7K 
[ ]nat_5__t18_nat_52024-07-27 19:06 42K 
[ ]nat_5__t18_nat_5.vout2024-08-03 05:18 6.8K 
[ ]nat_5__t19_nat_52024-07-27 19:46 42K 
[ ]nat_5__t19_nat_5.vout2024-08-03 10:13 7.3K 
[ ]nat_5__t20_nat_52024-07-27 19:08 53K 
[ ]nat_5__t20_nat_5.vout2024-08-03 07:05 7.2K 
[ ]nat_5__t21_nat_52024-07-27 18:39 32K 
[ ]nat_5__t21_nat_5.depv12024-08-03 10:19 19  
[ ]nat_5__t21_nat_5.depvmin12024-08-03 10:24 19  
[ ]nat_5__t21_nat_5.vmin12024-08-03 10:19 552  
[ ]nat_5__t21_nat_5.vmin1out2024-08-03 10:22 6.3K 
[ ]nat_5__t21_nat_5.vout2024-08-03 06:49 6.2K 
[ ]nat_5__t22_nat_52024-07-27 19:10 182K 
[ ]nat_5__t22_nat_5.vout2024-08-03 08:00 3.6K 
[ ]nat_5__t23_nat_52024-07-27 19:12 106K 
[ ]nat_5__t23_nat_5.vout2024-08-03 10:02 4.7K 
[ ]nat_5__t24_nat_52024-07-27 19:14 78K 
[ ]nat_5__t24_nat_5.vout2024-08-03 04:59 6.7K 
[ ]nat_5__t25_nat_52024-07-27 19:16 69K 
[ ]nat_5__t25_nat_5.vout2024-08-03 08:12 6.8K 
[ ]nat_5__t26_nat_52024-07-27 19:18 63K 
[ ]nat_5__t26_nat_5.vout2024-08-03 07:31 6.7K 
[ ]nat_5__t27_nat_52024-07-27 19:19 74K 
[ ]nat_5__t27_nat_5.vout2024-08-03 07:06 6.8K 
[ ]nat_5__t28_nat_52024-07-27 19:21 100K 
[ ]nat_5__t28_nat_5.vout2024-08-03 07:32 6.7K 
[ ]nat_5__t29_nat_52024-07-27 19:23 79K 
[ ]nat_5__t29_nat_5.vout2024-08-03 04:54 7.3K 
[ ]nat_5__t30_nat_52024-07-27 19:26 102K 
[ ]nat_5__t30_nat_5.vout2024-08-03 05:57 3.6K 
[ ]nat_5__t31_nat_52024-07-27 19:28 94K 
[ ]nat_5__t31_nat_5.vout2024-08-03 06:56 4.2K 
[ ]nat_5__t32_nat_52024-07-27 19:30 95K 
[ ]nat_5__t32_nat_5.vout2024-08-03 06:25 3.6K 
[ ]nat_5__t33_nat_52024-07-27 19:31 45K 
[ ]nat_5__t33_nat_5.vout2024-08-03 07:25 4.7K 
[ ]nat_5__t34_nat_52024-07-27 19:34 93K 
[ ]nat_5__t34_nat_5.vout2024-08-03 07:31 3.6K 
[ ]nat_5__t35_nat_52024-07-27 19:35 50K 
[ ]nat_5__t35_nat_5.vout2024-08-03 04:14 7.8K 
[ ]nat_5__t36_nat_52024-07-27 19:37 57K 
[ ]nat_5__t36_nat_5.depv12024-08-03 10:19 134  
[ ]nat_5__t36_nat_5.depvmin12024-08-03 10:24 134  
[ ]nat_5__t36_nat_5.vmin12024-08-03 10:19 2.1K 
[ ]nat_5__t36_nat_5.vmin1out2024-08-03 10:21 33K 
[ ]nat_5__t36_nat_5.vout2024-08-03 05:34 35K 
[ ]nat_5__t37_nat_52024-07-27 19:38 48K 
[ ]nat_5__t37_nat_5.vout2024-08-03 04:30 7.8K 
[ ]nat_5__t38_nat_52024-07-27 19:40 282K 
[ ]nat_5__t38_nat_5.vout2024-08-03 10:11 7.3K 
[ ]nat_5__t39_nat_52024-07-27 19:42 163K 
[ ]nat_5__t39_nat_5.vout2024-08-03 08:28 4.7K 
[ ]nat_5__t40_nat_52024-07-27 19:45 112K 
[ ]nat_5__t40_nat_5.vout2024-08-03 04:21 3.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80