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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor0__s1_functor02021-07-19 03:13 26K 
[ ]functor0__t1_functor02021-07-19 03:13 20K 
[ ]functor0__t2_functor02021-07-19 03:14 31K 
[ ]functor0__t3_functor02021-07-19 03:14 33K 
[ ]functor0__t4_functor02021-07-19 03:14 28K 
[ ]functor0__t5_functor02021-07-19 03:15 34K 
[ ]functor0__t6_functor02021-07-19 03:15 41K 
[ ]functor0__t7_functor02021-07-19 03:15 12K 
[ ]functor0__t8_functor02021-07-19 03:15 28K 
[ ]functor0__t9_functor02021-07-19 03:16 30K 
[ ]functor0__t10_functor02021-07-19 03:16 39K 
[ ]functor0__t11_functor02021-07-19 03:16 38K 
[ ]functor0__t12_functor02021-07-19 03:17 14K 
[ ]functor0__t13_functor02021-07-19 03:17 27K 
[ ]functor0__t14_functor02021-07-19 03:17 36K 
[ ]functor0__t15_functor02021-07-19 03:18 40K 
[ ]functor0__t16_functor02021-07-19 03:18 47K 
[ ]functor0__t17_functor02021-07-19 03:18 32K 
[ ]functor0__t18_functor02021-07-19 03:19 43K 
[ ]functor0__t19_functor02021-07-19 03:19 41K 
[ ]functor0__t20_functor02021-07-19 03:19 39K 
[ ]functor0__t21_functor02021-07-19 03:20 43K 
[ ]functor0__t22_functor02021-07-19 03:20 38K 
[ ]functor0__t23_functor02021-07-19 03:21 45K 
[ ]functor0__t24_functor02021-07-19 03:21 43K 
[ ]functor0__t25_functor02021-07-19 03:21 47K 
[ ]functor0__t26_functor02021-07-19 03:22 46K 
[ ]functor0__t27_functor02021-07-19 03:22 46K 
[ ]functor0__t28_functor02021-07-19 03:23 45K 
[ ]functor0__t29_functor02021-07-19 03:23 46K 
[ ]functor0__t30_functor02021-07-19 03:24 46K 
[ ]functor0__t31_functor02021-07-19 03:24 44K 
[ ]functor0__t32_functor02021-07-19 03:24 47K 
[ ]functor0__t33_functor02021-07-19 03:25 55K 
[ ]functor0__t34_functor02021-07-19 03:25 62K 
[ ]functor0__t35_functor02021-07-19 03:26 71K 
[ ]functor0__t36_functor02021-07-19 03:26 69K 
[ ]functor0__t37_functor02021-07-19 03:27 79K 
[ ]functor0__t38_functor02021-07-19 03:28 60K 
[ ]functor0__t39_functor02021-07-19 03:28 65K 
[ ]functor0__t40_functor02021-07-19 03:29 69K 
[ ]functor0__t41_functor02021-07-19 03:29 69K 
[ ]functor0__t42_functor02021-07-19 03:30 86K 
[ ]functor0__t43_functor02021-07-19 03:31 89K 
[ ]functor0__t44_functor02021-07-19 03:31 33K 
[ ]functor0__t45_functor02021-07-19 03:31 38K 
[ ]functor0__t46_functor02021-07-19 03:13 14K 
[ ]functor0__t47_functor02021-07-19 03:13 14K 
[ ]functor0__t48_functor02021-07-19 03:32 67K 
[ ]functor0__t49_functor02021-07-19 03:32 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80