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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]seqm_3__l1_seqm_32021-07-17 22:08 30K 
[ ]seqm_3__l1_seqm_3.vout2021-07-25 16:41 7.3K 
[ ]seqm_3__l2_seqm_32021-07-17 22:08 49K 
[ ]seqm_3__l2_seqm_3.vout2021-07-25 17:48 2.0K 
[ ]seqm_3__l3_seqm_32021-07-17 22:09 49K 
[ ]seqm_3__l3_seqm_3.vout2021-07-25 18:27 2.0K 
[ ]seqm_3__l4_seqm_32021-07-17 22:10 43K 
[ ]seqm_3__l4_seqm_3.vout2021-07-25 16:24 2.0K 
[ ]seqm_3__l5_seqm_32021-07-17 22:10 43K 
[ ]seqm_3__l5_seqm_3.vout2021-07-25 16:05 2.0K 
[ ]seqm_3__l23_seqm_32021-07-17 21:51 31K 
[ ]seqm_3__l23_seqm_3.depv12021-07-25 20:57 129  
[ ]seqm_3__l23_seqm_3.depvmin12021-07-25 21:03 129  
[ ]seqm_3__l23_seqm_3.vmin12021-07-25 20:57 828  
[ ]seqm_3__l23_seqm_3.vmin1out2021-07-25 21:02 5.7K 
[ ]seqm_3__l23_seqm_3.vout2021-07-25 16:47 4.8K 
[ ]seqm_3__l24_seqm_32021-07-17 21:52 35K 
[ ]seqm_3__l24_seqm_3.vout2021-07-25 19:43 1.1K 
[ ]seqm_3__t1_seqm_32021-07-17 21:52 39K 
[ ]seqm_3__t1_seqm_3.vout2021-07-25 17:42 1.0K 
[ ]seqm_3__t2_seqm_32021-07-17 21:47 37K 
[ ]seqm_3__t2_seqm_3.vout2021-07-25 16:29 1.1K 
[ ]seqm_3__t3_seqm_32021-07-17 21:47 37K 
[ ]seqm_3__t3_seqm_3.vout2021-07-25 14:29 1.0K 
[ ]seqm_3__t4_seqm_32021-07-17 21:53 39K 
[ ]seqm_3__t4_seqm_3.vout2021-07-25 17:51 1.1K 
[ ]seqm_3__t5_seqm_32021-07-17 21:48 37K 
[ ]seqm_3__t5_seqm_3.vout2021-07-25 16:17 1.0K 
[ ]seqm_3__t6_seqm_32021-07-17 21:53 39K 
[ ]seqm_3__t6_seqm_3.depv12021-07-25 20:57 30  
[ ]seqm_3__t6_seqm_3.depvmin12021-07-25 21:03 30  
[ ]seqm_3__t6_seqm_3.vmin12021-07-25 20:57 1.7K 
[ ]seqm_3__t6_seqm_3.vmin1out2021-07-25 21:00 42K 
[ ]seqm_3__t6_seqm_3.vout2021-07-25 16:13 43K 
[ ]seqm_3__t7_seqm_32021-07-17 21:48 37K 
[ ]seqm_3__t7_seqm_3.vout2021-07-25 20:33 1.1K 
[ ]seqm_3__t8_seqm_32021-07-17 21:54 39K 
[ ]seqm_3__t8_seqm_3.depv12021-07-25 20:57 30  
[ ]seqm_3__t8_seqm_3.depvmin12021-07-25 21:03 30  
[ ]seqm_3__t8_seqm_3.vmin12021-07-25 20:57 1.7K 
[ ]seqm_3__t8_seqm_3.vmin1out2021-07-25 21:01 42K 
[ ]seqm_3__t8_seqm_3.vout2021-07-25 19:45 43K 
[ ]seqm_3__t9_seqm_32021-07-17 21:49 34K 
[ ]seqm_3__t9_seqm_3.depv12021-07-25 20:57 57  
[ ]seqm_3__t9_seqm_3.depvmin12021-07-25 21:03 57  
[ ]seqm_3__t9_seqm_3.vmin12021-07-25 20:57 839  
[ ]seqm_3__t9_seqm_3.vmin1out2021-07-25 20:59 9.9K 
[ ]seqm_3__t9_seqm_3.vout2021-07-25 17:36 9.7K 
[ ]seqm_3__t10_seqm_32021-07-17 21:49 34K 
[ ]seqm_3__t10_seqm_3.depv12021-07-25 20:57 58  
[ ]seqm_3__t10_seqm_3.depvmin12021-07-25 21:03 58  
[ ]seqm_3__t10_seqm_3.vmin12021-07-25 20:57 840  
[ ]seqm_3__t10_seqm_3.vmin1out2021-07-25 20:59 9.9K 
[ ]seqm_3__t10_seqm_3.vout2021-07-25 18:43 9.7K 
[ ]seqm_3__t11_seqm_32021-07-17 21:50 34K 
[ ]seqm_3__t11_seqm_3.depv12021-07-25 20:57 111  
[ ]seqm_3__t11_seqm_3.depvmin12021-07-25 21:03 111  
[ ]seqm_3__t11_seqm_3.vmin12021-07-25 20:57 1.3K 
[ ]seqm_3__t11_seqm_3.vmin1out2021-07-25 21:01 13K 
[ ]seqm_3__t11_seqm_3.vout2021-07-25 18:00 13K 
[ ]seqm_3__t12_seqm_32021-07-17 21:50 34K 
[ ]seqm_3__t12_seqm_3.depv12021-07-25 20:57 111  
[ ]seqm_3__t12_seqm_3.depvmin12021-07-25 21:03 111  
[ ]seqm_3__t12_seqm_3.vmin12021-07-25 20:57 1.3K 
[ ]seqm_3__t12_seqm_3.vmin1out2021-07-25 20:58 13K 
[ ]seqm_3__t12_seqm_3.vout2021-07-25 19:15 13K 
[ ]seqm_3__t13_seqm_32021-07-17 21:54 38K 
[ ]seqm_3__t13_seqm_3.vout2021-07-25 20:36 6.8K 
[ ]seqm_3__t14_seqm_32021-07-17 21:55 37K 
[ ]seqm_3__t14_seqm_3.vout2021-07-25 20:03 2.0K 
[ ]seqm_3__t17_seqm_32021-07-17 21:55 60K 
[ ]seqm_3__t17_seqm_3.vout2021-07-25 19:28 1.1K 
[ ]seqm_3__t20_seqm_32021-07-17 21:56 51K 
[ ]seqm_3__t20_seqm_3.vout2021-07-25 18:41 1.1K 
[ ]seqm_3__t22_seqm_32021-07-17 21:56 48K 
[ ]seqm_3__t22_seqm_3.depv12021-07-25 20:57 193  
[ ]seqm_3__t22_seqm_3.depvmin12021-07-25 21:03 193  
[ ]seqm_3__t22_seqm_3.vmin12021-07-25 20:57 2.5K 
[ ]seqm_3__t22_seqm_3.vmin1out2021-07-25 20:59 41K 
[ ]seqm_3__t22_seqm_3.vout2021-07-25 19:35 36K 
[ ]seqm_3__t23_seqm_32021-07-17 21:57 48K 
[ ]seqm_3__t23_seqm_3.depv12021-07-25 20:57 193  
[ ]seqm_3__t23_seqm_3.depvmin12021-07-25 21:03 193  
[ ]seqm_3__t23_seqm_3.vmin12021-07-25 20:57 2.5K 
[ ]seqm_3__t23_seqm_3.vmin1out2021-07-25 21:02 41K 
[ ]seqm_3__t23_seqm_3.vout2021-07-25 16:26 36K 
[ ]seqm_3__t24_seqm_32021-07-17 21:57 48K 
[ ]seqm_3__t24_seqm_3.depv12021-07-25 20:57 207  
[ ]seqm_3__t24_seqm_3.depvmin12021-07-25 21:03 207  
[ ]seqm_3__t24_seqm_3.vmin12021-07-25 20:57 2.7K 
[ ]seqm_3__t24_seqm_3.vmin1out2021-07-25 21:01 43K 
[ ]seqm_3__t24_seqm_3.vout2021-07-25 17:54 37K 
[ ]seqm_3__t25_seqm_32021-07-17 21:58 48K 
[ ]seqm_3__t25_seqm_3.depv12021-07-25 20:57 207  
[ ]seqm_3__t25_seqm_3.depvmin12021-07-25 21:03 207  
[ ]seqm_3__t25_seqm_3.vmin12021-07-25 20:57 2.7K 
[ ]seqm_3__t25_seqm_3.vmin1out2021-07-25 21:00 42K 
[ ]seqm_3__t25_seqm_3.vout2021-07-25 18:10 37K 
[ ]seqm_3__t26_seqm_32021-07-17 21:50 34K 
[ ]seqm_3__t26_seqm_3.vout2021-07-25 19:28 2.0K 
[ ]seqm_3__t27_seqm_32021-07-17 21:58 45K 
[ ]seqm_3__t27_seqm_3.vout2021-07-25 15:06 6.8K 
[ ]seqm_3__t28_seqm_32021-07-17 21:59 45K 
[ ]seqm_3__t28_seqm_3.vout2021-07-25 16:07 6.8K 
[ ]seqm_3__t29_seqm_32021-07-17 21:51 34K 
[ ]seqm_3__t29_seqm_3.depv12021-07-25 20:57 144  
[ ]seqm_3__t29_seqm_3.depvmin12021-07-25 21:03 120  
[ ]seqm_3__t29_seqm_3.vmin12021-07-25 20:57 2.3K 
[ ]seqm_3__t29_seqm_3.vmin1out2021-07-25 20:58 20K 
[ ]seqm_3__t29_seqm_3.vout2021-07-25 19:48 23K 
[ ]seqm_3__t30_seqm_32021-07-17 21:59 53K 
[ ]seqm_3__t30_seqm_3.vout2021-07-25 15:24 4.7K 
[ ]seqm_3__t31_seqm_32021-07-17 22:00 49K 
[ ]seqm_3__t31_seqm_3.vout2021-07-25 15:30 4.7K 
[ ]seqm_3__t32_seqm_32021-07-17 22:00 49K 
[ ]seqm_3__t32_seqm_3.vout2021-07-25 14:36 4.7K 
[ ]seqm_3__t33_seqm_32021-07-17 22:01 49K 
[ ]seqm_3__t33_seqm_3.vout2021-07-25 19:06 4.7K 
[ ]seqm_3__t34_seqm_32021-07-17 22:02 49K 
[ ]seqm_3__t34_seqm_3.vout2021-07-25 20:16 4.1K 
[ ]seqm_3__t35_seqm_32021-07-17 22:02 49K 
[ ]seqm_3__t35_seqm_3.vout2021-07-25 20:35 4.1K 
[ ]seqm_3__t36_seqm_32021-07-17 22:03 52K 
[ ]seqm_3__t36_seqm_3.vout2021-07-25 19:04 4.7K 
[ ]seqm_3__t37_seqm_32021-07-17 22:03 53K 
[ ]seqm_3__t37_seqm_3.vout2021-07-25 19:46 4.7K 
[ ]seqm_3__t38_seqm_32021-07-17 22:04 52K 
[ ]seqm_3__t38_seqm_3.vout2021-07-25 16:55 4.7K 
[ ]seqm_3__t39_seqm_32021-07-17 22:04 52K 
[ ]seqm_3__t39_seqm_3.vout2021-07-25 20:29 4.7K 
[ ]seqm_3__t41_seqm_32021-07-17 22:05 45K 
[ ]seqm_3__t41_seqm_3.vout2021-07-25 19:20 4.7K 
[ ]seqm_3__t42_seqm_32021-07-17 22:05 46K 
[ ]seqm_3__t42_seqm_3.vout2021-07-25 20:15 4.7K 
[ ]seqm_3__t43_seqm_32021-07-17 22:06 41K 
[ ]seqm_3__t43_seqm_3.vout2021-07-25 18:19 7.3K 
[ ]seqm_3__t44_seqm_32021-07-17 22:06 65K 
[ ]seqm_3__t44_seqm_3.vout2021-07-25 17:08 6.8K 
[ ]seqm_3__t45_seqm_32021-07-17 22:07 65K 
[ ]seqm_3__t45_seqm_3.vout2021-07-25 19:27 4.7K 
[ ]seqm_3__t46_seqm_32021-07-17 22:07 67K 
[ ]seqm_3__t46_seqm_3.vout2021-07-25 18:59 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80