Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/sin_cos7
Name
Last modified
Size
Description
Parent Directory
-
sin_cos7__l1_sin_cos7
2025-09-13 19:21
14K
sin_cos7__l2_sin_cos7
2025-09-13 20:25
35K
sin_cos7__l8_sin_cos7
2025-09-13 20:25
56K
sin_cos7__l15_sin_cos7
2025-09-13 20:26
56K
sin_cos7__l21_sin_cos7
2025-09-13 20:27
56K
sin_cos7__l36_sin_cos7
2025-09-13 20:28
29K
sin_cos7__l39_sin_cos7
2025-09-13 20:28
56K
sin_cos7__l40_sin_cos7
2025-09-13 20:29
35K
sin_cos7__l41_sin_cos7
2025-09-13 20:30
58K
sin_cos7__l42_sin_cos7
2025-09-13 20:31
56K
sin_cos7__l43_sin_cos7
2025-09-13 20:31
134K
sin_cos7__l44_sin_cos7
2025-09-13 20:32
58K
sin_cos7__l45_sin_cos7
2025-09-13 19:22
56K
sin_cos7__l46_sin_cos7
2025-09-13 20:33
236K
sin_cos7__l47_sin_cos7
2025-09-13 20:34
57K
sin_cos7__l48_sin_cos7
2025-09-13 20:34
56K
sin_cos7__l49_sin_cos7
2025-09-13 20:35
482K
sin_cos7__l50_sin_cos7
2025-09-13 20:36
57K
sin_cos7__l51_sin_cos7
2025-09-13 20:37
56K
sin_cos7__l52_sin_cos7
2025-09-13 20:37
135K
sin_cos7__l53_sin_cos7
2025-09-13 20:38
35K
sin_cos7__t1_sin_cos7
2025-09-13 19:23
26K
sin_cos7__t2_sin_cos7
2025-09-13 19:24
58K
sin_cos7__t3_sin_cos7
2025-09-13 19:24
135K
sin_cos7__t4_sin_cos7
2025-09-13 19:25
29K
sin_cos7__t5_sin_cos7
2025-09-13 19:26
57K
sin_cos7__t6_sin_cos7
2025-09-13 19:21
33K
sin_cos7__t7_sin_cos7
2025-09-13 19:27
55K
sin_cos7__t8_sin_cos7
2025-09-13 19:27
32K
sin_cos7__t9_sin_cos7
2025-09-13 19:28
56K
sin_cos7__t10_sin_cos7
2025-09-13 19:29
56K
sin_cos7__t11_sin_cos7
2025-09-13 19:30
56K
sin_cos7__t12_sin_cos7
2025-09-13 19:30
47K
sin_cos7__t13_sin_cos7
2025-09-13 19:31
56K
sin_cos7__t14_sin_cos7
2025-09-13 19:32
483K
sin_cos7__t15_sin_cos7
2025-09-13 19:33
56K
sin_cos7__t16_sin_cos7
2025-09-13 19:33
34K
sin_cos7__t17_sin_cos7
2025-09-13 19:34
57K
sin_cos7__t18_sin_cos7
2025-09-13 19:35
57K
sin_cos7__t19_sin_cos7
2025-09-13 19:36
134K
sin_cos7__t20_sin_cos7
2025-09-13 19:37
57K
sin_cos7__t21_sin_cos7
2025-09-13 19:37
35K
sin_cos7__t22_sin_cos7
2025-09-13 19:38
56K
sin_cos7__t23_sin_cos7
2025-09-13 19:39
56K
sin_cos7__t24_sin_cos7
2025-09-13 19:40
57K
sin_cos7__t25_sin_cos7
2025-09-13 19:40
58K
sin_cos7__t26_sin_cos7
2025-09-13 19:41
59K
sin_cos7__t27_sin_cos7
2025-09-13 19:42
36K
sin_cos7__t28_sin_cos7
2025-09-13 19:43
28K
sin_cos7__t29_sin_cos7
2025-09-13 19:43
16K
sin_cos7__t30_sin_cos7
2025-09-13 19:44
56K
sin_cos7__t31_sin_cos7
2025-09-13 19:45
134K
sin_cos7__t32_sin_cos7
2025-09-13 19:46
55K
sin_cos7__t33_sin_cos7
2025-09-13 19:46
58K
sin_cos7__t34_sin_cos7
2025-09-13 19:47
137K
sin_cos7__t35_sin_cos7
2025-09-13 19:48
138K
sin_cos7__t36_sin_cos7
2025-09-13 19:49
58K
sin_cos7__t37_sin_cos7
2025-09-13 19:50
138K
sin_cos7__t38_sin_cos7
2025-09-13 19:51
697K
sin_cos7__t39_sin_cos7
2025-09-13 19:52
697K
sin_cos7__t40_sin_cos7
2025-09-13 19:53
697K
sin_cos7__t41_sin_cos7
2025-09-13 19:54
241K
sin_cos7__t42_sin_cos7
2025-09-13 19:54
139K
sin_cos7__t43_sin_cos7
2025-09-13 19:55
616K
sin_cos7__t44_sin_cos7
2025-09-13 19:56
606K
sin_cos7__t45_sin_cos7
2025-09-13 19:57
485K
sin_cos7__t46_sin_cos7
2025-09-13 19:58
135K
sin_cos7__t47_sin_cos7
2025-09-13 19:59
59K
sin_cos7__t48_sin_cos7
2025-09-13 20:00
59K
sin_cos7__t49_sin_cos7
2025-09-13 20:00
37K
sin_cos7__t50_sin_cos7
2025-09-13 20:01
90K
sin_cos7__t51_sin_cos7
2025-09-13 20:02
239K
sin_cos7__t52_sin_cos7
2025-09-13 20:03
137K
sin_cos7__t53_sin_cos7
2025-09-13 20:04
137K
sin_cos7__t54_sin_cos7
2025-09-13 20:05
240K
sin_cos7__t55_sin_cos7
2025-09-13 20:06
240K
sin_cos7__t56_sin_cos7
2025-09-13 20:07
137K
sin_cos7__t57_sin_cos7
2025-09-13 20:07
137K
sin_cos7__t58_sin_cos7
2025-09-13 20:08
134K
sin_cos7__t59_sin_cos7
2025-09-13 20:09
136K
sin_cos7__t60_sin_cos7
2025-09-13 20:10
478K
sin_cos7__t61_sin_cos7
2025-09-13 20:11
478K
sin_cos7__t62_sin_cos7
2025-09-13 20:12
477K
sin_cos7__t63_sin_cos7
2025-09-13 20:13
766K
sin_cos7__t64_sin_cos7
2025-09-13 20:14
964K
sin_cos7__t65_sin_cos7
2025-09-13 20:15
139K
sin_cos7__t66_sin_cos7
2025-09-13 20:15
139K
sin_cos7__t67_sin_cos7
2025-09-13 20:16
612K
sin_cos7__t68_sin_cos7
2025-09-13 20:17
682K
sin_cos7__t69_sin_cos7
2025-09-13 20:19
179K
sin_cos7__t70_sin_cos7
2025-09-13 20:20
116K
sin_cos7__t71_sin_cos7
2025-09-13 20:21
58K
sin_cos7__t72_sin_cos7
2025-09-13 20:22
1.0M
sin_cos7__t73_sin_cos7
2025-09-13 20:24
1.7M
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80