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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latwal_1__l9_latwal_12024-07-26 19:39 8.2K 
[ ]latwal_1__l9_latwal_1.vout2024-08-03 04:33 2.0K 
[ ]latwal_1__l10_latwal_12024-07-26 19:40 7.4K 
[ ]latwal_1__l10_latwal_1.vout2024-08-03 06:09 2.0K 
[ ]latwal_1__l26_latwal_12024-07-26 19:40 3.0K 
[ ]latwal_1__l26_latwal_1.depv12024-08-03 10:19 109  
[ ]latwal_1__l26_latwal_1.depvmin12024-08-03 10:24 109  
[ ]latwal_1__l26_latwal_1.vmin12024-08-03 10:19 1.0K 
[ ]latwal_1__l26_latwal_1.vmin1out2024-08-03 10:23 15K 
[ ]latwal_1__l26_latwal_1.vout2024-08-03 08:54 15K 
[ ]latwal_1__l27_latwal_12024-07-26 19:41 3.0K 
[ ]latwal_1__l27_latwal_1.depv12024-08-03 10:19 109  
[ ]latwal_1__l27_latwal_1.depvmin12024-08-03 10:24 109  
[ ]latwal_1__l27_latwal_1.vmin12024-08-03 10:19 1.0K 
[ ]latwal_1__l27_latwal_1.vmin1out2024-08-03 10:23 15K 
[ ]latwal_1__l27_latwal_1.vout2024-08-03 08:46 15K 
[ ]latwal_1__l33_latwal_12024-07-26 19:42 14K 
[ ]latwal_1__l33_latwal_1.vout2024-08-03 06:43 4.1K 
[ ]latwal_1__l34_latwal_12024-07-26 19:43 14K 
[ ]latwal_1__l34_latwal_1.vout2024-08-03 08:38 4.1K 
[ ]latwal_1__l35_latwal_12024-07-26 19:43 11K 
[ ]latwal_1__l35_latwal_1.depv12024-08-03 10:19 227  
[ ]latwal_1__l35_latwal_1.depvmin12024-08-03 10:24 227  
[ ]latwal_1__l35_latwal_1.vmin12024-08-03 10:19 3.5K 
[ ]latwal_1__l35_latwal_1.vmin1out2024-08-03 10:20 84K 
[ ]latwal_1__l35_latwal_1.vout2024-08-03 05:42 60K 
[ ]latwal_1__l36_latwal_12024-07-26 19:44 11K 
[ ]latwal_1__l36_latwal_1.depv12024-08-03 10:19 227  
[ ]latwal_1__l36_latwal_1.depvmin12024-08-03 10:24 227  
[ ]latwal_1__l36_latwal_1.vmin12024-08-03 10:19 3.5K 
[ ]latwal_1__l36_latwal_1.vmin1out2024-08-03 10:21 86K 
[ ]latwal_1__l36_latwal_1.vout2024-08-03 06:41 63K 
[ ]latwal_1__l37_latwal_12024-07-26 19:45 13K 
[ ]latwal_1__l37_latwal_1.vout2024-08-03 07:05 8.2K 
[ ]latwal_1__l38_latwal_12024-07-26 19:46 13K 
[ ]latwal_1__l38_latwal_1.vout2024-08-03 05:11 8.2K 
[ ]latwal_1__l39_latwal_12024-07-26 19:47 10K 
[ ]latwal_1__l39_latwal_1.depv12024-08-03 10:19 219  
[ ]latwal_1__l39_latwal_1.depvmin12024-08-03 10:24 219  
[ ]latwal_1__l39_latwal_1.vmin12024-08-03 10:19 3.2K 
[ ]latwal_1__l39_latwal_1.vmin1out2024-08-03 10:22 34K 
[ ]latwal_1__l39_latwal_1.vout2024-08-03 06:19 43K 
[ ]latwal_1__l40_latwal_12024-07-26 19:48 10K 
[ ]latwal_1__l40_latwal_1.vout2024-08-03 08:39 5.3K 
[ ]latwal_1__l42_latwal_12024-07-26 19:49 7.3K 
[ ]latwal_1__l42_latwal_1.vout2024-08-03 08:12 2.0K 
[ ]latwal_1__t1_latwal_12024-07-26 19:09 7.9K 
[ ]latwal_1__t1_latwal_1.vout2024-08-03 04:24 2.0K 
[ ]latwal_1__t2_latwal_12024-07-26 19:12 7.9K 
[ ]latwal_1__t2_latwal_1.vout2024-08-03 10:14 2.0K 
[ ]latwal_1__t3_latwal_12024-07-26 19:13 7.0K 
[ ]latwal_1__t3_latwal_1.depv12024-08-03 10:19 42  
[ ]latwal_1__t3_latwal_1.depvmin12024-08-03 10:24 42  
[ ]latwal_1__t3_latwal_1.vmin12024-08-03 10:19 850  
[ ]latwal_1__t3_latwal_1.vmin1out2024-08-03 10:22 10K 
[ ]latwal_1__t3_latwal_1.vout2024-08-03 09:44 9.8K 
[ ]latwal_1__t4_latwal_12024-07-26 19:13 7.3K 
[ ]latwal_1__t4_latwal_1.depv12024-08-03 10:19 42  
[ ]latwal_1__t4_latwal_1.depvmin12024-08-03 10:24 42  
[ ]latwal_1__t4_latwal_1.vmin12024-08-03 10:19 1.1K 
[ ]latwal_1__t4_latwal_1.vmin1out2024-08-03 10:23 14K 
[ ]latwal_1__t4_latwal_1.vout2024-08-03 07:29 13K 
[ ]latwal_1__t5_latwal_12024-07-26 19:03 9.2K 
[ ]latwal_1__t5_latwal_1.depv12024-08-03 10:19 115  
[ ]latwal_1__t5_latwal_1.depvmin12024-08-03 10:24 115  
[ ]latwal_1__t5_latwal_1.vmin12024-08-03 10:19 1.8K 
[ ]latwal_1__t5_latwal_1.vmin1out2024-08-03 10:20 26K 
[ ]latwal_1__t5_latwal_1.vout2024-08-03 08:52 27K 
[ ]latwal_1__t6_latwal_12024-07-26 19:04 9.3K 
[ ]latwal_1__t6_latwal_1.depv12024-08-03 10:19 115  
[ ]latwal_1__t6_latwal_1.depvmin12024-08-03 10:24 115  
[ ]latwal_1__t6_latwal_1.vmin12024-08-03 10:19 1.8K 
[ ]latwal_1__t6_latwal_1.vmin1out2024-08-03 10:22 31K 
[ ]latwal_1__t6_latwal_1.vout2024-08-03 07:16 28K 
[ ]latwal_1__t7_latwal_12024-07-26 19:04 2.7K 
[ ]latwal_1__t7_latwal_1.depv12024-08-03 10:19 62  
[ ]latwal_1__t7_latwal_1.depvmin12024-08-03 10:24 62  
[ ]latwal_1__t7_latwal_1.vmin12024-08-03 10:19 1.1K 
[ ]latwal_1__t7_latwal_1.vmin1out2024-08-03 10:23 11K 
[ ]latwal_1__t7_latwal_1.vout2024-08-03 07:02 11K 
[ ]latwal_1__t8_latwal_12024-07-26 19:05 3.1K 
[ ]latwal_1__t8_latwal_1.depv12024-08-03 10:19 90  
[ ]latwal_1__t8_latwal_1.depvmin12024-08-03 10:24 90  
[ ]latwal_1__t8_latwal_1.vmin12024-08-03 10:19 1.6K 
[ ]latwal_1__t8_latwal_1.vmin1out2024-08-03 10:22 12K 
[ ]latwal_1__t8_latwal_1.vout2024-08-03 08:16 12K 
[ ]latwal_1__t9_latwal_12024-07-26 19:14 11K 
[ ]latwal_1__t9_latwal_1.depv12024-08-03 10:19 180  
[ ]latwal_1__t9_latwal_1.depvmin12024-08-03 10:24 180  
[ ]latwal_1__t9_latwal_1.vmin12024-08-03 10:19 2.8K 
[ ]latwal_1__t9_latwal_1.vmin1out2024-08-03 10:21 37K 
[ ]latwal_1__t9_latwal_1.vout2024-08-03 09:30 24K 
[ ]latwal_1__t10_latwal_12024-07-26 19:15 11K 
[ ]latwal_1__t10_latwal_1.depv12024-08-03 10:19 169  
[ ]latwal_1__t10_latwal_1.depvmin12024-08-03 10:24 169  
[ ]latwal_1__t10_latwal_1.vmin12024-08-03 10:19 2.5K 
[ ]latwal_1__t10_latwal_1.vmin1out2024-08-03 10:21 30K 
[ ]latwal_1__t10_latwal_1.vout2024-08-03 08:02 31K 
[ ]latwal_1__t11_latwal_12024-07-26 19:16 11K 
[ ]latwal_1__t11_latwal_1.depv12024-08-03 10:19 182  
[ ]latwal_1__t11_latwal_1.depvmin12024-08-03 10:24 182  
[ ]latwal_1__t11_latwal_1.vmin12024-08-03 10:19 2.8K 
[ ]latwal_1__t11_latwal_1.vmin1out2024-08-03 10:23 37K 
[ ]latwal_1__t11_latwal_1.vout2024-08-03 08:59 23K 
[ ]latwal_1__t12_latwal_12024-07-26 19:17 9.9K 
[ ]latwal_1__t12_latwal_1.depv12024-08-03 10:19 119  
[ ]latwal_1__t12_latwal_1.depvmin12024-08-03 10:24 119  
[ ]latwal_1__t12_latwal_1.vmin12024-08-03 10:19 2.1K 
[ ]latwal_1__t12_latwal_1.vmin1out2024-08-03 10:22 29K 
[ ]latwal_1__t12_latwal_1.vout2024-08-03 10:14 30K 
[ ]latwal_1__t13_latwal_12024-07-26 19:17 11K 
[ ]latwal_1__t13_latwal_1.depv12024-08-03 10:19 193  
[ ]latwal_1__t13_latwal_1.depvmin12024-08-03 10:24 193  
[ ]latwal_1__t13_latwal_1.vmin12024-08-03 10:19 2.8K 
[ ]latwal_1__t13_latwal_1.vmin1out2024-08-03 10:20 39K 
[ ]latwal_1__t13_latwal_1.vout2024-08-03 07:58 24K 
[ ]latwal_1__t14_latwal_12024-07-26 19:18 9.9K 
[ ]latwal_1__t14_latwal_1.depv12024-08-03 10:19 95  
[ ]latwal_1__t14_latwal_1.depvmin12024-08-03 10:24 95  
[ ]latwal_1__t14_latwal_1.vmin12024-08-03 10:19 1.9K 
[ ]latwal_1__t14_latwal_1.vmin1out2024-08-03 10:20 28K 
[ ]latwal_1__t14_latwal_1.vout2024-08-03 07:38 30K 
[ ]latwal_1__t15_latwal_12024-07-26 19:19 12K 
[ ]latwal_1__t15_latwal_1.depv12024-08-03 10:19 194  
[ ]latwal_1__t15_latwal_1.depvmin12024-08-03 10:24 194  
[ ]latwal_1__t15_latwal_1.vmin12024-08-03 10:19 3.0K 
[ ]latwal_1__t15_latwal_1.vmin1out2024-08-03 10:21 45K 
[ ]latwal_1__t15_latwal_1.vout2024-08-03 05:39 26K 
[ ]latwal_1__t16_latwal_12024-07-26 19:20 12K 
[ ]latwal_1__t16_latwal_1.depv12024-08-03 10:19 245  
[ ]latwal_1__t16_latwal_1.depvmin12024-08-03 10:24 245  
[ ]latwal_1__t16_latwal_1.vmin12024-08-03 10:19 3.5K 
[ ]latwal_1__t16_latwal_1.vmin1out2024-08-03 10:23 49K 
[ ]latwal_1__t16_latwal_1.vout2024-08-03 06:17 30K 
[ ]latwal_1__t17_latwal_12024-07-26 19:21 12K 
[ ]latwal_1__t17_latwal_1.depv12024-08-03 10:19 243  
[ ]latwal_1__t17_latwal_1.depvmin12024-08-03 10:24 243  
[ ]latwal_1__t17_latwal_1.vmin12024-08-03 10:19 3.5K 
[ ]latwal_1__t17_latwal_1.vmin1out2024-08-03 10:22 52K 
[ ]latwal_1__t17_latwal_1.vout2024-08-03 07:49 31K 
[ ]latwal_1__t18_latwal_12024-07-26 19:22 8.1K 
[ ]latwal_1__t18_latwal_1.vout2024-08-03 05:45 2.0K 
[ ]latwal_1__t19_latwal_12024-07-26 19:06 12K 
[ ]latwal_1__t19_latwal_1.depv12024-08-03 10:19 80  
[ ]latwal_1__t19_latwal_1.depvmin12024-08-03 10:24 80  
[ ]latwal_1__t19_latwal_1.vmin12024-08-03 10:19 1.3K 
[ ]latwal_1__t19_latwal_1.vmin1out2024-08-03 10:22 10K 
[ ]latwal_1__t19_latwal_1.vout2024-08-03 08:10 9.4K 
[ ]latwal_1__t20_latwal_12024-07-26 19:23 7.7K 
[ ]latwal_1__t20_latwal_1.vout2024-08-03 08:08 2.0K 
[ ]latwal_1__t21_latwal_12024-07-26 19:25 9.7K 
[ ]latwal_1__t21_latwal_1.vout2024-08-03 04:25 2.0K 
[ ]latwal_1__t22_latwal_12024-07-26 19:29 11K 
[ ]latwal_1__t22_latwal_1.vout2024-08-03 07:13 2.0K 
[ ]latwal_1__t23_latwal_12024-07-26 19:33 7.6K 
[ ]latwal_1__t23_latwal_1.vout2024-08-03 05:22 2.0K 
[ ]latwal_1__t24_latwal_12024-07-26 19:38 8.8K 
[ ]latwal_1__t24_latwal_1.vout2024-08-03 05:11 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80