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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]integra7__l13_integra72025-09-13 00:55 43K 
[ ]integra7__t1_integra72025-09-13 00:02 58K 
[ ]integra7__t2_integra72025-09-13 00:03 58K 
[ ]integra7__t3_integra72025-09-13 00:00 38K 
[ ]integra7__t4_integra72025-09-13 00:04 56K 
[ ]integra7__t5_integra72025-09-13 00:06 52K 
[ ]integra7__t6_integra72025-09-13 00:07 84K 
[ ]integra7__t7_integra72025-09-13 00:08 49K 
[ ]integra7__t8_integra72025-09-13 00:10 68K 
[ ]integra7__t9_integra72025-09-13 00:11 61K 
[ ]integra7__t10_integra72025-09-13 00:13 79K 
[ ]integra7__t11_integra72025-09-13 00:14 43K 
[ ]integra7__t12_integra72025-09-13 00:16 94K 
[ ]integra7__t13_integra72025-09-13 00:17 74K 
[ ]integra7__t14_integra72025-09-13 00:19 97K 
[ ]integra7__t15_integra72025-09-13 00:21 125K 
[ ]integra7__t16_integra72025-09-13 00:23 111K 
[ ]integra7__t17_integra72025-09-13 00:25 107K 
[ ]integra7__t18_integra72025-09-13 00:27 73K 
[ ]integra7__t19_integra72025-09-13 00:28 47K 
[ ]integra7__t20_integra72025-09-13 00:29 50K 
[ ]integra7__t21_integra72025-09-13 00:31 160K 
[ ]integra7__t22_integra72025-09-13 00:33 69K 
[ ]integra7__t23_integra72025-09-13 00:35 59K 
[ ]integra7__t24_integra72025-09-13 00:36 86K 
[ ]integra7__t25_integra72025-09-13 00:38 83K 
[ ]integra7__t26_integra72025-09-13 00:40 112K 
[ ]integra7__t27_integra72025-09-13 00:41 59K 
[ ]integra7__t28_integra72025-09-13 00:43 88K 
[ ]integra7__t29_integra72025-09-13 00:44 83K 
[ ]integra7__t30_integra72025-09-13 00:46 97K 
[ ]integra7__t31_integra72025-09-13 00:50 234K 
[ ]integra7__t32_integra72025-09-13 00:52 67K 
[ ]integra7__t33_integra72025-09-13 00:54 147K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80