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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fomodel0__l6_fomodel02021-07-18 17:53 60K 
[ ]fomodel0__l7_fomodel02021-07-18 18:19 57K 
[ ]fomodel0__l8_fomodel02021-07-18 18:20 45K 
[ ]fomodel0__l9_fomodel02021-07-18 18:20 63K 
[ ]fomodel0__l10_fomodel02021-07-18 18:20 37K 
[ ]fomodel0__l11_fomodel02021-07-18 18:21 58K 
[ ]fomodel0__l12_fomodel02021-07-18 18:21 47K 
[ ]fomodel0__l13_fomodel02021-07-18 18:21 76K 
[ ]fomodel0__l15_fomodel02021-07-18 18:22 50K 
[ ]fomodel0__l18_fomodel02021-07-18 18:22 77K 
[ ]fomodel0__l21_fomodel02021-07-18 18:23 56K 
[ ]fomodel0__l22_fomodel02021-07-18 18:23 50K 
[ ]fomodel0__l23_fomodel02021-07-18 18:24 57K 
[ ]fomodel0__l26_fomodel02021-07-18 18:24 98K 
[ ]fomodel0__l29_fomodel02021-07-18 18:25 190K 
[ ]fomodel0__l30_fomodel02021-07-18 18:25 68K 
[ ]fomodel0__l32_fomodel02021-07-18 18:26 213K 
[ ]fomodel0__l33_fomodel02021-07-18 18:26 225K 
[ ]fomodel0__l34_fomodel02021-07-18 18:27 78K 
[ ]fomodel0__l35_fomodel02021-07-18 18:28 225K 
[ ]fomodel0__l36_fomodel02021-07-18 18:28 81K 
[ ]fomodel0__l38_fomodel02021-07-18 18:29 103K 
[ ]fomodel0__l41_fomodel02021-07-18 18:29 83K 
[ ]fomodel0__l42_fomodel02021-07-18 18:29 85K 
[ ]fomodel0__l43_fomodel02021-07-18 18:30 74K 
[ ]fomodel0__l59_fomodel02021-07-18 18:30 92K 
[ ]fomodel0__l60_fomodel02021-07-18 18:31 117K 
[ ]fomodel0__l61_fomodel02021-07-18 18:31 69K 
[ ]fomodel0__l62_fomodel02021-07-18 18:32 57K 
[ ]fomodel0__l63_fomodel02021-07-18 17:53 58K 
[ ]fomodel0__l64_fomodel02021-07-18 18:32 78K 
[ ]fomodel0__l65_fomodel02021-07-18 18:33 56K 
[ ]fomodel0__l66_fomodel02021-07-18 18:33 59K 
[ ]fomodel0__l67_fomodel02021-07-18 18:34 97K 
[ ]fomodel0__l69_fomodel02021-07-18 18:34 91K 
[ ]fomodel0__l70_fomodel02021-07-18 18:34 80K 
[ ]fomodel0__l71_fomodel02021-07-18 18:35 52K 
[ ]fomodel0__l79_fomodel02021-07-18 18:35 98K 
[ ]fomodel0__l80_fomodel02021-07-18 18:36 109K 
[ ]fomodel0__l81_fomodel02021-07-18 18:36 100K 
[ ]fomodel0__l85_fomodel02021-07-18 18:37 69K 
[ ]fomodel0__l86_fomodel02021-07-18 18:37 66K 
[ ]fomodel0__l87_fomodel02021-07-18 18:37 101K 
[ ]fomodel0__l96_fomodel02021-07-18 18:38 131K 
[ ]fomodel0__l97_fomodel02021-07-18 18:39 118K 
[ ]fomodel0__l99_fomodel02021-07-18 18:39 101K 
[ ]fomodel0__l100_fomodel02021-07-18 18:39 112K 
[ ]fomodel0__l103_fomodel02021-07-18 18:40 137K 
[ ]fomodel0__l111_fomodel02021-07-18 18:40 88K 
[ ]fomodel0__l117_fomodel02021-07-18 18:41 48K 
[ ]fomodel0__l120_fomodel02021-07-18 18:41 54K 
[ ]fomodel0__l129_fomodel02021-07-18 18:41 88K 
[ ]fomodel0__l144_fomodel02021-07-18 18:42 65K 
[ ]fomodel0__l146_fomodel02021-07-18 18:42 73K 
[ ]fomodel0__l149_fomodel02021-07-18 18:42 110K 
[ ]fomodel0__l150_fomodel02021-07-18 18:43 110K 
[ ]fomodel0__l151_fomodel02021-07-18 18:43 99K 
[ ]fomodel0__l153_fomodel02021-07-18 18:43 122K 
[ ]fomodel0__l160_fomodel02021-07-18 18:44 128K 
[ ]fomodel0__l161_fomodel02021-07-18 18:44 135K 
[ ]fomodel0__l162_fomodel02021-07-18 18:45 129K 
[ ]fomodel0__l163_fomodel02021-07-18 18:45 136K 
[ ]fomodel0__l164_fomodel02021-07-18 18:45 2.0K 
[ ]fomodel0__l165_fomodel02021-07-18 18:46 123K 
[ ]fomodel0__l166_fomodel02021-07-18 18:46 138K 
[ ]fomodel0__l167_fomodel02021-07-18 18:47 133K 
[ ]fomodel0__l168_fomodel02021-07-18 18:47 128K 
[ ]fomodel0__l169_fomodel02021-07-18 18:47 148K 
[ ]fomodel0__l170_fomodel02021-07-18 18:48 53K 
[ ]fomodel0__l171_fomodel02021-07-18 18:48 53K 
[ ]fomodel0__l172_fomodel02021-07-18 18:48 120K 
[ ]fomodel0__l173_fomodel02021-07-18 18:49 44K 
[ ]fomodel0__l174_fomodel02021-07-18 18:49 136K 
[ ]fomodel0__l175_fomodel02021-07-18 18:50 46K 
[ ]fomodel0__l176_fomodel02021-07-18 18:50 52K 
[ ]fomodel0__l177_fomodel02021-07-18 18:50 124K 
[ ]fomodel0__l181_fomodel02021-07-18 18:51 125K 
[ ]fomodel0__l182_fomodel02021-07-18 18:51 137K 
[ ]fomodel0__l183_fomodel02021-07-18 18:52 134K 
[ ]fomodel0__l185_fomodel02021-07-18 18:52 129K 
[ ]fomodel0__s1_fomodel02021-07-18 17:54 53K 
[ ]fomodel0__s2_fomodel02021-07-18 17:54 120K 
[ ]fomodel0__s3_fomodel02021-07-18 17:55 55K 
[ ]fomodel0__s4_fomodel02021-07-18 17:55 54K 
[ ]fomodel0__s5_fomodel02021-07-18 17:55 55K 
[ ]fomodel0__s6_fomodel02021-07-18 17:56 55K 
[ ]fomodel0__t1_fomodel02021-07-18 17:56 69K 
[ ]fomodel0__t2_fomodel02021-07-18 17:57 48K 
[ ]fomodel0__t3_fomodel02021-07-18 17:57 36K 
[ ]fomodel0__t4_fomodel02021-07-18 17:57 71K 
[ ]fomodel0__t5_fomodel02021-07-18 17:58 60K 
[ ]fomodel0__t6_fomodel02021-07-18 17:58 66K 
[ ]fomodel0__t7_fomodel02021-07-18 17:59 119K 
[ ]fomodel0__t8_fomodel02021-07-18 17:59 113K 
[ ]fomodel0__t9_fomodel02021-07-18 18:00 65K 
[ ]fomodel0__t10_fomodel02021-07-18 17:42 38K 
[ ]fomodel0__t11_fomodel02021-07-18 17:42 46K 
[ ]fomodel0__t12_fomodel02021-07-18 18:00 73K 
[ ]fomodel0__t13_fomodel02021-07-18 17:42 77K 
[ ]fomodel0__t14_fomodel02021-07-18 18:01 87K 
[ ]fomodel0__t15_fomodel02021-07-18 18:01 96K 
[ ]fomodel0__t16_fomodel02021-07-18 18:02 56K 
[ ]fomodel0__t17_fomodel02021-07-18 17:43 52K 
[ ]fomodel0__t18_fomodel02021-07-18 17:43 47K 
[ ]fomodel0__t19_fomodel02021-07-18 17:43 61K 
[ ]fomodel0__t20_fomodel02021-07-18 18:02 49K 
[ ]fomodel0__t21_fomodel02021-07-18 18:02 78K 
[ ]fomodel0__t22_fomodel02021-07-18 18:03 103K 
[ ]fomodel0__t23_fomodel02021-07-18 18:03 75K 
[ ]fomodel0__t24_fomodel02021-07-18 18:04 92K 
[ ]fomodel0__t25_fomodel02021-07-18 18:04 43K 
[ ]fomodel0__t26_fomodel02021-07-18 17:44 55K 
[ ]fomodel0__t27_fomodel02021-07-18 18:05 76K 
[ ]fomodel0__t28_fomodel02021-07-18 18:05 78K 
[ ]fomodel0__t29_fomodel02021-07-18 18:06 78K 
[ ]fomodel0__t30_fomodel02021-07-18 18:06 65K 
[ ]fomodel0__t31_fomodel02021-07-18 18:07 97K 
[ ]fomodel0__t32_fomodel02021-07-18 18:07 82K 
[ ]fomodel0__t33_fomodel02021-07-18 18:08 115K 
[ ]fomodel0__t34_fomodel02021-07-18 17:44 94K 
[ ]fomodel0__t35_fomodel02021-07-18 17:45 69K 
[ ]fomodel0__t36_fomodel02021-07-18 17:45 87K 
[ ]fomodel0__t37_fomodel02021-07-18 17:45 85K 
[ ]fomodel0__t38_fomodel02021-07-18 18:08 117K 
[ ]fomodel0__t39_fomodel02021-07-18 17:46 42K 
[ ]fomodel0__t40_fomodel02021-07-18 18:09 73K 
[ ]fomodel0__t41_fomodel02021-07-18 18:09 110K 
[ ]fomodel0__t42_fomodel02021-07-18 18:10 166K 
[ ]fomodel0__t43_fomodel02021-07-18 18:10 81K 
[ ]fomodel0__t44_fomodel02021-07-18 18:11 85K 
[ ]fomodel0__t45_fomodel02021-07-18 18:11 87K 
[ ]fomodel0__t46_fomodel02021-07-18 17:46 88K 
[ ]fomodel0__t47_fomodel02021-07-18 18:12 93K 
[ ]fomodel0__t48_fomodel02021-07-18 18:12 90K 
[ ]fomodel0__t49_fomodel02021-07-18 17:47 54K 
[ ]fomodel0__t50_fomodel02021-07-18 17:47 52K 
[ ]fomodel0__t51_fomodel02021-07-18 18:12 56K 
[ ]fomodel0__t52_fomodel02021-07-18 18:13 172K 
[ ]fomodel0__t53_fomodel02021-07-18 18:14 88K 
[ ]fomodel0__t54_fomodel02021-07-18 18:14 105K 
[ ]fomodel0__t55_fomodel02021-07-18 18:15 69K 
[ ]fomodel0__t56_fomodel02021-07-18 18:15 87K 
[ ]fomodel0__t57_fomodel02021-07-18 18:16 100K 
[ ]fomodel0__t58_fomodel02021-07-18 18:16 71K 
[ ]fomodel0__t59_fomodel02021-07-18 18:17 72K 
[ ]fomodel0__t60_fomodel02021-07-18 18:17 55K 
[ ]fomodel0__t61_fomodel02021-07-18 18:17 98K 
[ ]fomodel0__t62_fomodel02021-07-18 18:17 1.1K 
[ ]fomodel0__t63_fomodel02021-07-18 18:18 99K 
[ ]fomodel0__t64_fomodel02021-07-18 18:18 57K 
[ ]fomodel0__t65_fomodel02021-07-18 18:19 103K 
[ ]fomodel0__t66_fomodel02021-07-18 17:47 62K 
[ ]fomodel0__t67_fomodel02021-07-18 17:48 72K 
[ ]fomodel0__t68_fomodel02021-07-18 17:48 56K 
[ ]fomodel0__t69_fomodel02021-07-18 17:49 127K 
[ ]fomodel0__t70_fomodel02021-07-18 17:49 55K 
[ ]fomodel0__t71_fomodel02021-07-18 17:49 56K 
[ ]fomodel0__t72_fomodel02021-07-18 17:50 137K 
[ ]fomodel0__t73_fomodel02021-07-18 17:50 131K 
[ ]fomodel0__t74_fomodel02021-07-18 17:51 46K 
[ ]fomodel0__t75_fomodel02021-07-18 17:51 70K 
[ ]fomodel0__t76_fomodel02021-07-18 17:52 128K 
[ ]fomodel0__t77_fomodel02021-07-18 17:52 139K 
[ ]fomodel0__t78_fomodel02021-07-18 17:53 123K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80