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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]classes1__l12_classes12025-09-11 22:17 32K 
[ ]classes1__l36_classes12025-09-11 22:17 28K 
[ ]classes1__l87_classes12025-09-11 22:18 14K 
[ ]classes1__s1_classes12025-09-11 21:18 23K 
[ ]classes1__s2_classes12025-09-11 21:19 12K 
[ ]classes1__t1_classes12025-09-11 21:20 19K 
[ ]classes1__t2_classes12025-09-11 21:21 14K 
[ ]classes1__t3_classes12025-09-11 21:21 14K 
[ ]classes1__t4_classes12025-09-11 21:22 15K 
[ ]classes1__t5_classes12025-09-11 21:23 17K 
[ ]classes1__t6_classes12025-09-11 21:24 18K 
[ ]classes1__t7_classes12025-09-11 21:12 23K 
[ ]classes1__t8_classes12025-09-11 21:13 24K 
[ ]classes1__t9_classes12025-09-11 21:24 25K 
[ ]classes1__t10_classes12025-09-11 21:26 25K 
[ ]classes1__t11_classes12025-09-11 21:13 17K 
[ ]classes1__t12_classes12025-09-11 21:14 17K 
[ ]classes1__t13_classes12025-09-11 21:26 15K 
[ ]classes1__t14_classes12025-09-11 21:27 18K 
[ ]classes1__t15_classes12025-09-11 21:28 24K 
[ ]classes1__t16_classes12025-09-11 21:29 20K 
[ ]classes1__t17_classes12025-09-11 21:30 20K 
[ ]classes1__t18_classes12025-09-11 21:31 30K 
[ ]classes1__t19_classes12025-09-11 21:32 17K 
[ ]classes1__t20_classes12025-09-11 21:32 16K 
[ ]classes1__t21_classes12025-09-11 21:33 26K 
[ ]classes1__t22_classes12025-09-11 21:34 28K 
[ ]classes1__t23_classes12025-09-11 21:35 17K 
[ ]classes1__t24_classes12025-09-11 21:36 16K 
[ ]classes1__t25_classes12025-09-11 21:36 13K 
[ ]classes1__t26_classes12025-09-11 21:37 24K 
[ ]classes1__t27_classes12025-09-11 21:38 12K 
[ ]classes1__t28_classes12025-09-11 21:39 20K 
[ ]classes1__t29_classes12025-09-11 21:15 20K 
[ ]classes1__t30_classes12025-09-11 21:16 20K 
[ ]classes1__t31_classes12025-09-11 21:39 21K 
[ ]classes1__t32_classes12025-09-11 21:40 21K 
[ ]classes1__t33_classes12025-09-11 21:41 21K 
[ ]classes1__t34_classes12025-09-11 21:42 14K 
[ ]classes1__t35_classes12025-09-11 21:42 24K 
[ ]classes1__t36_classes12025-09-11 21:43 20K 
[ ]classes1__t37_classes12025-09-11 21:44 16K 
[ ]classes1__t38_classes12025-09-11 21:45 19K 
[ ]classes1__t39_classes12025-09-11 21:46 27K 
[ ]classes1__t40_classes12025-09-11 21:46 21K 
[ ]classes1__t41_classes12025-09-11 21:47 22K 
[ ]classes1__t42_classes12025-09-11 21:48 17K 
[ ]classes1__t43_classes12025-09-11 21:49 16K 
[ ]classes1__t44_classes12025-09-11 21:49 17K 
[ ]classes1__t45_classes12025-09-11 21:50 14K 
[ ]classes1__t46_classes12025-09-11 21:51 19K 
[ ]classes1__t47_classes12025-09-11 21:52 20K 
[ ]classes1__t48_classes12025-09-11 21:52 14K 
[ ]classes1__t49_classes12025-09-11 21:53 15K 
[ ]classes1__t50_classes12025-09-11 21:54 15K 
[ ]classes1__t51_classes12025-09-11 21:16 472  
[ ]classes1__t52_classes12025-09-11 21:54 20K 
[ ]classes1__t53_classes12025-09-11 21:55 20K 
[ ]classes1__t54_classes12025-09-11 21:17 14K 
[ ]classes1__t55_classes12025-09-11 21:56 14K 
[ ]classes1__t56_classes12025-09-11 21:17 9.8K 
[ ]classes1__t57_classes12025-09-11 21:17 1.2K 
[ ]classes1__t58_classes12025-09-11 21:57 14K 
[ ]classes1__t59_classes12025-09-11 21:18 642  
[ ]classes1__t60_classes12025-09-11 21:57 16K 
[ ]classes1__t61_classes12025-09-11 21:58 15K 
[ ]classes1__t62_classes12025-09-11 21:59 15K 
[ ]classes1__t63_classes12025-09-11 21:59 24K 
[ ]classes1__t64_classes12025-09-11 22:00 15K 
[ ]classes1__t65_classes12025-09-11 22:01 15K 
[ ]classes1__t66_classes12025-09-11 22:01 19K 
[ ]classes1__t67_classes12025-09-11 22:02 15K 
[ ]classes1__t68_classes12025-09-11 22:03 15K 
[ ]classes1__t69_classes12025-09-11 22:03 16K 
[ ]classes1__t70_classes12025-09-11 22:04 18K 
[ ]classes1__t71_classes12025-09-11 22:05 22K 
[ ]classes1__t72_classes12025-09-11 22:06 18K 
[ ]classes1__t73_classes12025-09-11 22:06 16K 
[ ]classes1__t74_classes12025-09-11 22:07 24K 
[ ]classes1__t75_classes12025-09-11 22:08 21K 
[ ]classes1__t76_classes12025-09-11 22:09 12K 
[ ]classes1__t77_classes12025-09-11 22:10 31K 
[ ]classes1__t78_classes12025-09-11 22:11 29K 
[ ]classes1__t79_classes12025-09-11 22:12 21K 
[ ]classes1__t80_classes12025-09-11 22:13 33K 
[ ]classes1__t81_classes12025-09-11 22:13 15K 
[ ]classes1__t82_classes12025-09-11 22:14 14K 
[ ]classes1__t83_classes12025-09-11 22:15 32K 
[ ]classes1__t84_classes12025-09-11 22:16 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80