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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_2__t29_nat_2.depvmin12024-08-03 10:24 183  
[ ]nat_2__t19_nat_2.depvmin12024-08-03 10:24 122  
[ ]nat_2__t16_nat_2.depvmin12024-08-03 10:24 276  
[ ]nat_2__t2_nat_2.depvmin12024-08-03 10:24 88  
[ ]nat_2__t11_nat_2.depvmin12024-08-03 10:24 91  
[ ]nat_2__t8_nat_2.depvmin12024-08-03 10:24 141  
[ ]nat_2__l21_nat_2.depvmin12024-08-03 10:24 139  
[ ]nat_2__t3_nat_2.depvmin12024-08-03 10:24 200  
[ ]nat_2__t8_nat_2.vmin1out2024-08-03 10:23 14K 
[ ]nat_2__t29_nat_2.vmin1out2024-08-03 10:22 16K 
[ ]nat_2__t2_nat_2.vmin1out2024-08-03 10:22 4.2K 
[ ]nat_2__t16_nat_2.vmin1out2024-08-03 10:21 16K 
[ ]nat_2__t11_nat_2.vmin1out2024-08-03 10:21 14K 
[ ]nat_2__t19_nat_2.vmin1out2024-08-03 10:20 6.9K 
[ ]nat_2__t10_nat_2.vmin1out2024-08-03 10:20 2.0K 
[ ]nat_2__t3_nat_2.vmin1out2024-08-03 10:20 10K 
[ ]nat_2__l21_nat_2.vmin1out2024-08-03 10:20 5.0K 
[ ]nat_2__t29_nat_2.vmin12024-08-03 10:20 1.6K 
[ ]nat_2__t19_nat_2.vmin12024-08-03 10:20 785  
[ ]nat_2__t16_nat_2.vmin12024-08-03 10:20 1.6K 
[ ]nat_2__t11_nat_2.vmin12024-08-03 10:20 1.0K 
[ ]nat_2__t10_nat_2.vmin12024-08-03 10:20 2.6K 
[ ]nat_2__t8_nat_2.vmin12024-08-03 10:20 1.2K 
[ ]nat_2__t3_nat_2.vmin12024-08-03 10:20 1.4K 
[ ]nat_2__t2_nat_2.vmin12024-08-03 10:20 494  
[ ]nat_2__l21_nat_2.vmin12024-08-03 10:20 749  
[ ]nat_2__t29_nat_2.depv12024-08-03 10:19 307  
[ ]nat_2__t16_nat_2.depv12024-08-03 10:19 276  
[ ]nat_2__t2_nat_2.depv12024-08-03 10:19 88  
[ ]nat_2__t19_nat_2.depv12024-08-03 10:19 122  
[ ]nat_2__t10_nat_2.depv12024-08-03 10:19 338  
[ ]nat_2__t8_nat_2.depv12024-08-03 10:19 141  
[ ]nat_2__t11_nat_2.depv12024-08-03 10:19 91  
[ ]nat_2__t3_nat_2.depv12024-08-03 10:19 230  
[ ]nat_2__l21_nat_2.depv12024-08-03 10:19 139  
[ ]nat_2__t22_nat_2.vout2024-08-03 10:09 7.3K 
[ ]nat_2__t9_nat_2.vout2024-08-03 10:03 2.0K 
[ ]nat_2__t10_nat_2.vout2024-08-03 09:45 24K 
[ ]nat_2__l21_nat_2.vout2024-08-03 09:14 4.9K 
[ ]nat_2__t2_nat_2.vout2024-08-03 09:10 4.3K 
[ ]nat_2__t5_nat_2.vout2024-08-03 09:03 7.2K 
[ ]nat_2__t6_nat_2.vout2024-08-03 08:55 2.0K 
[ ]nat_2__t27_nat_2.vout2024-08-03 08:52 7.2K 
[ ]nat_2__t25_nat_2.vout2024-08-03 08:51 7.2K 
[ ]nat_2__t8_nat_2.vout2024-08-03 08:33 14K 
[ ]nat_2__t29_nat_2.vout2024-08-03 08:26 17K 
[ ]nat_2__t14_nat_2.vout2024-08-03 08:09 7.3K 
[ ]nat_2__t16_nat_2.vout2024-08-03 07:54 15K 
[ ]nat_2__t7_nat_2.vout2024-08-03 07:47 2.0K 
[ ]nat_2__t21_nat_2.vout2024-08-03 07:05 7.3K 
[ ]nat_2__t1_nat_2.vout2024-08-03 06:14 2.0K 
[ ]nat_2__t20_nat_2.vout2024-08-03 06:10 7.3K 
[ ]nat_2__t24_nat_2.vout2024-08-03 06:07 7.3K 
[ ]nat_2__t4_nat_2.vout2024-08-03 05:58 7.2K 
[ ]nat_2__t17_nat_2.vout2024-08-03 05:50 2.0K 
[ ]nat_2__t18_nat_2.vout2024-08-03 05:48 7.2K 
[ ]nat_2__t28_nat_2.vout2024-08-03 05:14 8.4K 
[ ]nat_2__t26_nat_2.vout2024-08-03 05:01 7.2K 
[ ]nat_2__t12_nat_2.vout2024-08-03 04:59 7.2K 
[ ]nat_2__t30_nat_2.vout2024-08-03 04:55 2.0K 
[ ]nat_2__t15_nat_2.vout2024-08-03 04:48 7.2K 
[ ]nat_2__t23_nat_2.vout2024-08-03 04:38 7.2K 
[ ]nat_2__t19_nat_2.vout2024-08-03 04:36 6.7K 
[ ]nat_2__t3_nat_2.vout2024-08-03 04:30 24K 
[ ]nat_2__t13_nat_2.vout2024-08-03 04:17 2.0K 
[ ]nat_2__t11_nat_2.vout2024-08-03 04:17 13K 
[ ]nat_2__t30_nat_22024-07-27 22:27 21K 
[ ]nat_2__t29_nat_22024-07-27 22:26 18K 
[ ]nat_2__t27_nat_22024-07-27 22:25 20K 
[ ]nat_2__t26_nat_22024-07-27 22:24 28K 
[ ]nat_2__t25_nat_22024-07-27 22:24 19K 
[ ]nat_2__t24_nat_22024-07-27 22:23 29K 
[ ]nat_2__t23_nat_22024-07-27 22:22 135K 
[ ]nat_2__t22_nat_22024-07-27 22:21 27K 
[ ]nat_2__t21_nat_22024-07-27 22:20 23K 
[ ]nat_2__t20_nat_22024-07-27 22:20 33K 
[ ]nat_2__t19_nat_22024-07-27 22:19 9.3K 
[ ]nat_2__t18_nat_22024-07-27 22:18 79K 
[ ]nat_2__t17_nat_22024-07-27 22:17 27K 
[ ]nat_2__t16_nat_22024-07-27 22:17 22K 
[ ]nat_2__t15_nat_22024-07-27 22:16 29K 
[ ]nat_2__t14_nat_22024-07-27 22:15 20K 
[ ]nat_2__t13_nat_22024-07-27 22:14 13K 
[ ]nat_2__t12_nat_22024-07-27 22:14 14K 
[ ]nat_2__t11_nat_22024-07-27 22:13 21K 
[ ]nat_2__t10_nat_22024-07-27 22:12 27K 
[ ]nat_2__t9_nat_22024-07-27 22:11 14K 
[ ]nat_2__t8_nat_22024-07-27 22:11 14K 
[ ]nat_2__t7_nat_22024-07-27 22:10 16K 
[ ]nat_2__t6_nat_22024-07-27 22:09 16K 
[ ]nat_2__t5_nat_22024-07-27 22:09 25K 
[ ]nat_2__t4_nat_22024-07-27 22:08 15K 
[ ]nat_2__t3_nat_22024-07-27 22:07 9.7K 
[ ]nat_2__t1_nat_22024-07-27 22:07 16K 
[ ]nat_2__l21_nat_22024-07-27 22:06 9.2K 
[ ]nat_2__t28_nat_22024-07-27 22:05 7.0K 
[ ]nat_2__t2_nat_22024-07-27 22:05 7.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80