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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos9__l3_sin_cos92025-09-13 20:55 79K 
[ ]sin_cos9__l4_sin_cos92025-09-13 20:57 66K 
[ ]sin_cos9__l5_sin_cos92025-09-13 20:58 94K 
[ ]sin_cos9__l6_sin_cos92025-09-13 21:00 94K 
[ ]sin_cos9__l19_sin_cos92025-09-13 17:30 71K 
[ ]sin_cos9__l20_sin_cos92025-09-13 17:32 55K 
[ ]sin_cos9__l23_sin_cos92025-09-13 21:01 88K 
[ ]sin_cos9__l24_sin_cos92025-09-13 21:03 88K 
[ ]sin_cos9__l25_sin_cos92025-09-13 21:04 53K 
[ ]sin_cos9__l26_sin_cos92025-09-13 21:06 66K 
[ ]sin_cos9__l27_sin_cos92025-09-13 21:07 85K 
[ ]sin_cos9__l28_sin_cos92025-09-13 21:09 73K 
[ ]sin_cos9__l41_sin_cos92025-09-13 21:10 84K 
[ ]sin_cos9__l42_sin_cos92025-09-13 21:12 71K 
[ ]sin_cos9__l43_sin_cos92025-09-13 21:14 83K 
[ ]sin_cos9__l44_sin_cos92025-09-13 21:15 71K 
[ ]sin_cos9__t1_sin_cos92025-09-13 17:33 89K 
[ ]sin_cos9__t2_sin_cos92025-09-13 17:35 69K 
[ ]sin_cos9__t3_sin_cos92025-09-13 16:55 141K 
[ ]sin_cos9__t4_sin_cos92025-09-13 16:57 84K 
[ ]sin_cos9__t5_sin_cos92025-09-13 16:58 69K 
[ ]sin_cos9__t6_sin_cos92025-09-13 17:00 53K 
[ ]sin_cos9__t7_sin_cos92025-09-13 17:37 185K 
[ ]sin_cos9__t8_sin_cos92025-09-13 17:39 106K 
[ ]sin_cos9__t9_sin_cos92025-09-13 17:01 69K 
[ ]sin_cos9__t10_sin_cos92025-09-13 17:03 54K 
[ ]sin_cos9__t11_sin_cos92025-09-13 17:40 74K 
[ ]sin_cos9__t12_sin_cos92025-09-13 17:42 58K 
[ ]sin_cos9__t13_sin_cos92025-09-13 17:43 153K 
[ ]sin_cos9__t14_sin_cos92025-09-13 17:45 80K 
[ ]sin_cos9__t15_sin_cos92025-09-13 17:47 80K 
[ ]sin_cos9__t16_sin_cos92025-09-13 17:49 80K 
[ ]sin_cos9__t17_sin_cos92025-09-13 17:50 573K 
[ ]sin_cos9__t18_sin_cos92025-09-13 17:52 821K 
[ ]sin_cos9__t19_sin_cos92025-09-13 17:54 486K 
[ ]sin_cos9__t20_sin_cos92025-09-13 17:56 840K 
[ ]sin_cos9__t21_sin_cos92025-09-13 17:58 117K 
[ ]sin_cos9__t22_sin_cos92025-09-13 18:00 132K 
[ ]sin_cos9__t23_sin_cos92025-09-13 18:02 92K 
[ ]sin_cos9__t24_sin_cos92025-09-13 18:03 99K 
[ ]sin_cos9__t25_sin_cos92025-09-13 18:05 89K 
[ ]sin_cos9__t26_sin_cos92025-09-13 18:07 96K 
[ ]sin_cos9__t27_sin_cos92025-09-13 17:05 95K 
[ ]sin_cos9__t28_sin_cos92025-09-13 17:06 103K 
[ ]sin_cos9__t29_sin_cos92025-09-13 17:08 96K 
[ ]sin_cos9__t30_sin_cos92025-09-13 17:10 104K 
[ ]sin_cos9__t31_sin_cos92025-09-13 17:12 82K 
[ ]sin_cos9__t32_sin_cos92025-09-13 17:13 66K 
[ ]sin_cos9__t33_sin_cos92025-09-13 17:15 82K 
[ ]sin_cos9__t34_sin_cos92025-09-13 17:16 65K 
[ ]sin_cos9__t35_sin_cos92025-09-13 18:09 93K 
[ ]sin_cos9__t36_sin_cos92025-09-13 18:10 73K 
[ ]sin_cos9__t37_sin_cos92025-09-13 18:12 572K 
[ ]sin_cos9__t38_sin_cos92025-09-13 18:14 821K 
[ ]sin_cos9__t39_sin_cos92025-09-13 18:16 105K 
[ ]sin_cos9__t40_sin_cos92025-09-13 18:17 169K 
[ ]sin_cos9__t41_sin_cos92025-09-13 18:19 88K 
[ ]sin_cos9__t42_sin_cos92025-09-13 18:21 157K 
[ ]sin_cos9__t43_sin_cos92025-09-13 18:22 87K 
[ ]sin_cos9__t44_sin_cos92025-09-13 18:24 184K 
[ ]sin_cos9__t45_sin_cos92025-09-13 18:26 75K 
[ ]sin_cos9__t46_sin_cos92025-09-13 18:27 59K 
[ ]sin_cos9__t47_sin_cos92025-09-13 18:29 89K 
[ ]sin_cos9__t48_sin_cos92025-09-13 18:31 96K 
[ ]sin_cos9__t49_sin_cos92025-09-13 18:33 590K 
[ ]sin_cos9__t50_sin_cos92025-09-13 18:35 841K 
[ ]sin_cos9__t51_sin_cos92025-09-13 18:36 119K 
[ ]sin_cos9__t52_sin_cos92025-09-13 18:38 130K 
[ ]sin_cos9__t53_sin_cos92025-09-13 18:40 110K 
[ ]sin_cos9__t54_sin_cos92025-09-13 18:42 128K 
[ ]sin_cos9__t55_sin_cos92025-09-13 18:44 728K 
[ ]sin_cos9__t56_sin_cos92025-09-13 18:46 836K 
[ ]sin_cos9__t57_sin_cos92025-09-13 17:18 571K 
[ ]sin_cos9__t58_sin_cos92025-09-13 17:20 821K 
[ ]sin_cos9__t59_sin_cos92025-09-13 17:22 87K 
[ ]sin_cos9__t60_sin_cos92025-09-13 17:24 184K 
[ ]sin_cos9__t61_sin_cos92025-09-13 18:48 574K 
[ ]sin_cos9__t62_sin_cos92025-09-13 17:25 821K 
[ ]sin_cos9__t63_sin_cos92025-09-13 18:49 108K 
[ ]sin_cos9__t64_sin_cos92025-09-13 18:51 127K 
[ ]sin_cos9__t65_sin_cos92025-09-13 18:53 575K 
[ ]sin_cos9__t66_sin_cos92025-09-13 18:55 821K 
[ ]sin_cos9__t67_sin_cos92025-09-13 18:57 298K 
[ ]sin_cos9__t68_sin_cos92025-09-13 18:59 298K 
[ ]sin_cos9__t69_sin_cos92025-09-13 19:01 183K 
[ ]sin_cos9__t70_sin_cos92025-09-13 19:02 82K 
[ ]sin_cos9__t71_sin_cos92025-09-13 19:04 199K 
[ ]sin_cos9__t72_sin_cos92025-09-13 19:06 119K 
[ ]sin_cos9__t73_sin_cos92025-09-13 19:08 80K 
[ ]sin_cos9__t74_sin_cos92025-09-13 19:10 65K 
[ ]sin_cos9__t75_sin_cos92025-09-13 19:12 595K 
[ ]sin_cos9__t76_sin_cos92025-09-13 19:14 498K 
[ ]sin_cos9__t77_sin_cos92025-09-13 17:27 73K 
[ ]sin_cos9__t78_sin_cos92025-09-13 17:29 57K 
[ ]sin_cos9__t79_sin_cos92025-09-13 19:16 188K 
[ ]sin_cos9__t80_sin_cos92025-09-13 19:18 108K 
[ ]sin_cos9__t81_sin_cos92025-09-13 19:19 186K 
[ ]sin_cos9__t82_sin_cos92025-09-13 19:21 108K 
[ ]sin_cos9__t83_sin_cos92025-09-13 19:23 192K 
[ ]sin_cos9__t84_sin_cos92025-09-13 19:25 114K 
[ ]sin_cos9__t85_sin_cos92025-09-13 19:27 193K 
[ ]sin_cos9__t86_sin_cos92025-09-13 19:28 115K 
[ ]sin_cos9__t87_sin_cos92025-09-13 19:30 194K 
[ ]sin_cos9__t88_sin_cos92025-09-13 19:32 117K 
[ ]sin_cos9__t89_sin_cos92025-09-13 19:34 197K 
[ ]sin_cos9__t90_sin_cos92025-09-13 19:36 117K 
[ ]sin_cos9__t91_sin_cos92025-09-13 19:38 195K 
[ ]sin_cos9__t92_sin_cos92025-09-13 19:40 117K 
[ ]sin_cos9__t93_sin_cos92025-09-13 19:42 167K 
[ ]sin_cos9__t94_sin_cos92025-09-13 19:44 247K 
[ ]sin_cos9__t95_sin_cos92025-09-13 19:46 206K 
[ ]sin_cos9__t96_sin_cos92025-09-13 19:48 125K 
[ ]sin_cos9__t97_sin_cos92025-09-13 19:49 196K 
[ ]sin_cos9__t98_sin_cos92025-09-13 19:51 118K 
[ ]sin_cos9__t99_sin_cos92025-09-13 19:53 301K 
[ ]sin_cos9__t100_sin_cos92025-09-13 19:55 301K 
[ ]sin_cos9__t101_sin_cos92025-09-13 19:57 151K 
[ ]sin_cos9__t102_sin_cos92025-09-13 19:59 192K 
[ ]sin_cos9__t103_sin_cos92025-09-13 20:01 183K 
[ ]sin_cos9__t104_sin_cos92025-09-13 20:03 183K 
[ ]sin_cos9__t105_sin_cos92025-09-13 20:05 209K 
[ ]sin_cos9__t106_sin_cos92025-09-13 20:07 129K 
[ ]sin_cos9__t107_sin_cos92025-09-13 20:09 102K 
[ ]sin_cos9__t108_sin_cos92025-09-13 20:11 194K 
[ ]sin_cos9__t109_sin_cos92025-09-13 20:13 217K 
[ ]sin_cos9__t110_sin_cos92025-09-13 20:15 215K 
[ ]sin_cos9__t111_sin_cos92025-09-13 20:17 206K 
[ ]sin_cos9__t112_sin_cos92025-09-13 20:19 127K 
[ ]sin_cos9__t113_sin_cos92025-09-13 20:21 206K 
[ ]sin_cos9__t114_sin_cos92025-09-13 20:23 129K 
[ ]sin_cos9__t115_sin_cos92025-09-13 20:25 196K 
[ ]sin_cos9__t116_sin_cos92025-09-13 20:27 117K 
[ ]sin_cos9__t117_sin_cos92025-09-13 20:29 201K 
[ ]sin_cos9__t118_sin_cos92025-09-13 20:31 121K 
[ ]sin_cos9__t119_sin_cos92025-09-13 20:33 165K 
[ ]sin_cos9__t120_sin_cos92025-09-13 20:34 107K 
[ ]sin_cos9__t121_sin_cos92025-09-13 20:36 201K 
[ ]sin_cos9__t122_sin_cos92025-09-13 20:38 125K 
[ ]sin_cos9__t123_sin_cos92025-09-13 20:40 170K 
[ ]sin_cos9__t124_sin_cos92025-09-13 20:42 112K 
[ ]sin_cos9__t125_sin_cos92025-09-13 20:44 213K 
[ ]sin_cos9__t126_sin_cos92025-09-13 20:46 133K 
[ ]sin_cos9__t127_sin_cos92025-09-13 20:48 202K 
[ ]sin_cos9__t128_sin_cos92025-09-13 20:50 122K 
[ ]sin_cos9__t129_sin_cos92025-09-13 20:52 177K 
[ ]sin_cos9__t130_sin_cos92025-09-13 20:54 117K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80