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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sincos10__l1_sincos102025-09-13 22:37 73K 
[ ]sincos10__l3_sincos102025-09-13 22:39 77K 
[ ]sincos10__l5_sincos102025-09-13 22:40 74K 
[ ]sincos10__l7_sincos102025-09-13 22:42 62K 
[ ]sincos10__l17_sincos102025-09-13 22:43 61K 
[ ]sincos10__l18_sincos102025-09-13 22:45 215K 
[ ]sincos10__l19_sincos102025-09-13 22:46 88K 
[ ]sincos10__l20_sincos102025-09-13 22:47 61K 
[ ]sincos10__l21_sincos102025-09-13 18:55 54K 
[ ]sincos10__l22_sincos102025-09-13 18:57 63K 
[ ]sincos10__l23_sincos102025-09-13 18:58 53K 
[ ]sincos10__l24_sincos102025-09-13 19:00 62K 
[ ]sincos10__l25_sincos102025-09-13 19:01 60K 
[ ]sincos10__l26_sincos102025-09-13 19:03 84K 
[ ]sincos10__l27_sincos102025-09-13 19:04 64K 
[ ]sincos10__l28_sincos102025-09-13 19:06 73K 
[ ]sincos10__l29_sincos102025-09-13 19:07 54K 
[ ]sincos10__l30_sincos102025-09-13 19:09 63K 
[ ]sincos10__l31_sincos102025-09-13 19:10 84K 
[ ]sincos10__l32_sincos102025-09-13 19:12 60K 
[ ]sincos10__l33_sincos102025-09-13 19:13 71K 
[ ]sincos10__l34_sincos102025-09-13 19:15 72K 
[ ]sincos10__l35_sincos102025-09-13 19:17 70K 
[ ]sincos10__l36_sincos102025-09-13 19:18 70K 
[ ]sincos10__l37_sincos102025-09-13 19:20 82K 
[ ]sincos10__l38_sincos102025-09-13 19:21 82K 
[ ]sincos10__l39_sincos102025-09-13 19:23 71K 
[ ]sincos10__l40_sincos102025-09-13 19:25 71K 
[ ]sincos10__l61_sincos102025-09-13 19:26 68K 
[ ]sincos10__l62_sincos102025-09-13 19:28 67K 
[ ]sincos10__l63_sincos102025-09-13 19:29 78K 
[ ]sincos10__l64_sincos102025-09-13 19:31 68K 
[ ]sincos10__l77_sincos102025-09-13 22:49 78K 
[ ]sincos10__l78_sincos102025-09-13 22:51 102K 
[ ]sincos10__l79_sincos102025-09-13 22:52 102K 
[ ]sincos10__l80_sincos102025-09-13 22:54 77K 
[ ]sincos10__l81_sincos102025-09-13 22:56 75K 
[ ]sincos10__l82_sincos102025-09-13 22:57 74K 
[ ]sincos10__l83_sincos102025-09-13 22:59 85K 
[ ]sincos10__l84_sincos102025-09-13 23:00 75K 
[ ]sincos10__l97_sincos102025-09-13 23:02 76K 
[ ]sincos10__l98_sincos102025-09-13 23:04 101K 
[ ]sincos10__l99_sincos102025-09-13 23:05 101K 
[ ]sincos10__l100_sincos102025-09-13 23:07 76K 
[ ]sincos10__l101_sincos102025-09-13 23:09 76K 
[ ]sincos10__l102_sincos102025-09-13 23:10 100K 
[ ]sincos10__l103_sincos102025-09-13 23:12 100K 
[ ]sincos10__l104_sincos102025-09-13 23:13 75K 
[ ]sincos10__t1_sincos102025-09-13 19:33 91K 
[ ]sincos10__t2_sincos102025-09-13 19:35 94K 
[ ]sincos10__t3_sincos102025-09-13 19:37 110K 
[ ]sincos10__t4_sincos102025-09-13 19:38 79K 
[ ]sincos10__t5_sincos102025-09-13 19:40 182K 
[ ]sincos10__t6_sincos102025-09-13 19:42 182K 
[ ]sincos10__t7_sincos102025-09-13 19:44 182K 
[ ]sincos10__t8_sincos102025-09-13 19:46 182K 
[ ]sincos10__t9_sincos102025-09-13 18:01 72K 
[ ]sincos10__t10_sincos102025-09-13 18:02 70K 
[ ]sincos10__t11_sincos102025-09-13 18:04 83K 
[ ]sincos10__t12_sincos102025-09-13 18:06 83K 
[ ]sincos10__t13_sincos102025-09-13 19:47 189K 
[ ]sincos10__t14_sincos102025-09-13 19:49 189K 
[ ]sincos10__t15_sincos102025-09-13 19:51 196K 
[ ]sincos10__t16_sincos102025-09-13 19:53 189K 
[ ]sincos10__t17_sincos102025-09-13 19:55 112K 
[ ]sincos10__t18_sincos102025-09-13 19:57 173K 
[ ]sincos10__t19_sincos102025-09-13 19:58 544K 
[ ]sincos10__t20_sincos102025-09-13 20:00 199K 
[ ]sincos10__t21_sincos102025-09-13 18:07 66K 
[ ]sincos10__t22_sincos102025-09-13 18:09 66K 
[ ]sincos10__t23_sincos102025-09-13 18:10 77K 
[ ]sincos10__t24_sincos102025-09-13 18:12 66K 
[ ]sincos10__t25_sincos102025-09-13 20:02 71K 
[ ]sincos10__t26_sincos102025-09-13 20:04 70K 
[ ]sincos10__t27_sincos102025-09-13 20:05 81K 
[ ]sincos10__t28_sincos102025-09-13 20:07 71K 
[ ]sincos10__t29_sincos102025-09-13 20:09 377K 
[ ]sincos10__t30_sincos102025-09-13 20:11 682K 
[ ]sincos10__t31_sincos102025-09-13 20:13 819K 
[ ]sincos10__t32_sincos102025-09-13 20:14 819K 
[ ]sincos10__t33_sincos102025-09-13 20:16 837K 
[ ]sincos10__t34_sincos102025-09-13 20:18 839K 
[ ]sincos10__t35_sincos102025-09-13 20:20 591K 
[ ]sincos10__t36_sincos102025-09-13 20:22 591K 
[ ]sincos10__t37_sincos102025-09-13 20:24 98K 
[ ]sincos10__t38_sincos102025-09-13 20:26 144K 
[ ]sincos10__t39_sincos102025-09-13 20:28 118K 
[ ]sincos10__t40_sincos102025-09-13 20:30 86K 
[ ]sincos10__t41_sincos102025-09-13 20:32 828K 
[ ]sincos10__t42_sincos102025-09-13 20:34 829K 
[ ]sincos10__t43_sincos102025-09-13 20:35 582K 
[ ]sincos10__t44_sincos102025-09-13 20:37 582K 
[ ]sincos10__t45_sincos102025-09-13 20:39 84K 
[ ]sincos10__t46_sincos102025-09-13 20:41 186K 
[ ]sincos10__t47_sincos102025-09-13 20:43 109K 
[ ]sincos10__t48_sincos102025-09-13 20:45 84K 
[ ]sincos10__t49_sincos102025-09-13 20:46 81K 
[ ]sincos10__t50_sincos102025-09-13 20:48 183K 
[ ]sincos10__t51_sincos102025-09-13 20:50 106K 
[ ]sincos10__t52_sincos102025-09-13 20:51 81K 
[ ]sincos10__t53_sincos102025-09-13 18:14 88K 
[ ]sincos10__t54_sincos102025-09-13 18:15 190K 
[ ]sincos10__t55_sincos102025-09-13 18:17 113K 
[ ]sincos10__t56_sincos102025-09-13 18:19 87K 
[ ]sincos10__t57_sincos102025-09-13 18:21 89K 
[ ]sincos10__t58_sincos102025-09-13 18:22 191K 
[ ]sincos10__t59_sincos102025-09-13 18:24 114K 
[ ]sincos10__t60_sincos102025-09-13 18:26 88K 
[ ]sincos10__t61_sincos102025-09-13 18:28 78K 
[ ]sincos10__t62_sincos102025-09-13 18:29 78K 
[ ]sincos10__t63_sincos102025-09-13 18:31 89K 
[ ]sincos10__t64_sincos102025-09-13 18:33 78K 
[ ]sincos10__t65_sincos102025-09-13 18:34 79K 
[ ]sincos10__t66_sincos102025-09-13 18:36 79K 
[ ]sincos10__t67_sincos102025-09-13 18:38 90K 
[ ]sincos10__t68_sincos102025-09-13 18:40 79K 
[ ]sincos10__t69_sincos102025-09-13 20:53 85K 
[ ]sincos10__t70_sincos102025-09-13 20:55 82K 
[ ]sincos10__t71_sincos102025-09-13 20:57 93K 
[ ]sincos10__t72_sincos102025-09-13 20:58 85K 
[ ]sincos10__t73_sincos102025-09-13 21:00 817K 
[ ]sincos10__t74_sincos102025-09-13 21:02 817K 
[ ]sincos10__t75_sincos102025-09-13 21:04 570K 
[ ]sincos10__t76_sincos102025-09-13 21:05 570K 
[ ]sincos10__t77_sincos102025-09-13 21:07 72K 
[ ]sincos10__t78_sincos102025-09-13 21:09 71K 
[ ]sincos10__t79_sincos102025-09-13 21:10 82K 
[ ]sincos10__t80_sincos102025-09-13 21:12 72K 
[ ]sincos10__t81_sincos102025-09-13 21:14 81K 
[ ]sincos10__t82_sincos102025-09-13 21:16 184K 
[ ]sincos10__t83_sincos102025-09-13 21:17 106K 
[ ]sincos10__t84_sincos102025-09-13 21:19 81K 
[ ]sincos10__t85_sincos102025-09-13 21:21 405K 
[ ]sincos10__t86_sincos102025-09-13 21:23 836K 
[ ]sincos10__t87_sincos102025-09-13 21:25 736K 
[ ]sincos10__t88_sincos102025-09-13 21:27 407K 
[ ]sincos10__t89_sincos102025-09-13 21:29 92K 
[ ]sincos10__t90_sincos102025-09-13 21:31 194K 
[ ]sincos10__t91_sincos102025-09-13 21:33 117K 
[ ]sincos10__t92_sincos102025-09-13 21:34 91K 
[ ]sincos10__t93_sincos102025-09-13 21:36 88K 
[ ]sincos10__t94_sincos102025-09-13 21:38 187K 
[ ]sincos10__t95_sincos102025-09-13 21:40 116K 
[ ]sincos10__t96_sincos102025-09-13 21:42 88K 
[ ]sincos10__t97_sincos102025-09-13 21:44 396K 
[ ]sincos10__t98_sincos102025-09-13 21:46 828K 
[ ]sincos10__t99_sincos102025-09-13 21:48 727K 
[ ]sincos10__t100_sincos102025-09-13 21:50 397K 
[ ]sincos10__t101_sincos102025-09-13 18:41 817K 
[ ]sincos10__t102_sincos102025-09-13 18:43 817K 
[ ]sincos10__t103_sincos102025-09-13 18:45 569K 
[ ]sincos10__t104_sincos102025-09-13 18:47 569K 
[ ]sincos10__t105_sincos102025-09-13 21:51 86K 
[ ]sincos10__t106_sincos102025-09-13 21:53 185K 
[ ]sincos10__t107_sincos102025-09-13 21:55 113K 
[ ]sincos10__t108_sincos102025-09-13 21:57 86K 
[ ]sincos10__t109_sincos102025-09-13 21:59 817K 
[ ]sincos10__t110_sincos102025-09-13 22:01 817K 
[ ]sincos10__t111_sincos102025-09-13 22:02 570K 
[ ]sincos10__t112_sincos102025-09-13 22:04 570K 
[ ]sincos10__t113_sincos102025-09-13 22:06 300K 
[ ]sincos10__t114_sincos102025-09-13 22:08 301K 
[ ]sincos10__t115_sincos102025-09-13 22:10 302K 
[ ]sincos10__t116_sincos102025-09-13 22:12 301K 
[ ]sincos10__t117_sincos102025-09-13 22:14 305K 
[ ]sincos10__t118_sincos102025-09-13 22:16 305K 
[ ]sincos10__t119_sincos102025-09-13 22:18 306K 
[ ]sincos10__t120_sincos102025-09-13 22:20 304K 
[ ]sincos10__t121_sincos102025-09-13 22:22 200K 
[ ]sincos10__t122_sincos102025-09-13 22:24 200K 
[ ]sincos10__t123_sincos102025-09-13 22:26 206K 
[ ]sincos10__t124_sincos102025-09-13 22:28 200K 
[ ]sincos10__t125_sincos102025-09-13 22:30 191K 
[ ]sincos10__t126_sincos102025-09-13 22:32 191K 
[ ]sincos10__t127_sincos102025-09-13 22:34 199K 
[ ]sincos10__t128_sincos102025-09-13 22:36 191K 
[ ]sincos10__t129_sincos102025-09-13 18:48 73K 
[ ]sincos10__t130_sincos102025-09-13 18:50 72K 
[ ]sincos10__t131_sincos102025-09-13 18:52 84K 
[ ]sincos10__t132_sincos102025-09-13 18:54 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80