Index of /~mptp/mml5.63.1382/MPTP2/problems_small/dtconstr

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__l3_dtconstr2021-07-18 06:05 29K 
[ ]dtconstr__l3_dtconstr.depv12021-07-25 20:57 239  
[ ]dtconstr__l3_dtconstr.depvmin12021-07-25 21:03 228  
[ ]dtconstr__l3_dtconstr.vmin12021-07-25 20:57 2.3K 
[ ]dtconstr__l3_dtconstr.vmin1out2021-07-25 20:58 47K 
[ ]dtconstr__l3_dtconstr.vout2021-07-25 18:35 25K 
[ ]dtconstr__l12_dtconstr2021-07-18 05:50 37K 
[ ]dtconstr__l12_dtconstr.depv12021-07-25 20:57 64  
[ ]dtconstr__l12_dtconstr.depvmin12021-07-25 21:03 64  
[ ]dtconstr__l12_dtconstr.vmin12021-07-25 20:57 670  
[ ]dtconstr__l12_dtconstr.vmin1out2021-07-25 21:00 11K 
[ ]dtconstr__l12_dtconstr.vout2021-07-25 20:47 11K 
[ ]dtconstr__l13_dtconstr2021-07-18 05:50 32K 
[ ]dtconstr__l13_dtconstr.depv12021-07-25 20:57 226  
[ ]dtconstr__l13_dtconstr.depvmin12021-07-25 21:03 178  
[ ]dtconstr__l13_dtconstr.vmin12021-07-25 20:57 1.6K 
[ ]dtconstr__l13_dtconstr.vmin1out2021-07-25 21:01 13K 
[ ]dtconstr__l13_dtconstr.vout2021-07-25 15:21 16K 
[ ]dtconstr__l14_dtconstr2021-07-18 05:51 37K 
[ ]dtconstr__l14_dtconstr.depv12021-07-25 20:57 238  
[ ]dtconstr__l14_dtconstr.depvmin12021-07-25 21:03 226  
[ ]dtconstr__l14_dtconstr.vmin12021-07-25 20:57 1.8K 
[ ]dtconstr__l14_dtconstr.vmin1out2021-07-25 20:57 21K 
[ ]dtconstr__l14_dtconstr.vout2021-07-25 18:32 19K 
[ ]dtconstr__l15_dtconstr2021-07-18 05:51 37K 
[ ]dtconstr__l15_dtconstr.depv12021-07-25 20:57 225  
[ ]dtconstr__l15_dtconstr.depvmin12021-07-25 21:03 194  
[ ]dtconstr__l15_dtconstr.vmin12021-07-25 20:57 1.8K 
[ ]dtconstr__l15_dtconstr.vmin1out2021-07-25 20:58 20K 
[ ]dtconstr__l15_dtconstr.vout2021-07-25 16:57 22K 
[ ]dtconstr__l16_dtconstr2021-07-18 05:51 37K 
[ ]dtconstr__l16_dtconstr.depv12021-07-25 20:57 238  
[ ]dtconstr__l16_dtconstr.depvmin12021-07-25 21:03 226  
[ ]dtconstr__l16_dtconstr.vmin12021-07-25 20:57 1.8K 
[ ]dtconstr__l16_dtconstr.vmin1out2021-07-25 20:58 21K 
[ ]dtconstr__l16_dtconstr.vout2021-07-25 18:37 19K 
[ ]dtconstr__l17_dtconstr2021-07-18 05:52 37K 
[ ]dtconstr__l17_dtconstr.depv12021-07-25 20:57 225  
[ ]dtconstr__l17_dtconstr.depvmin12021-07-25 21:03 194  
[ ]dtconstr__l17_dtconstr.vmin12021-07-25 20:57 1.8K 
[ ]dtconstr__l17_dtconstr.vmin1out2021-07-25 20:59 20K 
[ ]dtconstr__l17_dtconstr.vout2021-07-25 18:21 22K 
[ ]dtconstr__l18_dtconstr2021-07-18 05:55 31K 
[ ]dtconstr__l18_dtconstr.depv12021-07-25 20:57 93  
[ ]dtconstr__l18_dtconstr.depvmin12021-07-25 21:03 93  
[ ]dtconstr__l18_dtconstr.vmin12021-07-25 20:57 961  
[ ]dtconstr__l18_dtconstr.vmin1out2021-07-25 21:02 24K 
[ ]dtconstr__l18_dtconstr.vout2021-07-25 17:55 34K 
[ ]dtconstr__l19_dtconstr2021-07-18 06:06 38K 
[ ]dtconstr__l19_dtconstr.depv12021-07-25 20:57 368  
[ ]dtconstr__l19_dtconstr.depvmin12021-07-25 21:03 319  
[ ]dtconstr__l19_dtconstr.vmin12021-07-25 20:57 3.1K 
[ ]dtconstr__l19_dtconstr.vmin1out2021-07-25 21:00 34K 
[ ]dtconstr__l19_dtconstr.vout2021-07-25 20:36 34K 
[ ]dtconstr__l20_dtconstr2021-07-18 05:52 32K 
[ ]dtconstr__l20_dtconstr.depv12021-07-25 20:57 119  
[ ]dtconstr__l20_dtconstr.depvmin12021-07-25 21:03 119  
[ ]dtconstr__l20_dtconstr.vmin12021-07-25 20:57 784  
[ ]dtconstr__l20_dtconstr.vmin1out2021-07-25 21:01 10K 
[ ]dtconstr__l20_dtconstr.vout2021-07-25 16:09 12K 
[ ]dtconstr__l21_dtconstr2021-07-18 06:06 38K 
[ ]dtconstr__l21_dtconstr.vout2021-07-25 15:44 5.3K 
[ ]dtconstr__l22_dtconstr2021-07-18 05:56 31K 
[ ]dtconstr__l22_dtconstr.vout2021-07-25 14:38 10K 
[ ]dtconstr__l23_dtconstr2021-07-18 05:53 36K 
[ ]dtconstr__l23_dtconstr.depv12021-07-25 20:57 238  
[ ]dtconstr__l23_dtconstr.depvmin12021-07-25 21:03 238  
[ ]dtconstr__l23_dtconstr.vmin12021-07-25 20:57 1.5K 
[ ]dtconstr__l23_dtconstr.vmin1out2021-07-25 21:02 13K 
[ ]dtconstr__l23_dtconstr.vout2021-07-25 18:29 13K 
[ ]dtconstr__l24_dtconstr2021-07-18 05:53 32K 
[ ]dtconstr__l24_dtconstr.depv12021-07-25 20:57 159  
[ ]dtconstr__l24_dtconstr.depvmin12021-07-25 21:03 159  
[ ]dtconstr__l24_dtconstr.vmin12021-07-25 20:57 960  
[ ]dtconstr__l24_dtconstr.vmin1out2021-07-25 21:00 6.9K 
[ ]dtconstr__l24_dtconstr.vout2021-07-25 20:45 8.3K 
[ ]dtconstr__l25_dtconstr2021-07-18 06:07 34K 
[ ]dtconstr__l25_dtconstr.vout2021-07-25 16:18 5.3K 
[ ]dtconstr__l26_dtconstr2021-07-18 05:54 32K 
[ ]dtconstr__l26_dtconstr.vout2021-07-25 18:07 10K 
[ ]dtconstr__l27_dtconstr2021-07-18 05:54 42K 
[ ]dtconstr__l27_dtconstr.depv12021-07-25 20:57 102  
[ ]dtconstr__l27_dtconstr.depvmin12021-07-25 21:03 102  
[ ]dtconstr__l27_dtconstr.vmin12021-07-25 20:57 1.8K 
[ ]dtconstr__l27_dtconstr.vmin1out2021-07-25 20:59 17K 
[ ]dtconstr__l27_dtconstr.vout2021-07-25 20:31 17K 
[ ]dtconstr__l31_dtconstr2021-07-18 06:07 56K 
[ ]dtconstr__l31_dtconstr.vout2021-07-25 14:59 5.9K 
[ ]dtconstr__l35_dtconstr2021-07-18 05:54 32K 
[ ]dtconstr__l35_dtconstr.depv12021-07-25 20:57 190  
[ ]dtconstr__l35_dtconstr.depvmin12021-07-25 21:03 190  
[ ]dtconstr__l35_dtconstr.vmin12021-07-25 20:57 1.5K 
[ ]dtconstr__l35_dtconstr.vmin1out2021-07-25 21:00 13K 
[ ]dtconstr__l35_dtconstr.vout2021-07-25 19:32 13K 
[ ]dtconstr__l36_dtconstr2021-07-18 05:55 32K 
[ ]dtconstr__l36_dtconstr.depv12021-07-25 20:57 190  
[ ]dtconstr__l36_dtconstr.depvmin12021-07-25 21:03 190  
[ ]dtconstr__l36_dtconstr.vmin12021-07-25 20:57 1.5K 
[ ]dtconstr__l36_dtconstr.vmin1out2021-07-25 21:02 12K 
[ ]dtconstr__l36_dtconstr.vout2021-07-25 20:14 13K 
[ ]dtconstr__l42_dtconstr2021-07-18 06:08 56K 
[ ]dtconstr__l42_dtconstr.depv12021-07-25 20:57 400  
[ ]dtconstr__l42_dtconstr.depvmin12021-07-25 21:03 400  
[ ]dtconstr__l42_dtconstr.vmin12021-07-25 20:57 4.7K 
[ ]dtconstr__l42_dtconstr.vmin1out2021-07-25 21:00 40K 
[ ]dtconstr__l42_dtconstr.vout2021-07-25 17:25 50K 
[ ]dtconstr__l43_dtconstr2021-07-18 06:09 69K 
[ ]dtconstr__l43_dtconstr.vout2021-07-25 15:57 4.7K 
[ ]dtconstr__t1_dtconstr2021-07-18 05:56 29K 
[ ]dtconstr__t1_dtconstr.depv12021-07-25 20:57 47  
[ ]dtconstr__t1_dtconstr.depvmin12021-07-25 21:03 47  
[ ]dtconstr__t1_dtconstr.vmin12021-07-25 20:57 503  
[ ]dtconstr__t1_dtconstr.vmin1out2021-07-25 21:00 4.4K 
[ ]dtconstr__t1_dtconstr.vout2021-07-25 17:47 6.0K 
[ ]dtconstr__t2_dtconstr2021-07-18 05:56 35K 
[ ]dtconstr__t2_dtconstr.depv12021-07-25 20:57 148  
[ ]dtconstr__t2_dtconstr.depvmin12021-07-25 21:03 148  
[ ]dtconstr__t2_dtconstr.vmin12021-07-25 20:57 1.3K 
[ ]dtconstr__t2_dtconstr.vmin1out2021-07-25 21:01 19K 
[ ]dtconstr__t2_dtconstr.vout2021-07-25 19:02 19K 
[ ]dtconstr__t3_dtconstr2021-07-18 05:49 27K 
[ ]dtconstr__t3_dtconstr.depv12021-07-25 20:57 159  
[ ]dtconstr__t3_dtconstr.depvmin12021-07-25 21:03 135  
[ ]dtconstr__t3_dtconstr.vmin12021-07-25 20:57 1.2K 
[ ]dtconstr__t3_dtconstr.vmin1out2021-07-25 20:59 11K 
[ ]dtconstr__t3_dtconstr.vout2021-07-25 19:25 11K 
[ ]dtconstr__t4_dtconstr2021-07-18 05:57 35K 
[ ]dtconstr__t4_dtconstr.vout2021-07-25 19:04 7.9K 
[ ]dtconstr__t5_dtconstr2021-07-18 05:57 42K 
[ ]dtconstr__t5_dtconstr.vout2021-07-25 17:41 6.8K 
[ ]dtconstr__t6_dtconstr2021-07-18 05:58 44K 
[ ]dtconstr__t6_dtconstr.vout2021-07-25 16:45 7.3K 
[ ]dtconstr__t7_dtconstr2021-07-18 05:58 32K 
[ ]dtconstr__t7_dtconstr.depv12021-07-25 20:57 216  
[ ]dtconstr__t7_dtconstr.depvmin12021-07-25 21:03 216  
[ ]dtconstr__t7_dtconstr.vmin12021-07-25 20:57 1.7K 
[ ]dtconstr__t7_dtconstr.vmin1out2021-07-25 21:01 12K 
[ ]dtconstr__t7_dtconstr.vout2021-07-25 17:28 26K 
[ ]dtconstr__t8_dtconstr2021-07-18 05:58 26K 
[ ]dtconstr__t8_dtconstr.depv12021-07-25 20:57 84  
[ ]dtconstr__t8_dtconstr.depvmin12021-07-25 21:03 84  
[ ]dtconstr__t8_dtconstr.vmin12021-07-25 20:57 1.1K 
[ ]dtconstr__t8_dtconstr.vmin1out2021-07-25 20:58 18K 
[ ]dtconstr__t8_dtconstr.vout2021-07-25 15:14 24K 
[ ]dtconstr__t9_dtconstr2021-07-18 05:59 55K 
[ ]dtconstr__t9_dtconstr.vout2021-07-25 17:00 7.9K 
[ ]dtconstr__t10_dtconstr2021-07-18 06:00 56K 
[ ]dtconstr__t10_dtconstr.vout2021-07-25 17:11 6.8K 
[ ]dtconstr__t11_dtconstr2021-07-18 06:00 77K 
[ ]dtconstr__t11_dtconstr.vout2021-07-25 20:38 5.9K 
[ ]dtconstr__t12_dtconstr2021-07-18 06:01 39K 
[ ]dtconstr__t12_dtconstr.depv12021-07-25 20:57 164  
[ ]dtconstr__t12_dtconstr.depvmin12021-07-25 21:03 164  
[ ]dtconstr__t12_dtconstr.vmin12021-07-25 20:57 2.6K 
[ ]dtconstr__t12_dtconstr.vmin1out2021-07-25 21:01 22K 
[ ]dtconstr__t12_dtconstr.vout2021-07-25 19:51 23K 
[ ]dtconstr__t13_dtconstr2021-07-18 06:01 68K 
[ ]dtconstr__t13_dtconstr.vout2021-07-25 16:07 7.4K 
[ ]dtconstr__t14_dtconstr2021-07-18 06:02 63K 
[ ]dtconstr__t14_dtconstr.vout2021-07-25 18:48 5.3K 
[ ]dtconstr__t15_dtconstr2021-07-18 06:03 92K 
[ ]dtconstr__t15_dtconstr.vout2021-07-25 19:47 8.4K 
[ ]dtconstr__t16_dtconstr2021-07-18 06:04 86K 
[ ]dtconstr__t16_dtconstr.vout2021-07-25 15:14 5.9K 
[ ]dtconstr__t17_dtconstr2021-07-18 06:04 92K 
[ ]dtconstr__t17_dtconstr.vout2021-07-25 16:47 8.4K 
[ ]dtconstr__t18_dtconstr2021-07-18 06:05 86K 
[ ]dtconstr__t18_dtconstr.vout2021-07-25 19:56 5.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80