Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems/finseq_9

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_9__t1_finseq_92023-06-28 15:07 121K 
[ ]finseq_9__t2_finseq_92023-06-28 15:08 120K 
[ ]finseq_9__t3_finseq_92023-06-28 15:09 72K 
[ ]finseq_9__t4_finseq_92023-06-28 15:09 120K 
[ ]finseq_9__t5_finseq_92023-06-28 15:10 120K 
[ ]finseq_9__t6_finseq_92023-06-28 15:10 120K 
[ ]finseq_9__t7_finseq_92023-06-28 15:11 72K 
[ ]finseq_9__t8_finseq_92023-06-28 15:12 120K 
[ ]finseq_9__t9_finseq_92023-06-28 15:12 72K 
[ ]finseq_9__t10_finseq_92023-06-28 15:13 120K 
[ ]finseq_9__t11_finseq_92023-06-28 15:13 120K 
[ ]finseq_9__t12_finseq_92023-06-28 15:14 120K 
[ ]finseq_9__t13_finseq_92023-06-28 15:15 120K 
[ ]finseq_9__t14_finseq_92023-06-28 15:15 120K 
[ ]finseq_9__t15_finseq_92023-06-28 15:16 4.2K 
[ ]finseq_9__t16_finseq_92023-06-28 15:16 6.1K 
[ ]finseq_9__t17_finseq_92023-06-28 15:16 6.5K 
[ ]finseq_9__t18_finseq_92023-06-28 15:16 88K 
[ ]finseq_9__t19_finseq_92023-06-28 15:17 159K 
[ ]finseq_9__t20_finseq_92023-06-28 15:18 99K 
[ ]finseq_9__t21_finseq_92023-06-28 15:18 183K 
[ ]finseq_9__t22_finseq_92023-06-28 15:19 274K 
[ ]finseq_9__t23_finseq_92023-06-28 15:20 138K 
[ ]finseq_9__t24_finseq_92023-06-28 15:21 275K 
[ ]finseq_9__t25_finseq_92023-06-28 15:21 203K 
[ ]finseq_9__t26_finseq_92023-06-28 15:22 128K 
[ ]finseq_9__t27_finseq_92023-06-28 15:23 120K 
[ ]finseq_9__t28_finseq_92023-06-28 15:23 120K 
[ ]finseq_9__t29_finseq_92023-06-28 15:24 153K 
[ ]finseq_9__t30_finseq_92023-06-28 15:25 92K 
[ ]finseq_9__t31_finseq_92023-06-28 15:25 110K 
[ ]finseq_9__t32_finseq_92023-06-28 15:26 117K 
[ ]finseq_9__t33_finseq_92023-06-28 15:27 93K 
[ ]finseq_9__t34_finseq_92023-06-28 15:27 96K 
[ ]finseq_9__t35_finseq_92023-06-28 15:28 110K 
[ ]finseq_9__t36_finseq_92023-06-28 15:29 144K 
[ ]finseq_9__t37_finseq_92023-06-28 15:29 124K 
[ ]finseq_9__t38_finseq_92023-06-28 15:30 145K 
[ ]finseq_9__t39_finseq_92023-06-28 15:31 104K 
[ ]finseq_9__t40_finseq_92023-06-28 15:31 194K 
[ ]finseq_9__t41_finseq_92023-06-28 15:32 137K 
[ ]finseq_9__t42_finseq_92023-06-28 15:33 141K 
[ ]finseq_9__t43_finseq_92023-06-28 15:34 143K 
[ ]finseq_9__t44_finseq_92023-06-28 15:34 202K 
[ ]finseq_9__t45_finseq_92023-06-28 15:35 136K 
[ ]finseq_9__t46_finseq_92023-06-28 15:36 139K 
[ ]finseq_9__t47_finseq_92023-06-28 15:37 141K 
[ ]finseq_9__t48_finseq_92023-06-28 15:37 106K 
[ ]finseq_9__t49_finseq_92023-06-28 15:38 158K 
[ ]finseq_9__t50_finseq_92023-06-28 15:39 103K 
[ ]finseq_9__t51_finseq_92023-06-28 15:39 156K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80