Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/ltlaxio5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ltlaxio5__t1_ltlaxio52021-07-19 00:56 26K 
[ ]ltlaxio5__t2_ltlaxio52021-07-19 00:57 29K 
[ ]ltlaxio5__t3_ltlaxio52021-07-19 00:57 60K 
[ ]ltlaxio5__t4_ltlaxio52021-07-19 00:58 117K 
[ ]ltlaxio5__t5_ltlaxio52021-07-19 00:58 31K 
[ ]ltlaxio5__t6_ltlaxio52021-07-19 00:58 33K 
[ ]ltlaxio5__t7_ltlaxio52021-07-19 00:59 33K 
[ ]ltlaxio5__t8_ltlaxio52021-07-19 00:59 32K 
[ ]ltlaxio5__t9_ltlaxio52021-07-19 01:00 27K 
[ ]ltlaxio5__t10_ltlaxio52021-07-19 01:00 31K 
[ ]ltlaxio5__t11_ltlaxio52021-07-19 01:00 36K 
[ ]ltlaxio5__t12_ltlaxio52021-07-19 01:01 29K 
[ ]ltlaxio5__t13_ltlaxio52021-07-19 01:01 37K 
[ ]ltlaxio5__t14_ltlaxio52021-07-19 01:02 59K 
[ ]ltlaxio5__t15_ltlaxio52021-07-19 01:02 24K 
[ ]ltlaxio5__t16_ltlaxio52021-07-19 01:03 33K 
[ ]ltlaxio5__t17_ltlaxio52021-07-19 01:03 36K 
[ ]ltlaxio5__t18_ltlaxio52021-07-19 01:04 24K 
[ ]ltlaxio5__t19_ltlaxio52021-07-19 01:04 29K 
[ ]ltlaxio5__t20_ltlaxio52021-07-19 01:04 27K 
[ ]ltlaxio5__t21_ltlaxio52021-07-19 01:05 64K 
[ ]ltlaxio5__t22_ltlaxio52021-07-19 01:05 17K 
[ ]ltlaxio5__t23_ltlaxio52021-07-19 01:06 26K 
[ ]ltlaxio5__t24_ltlaxio52021-07-19 01:06 23K 
[ ]ltlaxio5__t25_ltlaxio52021-07-19 01:06 30K 
[ ]ltlaxio5__t26_ltlaxio52021-07-19 01:07 36K 
[ ]ltlaxio5__t27_ltlaxio52021-07-19 01:07 68K 
[ ]ltlaxio5__t28_ltlaxio52021-07-19 01:08 67K 
[ ]ltlaxio5__t29_ltlaxio52021-07-19 01:08 36K 
[ ]ltlaxio5__t30_ltlaxio52021-07-19 01:09 58K 
[ ]ltlaxio5__t31_ltlaxio52021-07-19 01:09 59K 
[ ]ltlaxio5__t32_ltlaxio52021-07-19 01:10 32K 
[ ]ltlaxio5__t33_ltlaxio52021-07-19 01:10 32K 
[ ]ltlaxio5__t34_ltlaxio52021-07-19 01:11 61K 
[ ]ltlaxio5__t35_ltlaxio52021-07-19 01:11 42K 
[ ]ltlaxio5__t36_ltlaxio52021-07-19 01:12 32K 
[ ]ltlaxio5__t37_ltlaxio52021-07-19 01:12 67K 
[ ]ltlaxio5__t38_ltlaxio52021-07-19 01:13 67K 
[ ]ltlaxio5__t39_ltlaxio52021-07-19 01:14 52K 
[ ]ltlaxio5__t40_ltlaxio52021-07-19 01:14 52K 
[ ]ltlaxio5__t41_ltlaxio52021-07-19 01:15 52K 
[ ]ltlaxio5__t42_ltlaxio52021-07-19 01:15 27K 
[ ]ltlaxio5__t43_ltlaxio52021-07-19 01:15 27K 
[ ]ltlaxio5__t44_ltlaxio52021-07-19 01:16 35K 
[ ]ltlaxio5__t45_ltlaxio52021-07-19 01:16 31K 
[ ]ltlaxio5__t46_ltlaxio52021-07-19 01:17 32K 
[ ]ltlaxio5__t47_ltlaxio52021-07-19 01:18 88K 
[ ]ltlaxio5__t48_ltlaxio52021-07-19 01:18 47K 
[ ]ltlaxio5__t49_ltlaxio52021-07-19 01:19 33K 
[ ]ltlaxio5__t50_ltlaxio52021-07-19 01:19 30K 
[ ]ltlaxio5__t51_ltlaxio52021-07-19 01:19 29K 
[ ]ltlaxio5__t52_ltlaxio52021-07-19 01:20 42K 
[ ]ltlaxio5__t53_ltlaxio52021-07-19 01:20 29K 
[ ]ltlaxio5__t54_ltlaxio52021-07-19 01:21 31K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80