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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__l3_dtconstr2024-07-27 15:04 32K 
[ ]dtconstr__l3_dtconstr.depv12024-08-03 10:19 240  
[ ]dtconstr__l3_dtconstr.depvmin12024-08-03 10:24 229  
[ ]dtconstr__l3_dtconstr.vmin12024-08-03 10:19 2.3K 
[ ]dtconstr__l3_dtconstr.vmin1out2024-08-03 10:20 47K 
[ ]dtconstr__l3_dtconstr.vout2024-08-03 05:55 26K 
[ ]dtconstr__l12_dtconstr2024-07-27 14:07 41K 
[ ]dtconstr__l12_dtconstr.depv12024-08-03 10:19 64  
[ ]dtconstr__l12_dtconstr.depvmin12024-08-03 10:24 64  
[ ]dtconstr__l12_dtconstr.vmin12024-08-03 10:19 670  
[ ]dtconstr__l12_dtconstr.vmin1out2024-08-03 10:21 11K 
[ ]dtconstr__l12_dtconstr.vout2024-08-03 10:01 11K 
[ ]dtconstr__l13_dtconstr2024-07-27 14:08 35K 
[ ]dtconstr__l13_dtconstr.depv12024-08-03 10:19 226  
[ ]dtconstr__l13_dtconstr.depvmin12024-08-03 10:24 178  
[ ]dtconstr__l13_dtconstr.vmin12024-08-03 10:19 1.6K 
[ ]dtconstr__l13_dtconstr.vmin1out2024-08-03 10:23 13K 
[ ]dtconstr__l13_dtconstr.vout2024-08-03 09:48 16K 
[ ]dtconstr__l14_dtconstr2024-07-27 14:10 41K 
[ ]dtconstr__l14_dtconstr.depv12024-08-03 10:19 340  
[ ]dtconstr__l14_dtconstr.depvmin12024-08-03 10:24 328  
[ ]dtconstr__l14_dtconstr.vmin12024-08-03 10:19 2.4K 
[ ]dtconstr__l14_dtconstr.vmin1out2024-08-03 10:22 28K 
[ ]dtconstr__l14_dtconstr.vout2024-08-03 09:38 25K 
[ ]dtconstr__l15_dtconstr2024-07-27 14:12 41K 
[ ]dtconstr__l15_dtconstr.depv12024-08-03 10:19 249  
[ ]dtconstr__l15_dtconstr.depvmin12024-08-03 10:24 194  
[ ]dtconstr__l15_dtconstr.vmin12024-08-03 10:19 2.2K 
[ ]dtconstr__l15_dtconstr.vmin1out2024-08-03 10:23 20K 
[ ]dtconstr__l15_dtconstr.vout2024-08-03 06:37 25K 
[ ]dtconstr__l16_dtconstr2024-07-27 14:13 41K 
[ ]dtconstr__l16_dtconstr.depv12024-08-03 10:19 340  
[ ]dtconstr__l16_dtconstr.depvmin12024-08-03 10:24 328  
[ ]dtconstr__l16_dtconstr.vmin12024-08-03 10:19 2.4K 
[ ]dtconstr__l16_dtconstr.vmin1out2024-08-03 10:21 28K 
[ ]dtconstr__l16_dtconstr.vout2024-08-03 08:21 25K 
[ ]dtconstr__l17_dtconstr2024-07-27 14:15 41K 
[ ]dtconstr__l17_dtconstr.depv12024-08-03 10:19 249  
[ ]dtconstr__l17_dtconstr.depvmin12024-08-03 10:24 194  
[ ]dtconstr__l17_dtconstr.vmin12024-08-03 10:19 2.2K 
[ ]dtconstr__l17_dtconstr.vmin1out2024-08-03 10:21 20K 
[ ]dtconstr__l17_dtconstr.vout2024-08-03 10:13 25K 
[ ]dtconstr__l18_dtconstr2024-07-27 14:27 34K 
[ ]dtconstr__l18_dtconstr.depv12024-08-03 10:19 93  
[ ]dtconstr__l18_dtconstr.depvmin12024-08-03 10:24 93  
[ ]dtconstr__l18_dtconstr.vmin12024-08-03 10:19 961  
[ ]dtconstr__l18_dtconstr.vmin1out2024-08-03 10:22 24K 
[ ]dtconstr__l18_dtconstr.vout2024-08-03 09:05 34K 
[ ]dtconstr__l19_dtconstr2024-07-27 15:06 41K 
[ ]dtconstr__l19_dtconstr.depv12024-08-03 10:19 368  
[ ]dtconstr__l19_dtconstr.depvmin12024-08-03 10:24 319  
[ ]dtconstr__l19_dtconstr.vmin12024-08-03 10:19 3.1K 
[ ]dtconstr__l19_dtconstr.vmin1out2024-08-03 10:20 34K 
[ ]dtconstr__l19_dtconstr.vout2024-08-03 07:13 34K 
[ ]dtconstr__l20_dtconstr2024-07-27 14:16 34K 
[ ]dtconstr__l20_dtconstr.depv12024-08-03 10:19 119  
[ ]dtconstr__l20_dtconstr.depvmin12024-08-03 10:24 119  
[ ]dtconstr__l20_dtconstr.vmin12024-08-03 10:19 784  
[ ]dtconstr__l20_dtconstr.vmin1out2024-08-03 10:21 10K 
[ ]dtconstr__l20_dtconstr.vout2024-08-03 08:51 12K 
[ ]dtconstr__l21_dtconstr2024-07-27 15:08 42K 
[ ]dtconstr__l21_dtconstr.vout2024-08-03 04:29 5.3K 
[ ]dtconstr__l22_dtconstr2024-07-27 14:29 34K 
[ ]dtconstr__l22_dtconstr.vout2024-08-03 07:02 10K 
[ ]dtconstr__l23_dtconstr2024-07-27 14:18 40K 
[ ]dtconstr__l23_dtconstr.depv12024-08-03 10:19 238  
[ ]dtconstr__l23_dtconstr.depvmin12024-08-03 10:24 238  
[ ]dtconstr__l23_dtconstr.vmin12024-08-03 10:19 1.5K 
[ ]dtconstr__l23_dtconstr.vmin1out2024-08-03 10:21 13K 
[ ]dtconstr__l23_dtconstr.vout2024-08-03 08:36 13K 
[ ]dtconstr__l24_dtconstr2024-07-27 14:20 35K 
[ ]dtconstr__l24_dtconstr.depv12024-08-03 10:19 159  
[ ]dtconstr__l24_dtconstr.depvmin12024-08-03 10:24 159  
[ ]dtconstr__l24_dtconstr.vmin12024-08-03 10:19 960  
[ ]dtconstr__l24_dtconstr.vmin1out2024-08-03 10:21 6.9K 
[ ]dtconstr__l24_dtconstr.vout2024-08-03 07:53 8.3K 
[ ]dtconstr__l25_dtconstr2024-07-27 15:09 37K 
[ ]dtconstr__l25_dtconstr.vout2024-08-03 06:33 5.3K 
[ ]dtconstr__l26_dtconstr2024-07-27 14:21 35K 
[ ]dtconstr__l26_dtconstr.vout2024-08-03 05:12 10K 
[ ]dtconstr__l27_dtconstr2024-07-27 14:23 45K 
[ ]dtconstr__l27_dtconstr.depv12024-08-03 10:19 102  
[ ]dtconstr__l27_dtconstr.depvmin12024-08-03 10:24 102  
[ ]dtconstr__l27_dtconstr.vmin12024-08-03 10:19 1.8K 
[ ]dtconstr__l27_dtconstr.vmin1out2024-08-03 10:20 17K 
[ ]dtconstr__l27_dtconstr.vout2024-08-03 06:01 17K 
[ ]dtconstr__l31_dtconstr2024-07-27 15:12 61K 
[ ]dtconstr__l31_dtconstr.vout2024-08-03 10:04 5.9K 
[ ]dtconstr__l35_dtconstr2024-07-27 14:24 35K 
[ ]dtconstr__l35_dtconstr.depv12024-08-03 10:19 190  
[ ]dtconstr__l35_dtconstr.depvmin12024-08-03 10:24 190  
[ ]dtconstr__l35_dtconstr.vmin12024-08-03 10:19 1.5K 
[ ]dtconstr__l35_dtconstr.vmin1out2024-08-03 10:21 13K 
[ ]dtconstr__l35_dtconstr.vout2024-08-03 10:08 13K 
[ ]dtconstr__l36_dtconstr2024-07-27 14:26 35K 
[ ]dtconstr__l36_dtconstr.depv12024-08-03 10:19 190  
[ ]dtconstr__l36_dtconstr.depvmin12024-08-03 10:24 190  
[ ]dtconstr__l36_dtconstr.vmin12024-08-03 10:19 1.5K 
[ ]dtconstr__l36_dtconstr.vmin1out2024-08-03 10:22 12K 
[ ]dtconstr__l36_dtconstr.vout2024-08-03 09:48 13K 
[ ]dtconstr__l42_dtconstr2024-07-27 15:14 60K 
[ ]dtconstr__l42_dtconstr.depv12024-08-03 10:19 400  
[ ]dtconstr__l42_dtconstr.depvmin12024-08-03 10:24 400  
[ ]dtconstr__l42_dtconstr.vmin12024-08-03 10:19 4.7K 
[ ]dtconstr__l42_dtconstr.vmin1out2024-08-03 10:22 40K 
[ ]dtconstr__l42_dtconstr.vout2024-08-03 06:11 49K 
[ ]dtconstr__l43_dtconstr2024-07-27 15:16 79K 
[ ]dtconstr__l43_dtconstr.vout2024-08-03 04:33 4.7K 
[ ]dtconstr__t1_dtconstr2024-07-27 14:30 33K 
[ ]dtconstr__t1_dtconstr.depv12024-08-03 10:19 47  
[ ]dtconstr__t1_dtconstr.depvmin12024-08-03 10:24 47  
[ ]dtconstr__t1_dtconstr.vmin12024-08-03 10:19 503  
[ ]dtconstr__t1_dtconstr.vmin1out2024-08-03 10:23 4.4K 
[ ]dtconstr__t1_dtconstr.vout2024-08-03 04:37 6.0K 
[ ]dtconstr__t2_dtconstr2024-07-27 14:32 40K 
[ ]dtconstr__t2_dtconstr.depv12024-08-03 10:19 148  
[ ]dtconstr__t2_dtconstr.depvmin12024-08-03 10:24 148  
[ ]dtconstr__t2_dtconstr.vmin12024-08-03 10:19 1.3K 
[ ]dtconstr__t2_dtconstr.vmin1out2024-08-03 10:23 19K 
[ ]dtconstr__t2_dtconstr.vout2024-08-03 08:07 19K 
[ ]dtconstr__t3_dtconstr2024-07-27 14:05 29K 
[ ]dtconstr__t3_dtconstr.depv12024-08-03 10:19 160  
[ ]dtconstr__t3_dtconstr.depvmin12024-08-03 10:24 136  
[ ]dtconstr__t3_dtconstr.vmin12024-08-03 10:19 1.2K 
[ ]dtconstr__t3_dtconstr.vmin1out2024-08-03 10:22 11K 
[ ]dtconstr__t3_dtconstr.vout2024-08-03 07:53 11K 
[ ]dtconstr__t4_dtconstr2024-07-27 14:33 39K 
[ ]dtconstr__t4_dtconstr.vout2024-08-03 09:21 7.9K 
[ ]dtconstr__t5_dtconstr2024-07-27 14:35 46K 
[ ]dtconstr__t5_dtconstr.vout2024-08-03 05:22 6.8K 
[ ]dtconstr__t6_dtconstr2024-07-27 14:37 50K 
[ ]dtconstr__t6_dtconstr.vout2024-08-03 04:40 7.3K 
[ ]dtconstr__t7_dtconstr2024-07-27 14:38 35K 
[ ]dtconstr__t7_dtconstr.depv12024-08-03 10:19 216  
[ ]dtconstr__t7_dtconstr.depvmin12024-08-03 10:24 216  
[ ]dtconstr__t7_dtconstr.vmin12024-08-03 10:19 1.7K 
[ ]dtconstr__t7_dtconstr.vmin1out2024-08-03 10:21 12K 
[ ]dtconstr__t7_dtconstr.vout2024-08-03 09:25 26K 
[ ]dtconstr__t8_dtconstr2024-07-27 14:39 28K 
[ ]dtconstr__t8_dtconstr.depv12024-08-03 10:19 84  
[ ]dtconstr__t8_dtconstr.depvmin12024-08-03 10:24 84  
[ ]dtconstr__t8_dtconstr.vmin12024-08-03 10:19 1.1K 
[ ]dtconstr__t8_dtconstr.vmin1out2024-08-03 10:20 18K 
[ ]dtconstr__t8_dtconstr.vout2024-08-03 06:45 24K 
[ ]dtconstr__t9_dtconstr2024-07-27 14:41 60K 
[ ]dtconstr__t9_dtconstr.vout2024-08-03 07:15 7.9K 
[ ]dtconstr__t10_dtconstr2024-07-27 14:44 62K 
[ ]dtconstr__t10_dtconstr.vout2024-08-03 04:26 6.8K 
[ ]dtconstr__t11_dtconstr2024-07-27 14:46 83K 
[ ]dtconstr__t11_dtconstr.vout2024-08-03 06:41 5.9K 
[ ]dtconstr__t12_dtconstr2024-07-27 14:48 42K 
[ ]dtconstr__t12_dtconstr.depv12024-08-03 10:19 164  
[ ]dtconstr__t12_dtconstr.depvmin12024-08-03 10:24 164  
[ ]dtconstr__t12_dtconstr.vmin12024-08-03 10:19 2.6K 
[ ]dtconstr__t12_dtconstr.vmin1out2024-08-03 10:22 22K 
[ ]dtconstr__t12_dtconstr.vout2024-08-03 06:31 23K 
[ ]dtconstr__t13_dtconstr2024-07-27 14:50 73K 
[ ]dtconstr__t13_dtconstr.vout2024-08-03 07:46 7.4K 
[ ]dtconstr__t14_dtconstr2024-07-27 14:53 68K 
[ ]dtconstr__t14_dtconstr.vout2024-08-03 09:23 5.3K 
[ ]dtconstr__t15_dtconstr2024-07-27 14:55 100K 
[ ]dtconstr__t15_dtconstr.vout2024-08-03 07:25 8.4K 
[ ]dtconstr__t16_dtconstr2024-07-27 15:00 93K 
[ ]dtconstr__t16_dtconstr.vout2024-08-03 05:16 5.9K 
[ ]dtconstr__t17_dtconstr2024-07-27 14:58 100K 
[ ]dtconstr__t17_dtconstr.vout2024-08-03 08:02 8.4K 
[ ]dtconstr__t18_dtconstr2024-07-27 15:03 93K 
[ ]dtconstr__t18_dtconstr.vout2024-08-03 09:32 5.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80