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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]twoscomp__l4_twoscomp2021-07-19 06:01 42K 
[ ]twoscomp__l6_twoscomp2021-07-19 05:37 42K 
[ ]twoscomp__l9_twoscomp2021-07-19 06:02 42K 
[ ]twoscomp__l10_twoscomp2021-07-19 05:37 42K 
[ ]twoscomp__l30_twoscomp2021-07-19 06:02 50K 
[ ]twoscomp__l33_twoscomp2021-07-19 05:37 50K 
[ ]twoscomp__l37_twoscomp2021-07-19 06:02 50K 
[ ]twoscomp__l38_twoscomp2021-07-19 05:38 50K 
[ ]twoscomp__t1_twoscomp2021-07-19 05:28 38K 
[ ]twoscomp__t2_twoscomp2021-07-19 05:28 42K 
[ ]twoscomp__t3_twoscomp2021-07-19 05:29 43K 
[ ]twoscomp__t4_twoscomp2021-07-19 05:29 43K 
[ ]twoscomp__t5_twoscomp2021-07-19 05:29 113K 
[ ]twoscomp__t6_twoscomp2021-07-19 05:38 54K 
[ ]twoscomp__t7_twoscomp2021-07-19 05:39 43K 
[ ]twoscomp__t8_twoscomp2021-07-19 05:39 112K 
[ ]twoscomp__t9_twoscomp2021-07-19 05:40 45K 
[ ]twoscomp__t10_twoscomp2021-07-19 05:40 46K 
[ ]twoscomp__t11_twoscomp2021-07-19 05:41 46K 
[ ]twoscomp__t12_twoscomp2021-07-19 05:30 44K 
[ ]twoscomp__t13_twoscomp2021-07-19 05:30 112K 
[ ]twoscomp__t14_twoscomp2021-07-19 05:31 52K 
[ ]twoscomp__t15_twoscomp2021-07-19 05:31 52K 
[ ]twoscomp__t16_twoscomp2021-07-19 05:41 113K 
[ ]twoscomp__t17_twoscomp2021-07-19 05:42 53K 
[ ]twoscomp__t18_twoscomp2021-07-19 05:42 32K 
[ ]twoscomp__t19_twoscomp2021-07-19 05:43 41K 
[ ]twoscomp__t20_twoscomp2021-07-19 05:43 41K 
[ ]twoscomp__t21_twoscomp2021-07-19 05:44 50K 
[ ]twoscomp__t22_twoscomp2021-07-19 05:44 111K 
[ ]twoscomp__t23_twoscomp2021-07-19 05:45 51K 
[ ]twoscomp__t24_twoscomp2021-07-19 05:45 112K 
[ ]twoscomp__t25_twoscomp2021-07-19 05:45 112K 
[ ]twoscomp__t26_twoscomp2021-07-19 05:46 113K 
[ ]twoscomp__t27_twoscomp2021-07-19 05:46 38K 
[ ]twoscomp__t28_twoscomp2021-07-19 05:47 36K 
[ ]twoscomp__t29_twoscomp2021-07-19 05:47 34K 
[ ]twoscomp__t30_twoscomp2021-07-19 05:48 34K 
[ ]twoscomp__t31_twoscomp2021-07-19 05:48 38K 
[ ]twoscomp__t32_twoscomp2021-07-19 05:49 36K 
[ ]twoscomp__t33_twoscomp2021-07-19 05:49 34K 
[ ]twoscomp__t34_twoscomp2021-07-19 05:50 34K 
[ ]twoscomp__t35_twoscomp2021-07-19 05:50 38K 
[ ]twoscomp__t36_twoscomp2021-07-19 05:51 38K 
[ ]twoscomp__t37_twoscomp2021-07-19 05:51 42K 
[ ]twoscomp__t38_twoscomp2021-07-19 05:52 43K 
[ ]twoscomp__t39_twoscomp2021-07-19 05:53 39K 
[ ]twoscomp__t40_twoscomp2021-07-19 05:53 40K 
[ ]twoscomp__t41_twoscomp2021-07-19 05:54 38K 
[ ]twoscomp__t42_twoscomp2021-07-19 05:54 38K 
[ ]twoscomp__t43_twoscomp2021-07-19 05:55 59K 
[ ]twoscomp__t44_twoscomp2021-07-19 05:56 78K 
[ ]twoscomp__t45_twoscomp2021-07-19 05:56 66K 
[ ]twoscomp__t46_twoscomp2021-07-19 05:57 85K 
[ ]twoscomp__t47_twoscomp2021-07-19 05:58 59K 
[ ]twoscomp__t48_twoscomp2021-07-19 05:58 68K 
[ ]twoscomp__t49_twoscomp2021-07-19 05:59 67K 
[ ]twoscomp__t50_twoscomp2021-07-19 06:00 76K 
[ ]twoscomp__t51_twoscomp2021-07-19 05:32 58K 
[ ]twoscomp__t52_twoscomp2021-07-19 05:33 88K 
[ ]twoscomp__t53_twoscomp2021-07-19 06:01 64K 
[ ]twoscomp__t54_twoscomp2021-07-19 05:33 36K 
[ ]twoscomp__t55_twoscomp2021-07-19 05:34 40K 
[ ]twoscomp__t56_twoscomp2021-07-19 05:34 41K 
[ ]twoscomp__t57_twoscomp2021-07-19 05:34 41K 
[ ]twoscomp__t58_twoscomp2021-07-19 05:35 41K 
[ ]twoscomp__t59_twoscomp2021-07-19 05:35 48K 
[ ]twoscomp__t60_twoscomp2021-07-19 05:36 49K 
[ ]twoscomp__t61_twoscomp2021-07-19 05:36 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80