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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tex_1__t37_tex_1.vout2021-07-25 15:03 22K 
[ ]tex_1__t37_tex_1.vmin1out2021-07-25 21:02 22K 
[ ]tex_1__t37_tex_1.vmin12021-07-25 20:57 1.9K 
[ ]tex_1__t37_tex_1.depvmin12021-07-25 21:03 86  
[ ]tex_1__t37_tex_1.depv12021-07-25 20:57 127  
[ ]tex_1__t37_tex_12021-07-18 09:48 19K 
[ ]tex_1__t36_tex_1.vout2021-07-25 18:13 7.2K 
[ ]tex_1__t36_tex_12021-07-18 09:48 20K 
[ ]tex_1__t35_tex_1.vout2021-07-25 17:04 7.2K 
[ ]tex_1__t35_tex_12021-07-18 09:48 20K 
[ ]tex_1__t34_tex_1.vout2021-07-25 15:44 43K 
[ ]tex_1__t34_tex_1.vmin1out2021-07-25 21:00 42K 
[ ]tex_1__t34_tex_1.vmin12021-07-25 20:57 3.2K 
[ ]tex_1__t34_tex_1.depvmin12021-07-25 21:03 204  
[ ]tex_1__t34_tex_1.depv12021-07-25 20:57 216  
[ ]tex_1__t34_tex_12021-07-18 09:47 18K 
[ ]tex_1__t33_tex_1.vout2021-07-25 19:17 2.0K 
[ ]tex_1__t33_tex_12021-07-18 09:47 14K 
[ ]tex_1__t32_tex_1.vout2021-07-25 14:45 7.3K 
[ ]tex_1__t32_tex_12021-07-18 09:47 17K 
[ ]tex_1__t31_tex_1.vout2021-07-25 19:50 7.3K 
[ ]tex_1__t31_tex_12021-07-18 09:47 17K 
[ ]tex_1__t30_tex_1.vout2021-07-25 15:01 3.6K 
[ ]tex_1__t30_tex_12021-07-18 09:46 26K 
[ ]tex_1__t29_tex_1.vout2021-07-25 16:42 3.6K 
[ ]tex_1__t29_tex_12021-07-18 09:46 20K 
[ ]tex_1__t28_tex_1.vout2021-07-25 16:06 7.2K 
[ ]tex_1__t28_tex_12021-07-18 09:46 21K 
[ ]tex_1__t27_tex_1.vout2021-07-25 14:24 6.7K 
[ ]tex_1__t27_tex_12021-07-18 09:46 24K 
[ ]tex_1__t26_tex_1.vout2021-07-25 15:03 6.7K 
[ ]tex_1__t26_tex_12021-07-18 09:45 23K 
[ ]tex_1__t25_tex_1.vout2021-07-25 14:41 7.2K 
[ ]tex_1__t25_tex_12021-07-18 09:45 21K 
[ ]tex_1__t24_tex_1.vout2021-07-25 19:48 7.2K 
[ ]tex_1__t24_tex_12021-07-18 09:45 20K 
[ ]tex_1__t23_tex_1.vout2021-07-25 18:50 48K 
[ ]tex_1__t23_tex_1.vmin1out2021-07-25 21:00 46K 
[ ]tex_1__t23_tex_1.vmin12021-07-25 20:57 4.0K 
[ ]tex_1__t23_tex_1.depvmin12021-07-25 21:03 335  
[ ]tex_1__t23_tex_1.depv12021-07-25 20:57 335  
[ ]tex_1__t23_tex_12021-07-18 09:44 23K 
[ ]tex_1__t22_tex_1.vout2021-07-25 18:38 33K 
[ ]tex_1__t22_tex_1.vmin1out2021-07-25 20:59 32K 
[ ]tex_1__t22_tex_1.vmin12021-07-25 20:57 3.1K 
[ ]tex_1__t22_tex_1.depvmin12021-07-25 21:03 293  
[ ]tex_1__t22_tex_1.depv12021-07-25 20:57 319  
[ ]tex_1__t22_tex_12021-07-18 09:44 22K 
[ ]tex_1__t21_tex_1.vout2021-07-25 16:17 6.7K 
[ ]tex_1__t21_tex_12021-07-18 09:44 21K 
[ ]tex_1__t20_tex_1.vout2021-07-25 20:48 7.3K 
[ ]tex_1__t20_tex_12021-07-18 09:44 22K 
[ ]tex_1__t19_tex_1.vout2021-07-25 14:54 34K 
[ ]tex_1__t19_tex_1.vmin1out2021-07-25 20:58 34K 
[ ]tex_1__t19_tex_1.vmin12021-07-25 20:57 3.1K 
[ ]tex_1__t19_tex_1.depvmin12021-07-25 21:03 446  
[ ]tex_1__t19_tex_1.depv12021-07-25 20:57 446  
[ ]tex_1__t19_tex_12021-07-18 09:43 18K 
[ ]tex_1__t18_tex_1.vout2021-07-25 17:55 7.0K 
[ ]tex_1__t18_tex_1.vmin1out2021-07-25 21:00 8.2K 
[ ]tex_1__t18_tex_1.vmin12021-07-25 20:57 562  
[ ]tex_1__t18_tex_1.depvmin12021-07-25 21:03 33  
[ ]tex_1__t18_tex_1.depv12021-07-25 20:57 33  
[ ]tex_1__t18_tex_12021-07-18 09:43 14K 
[ ]tex_1__t17_tex_1.vout2021-07-25 16:03 7.0K 
[ ]tex_1__t17_tex_1.vmin1out2021-07-25 21:02 8.2K 
[ ]tex_1__t17_tex_1.vmin12021-07-25 20:57 566  
[ ]tex_1__t17_tex_1.depvmin12021-07-25 21:03 33  
[ ]tex_1__t17_tex_1.depv12021-07-25 20:57 33  
[ ]tex_1__t17_tex_12021-07-18 09:43 14K 
[ ]tex_1__t16_tex_1.vout2021-07-25 15:40 12K 
[ ]tex_1__t16_tex_1.vmin1out2021-07-25 20:59 14K 
[ ]tex_1__t16_tex_1.vmin12021-07-25 20:57 1.2K 
[ ]tex_1__t16_tex_1.depvmin12021-07-25 21:03 58  
[ ]tex_1__t16_tex_1.depv12021-07-25 20:57 58  
[ ]tex_1__t16_tex_12021-07-18 09:39 15K 
[ ]tex_1__t15_tex_1.vout2021-07-25 14:41 12K 
[ ]tex_1__t15_tex_1.vmin1out2021-07-25 20:59 12K 
[ ]tex_1__t15_tex_1.vmin12021-07-25 20:57 724  
[ ]tex_1__t15_tex_1.depvmin12021-07-25 21:03 41  
[ ]tex_1__t15_tex_1.depv12021-07-25 20:57 41  
[ ]tex_1__t15_tex_12021-07-18 09:43 14K 
[ ]tex_1__t14_tex_1.vout2021-07-25 18:46 8.9K 
[ ]tex_1__t14_tex_1.vmin1out2021-07-25 21:00 8.4K 
[ ]tex_1__t14_tex_1.vmin12021-07-25 20:57 770  
[ ]tex_1__t14_tex_1.depvmin12021-07-25 21:03 43  
[ ]tex_1__t14_tex_1.depv12021-07-25 20:57 56  
[ ]tex_1__t14_tex_12021-07-18 09:42 14K 
[ ]tex_1__t13_tex_1.vout2021-07-25 18:39 18K 
[ ]tex_1__t13_tex_1.vmin1out2021-07-25 21:00 17K 
[ ]tex_1__t13_tex_1.vmin12021-07-25 20:57 1.3K 
[ ]tex_1__t13_tex_1.depvmin12021-07-25 21:03 72  
[ ]tex_1__t13_tex_1.depv12021-07-25 20:57 72  
[ ]tex_1__t13_tex_12021-07-18 09:42 15K 
[ ]tex_1__t12_tex_1.vout2021-07-25 16:04 16K 
[ ]tex_1__t12_tex_1.vmin1out2021-07-25 20:58 16K 
[ ]tex_1__t12_tex_1.vmin12021-07-25 20:57 1.1K 
[ ]tex_1__t12_tex_1.depvmin12021-07-25 21:03 72  
[ ]tex_1__t12_tex_1.depv12021-07-25 20:57 72  
[ ]tex_1__t12_tex_12021-07-18 09:42 14K 
[ ]tex_1__t11_tex_1.vout2021-07-25 17:52 14K 
[ ]tex_1__t11_tex_1.vmin1out2021-07-25 20:59 14K 
[ ]tex_1__t11_tex_1.vmin12021-07-25 20:57 813  
[ ]tex_1__t11_tex_1.depvmin12021-07-25 21:03 44  
[ ]tex_1__t11_tex_1.depv12021-07-25 20:57 44  
[ ]tex_1__t11_tex_12021-07-18 09:42 14K 
[ ]tex_1__t10_tex_1.vout2021-07-25 17:30 17K 
[ ]tex_1__t10_tex_1.vmin1out2021-07-25 21:01 16K 
[ ]tex_1__t10_tex_1.vmin12021-07-25 20:57 1.6K 
[ ]tex_1__t10_tex_1.depvmin12021-07-25 21:03 131  
[ ]tex_1__t10_tex_1.depv12021-07-25 20:57 131  
[ ]tex_1__t10_tex_12021-07-18 09:41 15K 
[ ]tex_1__t9_tex_1.vout2021-07-25 16:45 21K 
[ ]tex_1__t9_tex_1.vmin1out2021-07-25 21:00 19K 
[ ]tex_1__t9_tex_1.vmin12021-07-25 20:57 1.3K 
[ ]tex_1__t9_tex_1.depvmin12021-07-25 21:03 94  
[ ]tex_1__t9_tex_1.depv12021-07-25 20:57 94  
[ ]tex_1__t9_tex_12021-07-18 09:39 14K 
[ ]tex_1__t8_tex_1.vout2021-07-25 16:41 50K 
[ ]tex_1__t8_tex_1.vmin1out2021-07-25 21:01 38K 
[ ]tex_1__t8_tex_1.vmin12021-07-25 20:57 3.5K 
[ ]tex_1__t8_tex_1.depvmin12021-07-25 21:03 343  
[ ]tex_1__t8_tex_1.depv12021-07-25 20:57 428  
[ ]tex_1__t8_tex_12021-07-18 09:41 15K 
[ ]tex_1__t7_tex_1.vout2021-07-25 18:56 39K 
[ ]tex_1__t7_tex_1.vmin1out2021-07-25 21:00 30K 
[ ]tex_1__t7_tex_1.vmin12021-07-25 20:57 3.0K 
[ ]tex_1__t7_tex_1.depvmin12021-07-25 21:03 90  
[ ]tex_1__t7_tex_1.depv12021-07-25 20:57 171  
[ ]tex_1__t7_tex_12021-07-18 09:41 16K 
[ ]tex_1__t6_tex_1.vout2021-07-25 19:42 4.7K 
[ ]tex_1__t6_tex_12021-07-18 09:41 16K 
[ ]tex_1__t5_tex_1.vout2021-07-25 20:27 25K 
[ ]tex_1__t5_tex_1.vmin1out2021-07-25 20:58 27K 
[ ]tex_1__t5_tex_1.vmin12021-07-25 20:57 1.9K 
[ ]tex_1__t5_tex_1.depvmin12021-07-25 21:03 75  
[ ]tex_1__t5_tex_1.depv12021-07-25 20:57 75  
[ ]tex_1__t5_tex_12021-07-18 09:40 15K 
[ ]tex_1__t4_tex_1.vout2021-07-25 17:52 7.2K 
[ ]tex_1__t4_tex_12021-07-18 09:40 24K 
[ ]tex_1__t3_tex_1.vout2021-07-25 19:02 4.7K 
[ ]tex_1__t3_tex_12021-07-18 09:40 16K 
[ ]tex_1__t2_tex_1.vout2021-07-25 16:05 32K 
[ ]tex_1__t2_tex_1.vmin1out2021-07-25 21:01 26K 
[ ]tex_1__t2_tex_1.vmin12021-07-25 20:57 2.6K 
[ ]tex_1__t2_tex_1.depvmin12021-07-25 21:03 117  
[ ]tex_1__t2_tex_1.depv12021-07-25 20:57 173  
[ ]tex_1__t2_tex_12021-07-18 09:40 16K 
[ ]tex_1__t1_tex_1.vout2021-07-25 15:30 24K 
[ ]tex_1__t1_tex_1.vmin1out2021-07-25 20:59 20K 
[ ]tex_1__t1_tex_1.vmin12021-07-25 20:57 2.0K 
[ ]tex_1__t1_tex_1.depvmin12021-07-25 21:03 110  
[ ]tex_1__t1_tex_1.depv12021-07-25 20:57 110  
[ ]tex_1__t1_tex_12021-07-18 09:39 14K 
[ ]tex_1__l33_tex_1.vout2021-07-25 16:33 23K 
[ ]tex_1__l33_tex_1.vmin1out2021-07-25 21:00 22K 
[ ]tex_1__l33_tex_1.vmin12021-07-25 20:57 1.5K 
[ ]tex_1__l33_tex_1.depvmin12021-07-25 21:03 166  
[ ]tex_1__l33_tex_1.depv12021-07-25 20:57 166  
[ ]tex_1__l33_tex_12021-07-18 09:48 7.2K 
[ ]tex_1__l8_tex_1.vout2021-07-25 15:11 3.2K 
[ ]tex_1__l8_tex_1.vmin1out2021-07-25 20:58 4.4K 
[ ]tex_1__l8_tex_1.vmin12021-07-25 20:57 210  
[ ]tex_1__l8_tex_1.depvmin12021-07-25 21:03 19  
[ ]tex_1__l8_tex_1.depv12021-07-25 20:57 19  
[ ]tex_1__l8_tex_12021-07-18 09:39 3.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80