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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tdlat_3__t1_tdlat_32021-07-18 00:33 8.0K 
[ ]tdlat_3__t1_tdlat_3.depv12021-07-25 20:57 78  
[ ]tdlat_3__t1_tdlat_3.depvmin12021-07-25 21:03 78  
[ ]tdlat_3__t1_tdlat_3.vmin12021-07-25 20:57 888  
[ ]tdlat_3__t1_tdlat_3.vmin1out2021-07-25 21:02 7.4K 
[ ]tdlat_3__t1_tdlat_3.vout2021-07-25 15:14 8.4K 
[ ]tdlat_3__t2_tdlat_32021-07-18 00:33 8.1K 
[ ]tdlat_3__t2_tdlat_3.depv12021-07-25 20:57 64  
[ ]tdlat_3__t2_tdlat_3.depvmin12021-07-25 21:03 64  
[ ]tdlat_3__t2_tdlat_3.vmin12021-07-25 20:57 734  
[ ]tdlat_3__t2_tdlat_3.vmin1out2021-07-25 20:58 6.5K 
[ ]tdlat_3__t2_tdlat_3.vout2021-07-25 17:31 7.5K 
[ ]tdlat_3__t3_tdlat_32021-07-18 00:33 8.0K 
[ ]tdlat_3__t3_tdlat_3.depv12021-07-25 20:57 63  
[ ]tdlat_3__t3_tdlat_3.depvmin12021-07-25 21:03 63  
[ ]tdlat_3__t3_tdlat_3.vmin12021-07-25 20:57 712  
[ ]tdlat_3__t3_tdlat_3.vmin1out2021-07-25 20:58 5.8K 
[ ]tdlat_3__t3_tdlat_3.vout2021-07-25 17:40 6.8K 
[ ]tdlat_3__t4_tdlat_32021-07-18 00:34 13K 
[ ]tdlat_3__t4_tdlat_3.vout2021-07-25 16:51 7.3K 
[ ]tdlat_3__t5_tdlat_32021-07-18 00:34 7.6K 
[ ]tdlat_3__t5_tdlat_3.depv12021-07-25 20:57 120  
[ ]tdlat_3__t5_tdlat_3.depvmin12021-07-25 21:03 83  
[ ]tdlat_3__t5_tdlat_3.vmin12021-07-25 20:57 1.6K 
[ ]tdlat_3__t5_tdlat_3.vmin1out2021-07-25 21:00 19K 
[ ]tdlat_3__t5_tdlat_3.vout2021-07-25 14:54 21K 
[ ]tdlat_3__t6_tdlat_32021-07-18 00:34 7.1K 
[ ]tdlat_3__t6_tdlat_3.depv12021-07-25 20:57 46  
[ ]tdlat_3__t6_tdlat_3.depvmin12021-07-25 21:03 46  
[ ]tdlat_3__t6_tdlat_3.vmin12021-07-25 20:57 971  
[ ]tdlat_3__t6_tdlat_3.vmin1out2021-07-25 20:57 9.4K 
[ ]tdlat_3__t6_tdlat_3.vout2021-07-25 15:02 10K 
[ ]tdlat_3__t7_tdlat_32021-07-18 00:34 7.3K 
[ ]tdlat_3__t7_tdlat_3.vout2021-07-25 19:48 7.3K 
[ ]tdlat_3__t8_tdlat_32021-07-18 00:35 7.7K 
[ ]tdlat_3__t8_tdlat_3.depv12021-07-25 20:57 94  
[ ]tdlat_3__t8_tdlat_3.depvmin12021-07-25 21:03 66  
[ ]tdlat_3__t8_tdlat_3.vmin12021-07-25 20:57 1.7K 
[ ]tdlat_3__t8_tdlat_3.vmin1out2021-07-25 20:59 14K 
[ ]tdlat_3__t8_tdlat_3.vout2021-07-25 19:53 19K 
[ ]tdlat_3__t9_tdlat_32021-07-18 00:35 7.7K 
[ ]tdlat_3__t9_tdlat_3.vout2021-07-25 16:09 7.3K 
[ ]tdlat_3__t10_tdlat_32021-07-18 00:32 3.8K 
[ ]tdlat_3__t10_tdlat_3.vout2021-07-25 17:01 3.1K 
[ ]tdlat_3__t11_tdlat_32021-07-18 00:35 4.2K 
[ ]tdlat_3__t11_tdlat_3.vout2021-07-25 17:55 7.8K 
[ ]tdlat_3__t12_tdlat_32021-07-18 00:35 4.2K 
[ ]tdlat_3__t12_tdlat_3.depv12021-07-25 20:57 111  
[ ]tdlat_3__t12_tdlat_3.depvmin12021-07-25 21:03 86  
[ ]tdlat_3__t12_tdlat_3.vmin12021-07-25 20:57 775  
[ ]tdlat_3__t12_tdlat_3.vmin1out2021-07-25 20:59 5.9K 
[ ]tdlat_3__t12_tdlat_3.vout2021-07-25 19:46 6.5K 
[ ]tdlat_3__t13_tdlat_32021-07-18 00:35 4.6K 
[ ]tdlat_3__t13_tdlat_3.depv12021-07-25 20:57 113  
[ ]tdlat_3__t13_tdlat_3.depvmin12021-07-25 21:03 113  
[ ]tdlat_3__t13_tdlat_3.vmin12021-07-25 20:57 968  
[ ]tdlat_3__t13_tdlat_3.vmin1out2021-07-25 21:00 12K 
[ ]tdlat_3__t13_tdlat_3.vout2021-07-25 15:17 17K 
[ ]tdlat_3__t14_tdlat_32021-07-18 00:36 8.8K 
[ ]tdlat_3__t14_tdlat_3.depv12021-07-25 20:57 120  
[ ]tdlat_3__t14_tdlat_3.depvmin12021-07-25 21:03 120  
[ ]tdlat_3__t14_tdlat_3.vmin12021-07-25 20:57 1.4K 
[ ]tdlat_3__t14_tdlat_3.vmin1out2021-07-25 20:59 17K 
[ ]tdlat_3__t14_tdlat_3.vout2021-07-25 15:28 18K 
[ ]tdlat_3__t15_tdlat_32021-07-18 00:36 6.2K 
[ ]tdlat_3__t15_tdlat_3.vout2021-07-25 18:44 8.4K 
[ ]tdlat_3__t16_tdlat_32021-07-18 00:36 7.4K 
[ ]tdlat_3__t16_tdlat_3.depv12021-07-25 20:57 88  
[ ]tdlat_3__t16_tdlat_3.depvmin12021-07-25 21:03 88  
[ ]tdlat_3__t16_tdlat_3.vmin12021-07-25 20:57 922  
[ ]tdlat_3__t16_tdlat_3.vmin1out2021-07-25 21:01 14K 
[ ]tdlat_3__t16_tdlat_3.vout2021-07-25 19:56 15K 
[ ]tdlat_3__t17_tdlat_32021-07-18 00:36 8.2K 
[ ]tdlat_3__t17_tdlat_3.vout2021-07-25 20:36 4.7K 
[ ]tdlat_3__t18_tdlat_32021-07-18 00:36 8.9K 
[ ]tdlat_3__t18_tdlat_3.vout2021-07-25 19:48 7.3K 
[ ]tdlat_3__t19_tdlat_32021-07-18 00:37 8.2K 
[ ]tdlat_3__t19_tdlat_3.depv12021-07-25 20:57 320  
[ ]tdlat_3__t19_tdlat_3.depvmin12021-07-25 21:03 235  
[ ]tdlat_3__t19_tdlat_3.vmin12021-07-25 20:57 3.1K 
[ ]tdlat_3__t19_tdlat_3.vmin1out2021-07-25 20:59 43K 
[ ]tdlat_3__t19_tdlat_3.vout2021-07-25 16:33 65K 
[ ]tdlat_3__t20_tdlat_32021-07-18 00:37 7.2K 
[ ]tdlat_3__t20_tdlat_3.vout2021-07-25 17:54 7.3K 
[ ]tdlat_3__t21_tdlat_32021-07-18 00:37 7.3K 
[ ]tdlat_3__t21_tdlat_3.vout2021-07-25 15:53 2.0K 
[ ]tdlat_3__t22_tdlat_32021-07-18 00:37 7.2K 
[ ]tdlat_3__t22_tdlat_3.depv12021-07-25 20:57 86  
[ ]tdlat_3__t22_tdlat_3.depvmin12021-07-25 21:03 86  
[ ]tdlat_3__t22_tdlat_3.vmin12021-07-25 20:57 1.0K 
[ ]tdlat_3__t22_tdlat_3.vmin1out2021-07-25 21:01 20K 
[ ]tdlat_3__t22_tdlat_3.vout2021-07-25 20:23 22K 
[ ]tdlat_3__t23_tdlat_32021-07-18 00:37 6.3K 
[ ]tdlat_3__t23_tdlat_3.depv12021-07-25 20:57 48  
[ ]tdlat_3__t23_tdlat_3.depvmin12021-07-25 21:03 48  
[ ]tdlat_3__t23_tdlat_3.vmin12021-07-25 20:57 833  
[ ]tdlat_3__t23_tdlat_3.vmin1out2021-07-25 21:00 16K 
[ ]tdlat_3__t23_tdlat_3.vout2021-07-25 20:45 16K 
[ ]tdlat_3__t24_tdlat_32021-07-18 00:38 6.5K 
[ ]tdlat_3__t24_tdlat_3.depv12021-07-25 20:57 57  
[ ]tdlat_3__t24_tdlat_3.depvmin12021-07-25 21:03 57  
[ ]tdlat_3__t24_tdlat_3.vmin12021-07-25 20:57 1.0K 
[ ]tdlat_3__t24_tdlat_3.vmin1out2021-07-25 21:01 19K 
[ ]tdlat_3__t24_tdlat_3.vout2021-07-25 19:56 19K 
[ ]tdlat_3__t25_tdlat_32021-07-18 00:38 9.3K 
[ ]tdlat_3__t25_tdlat_3.vout2021-07-25 16:13 5.3K 
[ ]tdlat_3__t26_tdlat_32021-07-18 00:38 6.3K 
[ ]tdlat_3__t26_tdlat_3.depv12021-07-25 20:57 60  
[ ]tdlat_3__t26_tdlat_3.depvmin12021-07-25 21:03 60  
[ ]tdlat_3__t26_tdlat_3.vmin12021-07-25 20:57 1.0K 
[ ]tdlat_3__t26_tdlat_3.vmin1out2021-07-25 21:00 22K 
[ ]tdlat_3__t26_tdlat_3.vout2021-07-25 16:19 21K 
[ ]tdlat_3__t27_tdlat_32021-07-18 00:38 12K 
[ ]tdlat_3__t27_tdlat_3.vout2021-07-25 16:04 2.0K 
[ ]tdlat_3__t28_tdlat_32021-07-18 00:38 14K 
[ ]tdlat_3__t28_tdlat_3.vout2021-07-25 18:18 6.8K 
[ ]tdlat_3__t29_tdlat_32021-07-18 00:39 18K 
[ ]tdlat_3__t29_tdlat_3.vout2021-07-25 18:46 6.8K 
[ ]tdlat_3__t30_tdlat_32021-07-18 00:39 14K 
[ ]tdlat_3__t30_tdlat_3.vout2021-07-25 15:51 7.3K 
[ ]tdlat_3__t31_tdlat_32021-07-18 00:39 12K 
[ ]tdlat_3__t31_tdlat_3.depv12021-07-25 20:57 159  
[ ]tdlat_3__t31_tdlat_3.depvmin12021-07-25 21:03 134  
[ ]tdlat_3__t31_tdlat_3.vmin12021-07-25 20:57 2.2K 
[ ]tdlat_3__t31_tdlat_3.vmin1out2021-07-25 20:59 31K 
[ ]tdlat_3__t31_tdlat_3.vout2021-07-25 19:06 51K 
[ ]tdlat_3__t32_tdlat_32021-07-18 00:39 12K 
[ ]tdlat_3__t32_tdlat_3.vout2021-07-25 16:15 7.3K 
[ ]tdlat_3__t33_tdlat_32021-07-18 00:40 10K 
[ ]tdlat_3__t33_tdlat_3.depv12021-07-25 20:57 79  
[ ]tdlat_3__t33_tdlat_3.depvmin12021-07-25 21:03 79  
[ ]tdlat_3__t33_tdlat_3.vmin12021-07-25 20:57 1.5K 
[ ]tdlat_3__t33_tdlat_3.vmin1out2021-07-25 21:00 29K 
[ ]tdlat_3__t33_tdlat_3.vout2021-07-25 18:10 30K 
[ ]tdlat_3__t34_tdlat_32021-07-18 00:40 12K 
[ ]tdlat_3__t34_tdlat_3.vout2021-07-25 16:01 7.3K 
[ ]tdlat_3__t35_tdlat_32021-07-18 00:40 11K 
[ ]tdlat_3__t35_tdlat_3.depv12021-07-25 20:57 70  
[ ]tdlat_3__t35_tdlat_3.depvmin12021-07-25 21:03 70  
[ ]tdlat_3__t35_tdlat_3.vmin12021-07-25 20:57 1.4K 
[ ]tdlat_3__t35_tdlat_3.vmin1out2021-07-25 20:58 27K 
[ ]tdlat_3__t35_tdlat_3.vout2021-07-25 20:24 26K 
[ ]tdlat_3__t36_tdlat_32021-07-18 00:40 13K 
[ ]tdlat_3__t36_tdlat_3.vout2021-07-25 18:04 7.4K 
[ ]tdlat_3__t37_tdlat_32021-07-18 00:41 15K 
[ ]tdlat_3__t37_tdlat_3.vout2021-07-25 18:20 6.8K 
[ ]tdlat_3__t38_tdlat_32021-07-18 00:41 18K 
[ ]tdlat_3__t38_tdlat_3.vout2021-07-25 20:55 7.3K 
[ ]tdlat_3__t39_tdlat_32021-07-18 00:41 11K 
[ ]tdlat_3__t39_tdlat_3.depv12021-07-25 20:57 124  
[ ]tdlat_3__t39_tdlat_3.depvmin12021-07-25 21:03 124  
[ ]tdlat_3__t39_tdlat_3.vmin12021-07-25 20:57 1.3K 
[ ]tdlat_3__t39_tdlat_3.vmin1out2021-07-25 21:00 25K 
[ ]tdlat_3__t39_tdlat_3.vout2021-07-25 16:53 25K 
[ ]tdlat_3__t40_tdlat_32021-07-18 00:41 14K 
[ ]tdlat_3__t40_tdlat_3.depv12021-07-25 20:57 201  
[ ]tdlat_3__t40_tdlat_3.depvmin12021-07-25 21:03 201  
[ ]tdlat_3__t40_tdlat_3.vmin12021-07-25 20:57 2.2K 
[ ]tdlat_3__t40_tdlat_3.vmin1out2021-07-25 20:58 20K 
[ ]tdlat_3__t40_tdlat_3.vout2021-07-25 18:31 27K 
[ ]tdlat_3__t41_tdlat_32021-07-18 00:42 19K 
[ ]tdlat_3__t41_tdlat_3.depv12021-07-25 20:57 58  
[ ]tdlat_3__t41_tdlat_3.depvmin12021-07-25 21:03 58  
[ ]tdlat_3__t41_tdlat_3.vmin12021-07-25 20:57 809  
[ ]tdlat_3__t41_tdlat_3.vmin1out2021-07-25 21:02 8.2K 
[ ]tdlat_3__t41_tdlat_3.vout2021-07-25 19:11 11K 
[ ]tdlat_3__t42_tdlat_32021-07-18 00:42 11K 
[ ]tdlat_3__t42_tdlat_3.depv12021-07-25 20:57 124  
[ ]tdlat_3__t42_tdlat_3.depvmin12021-07-25 21:03 124  
[ ]tdlat_3__t42_tdlat_3.vmin12021-07-25 20:57 1.3K 
[ ]tdlat_3__t42_tdlat_3.vmin1out2021-07-25 21:02 25K 
[ ]tdlat_3__t42_tdlat_3.vout2021-07-25 19:11 25K 
[ ]tdlat_3__t43_tdlat_32021-07-18 00:42 14K 
[ ]tdlat_3__t43_tdlat_3.depv12021-07-25 20:57 201  
[ ]tdlat_3__t43_tdlat_3.depvmin12021-07-25 21:03 201  
[ ]tdlat_3__t43_tdlat_3.vmin12021-07-25 20:57 2.2K 
[ ]tdlat_3__t43_tdlat_3.vmin1out2021-07-25 21:02 20K 
[ ]tdlat_3__t43_tdlat_3.vout2021-07-25 16:42 27K 
[ ]tdlat_3__t44_tdlat_32021-07-18 00:43 19K 
[ ]tdlat_3__t44_tdlat_3.depv12021-07-25 20:57 59  
[ ]tdlat_3__t44_tdlat_3.depvmin12021-07-25 21:03 59  
[ ]tdlat_3__t44_tdlat_3.vmin12021-07-25 20:57 816  
[ ]tdlat_3__t44_tdlat_3.vmin1out2021-07-25 21:02 8.2K 
[ ]tdlat_3__t44_tdlat_3.vout2021-07-25 19:44 10K 
[ ]tdlat_3__t45_tdlat_32021-07-18 00:43 20K 
[ ]tdlat_3__t45_tdlat_3.vout2021-07-25 16:01 7.3K 
[ ]tdlat_3__t46_tdlat_32021-07-18 00:44 23K 
[ ]tdlat_3__t46_tdlat_3.depv12021-07-25 20:57 318  
[ ]tdlat_3__t46_tdlat_3.depvmin12021-07-25 21:03 236  
[ ]tdlat_3__t46_tdlat_3.vmin12021-07-25 20:57 4.9K 
[ ]tdlat_3__t46_tdlat_3.vmin1out2021-07-25 20:58 39K 
[ ]tdlat_3__t46_tdlat_3.vout2021-07-25 19:33 72K 
[ ]tdlat_3__t47_tdlat_32021-07-18 00:44 21K 
[ ]tdlat_3__t47_tdlat_3.depv12021-07-25 20:57 73  
[ ]tdlat_3__t47_tdlat_3.depvmin12021-07-25 21:03 73  
[ ]tdlat_3__t47_tdlat_3.vmin12021-07-25 20:57 1.5K 
[ ]tdlat_3__t47_tdlat_3.vmin1out2021-07-25 21:01 21K 
[ ]tdlat_3__t47_tdlat_3.vout2021-07-25 16:23 21K 
[ ]tdlat_3__t48_tdlat_32021-07-18 00:45 26K 
[ ]tdlat_3__t48_tdlat_3.depv12021-07-25 20:57 135  
[ ]tdlat_3__t48_tdlat_3.depvmin12021-07-25 21:03 125  
[ ]tdlat_3__t48_tdlat_3.vmin12021-07-25 20:57 2.1K 
[ ]tdlat_3__t48_tdlat_3.vmin1out2021-07-25 21:00 32K 
[ ]tdlat_3__t48_tdlat_3.vout2021-07-25 16:51 35K 
[ ]tdlat_3__t49_tdlat_32021-07-18 00:45 37K 
[ ]tdlat_3__t49_tdlat_3.vout2021-07-25 19:42 7.3K 
[ ]tdlat_3__t50_tdlat_32021-07-18 00:32 19K 
[ ]tdlat_3__t50_tdlat_3.depv12021-07-25 20:57 64  
[ ]tdlat_3__t50_tdlat_3.depvmin12021-07-25 21:03 64  
[ ]tdlat_3__t50_tdlat_3.vmin12021-07-25 20:57 1.0K 
[ ]tdlat_3__t50_tdlat_3.vmin1out2021-07-25 20:57 11K 
[ ]tdlat_3__t50_tdlat_3.vout2021-07-25 20:55 14K 
[ ]tdlat_3__t51_tdlat_32021-07-18 00:33 19K 
[ ]tdlat_3__t51_tdlat_3.depv12021-07-25 20:57 65  
[ ]tdlat_3__t51_tdlat_3.depvmin12021-07-25 21:03 65  
[ ]tdlat_3__t51_tdlat_3.vmin12021-07-25 20:57 1.0K 
[ ]tdlat_3__t51_tdlat_3.vmin1out2021-07-25 21:02 11K 
[ ]tdlat_3__t51_tdlat_3.vout2021-07-25 17:23 14K 
[ ]tdlat_3__t52_tdlat_32021-07-18 00:46 20K 
[ ]tdlat_3__t52_tdlat_3.depv12021-07-25 20:57 160  
[ ]tdlat_3__t52_tdlat_3.depvmin12021-07-25 21:03 160  
[ ]tdlat_3__t52_tdlat_3.vmin12021-07-25 20:57 2.3K 
[ ]tdlat_3__t52_tdlat_3.vmin1out2021-07-25 20:59 38K 
[ ]tdlat_3__t52_tdlat_3.vout2021-07-25 16:17 38K 
[ ]tdlat_3__t53_tdlat_32021-07-18 00:46 19K 
[ ]tdlat_3__t53_tdlat_3.depv12021-07-25 20:57 77  
[ ]tdlat_3__t53_tdlat_3.depvmin12021-07-25 21:03 77  
[ ]tdlat_3__t53_tdlat_3.vmin12021-07-25 20:57 1.3K 
[ ]tdlat_3__t53_tdlat_3.vmin1out2021-07-25 20:58 19K 
[ ]tdlat_3__t53_tdlat_3.vout2021-07-25 18:47 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80