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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos__l2_sin_cos2025-09-12 04:39 15K 
[ ]sin_cos__l3_sin_cos2025-09-12 04:39 19K 
[ ]sin_cos__l18_sin_cos2025-09-12 06:41 120K 
[ ]sin_cos__l39_sin_cos2025-09-12 06:43 125K 
[ ]sin_cos__l48_sin_cos2025-09-12 06:44 63K 
[ ]sin_cos__l50_sin_cos2025-09-12 06:46 254K 
[ ]sin_cos__l52_sin_cos2025-09-12 06:48 256K 
[ ]sin_cos__l67_sin_cos2025-09-12 04:42 49K 
[ ]sin_cos__l69_sin_cos2025-09-12 06:49 61K 
[ ]sin_cos__l70_sin_cos2025-09-12 04:41 39K 
[ ]sin_cos__l71_sin_cos2025-09-12 06:51 77K 
[ ]sin_cos__l79_sin_cos2025-09-12 06:53 77K 
[ ]sin_cos__l80_sin_cos2025-09-12 06:55 113K 
[ ]sin_cos__l87_sin_cos2025-09-12 06:56 48K 
[ ]sin_cos__l89_sin_cos2025-09-12 06:57 53K 
[ ]sin_cos__l97_sin_cos2025-09-12 06:59 230K 
[ ]sin_cos__l98_sin_cos2025-09-12 07:00 245K 
[ ]sin_cos__l116_sin_cos2025-09-12 07:02 57K 
[ ]sin_cos__l117_sin_cos2025-09-12 07:04 133K 
[ ]sin_cos__l120_sin_cos2025-09-12 07:05 80K 
[ ]sin_cos__l129_sin_cos2025-09-12 07:07 105K 
[ ]sin_cos__s1_sin_cos2025-09-12 04:43 68K 
[ ]sin_cos__s2_sin_cos2025-09-12 04:45 67K 
[ ]sin_cos__t1_sin_cos2025-09-12 04:22 50K 
[ ]sin_cos__t2_sin_cos2025-09-12 04:47 91K 
[ ]sin_cos__t3_sin_cos2025-09-12 04:48 100K 
[ ]sin_cos__t4_sin_cos2025-09-12 04:50 96K 
[ ]sin_cos__t5_sin_cos2025-09-12 04:51 56K 
[ ]sin_cos__t6_sin_cos2025-09-12 04:53 277K 
[ ]sin_cos__t7_sin_cos2025-09-12 04:55 82K 
[ ]sin_cos__t8_sin_cos2025-09-12 04:56 75K 
[ ]sin_cos__t9_sin_cos2025-09-12 04:58 109K 
[ ]sin_cos__t10_sin_cos2025-09-12 05:00 80K 
[ ]sin_cos__t11_sin_cos2025-09-12 05:02 111K 
[ ]sin_cos__t12_sin_cos2025-09-12 05:03 64K 
[ ]sin_cos__t13_sin_cos2025-09-12 05:05 79K 
[ ]sin_cos__t14_sin_cos2025-09-12 05:07 111K 
[ ]sin_cos__t15_sin_cos2025-09-12 05:09 143K 
[ ]sin_cos__t16_sin_cos2025-09-12 05:11 120K 
[ ]sin_cos__t17_sin_cos2025-09-12 05:12 103K 
[ ]sin_cos__t18_sin_cos2025-09-12 05:14 98K 
[ ]sin_cos__t19_sin_cos2025-09-12 05:16 79K 
[ ]sin_cos__t20_sin_cos2025-09-12 05:17 71K 
[ ]sin_cos__t21_sin_cos2025-09-12 05:19 679K 
[ ]sin_cos__t22_sin_cos2025-09-12 05:21 78K 
[ ]sin_cos__t23_sin_cos2025-09-12 05:23 57K 
[ ]sin_cos__t24_sin_cos2025-09-12 04:23 40K 
[ ]sin_cos__t25_sin_cos2025-09-12 05:24 64K 
[ ]sin_cos__t26_sin_cos2025-09-12 05:26 131K 
[ ]sin_cos__t27_sin_cos2025-09-12 05:28 96K 
[ ]sin_cos__t28_sin_cos2025-09-12 05:29 135K 
[ ]sin_cos__t29_sin_cos2025-09-12 04:25 56K 
[ ]sin_cos__t30_sin_cos2025-09-12 05:31 134K 
[ ]sin_cos__t31_sin_cos2025-09-12 04:26 44K 
[ ]sin_cos__t32_sin_cos2025-09-12 05:32 87K 
[ ]sin_cos__t33_sin_cos2025-09-12 05:34 370K 
[ ]sin_cos__t35_sin_cos2025-09-12 05:36 516K 
[ ]sin_cos__t36_sin_cos2025-09-12 05:38 150K 
[ ]sin_cos__t37_sin_cos2025-09-12 05:40 61K 
[ ]sin_cos__t38_sin_cos2025-09-12 04:27 47K 
[ ]sin_cos__t39_sin_cos2025-09-12 05:41 95K 
[ ]sin_cos__t40_sin_cos2025-09-12 05:43 78K 
[ ]sin_cos__t42_sin_cos2025-09-12 05:45 112K 
[ ]sin_cos__t43_sin_cos2025-09-12 05:47 2.3M 
[ ]sin_cos__t44_sin_cos2025-09-12 05:49 101K 
[ ]sin_cos__t45_sin_cos2025-09-12 05:51 96K 
[ ]sin_cos__t46_sin_cos2025-09-12 05:52 89K 
[ ]sin_cos__t47_sin_cos2025-09-12 04:29 40K 
[ ]sin_cos__t48_sin_cos2025-09-12 05:54 51K 
[ ]sin_cos__t49_sin_cos2025-09-12 05:55 52K 
[ ]sin_cos__t50_sin_cos2025-09-12 04:30 47K 
[ ]sin_cos__t51_sin_cos2025-09-12 04:31 41K 
[ ]sin_cos__t52_sin_cos2025-09-12 05:57 113K 
[ ]sin_cos__t53_sin_cos2025-09-12 05:58 92K 
[ ]sin_cos__t54_sin_cos2025-09-12 06:00 44K 
[ ]sin_cos__t55_sin_cos2025-09-12 04:33 43K 
[ ]sin_cos__t56_sin_cos2025-09-12 06:02 422K 
[ ]sin_cos__t58_sin_cos2025-09-12 06:04 285K 
[ ]sin_cos__t59_sin_cos2025-09-12 06:05 63K 
[ ]sin_cos__t60_sin_cos2025-09-12 06:07 86K 
[ ]sin_cos__t61_sin_cos2025-09-12 06:08 86K 
[ ]sin_cos__t62_sin_cos2025-09-12 06:10 93K 
[ ]sin_cos__t63_sin_cos2025-09-12 06:13 313K 
[ ]sin_cos__t64_sin_cos2025-09-12 06:15 146K 
[ ]sin_cos__t65_sin_cos2025-09-12 06:17 294K 
[ ]sin_cos__t66_sin_cos2025-09-12 06:19 43K 
[ ]sin_cos__t67_sin_cos2025-09-12 06:20 45K 
[ ]sin_cos__t68_sin_cos2025-09-12 06:21 43K 
[ ]sin_cos__t69_sin_cos2025-09-12 06:24 1.0M 
[ ]sin_cos__t70_sin_cos2025-09-12 06:25 78K 
[ ]sin_cos__t71_sin_cos2025-09-12 06:27 97K 
[ ]sin_cos__t72_sin_cos2025-09-12 06:29 58K 
[ ]sin_cos__t73_sin_cos2025-09-12 06:30 168K 
[ ]sin_cos__t74_sin_cos2025-09-12 06:32 241K 
[ ]sin_cos__t75_sin_cos2025-09-12 04:34 53K 
[ ]sin_cos__t76_sin_cos2025-09-12 06:33 222K 
[ ]sin_cos__t77_sin_cos2025-09-12 04:35 103K 
[ ]sin_cos__t78_sin_cos2025-09-12 06:35 143K 
[ ]sin_cos__t79_sin_cos2025-09-12 04:37 76K 
[ ]sin_cos__t80_sin_cos2025-09-12 06:37 406K 
[ ]sin_cos__t81_sin_cos2025-09-12 04:38 59K 
[ ]sin_cos__t82_sin_cos2025-09-12 06:38 55K 
[ ]sin_cos__t83_sin_cos2025-09-12 06:40 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80