Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/polyeq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polyeq_3__l8_polyeq_32021-07-18 21:12 35K 
[ ]polyeq_3__l36_polyeq_32021-07-18 21:12 23K 
[ ]polyeq_3__t1_polyeq_32021-07-18 20:59 696K 
[ ]polyeq_3__t2_polyeq_32021-07-18 20:59 907K 
[ ]polyeq_3__t3_polyeq_32021-07-18 21:00 195K 
[ ]polyeq_3__t4_polyeq_32021-07-18 21:00 53K 
[ ]polyeq_3__t5_polyeq_32021-07-18 21:00 494K 
[ ]polyeq_3__t6_polyeq_32021-07-18 21:01 1.2M 
[ ]polyeq_3__t7_polyeq_32021-07-18 21:01 305K 
[ ]polyeq_3__t8_polyeq_32021-07-18 21:01 561K 
[ ]polyeq_3__t9_polyeq_32021-07-18 21:02 305K 
[ ]polyeq_3__t10_polyeq_32021-07-18 21:02 305K 
[ ]polyeq_3__t11_polyeq_32021-07-18 21:02 561K 
[ ]polyeq_3__t12_polyeq_32021-07-18 21:02 520K 
[ ]polyeq_3__t13_polyeq_32021-07-18 21:03 1.1M 
[ ]polyeq_3__t14_polyeq_32021-07-18 21:03 1.7M 
[ ]polyeq_3__t15_polyeq_32021-07-18 21:04 1.3M 
[ ]polyeq_3__t16_polyeq_32021-07-18 21:04 51K 
[ ]polyeq_3__t17_polyeq_32021-07-18 21:04 108K 
[ ]polyeq_3__t18_polyeq_32021-07-18 21:05 137K 
[ ]polyeq_3__t19_polyeq_32021-07-18 21:05 486K 
[ ]polyeq_3__t20_polyeq_32021-07-18 21:05 426K 
[ ]polyeq_3__t21_polyeq_32021-07-18 21:06 425K 
[ ]polyeq_3__t22_polyeq_32021-07-18 21:06 487K 
[ ]polyeq_3__t23_polyeq_32021-07-18 21:07 488K 
[ ]polyeq_3__t24_polyeq_32021-07-18 21:07 52K 
[ ]polyeq_3__t25_polyeq_32021-07-18 21:07 329K 
[ ]polyeq_3__t26_polyeq_32021-07-18 21:08 329K 
[ ]polyeq_3__t27_polyeq_32021-07-18 21:08 44K 
[ ]polyeq_3__t28_polyeq_32021-07-18 21:08 111K 
[ ]polyeq_3__t29_polyeq_32021-07-18 21:08 332K 
[ ]polyeq_3__t30_polyeq_32021-07-18 21:09 332K 
[ ]polyeq_3__t31_polyeq_32021-07-18 21:09 63K 
[ ]polyeq_3__t32_polyeq_32021-07-18 21:09 63K 
[ ]polyeq_3__t33_polyeq_32021-07-18 21:10 197K 
[ ]polyeq_3__t34_polyeq_32021-07-18 21:10 205K 
[ ]polyeq_3__t35_polyeq_32021-07-18 21:11 194K 
[ ]polyeq_3__t36_polyeq_32021-07-18 21:11 16K 
[ ]polyeq_3__t37_polyeq_32021-07-18 21:11 41K 
[ ]polyeq_3__t38_polyeq_32021-07-18 21:11 20K 
[ ]polyeq_3__t39_polyeq_32021-07-18 21:12 198K 
[ ]polyeq_3__t40_polyeq_32021-07-18 21:12 206K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80