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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_1__t50_comseq_1.vout2021-07-25 17:13 4.1K 
[ ]comseq_1__t50_comseq_12021-07-18 01:41 32K 
[ ]comseq_1__t49_comseq_1.vout2021-07-25 18:48 4.1K 
[ ]comseq_1__t49_comseq_12021-07-18 01:40 36K 
[ ]comseq_1__t48_comseq_1.vout2021-07-25 18:35 4.7K 
[ ]comseq_1__t48_comseq_12021-07-18 01:40 32K 
[ ]comseq_1__t46_comseq_1.vout2021-07-25 17:38 4.1K 
[ ]comseq_1__t46_comseq_12021-07-18 01:39 34K 
[ ]comseq_1__t45_comseq_1.vout2021-07-25 18:43 4.1K 
[ ]comseq_1__t45_comseq_12021-07-18 01:39 31K 
[ ]comseq_1__t44_comseq_1.vout2021-07-25 14:32 4.1K 
[ ]comseq_1__t44_comseq_12021-07-18 01:38 50K 
[ ]comseq_1__t43_comseq_1.vout2021-07-25 14:52 4.1K 
[ ]comseq_1__t43_comseq_12021-07-18 01:38 49K 
[ ]comseq_1__t42_comseq_1.vout2021-07-25 17:29 4.7K 
[ ]comseq_1__t42_comseq_12021-07-18 01:38 40K 
[ ]comseq_1__t41_comseq_1.vout2021-07-25 14:23 22K 
[ ]comseq_1__t41_comseq_1.vmin1out2021-07-25 21:00 17K 
[ ]comseq_1__t41_comseq_1.vmin12021-07-25 20:57 2.2K 
[ ]comseq_1__t41_comseq_1.depvmin12021-07-25 21:03 232  
[ ]comseq_1__t41_comseq_1.depv12021-07-25 20:57 232  
[ ]comseq_1__t41_comseq_12021-07-18 01:37 32K 
[ ]comseq_1__t40_comseq_1.vout2021-07-25 16:42 4.1K 
[ ]comseq_1__t40_comseq_12021-07-18 01:37 29K 
[ ]comseq_1__t39_comseq_1.vout2021-07-25 19:51 2.0K 
[ ]comseq_1__t39_comseq_12021-07-18 01:26 26K 
[ ]comseq_1__t38_comseq_1.vout2021-07-25 17:20 7.3K 
[ ]comseq_1__t38_comseq_12021-07-18 01:36 26K 
[ ]comseq_1__t37_comseq_1.vout2021-07-25 19:58 4.7K 
[ ]comseq_1__t37_comseq_12021-07-18 01:36 41K 
[ ]comseq_1__t36_comseq_1.vout2021-07-25 17:05 4.1K 
[ ]comseq_1__t36_comseq_12021-07-18 01:36 33K 
[ ]comseq_1__t35_comseq_1.vout2021-07-25 20:44 4.1K 
[ ]comseq_1__t35_comseq_12021-07-18 01:35 31K 
[ ]comseq_1__t34_comseq_1.vout2021-07-25 16:00 4.1K 
[ ]comseq_1__t34_comseq_12021-07-18 01:35 32K 
[ ]comseq_1__t33_comseq_1.vout2021-07-25 20:53 2.0K 
[ ]comseq_1__t33_comseq_12021-07-18 01:35 30K 
[ ]comseq_1__t32_comseq_1.vout2021-07-25 20:46 4.1K 
[ ]comseq_1__t32_comseq_12021-07-18 01:34 34K 
[ ]comseq_1__t31_comseq_1.vout2021-07-25 20:24 4.7K 
[ ]comseq_1__t31_comseq_12021-07-18 01:34 40K 
[ ]comseq_1__t30_comseq_1.vout2021-07-25 17:31 4.1K 
[ ]comseq_1__t30_comseq_12021-07-18 01:34 31K 
[ ]comseq_1__t29_comseq_1.vout2021-07-25 16:38 2.0K 
[ ]comseq_1__t29_comseq_12021-07-18 01:33 29K 
[ ]comseq_1__t27_comseq_1.vout2021-07-25 18:30 57K 
[ ]comseq_1__t27_comseq_1.vmin1out2021-07-25 20:59 41K 
[ ]comseq_1__t27_comseq_1.vmin12021-07-25 20:57 3.1K 
[ ]comseq_1__t27_comseq_1.depvmin12021-07-25 21:03 310  
[ ]comseq_1__t27_comseq_1.depv12021-07-25 20:57 326  
[ ]comseq_1__t27_comseq_12021-07-18 01:33 22K 
[ ]comseq_1__t26_comseq_1.vout2021-07-25 20:55 4.1K 
[ ]comseq_1__t26_comseq_12021-07-18 01:26 32K 
[ ]comseq_1__t25_comseq_1.vout2021-07-25 20:24 4.1K 
[ ]comseq_1__t25_comseq_12021-07-18 01:33 37K 
[ ]comseq_1__t24_comseq_1.vout2021-07-25 17:33 4.7K 
[ ]comseq_1__t24_comseq_12021-07-18 01:32 38K 
[ ]comseq_1__t23_comseq_1.vout2021-07-25 14:36 4.1K 
[ ]comseq_1__t23_comseq_12021-07-18 01:25 36K 
[ ]comseq_1__t22_comseq_1.vout2021-07-25 16:43 7.9K 
[ ]comseq_1__t22_comseq_1.vmin1out2021-07-25 20:59 7.0K 
[ ]comseq_1__t22_comseq_1.vmin12021-07-25 20:57 743  
[ ]comseq_1__t22_comseq_1.depvmin12021-07-25 21:03 78  
[ ]comseq_1__t22_comseq_1.depv12021-07-25 20:57 78  
[ ]comseq_1__t22_comseq_12021-07-18 01:25 25K 
[ ]comseq_1__t21_comseq_1.vout2021-07-25 19:02 4.7K 
[ ]comseq_1__t21_comseq_12021-07-18 01:32 25K 
[ ]comseq_1__t20_comseq_1.vout2021-07-25 15:38 4.7K 
[ ]comseq_1__t20_comseq_12021-07-18 01:32 38K 
[ ]comseq_1__t19_comseq_1.vout2021-07-25 16:55 4.1K 
[ ]comseq_1__t19_comseq_12021-07-18 01:31 34K 
[ ]comseq_1__t18_comseq_1.vout2021-07-25 20:18 4.7K 
[ ]comseq_1__t18_comseq_12021-07-18 01:31 39K 
[ ]comseq_1__t17_comseq_1.vout2021-07-25 15:39 4.1K 
[ ]comseq_1__t17_comseq_12021-07-18 01:30 25K 
[ ]comseq_1__t16_comseq_1.vout2021-07-25 17:27 4.1K 
[ ]comseq_1__t16_comseq_12021-07-18 01:30 33K 
[ ]comseq_1__t15_comseq_1.vout2021-07-25 18:23 4.1K 
[ ]comseq_1__t15_comseq_12021-07-18 01:25 41K 
[ ]comseq_1__t14_comseq_1.vout2021-07-25 20:27 4.7K 
[ ]comseq_1__t14_comseq_12021-07-18 01:30 43K 
[ ]comseq_1__t13_comseq_1.vout2021-07-25 15:16 4.1K 
[ ]comseq_1__t13_comseq_12021-07-18 01:29 31K 
[ ]comseq_1__t12_comseq_1.vout2021-07-25 18:37 4.1K 
[ ]comseq_1__t12_comseq_12021-07-18 01:29 31K 
[ ]comseq_1__t11_comseq_1.vout2021-07-25 18:43 19K 
[ ]comseq_1__t11_comseq_1.vmin1out2021-07-25 21:01 17K 
[ ]comseq_1__t11_comseq_1.vmin12021-07-25 20:57 1.9K 
[ ]comseq_1__t11_comseq_1.depvmin12021-07-25 21:03 213  
[ ]comseq_1__t11_comseq_1.depv12021-07-25 20:57 213  
[ ]comseq_1__t11_comseq_12021-07-18 01:24 26K 
[ ]comseq_1__t10_comseq_1.vout2021-07-25 16:34 4.1K 
[ ]comseq_1__t10_comseq_12021-07-18 01:24 29K 
[ ]comseq_1__t9_comseq_1.vout2021-07-25 18:26 4.1K 
[ ]comseq_1__t9_comseq_12021-07-18 01:29 35K 
[ ]comseq_1__t8_comseq_1.vout2021-07-25 14:29 4.1K 
[ ]comseq_1__t8_comseq_12021-07-18 01:28 27K 
[ ]comseq_1__t7_comseq_1.vout2021-07-25 16:52 4.1K 
[ ]comseq_1__t7_comseq_12021-07-18 01:28 26K 
[ ]comseq_1__t6_comseq_1.vout2021-07-25 20:51 8.4K 
[ ]comseq_1__t6_comseq_12021-07-18 01:28 20K 
[ ]comseq_1__t5_comseq_1.vout2021-07-25 18:16 10K 
[ ]comseq_1__t5_comseq_1.vmin1out2021-07-25 21:00 11K 
[ ]comseq_1__t5_comseq_1.vmin12021-07-25 20:57 1.4K 
[ ]comseq_1__t5_comseq_1.depvmin12021-07-25 21:03 187  
[ ]comseq_1__t5_comseq_1.depv12021-07-25 20:57 187  
[ ]comseq_1__t5_comseq_12021-07-18 01:24 21K 
[ ]comseq_1__t4_comseq_1.vout2021-07-25 18:37 20K 
[ ]comseq_1__t4_comseq_1.vmin1out2021-07-25 20:59 29K 
[ ]comseq_1__t4_comseq_1.vmin12021-07-25 20:57 1.6K 
[ ]comseq_1__t4_comseq_1.depvmin12021-07-25 21:03 130  
[ ]comseq_1__t4_comseq_1.depv12021-07-25 20:57 130  
[ ]comseq_1__t4_comseq_12021-07-18 01:27 18K 
[ ]comseq_1__t3_comseq_1.vout2021-07-25 20:42 26K 
[ ]comseq_1__t3_comseq_1.vmin1out2021-07-25 20:58 26K 
[ ]comseq_1__t3_comseq_1.vmin12021-07-25 20:57 1.3K 
[ ]comseq_1__t3_comseq_1.depvmin12021-07-25 21:03 133  
[ ]comseq_1__t3_comseq_1.depv12021-07-25 20:57 133  
[ ]comseq_1__t3_comseq_12021-07-18 01:27 21K 
[ ]comseq_1__t2_comseq_1.vout2021-07-25 19:34 26K 
[ ]comseq_1__t2_comseq_1.vmin1out2021-07-25 20:59 25K 
[ ]comseq_1__t2_comseq_1.vmin12021-07-25 20:57 1.1K 
[ ]comseq_1__t2_comseq_1.depvmin12021-07-25 21:03 70  
[ ]comseq_1__t2_comseq_1.depv12021-07-25 20:57 70  
[ ]comseq_1__t2_comseq_12021-07-18 01:27 18K 
[ ]comseq_1__t1_comseq_1.vout2021-07-25 20:54 38K 
[ ]comseq_1__t1_comseq_1.vmin1out2021-07-25 21:02 38K 
[ ]comseq_1__t1_comseq_1.vmin12021-07-25 20:57 2.1K 
[ ]comseq_1__t1_comseq_1.depvmin12021-07-25 21:03 206  
[ ]comseq_1__t1_comseq_1.depv12021-07-25 20:57 206  
[ ]comseq_1__t1_comseq_12021-07-18 01:26 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80