Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/finseq_9

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_9__t1_finseq_92025-09-12 19:37 127K 
[ ]finseq_9__t2_finseq_92025-09-12 19:39 131K 
[ ]finseq_9__t3_finseq_92025-09-12 19:41 77K 
[ ]finseq_9__t4_finseq_92025-09-12 19:43 131K 
[ ]finseq_9__t5_finseq_92025-09-12 19:45 131K 
[ ]finseq_9__t6_finseq_92025-09-12 19:47 131K 
[ ]finseq_9__t7_finseq_92025-09-12 19:49 77K 
[ ]finseq_9__t8_finseq_92025-09-12 19:51 131K 
[ ]finseq_9__t9_finseq_92025-09-12 19:52 77K 
[ ]finseq_9__t10_finseq_92025-09-12 19:55 131K 
[ ]finseq_9__t11_finseq_92025-09-12 19:57 131K 
[ ]finseq_9__t12_finseq_92025-09-12 19:59 131K 
[ ]finseq_9__t13_finseq_92025-09-12 20:01 132K 
[ ]finseq_9__t14_finseq_92025-09-12 20:03 132K 
[ ]finseq_9__t15_finseq_92025-09-12 20:03 4.2K 
[ ]finseq_9__t16_finseq_92025-09-12 20:04 6.1K 
[ ]finseq_9__t17_finseq_92025-09-12 20:04 6.5K 
[ ]finseq_9__t18_finseq_92025-09-12 20:06 94K 
[ ]finseq_9__t19_finseq_92025-09-12 20:08 163K 
[ ]finseq_9__t20_finseq_92025-09-12 20:10 106K 
[ ]finseq_9__t21_finseq_92025-09-12 20:12 205K 
[ ]finseq_9__t22_finseq_92025-09-12 20:14 292K 
[ ]finseq_9__t23_finseq_92025-09-12 20:16 154K 
[ ]finseq_9__t24_finseq_92025-09-12 20:19 293K 
[ ]finseq_9__t25_finseq_92025-09-12 20:21 216K 
[ ]finseq_9__t26_finseq_92025-09-12 20:23 148K 
[ ]finseq_9__t27_finseq_92025-09-12 20:25 135K 
[ ]finseq_9__t28_finseq_92025-09-12 20:27 137K 
[ ]finseq_9__t29_finseq_92025-09-12 20:29 157K 
[ ]finseq_9__t30_finseq_92025-09-12 20:31 99K 
[ ]finseq_9__t31_finseq_92025-09-12 20:32 117K 
[ ]finseq_9__t32_finseq_92025-09-12 20:35 124K 
[ ]finseq_9__t33_finseq_92025-09-12 20:37 100K 
[ ]finseq_9__t34_finseq_92025-09-12 20:39 102K 
[ ]finseq_9__t35_finseq_92025-09-12 20:41 117K 
[ ]finseq_9__t36_finseq_92025-09-12 20:43 159K 
[ ]finseq_9__t37_finseq_92025-09-12 20:45 138K 
[ ]finseq_9__t38_finseq_92025-09-12 20:47 162K 
[ ]finseq_9__t39_finseq_92025-09-12 20:49 117K 
[ ]finseq_9__t40_finseq_92025-09-12 20:52 205K 
[ ]finseq_9__t41_finseq_92025-09-12 20:54 152K 
[ ]finseq_9__t42_finseq_92025-09-12 20:56 155K 
[ ]finseq_9__t43_finseq_92025-09-12 20:58 158K 
[ ]finseq_9__t44_finseq_92025-09-12 21:01 213K 
[ ]finseq_9__t45_finseq_92025-09-12 21:03 152K 
[ ]finseq_9__t46_finseq_92025-09-12 21:05 155K 
[ ]finseq_9__t47_finseq_92025-09-12 21:08 157K 
[ ]finseq_9__t48_finseq_92025-09-12 21:10 116K 
[ ]finseq_9__t49_finseq_92025-09-12 21:12 174K 
[ ]finseq_9__t50_finseq_92025-09-12 21:14 115K 
[ ]finseq_9__t51_finseq_92025-09-12 21:16 173K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80