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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_1__s1_comseq_12023-06-28 19:00 31K 
[ ]comseq_1__t1_comseq_12023-06-28 19:00 33K 
[ ]comseq_1__t2_comseq_12023-06-28 19:01 30K 
[ ]comseq_1__t3_comseq_12023-06-28 19:01 34K 
[ ]comseq_1__t4_comseq_12023-06-28 19:01 31K 
[ ]comseq_1__t5_comseq_12023-06-28 18:57 35K 
[ ]comseq_1__t6_comseq_12023-06-28 19:02 33K 
[ ]comseq_1__t7_comseq_12023-06-28 19:02 42K 
[ ]comseq_1__t8_comseq_12023-06-28 19:03 44K 
[ ]comseq_1__t9_comseq_12023-06-28 19:03 55K 
[ ]comseq_1__t10_comseq_12023-06-28 18:57 47K 
[ ]comseq_1__t11_comseq_12023-06-28 18:57 42K 
[ ]comseq_1__t12_comseq_12023-06-28 19:03 50K 
[ ]comseq_1__t13_comseq_12023-06-28 19:04 50K 
[ ]comseq_1__t14_comseq_12023-06-28 19:04 68K 
[ ]comseq_1__t15_comseq_12023-06-28 18:58 63K 
[ ]comseq_1__t16_comseq_12023-06-28 19:05 53K 
[ ]comseq_1__t17_comseq_12023-06-28 19:05 41K 
[ ]comseq_1__t18_comseq_12023-06-28 19:05 62K 
[ ]comseq_1__t19_comseq_12023-06-28 19:06 54K 
[ ]comseq_1__t20_comseq_12023-06-28 19:06 60K 
[ ]comseq_1__t21_comseq_12023-06-28 19:07 41K 
[ ]comseq_1__t22_comseq_12023-06-28 18:58 41K 
[ ]comseq_1__t23_comseq_12023-06-28 18:59 56K 
[ ]comseq_1__t24_comseq_12023-06-28 19:07 60K 
[ ]comseq_1__t25_comseq_12023-06-28 19:08 58K 
[ ]comseq_1__t26_comseq_12023-06-28 18:59 52K 
[ ]comseq_1__t27_comseq_12023-06-28 19:08 36K 
[ ]comseq_1__t29_comseq_12023-06-28 19:08 47K 
[ ]comseq_1__t30_comseq_12023-06-28 19:09 50K 
[ ]comseq_1__t31_comseq_12023-06-28 19:09 63K 
[ ]comseq_1__t32_comseq_12023-06-28 19:10 55K 
[ ]comseq_1__t33_comseq_12023-06-28 19:10 47K 
[ ]comseq_1__t34_comseq_12023-06-28 19:11 51K 
[ ]comseq_1__t35_comseq_12023-06-28 19:11 48K 
[ ]comseq_1__t36_comseq_12023-06-28 19:11 52K 
[ ]comseq_1__t37_comseq_12023-06-28 19:12 65K 
[ ]comseq_1__t38_comseq_12023-06-28 19:12 42K 
[ ]comseq_1__t39_comseq_12023-06-28 18:59 42K 
[ ]comseq_1__t40_comseq_12023-06-28 19:13 47K 
[ ]comseq_1__t41_comseq_12023-06-28 19:13 51K 
[ ]comseq_1__t42_comseq_12023-06-28 19:13 63K 
[ ]comseq_1__t43_comseq_12023-06-28 19:14 76K 
[ ]comseq_1__t44_comseq_12023-06-28 19:14 78K 
[ ]comseq_1__t45_comseq_12023-06-28 19:15 50K 
[ ]comseq_1__t46_comseq_12023-06-28 19:15 55K 
[ ]comseq_1__t48_comseq_12023-06-28 19:16 52K 
[ ]comseq_1__t49_comseq_12023-06-28 19:16 57K 
[ ]comseq_1__t50_comseq_12023-06-28 19:16 52K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80