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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]integr15__l2_integr152021-07-19 04:17 119K 
[ ]integr15__l3_integr152021-07-19 04:17 124K 
[ ]integr15__l4_integr152021-07-19 04:18 124K 
[ ]integr15__l5_integr152021-07-19 04:19 110K 
[ ]integr15__l17_integr152021-07-19 04:20 74K 
[ ]integr15__l28_integr152021-07-19 04:20 88K 
[ ]integr15__t1_integr152021-07-19 03:59 91K 
[ ]integr15__t2_integr152021-07-19 03:59 91K 
[ ]integr15__t3_integr152021-07-19 04:00 109K 
[ ]integr15__t4_integr152021-07-19 04:01 107K 
[ ]integr15__t5_integr152021-07-19 04:02 87K 
[ ]integr15__t6_integr152021-07-19 04:02 87K 
[ ]integr15__t7_integr152021-07-19 04:03 94K 
[ ]integr15__t8_integr152021-07-19 04:04 95K 
[ ]integr15__t9_integr152021-07-19 04:05 126K 
[ ]integr15__t10_integr152021-07-19 04:05 120K 
[ ]integr15__t11_integr152021-07-19 04:07 170K 
[ ]integr15__t12_integr152021-07-19 04:08 171K 
[ ]integr15__t13_integr152021-07-19 04:09 87K 
[ ]integr15__t14_integr152021-07-19 04:09 102K 
[ ]integr15__t15_integr152021-07-19 04:10 141K 
[ ]integr15__t16_integr152021-07-19 04:11 96K 
[ ]integr15__t17_integr152021-07-19 04:12 217K 
[ ]integr15__t18_integr152021-07-19 04:13 113K 
[ ]integr15__t19_integr152021-07-19 04:13 93K 
[ ]integr15__t20_integr152021-07-19 04:14 117K 
[ ]integr15__t21_integr152021-07-19 04:15 74K 
[ ]integr15__t22_integr152021-07-19 04:15 74K 
[ ]integr15__t23_integr152021-07-19 04:16 67K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80