Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems/functor0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor0__s1_functor02023-06-28 00:30 26K 
[ ]functor0__t1_functor02023-06-28 00:30 21K 
[ ]functor0__t2_functor02023-06-28 00:30 30K 
[ ]functor0__t3_functor02023-06-28 00:30 32K 
[ ]functor0__t4_functor02023-06-28 00:30 27K 
[ ]functor0__t5_functor02023-06-28 00:30 31K 
[ ]functor0__t6_functor02023-06-28 00:30 41K 
[ ]functor0__t7_functor02023-06-28 00:30 13K 
[ ]functor0__t8_functor02023-06-28 00:30 27K 
[ ]functor0__t9_functor02023-06-28 00:30 29K 
[ ]functor0__t10_functor02023-06-28 00:30 39K 
[ ]functor0__t11_functor02023-06-28 00:30 38K 
[ ]functor0__t12_functor02023-06-28 00:30 13K 
[ ]functor0__t13_functor02023-06-28 00:30 26K 
[ ]functor0__t14_functor02023-06-28 00:30 36K 
[ ]functor0__t15_functor02023-06-28 00:30 37K 
[ ]functor0__t16_functor02023-06-28 00:30 44K 
[ ]functor0__t17_functor02023-06-28 00:30 31K 
[ ]functor0__t18_functor02023-06-28 00:30 43K 
[ ]functor0__t19_functor02023-06-28 00:30 39K 
[ ]functor0__t20_functor02023-06-28 00:30 39K 
[ ]functor0__t21_functor02023-06-28 00:30 42K 
[ ]functor0__t22_functor02023-06-28 00:30 39K 
[ ]functor0__t23_functor02023-06-28 00:30 45K 
[ ]functor0__t24_functor02023-06-28 00:30 42K 
[ ]functor0__t25_functor02023-06-28 00:30 46K 
[ ]functor0__t26_functor02023-06-28 00:30 46K 
[ ]functor0__t27_functor02023-06-28 00:30 46K 
[ ]functor0__t28_functor02023-06-28 00:30 45K 
[ ]functor0__t29_functor02023-06-28 00:30 46K 
[ ]functor0__t30_functor02023-06-28 00:30 46K 
[ ]functor0__t31_functor02023-06-28 00:30 43K 
[ ]functor0__t32_functor02023-06-28 00:30 45K 
[ ]functor0__t33_functor02023-06-28 00:30 55K 
[ ]functor0__t34_functor02023-06-28 00:30 61K 
[ ]functor0__t35_functor02023-06-28 00:30 70K 
[ ]functor0__t36_functor02023-06-28 00:30 70K 
[ ]functor0__t37_functor02023-06-28 00:30 84K 
[ ]functor0__t38_functor02023-06-28 00:30 61K 
[ ]functor0__t39_functor02023-06-28 00:30 65K 
[ ]functor0__t40_functor02023-06-28 00:30 73K 
[ ]functor0__t41_functor02023-06-28 00:30 72K 
[ ]functor0__t42_functor02023-06-28 00:30 91K 
[ ]functor0__t43_functor02023-06-28 00:30 93K 
[ ]functor0__t44_functor02023-06-28 00:30 33K 
[ ]functor0__t45_functor02023-06-28 00:30 38K 
[ ]functor0__t46_functor02023-06-28 00:30 14K 
[ ]functor0__t47_functor02023-06-28 00:30 14K 
[ ]functor0__t48_functor02023-06-28 00:30 68K 
[ ]functor0__t49_functor02023-06-28 00:30 72K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80