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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partfun1__l3_partfun12025-09-12 11:23 11K 
[ ]partfun1__l83_partfun12025-09-12 10:38 14K 
[ ]partfun1__l84_partfun12025-09-12 11:24 16K 
[ ]partfun1__l85_partfun12025-09-12 11:24 17K 
[ ]partfun1__s1_partfun12025-09-12 10:38 7.8K 
[ ]partfun1__s2_partfun12025-09-12 10:39 24K 
[ ]partfun1__s3_partfun12025-09-12 10:40 16K 
[ ]partfun1__s4_partfun12025-09-12 10:40 7.7K 
[ ]partfun1__s5_partfun12025-09-12 10:41 7.7K 
[ ]partfun1__t1_partfun12025-09-12 10:42 12K 
[ ]partfun1__t2_partfun12025-09-12 10:42 9.3K 
[ ]partfun1__t3_partfun12025-09-12 10:43 17K 
[ ]partfun1__t4_partfun12025-09-12 10:43 13K 
[ ]partfun1__t5_partfun12025-09-12 10:28 15K 
[ ]partfun1__t6_partfun12025-09-12 10:44 17K 
[ ]partfun1__t7_partfun12025-09-12 10:45 18K 
[ ]partfun1__t8_partfun12025-09-12 10:29 15K 
[ ]partfun1__t9_partfun12025-09-12 10:45 17K 
[ ]partfun1__t10_partfun12025-09-12 10:46 20K 
[ ]partfun1__t11_partfun12025-09-12 10:29 15K 
[ ]partfun1__t12_partfun12025-09-12 10:47 18K 
[ ]partfun1__t13_partfun12025-09-12 10:30 15K 
[ ]partfun1__t14_partfun12025-09-12 10:47 20K 
[ ]partfun1__t15_partfun12025-09-12 10:48 16K 
[ ]partfun1__t16_partfun12025-09-12 10:49 18K 
[ ]partfun1__t17_partfun12025-09-12 10:49 16K 
[ ]partfun1__t18_partfun12025-09-12 10:50 16K 
[ ]partfun1__t19_partfun12025-09-12 10:51 17K 
[ ]partfun1__t20_partfun12025-09-12 10:51 16K 
[ ]partfun1__t21_partfun12025-09-12 10:52 16K 
[ ]partfun1__t22_partfun12025-09-12 10:52 18K 
[ ]partfun1__t23_partfun12025-09-12 10:53 22K 
[ ]partfun1__t24_partfun12025-09-12 10:54 22K 
[ ]partfun1__t25_partfun12025-09-12 10:54 20K 
[ ]partfun1__t26_partfun12025-09-12 10:55 21K 
[ ]partfun1__t27_partfun12025-09-12 10:56 24K 
[ ]partfun1__t28_partfun12025-09-12 10:56 22K 
[ ]partfun1__t29_partfun12025-09-12 10:57 22K 
[ ]partfun1__t30_partfun12025-09-12 10:58 18K 
[ ]partfun1__t31_partfun12025-09-12 10:58 23K 
[ ]partfun1__t32_partfun12025-09-12 10:30 20K 
[ ]partfun1__t33_partfun12025-09-12 10:31 17K 
[ ]partfun1__t34_partfun12025-09-12 10:59 20K 
[ ]partfun1__t35_partfun12025-09-12 11:00 26K 
[ ]partfun1__t36_partfun12025-09-12 11:01 30K 
[ ]partfun1__t37_partfun12025-09-12 11:01 17K 
[ ]partfun1__t38_partfun12025-09-12 11:02 27K 
[ ]partfun1__t39_partfun12025-09-12 11:03 19K 
[ ]partfun1__t40_partfun12025-09-12 10:31 21K 
[ ]partfun1__t41_partfun12025-09-12 11:03 19K 
[ ]partfun1__t42_partfun12025-09-12 11:04 23K 
[ ]partfun1__t43_partfun12025-09-12 11:04 24K 
[ ]partfun1__t44_partfun12025-09-12 11:05 22K 
[ ]partfun1__t45_partfun12025-09-12 11:06 17K 
[ ]partfun1__t46_partfun12025-09-12 11:06 17K 
[ ]partfun1__t47_partfun12025-09-12 10:32 14K 
[ ]partfun1__t48_partfun12025-09-12 11:07 14K 
[ ]partfun1__t49_partfun12025-09-12 11:08 14K 
[ ]partfun1__t50_partfun12025-09-12 11:08 14K 
[ ]partfun1__t51_partfun12025-09-12 10:32 10K 
[ ]partfun1__t52_partfun12025-09-12 11:09 15K 
[ ]partfun1__t53_partfun12025-09-12 11:09 13K 
[ ]partfun1__t54_partfun12025-09-12 10:33 13K 
[ ]partfun1__t55_partfun12025-09-12 10:33 8.3K 
[ ]partfun1__t56_partfun12025-09-12 10:34 8.7K 
[ ]partfun1__t57_partfun12025-09-12 10:34 13K 
[ ]partfun1__t58_partfun12025-09-12 11:10 22K 
[ ]partfun1__t59_partfun12025-09-12 10:35 8.2K 
[ ]partfun1__t60_partfun12025-09-12 11:11 22K 
[ ]partfun1__t61_partfun12025-09-12 11:11 19K 
[ ]partfun1__t62_partfun12025-09-12 11:12 15K 
[ ]partfun1__t63_partfun12025-09-12 11:12 13K 
[ ]partfun1__t64_partfun12025-09-12 11:13 16K 
[ ]partfun1__t65_partfun12025-09-12 10:36 22K 
[ ]partfun1__t66_partfun12025-09-12 10:36 17K 
[ ]partfun1__t67_partfun12025-09-12 11:14 19K 
[ ]partfun1__t68_partfun12025-09-12 11:15 28K 
[ ]partfun1__t69_partfun12025-09-12 11:15 18K 
[ ]partfun1__t70_partfun12025-09-12 11:16 18K 
[ ]partfun1__t71_partfun12025-09-12 11:17 18K 
[ ]partfun1__t72_partfun12025-09-12 11:17 19K 
[ ]partfun1__t73_partfun12025-09-12 10:37 14K 
[ ]partfun1__t74_partfun12025-09-12 10:37 14K 
[ ]partfun1__t75_partfun12025-09-12 11:18 20K 
[ ]partfun1__t76_partfun12025-09-12 11:19 19K 
[ ]partfun1__t77_partfun12025-09-12 11:19 12K 
[ ]partfun1__t78_partfun12025-09-12 11:20 12K 
[ ]partfun1__t79_partfun12025-09-12 11:21 16K 
[ ]partfun1__t80_partfun12025-09-12 11:21 10K 
[ ]partfun1__t81_partfun12025-09-12 11:22 11K 
[ ]partfun1__t82_partfun12025-09-12 11:22 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80