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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor0__s1_functor02025-09-12 21:29 18K 
[ ]functor0__t1_functor02025-09-12 21:27 19K 
[ ]functor0__t2_functor02025-09-12 21:30 27K 
[ ]functor0__t3_functor02025-09-12 21:31 29K 
[ ]functor0__t4_functor02025-09-12 21:32 27K 
[ ]functor0__t5_functor02025-09-12 21:33 33K 
[ ]functor0__t6_functor02025-09-12 21:33 36K 
[ ]functor0__t7_functor02025-09-12 21:34 12K 
[ ]functor0__t8_functor02025-09-12 21:35 19K 
[ ]functor0__t9_functor02025-09-12 21:35 22K 
[ ]functor0__t10_functor02025-09-12 21:36 29K 
[ ]functor0__t11_functor02025-09-12 21:37 36K 
[ ]functor0__t12_functor02025-09-12 21:38 14K 
[ ]functor0__t13_functor02025-09-12 21:39 26K 
[ ]functor0__t14_functor02025-09-12 21:39 32K 
[ ]functor0__t15_functor02025-09-12 21:40 38K 
[ ]functor0__t16_functor02025-09-12 21:41 45K 
[ ]functor0__t17_functor02025-09-12 21:42 31K 
[ ]functor0__t18_functor02025-09-12 21:43 41K 
[ ]functor0__t19_functor02025-09-12 21:44 39K 
[ ]functor0__t20_functor02025-09-12 21:45 35K 
[ ]functor0__t21_functor02025-09-12 21:46 42K 
[ ]functor0__t22_functor02025-09-12 21:47 37K 
[ ]functor0__t23_functor02025-09-12 21:48 44K 
[ ]functor0__t24_functor02025-09-12 21:50 42K 
[ ]functor0__t25_functor02025-09-12 21:51 45K 
[ ]functor0__t26_functor02025-09-12 21:52 45K 
[ ]functor0__t27_functor02025-09-12 21:53 43K 
[ ]functor0__t28_functor02025-09-12 21:55 44K 
[ ]functor0__t29_functor02025-09-12 21:56 43K 
[ ]functor0__t30_functor02025-09-12 21:57 42K 
[ ]functor0__t31_functor02025-09-12 21:58 42K 
[ ]functor0__t32_functor02025-09-12 21:59 46K 
[ ]functor0__t33_functor02025-09-12 22:00 54K 
[ ]functor0__t34_functor02025-09-12 22:01 61K 
[ ]functor0__t35_functor02025-09-12 22:03 68K 
[ ]functor0__t36_functor02025-09-12 22:05 65K 
[ ]functor0__t37_functor02025-09-12 22:06 75K 
[ ]functor0__t38_functor02025-09-12 22:08 59K 
[ ]functor0__t39_functor02025-09-12 22:09 64K 
[ ]functor0__t40_functor02025-09-12 22:11 64K 
[ ]functor0__t41_functor02025-09-12 22:12 64K 
[ ]functor0__t42_functor02025-09-12 22:14 82K 
[ ]functor0__t43_functor02025-09-12 22:16 84K 
[ ]functor0__t44_functor02025-09-12 22:17 31K 
[ ]functor0__t45_functor02025-09-12 22:18 36K 
[ ]functor0__t46_functor02025-09-12 21:28 14K 
[ ]functor0__t47_functor02025-09-12 21:28 14K 
[ ]functor0__t48_functor02025-09-12 22:19 66K 
[ ]functor0__t49_functor02025-09-12 22:21 72K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80