Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/sincos10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sincos10__l1_sincos102021-07-19 07:10 68K 
[ ]sincos10__l3_sincos102021-07-19 07:10 72K 
[ ]sincos10__l5_sincos102021-07-19 07:10 68K 
[ ]sincos10__l7_sincos102021-07-19 07:11 57K 
[ ]sincos10__l17_sincos102021-07-19 07:11 56K 
[ ]sincos10__l18_sincos102021-07-19 07:11 202K 
[ ]sincos10__l19_sincos102021-07-19 07:11 82K 
[ ]sincos10__l20_sincos102021-07-19 07:12 56K 
[ ]sincos10__l21_sincos102021-07-19 06:20 49K 
[ ]sincos10__l22_sincos102021-07-19 06:20 58K 
[ ]sincos10__l23_sincos102021-07-19 06:21 48K 
[ ]sincos10__l24_sincos102021-07-19 06:21 57K 
[ ]sincos10__l25_sincos102021-07-19 06:22 54K 
[ ]sincos10__l26_sincos102021-07-19 06:22 78K 
[ ]sincos10__l27_sincos102021-07-19 06:22 59K 
[ ]sincos10__l28_sincos102021-07-19 06:23 68K 
[ ]sincos10__l29_sincos102021-07-19 06:23 49K 
[ ]sincos10__l30_sincos102021-07-19 06:24 58K 
[ ]sincos10__l31_sincos102021-07-19 06:24 78K 
[ ]sincos10__l32_sincos102021-07-19 06:25 54K 
[ ]sincos10__l33_sincos102021-07-19 06:25 66K 
[ ]sincos10__l34_sincos102021-07-19 06:26 66K 
[ ]sincos10__l35_sincos102021-07-19 06:26 65K 
[ ]sincos10__l36_sincos102021-07-19 06:27 65K 
[ ]sincos10__l37_sincos102021-07-19 06:27 76K 
[ ]sincos10__l38_sincos102021-07-19 06:28 76K 
[ ]sincos10__l39_sincos102021-07-19 06:28 65K 
[ ]sincos10__l40_sincos102021-07-19 06:28 66K 
[ ]sincos10__l61_sincos102021-07-19 06:29 63K 
[ ]sincos10__l62_sincos102021-07-19 06:29 62K 
[ ]sincos10__l63_sincos102021-07-19 06:30 73K 
[ ]sincos10__l64_sincos102021-07-19 06:30 63K 
[ ]sincos10__l77_sincos102021-07-19 07:12 72K 
[ ]sincos10__l78_sincos102021-07-19 07:12 96K 
[ ]sincos10__l79_sincos102021-07-19 07:12 96K 
[ ]sincos10__l80_sincos102021-07-19 07:13 71K 
[ ]sincos10__l81_sincos102021-07-19 07:13 70K 
[ ]sincos10__l82_sincos102021-07-19 07:13 69K 
[ ]sincos10__l83_sincos102021-07-19 07:14 80K 
[ ]sincos10__l84_sincos102021-07-19 07:14 70K 
[ ]sincos10__l97_sincos102021-07-19 07:14 70K 
[ ]sincos10__l98_sincos102021-07-19 07:14 94K 
[ ]sincos10__l99_sincos102021-07-19 07:15 95K 
[ ]sincos10__l100_sincos102021-07-19 07:15 70K 
[ ]sincos10__l101_sincos102021-07-19 07:15 70K 
[ ]sincos10__l102_sincos102021-07-19 07:16 94K 
[ ]sincos10__l103_sincos102021-07-19 07:16 94K 
[ ]sincos10__l104_sincos102021-07-19 07:16 69K 
[ ]sincos10__t1_sincos102021-07-19 06:31 85K 
[ ]sincos10__t2_sincos102021-07-19 06:31 89K 
[ ]sincos10__t3_sincos102021-07-19 06:32 105K 
[ ]sincos10__t4_sincos102021-07-19 06:32 74K 
[ ]sincos10__t5_sincos102021-07-19 06:32 175K 
[ ]sincos10__t6_sincos102021-07-19 06:33 175K 
[ ]sincos10__t7_sincos102021-07-19 06:33 175K 
[ ]sincos10__t8_sincos102021-07-19 06:34 175K 
[ ]sincos10__t9_sincos102021-07-19 06:01 66K 
[ ]sincos10__t10_sincos102021-07-19 06:01 65K 
[ ]sincos10__t11_sincos102021-07-19 06:02 77K 
[ ]sincos10__t12_sincos102021-07-19 06:03 77K 
[ ]sincos10__t13_sincos102021-07-19 06:34 181K 
[ ]sincos10__t14_sincos102021-07-19 06:35 181K 
[ ]sincos10__t15_sincos102021-07-19 06:35 189K 
[ ]sincos10__t16_sincos102021-07-19 06:36 182K 
[ ]sincos10__t17_sincos102021-07-19 06:36 106K 
[ ]sincos10__t18_sincos102021-07-19 06:37 165K 
[ ]sincos10__t19_sincos102021-07-19 06:37 468K 
[ ]sincos10__t20_sincos102021-07-19 06:37 192K 
[ ]sincos10__t21_sincos102021-07-19 06:03 61K 
[ ]sincos10__t22_sincos102021-07-19 06:04 60K 
[ ]sincos10__t23_sincos102021-07-19 06:04 71K 
[ ]sincos10__t24_sincos102021-07-19 06:05 61K 
[ ]sincos10__t25_sincos102021-07-19 06:38 65K 
[ ]sincos10__t26_sincos102021-07-19 06:38 64K 
[ ]sincos10__t27_sincos102021-07-19 06:39 75K 
[ ]sincos10__t28_sincos102021-07-19 06:39 65K 
[ ]sincos10__t29_sincos102021-07-19 06:39 323K 
[ ]sincos10__t30_sincos102021-07-19 06:40 542K 
[ ]sincos10__t31_sincos102021-07-19 06:40 650K 
[ ]sincos10__t32_sincos102021-07-19 06:41 650K 
[ ]sincos10__t33_sincos102021-07-19 06:41 667K 
[ ]sincos10__t34_sincos102021-07-19 06:42 669K 
[ ]sincos10__t35_sincos102021-07-19 06:42 490K 
[ ]sincos10__t36_sincos102021-07-19 06:42 489K 
[ ]sincos10__t37_sincos102021-07-19 06:43 93K 
[ ]sincos10__t38_sincos102021-07-19 06:43 137K 
[ ]sincos10__t39_sincos102021-07-19 06:44 112K 
[ ]sincos10__t40_sincos102021-07-19 06:44 80K 
[ ]sincos10__t41_sincos102021-07-19 06:45 659K 
[ ]sincos10__t42_sincos102021-07-19 06:45 660K 
[ ]sincos10__t43_sincos102021-07-19 06:46 481K 
[ ]sincos10__t44_sincos102021-07-19 06:46 481K 
[ ]sincos10__t45_sincos102021-07-19 06:46 79K 
[ ]sincos10__t46_sincos102021-07-19 06:47 175K 
[ ]sincos10__t47_sincos102021-07-19 06:47 103K 
[ ]sincos10__t48_sincos102021-07-19 06:48 78K 
[ ]sincos10__t49_sincos102021-07-19 06:48 75K 
[ ]sincos10__t50_sincos102021-07-19 06:49 172K 
[ ]sincos10__t51_sincos102021-07-19 06:49 100K 
[ ]sincos10__t52_sincos102021-07-19 06:49 75K 
[ ]sincos10__t53_sincos102021-07-19 06:05 82K 
[ ]sincos10__t54_sincos102021-07-19 06:06 179K 
[ ]sincos10__t55_sincos102021-07-19 06:06 107K 
[ ]sincos10__t56_sincos102021-07-19 06:07 82K 
[ ]sincos10__t57_sincos102021-07-19 06:08 83K 
[ ]sincos10__t58_sincos102021-07-19 06:08 180K 
[ ]sincos10__t59_sincos102021-07-19 06:09 108K 
[ ]sincos10__t60_sincos102021-07-19 06:10 83K 
[ ]sincos10__t61_sincos102021-07-19 06:10 73K 
[ ]sincos10__t62_sincos102021-07-19 06:11 72K 
[ ]sincos10__t63_sincos102021-07-19 06:11 83K 
[ ]sincos10__t64_sincos102021-07-19 06:12 73K 
[ ]sincos10__t65_sincos102021-07-19 06:13 74K 
[ ]sincos10__t66_sincos102021-07-19 06:13 73K 
[ ]sincos10__t67_sincos102021-07-19 06:14 84K 
[ ]sincos10__t68_sincos102021-07-19 06:14 74K 
[ ]sincos10__t69_sincos102021-07-19 06:50 79K 
[ ]sincos10__t70_sincos102021-07-19 06:50 76K 
[ ]sincos10__t71_sincos102021-07-19 06:51 87K 
[ ]sincos10__t72_sincos102021-07-19 06:51 79K 
[ ]sincos10__t73_sincos102021-07-19 06:51 647K 
[ ]sincos10__t74_sincos102021-07-19 06:52 648K 
[ ]sincos10__t75_sincos102021-07-19 06:52 468K 
[ ]sincos10__t76_sincos102021-07-19 06:53 468K 
[ ]sincos10__t77_sincos102021-07-19 06:53 66K 
[ ]sincos10__t78_sincos102021-07-19 06:53 65K 
[ ]sincos10__t79_sincos102021-07-19 06:54 76K 
[ ]sincos10__t80_sincos102021-07-19 06:54 66K 
[ ]sincos10__t81_sincos102021-07-19 06:54 76K 
[ ]sincos10__t82_sincos102021-07-19 06:55 173K 
[ ]sincos10__t83_sincos102021-07-19 06:55 100K 
[ ]sincos10__t84_sincos102021-07-19 06:56 75K 
[ ]sincos10__t85_sincos102021-07-19 06:56 351K 
[ ]sincos10__t86_sincos102021-07-19 06:56 667K 
[ ]sincos10__t87_sincos102021-07-19 06:57 601K 
[ ]sincos10__t88_sincos102021-07-19 06:57 353K 
[ ]sincos10__t89_sincos102021-07-19 06:58 86K 
[ ]sincos10__t90_sincos102021-07-19 06:58 183K 
[ ]sincos10__t91_sincos102021-07-19 06:58 111K 
[ ]sincos10__t92_sincos102021-07-19 06:59 86K 
[ ]sincos10__t93_sincos102021-07-19 06:59 82K 
[ ]sincos10__t94_sincos102021-07-19 06:59 176K 
[ ]sincos10__t95_sincos102021-07-19 07:00 109K 
[ ]sincos10__t96_sincos102021-07-19 07:00 82K 
[ ]sincos10__t97_sincos102021-07-19 07:00 343K 
[ ]sincos10__t98_sincos102021-07-19 07:01 658K 
[ ]sincos10__t99_sincos102021-07-19 07:01 591K 
[ ]sincos10__t100_sincos102021-07-19 07:02 343K 
[ ]sincos10__t101_sincos102021-07-19 06:15 647K 
[ ]sincos10__t102_sincos102021-07-19 06:16 647K 
[ ]sincos10__t103_sincos102021-07-19 06:16 468K 
[ ]sincos10__t104_sincos102021-07-19 06:17 468K 
[ ]sincos10__t105_sincos102021-07-19 07:02 80K 
[ ]sincos10__t106_sincos102021-07-19 07:02 174K 
[ ]sincos10__t107_sincos102021-07-19 07:03 107K 
[ ]sincos10__t108_sincos102021-07-19 07:03 80K 
[ ]sincos10__t109_sincos102021-07-19 07:03 648K 
[ ]sincos10__t110_sincos102021-07-19 07:04 648K 
[ ]sincos10__t111_sincos102021-07-19 07:04 468K 
[ ]sincos10__t112_sincos102021-07-19 07:04 468K 
[ ]sincos10__t113_sincos102021-07-19 07:05 288K 
[ ]sincos10__t114_sincos102021-07-19 07:05 288K 
[ ]sincos10__t115_sincos102021-07-19 07:05 289K 
[ ]sincos10__t116_sincos102021-07-19 07:06 288K 
[ ]sincos10__t117_sincos102021-07-19 07:06 292K 
[ ]sincos10__t118_sincos102021-07-19 07:06 292K 
[ ]sincos10__t119_sincos102021-07-19 07:07 293K 
[ ]sincos10__t120_sincos102021-07-19 07:07 291K 
[ ]sincos10__t121_sincos102021-07-19 07:07 192K 
[ ]sincos10__t122_sincos102021-07-19 07:08 192K 
[ ]sincos10__t123_sincos102021-07-19 07:08 199K 
[ ]sincos10__t124_sincos102021-07-19 07:08 192K 
[ ]sincos10__t125_sincos102021-07-19 07:09 183K 
[ ]sincos10__t126_sincos102021-07-19 07:09 183K 
[ ]sincos10__t127_sincos102021-07-19 07:09 191K 
[ ]sincos10__t128_sincos102021-07-19 07:10 183K 
[ ]sincos10__t129_sincos102021-07-19 06:17 68K 
[ ]sincos10__t130_sincos102021-07-19 06:18 67K 
[ ]sincos10__t131_sincos102021-07-19 06:19 78K 
[ ]sincos10__t132_sincos102021-07-19 06:19 67K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80