Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sin_cos3
Name
Last modified
Size
Description
Parent Directory
-
sin_cos3__l5_sin_cos3
2024-07-27 18:14
24K
sin_cos3__l5_sin_cos3.depv1
2024-08-03 10:19
64
sin_cos3__l5_sin_cos3.depvmin1
2024-08-03 10:24
64
sin_cos3__l5_sin_cos3.vmin1
2024-08-03 10:20
1.0K
sin_cos3__l5_sin_cos3.vmin1out
2024-08-03 10:22
11K
sin_cos3__l5_sin_cos3.vout
2024-08-03 05:49
11K
sin_cos3__l6_sin_cos3
2024-07-27 18:15
25K
sin_cos3__l6_sin_cos3.depv1
2024-08-03 10:19
64
sin_cos3__l6_sin_cos3.depvmin1
2024-08-03 10:24
64
sin_cos3__l6_sin_cos3.vmin1
2024-08-03 10:20
1.0K
sin_cos3__l6_sin_cos3.vmin1out
2024-08-03 10:20
11K
sin_cos3__l6_sin_cos3.vout
2024-08-03 05:58
11K
sin_cos3__l7_sin_cos3
2024-07-27 19:18
9.5K
sin_cos3__l7_sin_cos3.vout
2024-08-03 04:58
2.0K
sin_cos3__l26_sin_cos3
2024-07-27 19:19
8.6K
sin_cos3__l26_sin_cos3.depv1
2024-08-03 10:19
112
sin_cos3__l26_sin_cos3.depvmin1
2024-08-03 10:24
112
sin_cos3__l26_sin_cos3.vmin1
2024-08-03 10:20
1.0K
sin_cos3__l26_sin_cos3.vmin1out
2024-08-03 10:22
8.0K
sin_cos3__l26_sin_cos3.vout
2024-08-03 05:43
8.4K
sin_cos3__l70_sin_cos3
2024-07-27 19:20
32K
sin_cos3__l70_sin_cos3.vout
2024-08-03 07:59
2.0K
sin_cos3__t1_sin_cos3
2024-07-27 18:16
261K
sin_cos3__t1_sin_cos3.vout
2024-08-03 08:12
7.3K
sin_cos3__t2_sin_cos3
2024-07-27 18:17
117K
sin_cos3__t2_sin_cos3.vout
2024-08-03 08:49
7.3K
sin_cos3__t3_sin_cos3
2024-07-27 18:18
117K
sin_cos3__t3_sin_cos3.vout
2024-08-03 07:17
7.3K
sin_cos3__t4_sin_cos3
2024-07-27 18:19
149K
sin_cos3__t4_sin_cos3.vout
2024-08-03 05:17
7.3K
sin_cos3__t5_sin_cos3
2024-07-27 18:20
26K
sin_cos3__t5_sin_cos3.vout
2024-08-03 05:14
2.0K
sin_cos3__t6_sin_cos3
2024-07-27 18:21
149K
sin_cos3__t6_sin_cos3.vout
2024-08-03 07:41
7.3K
sin_cos3__t7_sin_cos3
2024-07-27 18:22
26K
sin_cos3__t7_sin_cos3.vout
2024-08-03 08:28
2.0K
sin_cos3__t8_sin_cos3
2024-07-27 18:23
106K
sin_cos3__t8_sin_cos3.vout
2024-08-03 09:42
7.3K
sin_cos3__t9_sin_cos3
2024-07-27 18:24
49K
sin_cos3__t9_sin_cos3.vout
2024-08-03 05:24
7.3K
sin_cos3__t10_sin_cos3
2024-07-27 18:25
32K
sin_cos3__t10_sin_cos3.depv1
2024-08-03 10:19
161
sin_cos3__t10_sin_cos3.depvmin1
2024-08-03 10:24
161
sin_cos3__t10_sin_cos3.vmin1
2024-08-03 10:20
1.4K
sin_cos3__t10_sin_cos3.vmin1out
2024-08-03 10:23
20K
sin_cos3__t10_sin_cos3.vout
2024-08-03 08:39
20K
sin_cos3__t11_sin_cos3
2024-07-27 18:26
263K
sin_cos3__t11_sin_cos3.vout
2024-08-03 09:39
7.3K
sin_cos3__t12_sin_cos3
2024-07-27 18:27
26K
sin_cos3__t12_sin_cos3.vout
2024-08-03 06:40
2.0K
sin_cos3__t13_sin_cos3
2024-07-27 18:28
149K
sin_cos3__t13_sin_cos3.vout
2024-08-03 04:43
7.3K
sin_cos3__t14_sin_cos3
2024-07-27 18:29
26K
sin_cos3__t14_sin_cos3.vout
2024-08-03 10:00
2.0K
sin_cos3__t15_sin_cos3
2024-07-27 18:30
193K
sin_cos3__t15_sin_cos3.vout
2024-08-03 05:52
7.3K
sin_cos3__t16_sin_cos3
2024-07-27 18:31
118K
sin_cos3__t16_sin_cos3.vout
2024-08-03 09:58
7.3K
sin_cos3__t17_sin_cos3
2024-07-27 18:32
193K
sin_cos3__t17_sin_cos3.vout
2024-08-03 04:48
7.3K
sin_cos3__t18_sin_cos3
2024-07-27 18:33
118K
sin_cos3__t18_sin_cos3.depv1
2024-08-03 10:19
168
sin_cos3__t18_sin_cos3.depvmin1
2024-08-03 10:24
168
sin_cos3__t18_sin_cos3.vmin1
2024-08-03 10:20
2.0K
sin_cos3__t18_sin_cos3.vmin1out
2024-08-03 10:23
24K
sin_cos3__t18_sin_cos3.vout
2024-08-03 04:45
25K
sin_cos3__t19_sin_cos3
2024-07-27 18:34
35K
sin_cos3__t19_sin_cos3.depv1
2024-08-03 10:19
224
sin_cos3__t19_sin_cos3.depvmin1
2024-08-03 10:24
224
sin_cos3__t19_sin_cos3.vmin1
2024-08-03 10:20
2.0K
sin_cos3__t19_sin_cos3.vmin1out
2024-08-03 10:22
20K
sin_cos3__t19_sin_cos3.vout
2024-08-03 05:23
21K
sin_cos3__t20_sin_cos3
2024-07-27 18:13
4.1K
sin_cos3__t20_sin_cos3.depv1
2024-08-03 10:19
165
sin_cos3__t20_sin_cos3.depvmin1
2024-08-03 10:24
165
sin_cos3__t20_sin_cos3.vmin1
2024-08-03 10:20
781
sin_cos3__t20_sin_cos3.vmin1out
2024-08-03 10:22
5.1K
sin_cos3__t20_sin_cos3.vout
2024-08-03 06:52
5.3K
sin_cos3__t21_sin_cos3
2024-07-27 18:35
118K
sin_cos3__t21_sin_cos3.vout
2024-08-03 08:51
9.0K
sin_cos3__t22_sin_cos3
2024-07-27 18:36
33K
sin_cos3__t22_sin_cos3.vout
2024-08-03 04:39
8.4K
sin_cos3__t23_sin_cos3
2024-07-27 18:37
75K
sin_cos3__t23_sin_cos3.depv1
2024-08-03 10:19
450
sin_cos3__t23_sin_cos3.depvmin1
2024-08-03 10:24
450
sin_cos3__t23_sin_cos3.vmin1
2024-08-03 10:20
2.7K
sin_cos3__t23_sin_cos3.vmin1out
2024-08-03 10:21
22K
sin_cos3__t23_sin_cos3.vout
2024-08-03 05:31
25K
sin_cos3__t24_sin_cos3
2024-07-27 18:38
29K
sin_cos3__t24_sin_cos3.vout
2024-08-03 08:11
8.4K
sin_cos3__t25_sin_cos3
2024-07-27 18:39
119K
sin_cos3__t25_sin_cos3.vout
2024-08-03 08:56
7.3K
sin_cos3__t26_sin_cos3
2024-07-27 18:40
119K
sin_cos3__t26_sin_cos3.vout
2024-08-03 09:00
7.3K
sin_cos3__t27_sin_cos3
2024-07-27 18:41
57K
sin_cos3__t27_sin_cos3.vout
2024-08-03 08:06
2.0K
sin_cos3__t28_sin_cos3
2024-07-27 18:42
39K
sin_cos3__t28_sin_cos3.vout
2024-08-03 05:27
2.0K
sin_cos3__t29_sin_cos3
2024-07-27 18:43
39K
sin_cos3__t29_sin_cos3.vout
2024-08-03 06:10
2.0K
sin_cos3__t30_sin_cos3
2024-07-27 18:44
119K
sin_cos3__t30_sin_cos3.vout
2024-08-03 04:45
2.0K
sin_cos3__t31_sin_cos3
2024-07-27 18:45
119K
sin_cos3__t31_sin_cos3.vout
2024-08-03 07:25
2.1K
sin_cos3__t32_sin_cos3
2024-07-27 18:46
111K
sin_cos3__t32_sin_cos3.vout
2024-08-03 08:53
2.0K
sin_cos3__t33_sin_cos3
2024-07-27 18:47
111K
sin_cos3__t33_sin_cos3.vout
2024-08-03 09:55
2.0K
sin_cos3__t34_sin_cos3
2024-07-27 18:48
119K
sin_cos3__t34_sin_cos3.vout
2024-08-03 07:49
7.3K
sin_cos3__t35_sin_cos3
2024-07-27 18:49
119K
sin_cos3__t35_sin_cos3.vout
2024-08-03 06:47
7.3K
sin_cos3__t36_sin_cos3
2024-07-27 18:50
120K
sin_cos3__t36_sin_cos3.vout
2024-08-03 10:13
7.3K
sin_cos3__t37_sin_cos3
2024-07-27 18:51
195K
sin_cos3__t37_sin_cos3.vout
2024-08-03 07:50
7.3K
sin_cos3__t38_sin_cos3
2024-07-27 18:53
120K
sin_cos3__t38_sin_cos3.vout
2024-08-03 08:58
7.3K
sin_cos3__t39_sin_cos3
2024-07-27 18:54
77K
sin_cos3__t39_sin_cos3.vout
2024-08-03 06:21
7.4K
sin_cos3__t40_sin_cos3
2024-07-27 18:55
195K
sin_cos3__t40_sin_cos3.vout
2024-08-03 08:52
7.4K
sin_cos3__t41_sin_cos3
2024-07-27 18:56
120K
sin_cos3__t41_sin_cos3.vout
2024-08-03 08:46
7.3K
sin_cos3__t42_sin_cos3
2024-07-27 18:57
37K
sin_cos3__t42_sin_cos3.vout
2024-08-03 05:21
2.0K
sin_cos3__t43_sin_cos3
2024-07-27 18:58
56K
sin_cos3__t43_sin_cos3.vout
2024-08-03 09:02
2.0K
sin_cos3__t44_sin_cos3
2024-07-27 18:59
33K
sin_cos3__t44_sin_cos3.vout
2024-08-03 07:07
2.0K
sin_cos3__t45_sin_cos3
2024-07-27 19:00
56K
sin_cos3__t45_sin_cos3.vout
2024-08-03 08:50
2.0K
sin_cos3__t46_sin_cos3
2024-07-27 19:01
56K
sin_cos3__t46_sin_cos3.vout
2024-08-03 06:13
2.0K
sin_cos3__t47_sin_cos3
2024-07-27 19:02
57K
sin_cos3__t47_sin_cos3.vout
2024-08-03 04:09
2.0K
sin_cos3__t48_sin_cos3
2024-07-27 19:03
27K
sin_cos3__t48_sin_cos3.vout
2024-08-03 07:21
2.0K
sin_cos3__t49_sin_cos3
2024-07-27 19:04
57K
sin_cos3__t49_sin_cos3.vout
2024-08-03 05:39
2.0K
sin_cos3__t50_sin_cos3
2024-07-27 19:05
123K
sin_cos3__t50_sin_cos3.vout
2024-08-03 08:15
7.3K
sin_cos3__t51_sin_cos3
2024-07-27 19:06
56K
sin_cos3__t51_sin_cos3.vout
2024-08-03 10:03
2.0K
sin_cos3__t52_sin_cos3
2024-07-27 19:07
35K
sin_cos3__t52_sin_cos3.vout
2024-08-03 06:15
2.0K
sin_cos3__t53_sin_cos3
2024-07-27 19:08
56K
sin_cos3__t53_sin_cos3.vout
2024-08-03 06:32
2.1K
sin_cos3__t54_sin_cos3
2024-07-27 19:09
196K
sin_cos3__t54_sin_cos3.vout
2024-08-03 09:29
2.0K
sin_cos3__t55_sin_cos3
2024-07-27 19:10
196K
sin_cos3__t55_sin_cos3.vout
2024-08-03 07:02
2.0K
sin_cos3__t56_sin_cos3
2024-07-27 19:11
164K
sin_cos3__t56_sin_cos3.vout
2024-08-03 09:52
7.3K
sin_cos3__t57_sin_cos3
2024-07-27 19:12
106K
sin_cos3__t57_sin_cos3.vout
2024-08-03 08:59
7.4K
sin_cos3__t58_sin_cos3
2024-07-27 19:14
106K
sin_cos3__t58_sin_cos3.vout
2024-08-03 08:03
7.3K
sin_cos3__t59_sin_cos3
2024-07-27 19:14
27K
sin_cos3__t59_sin_cos3.vout
2024-08-03 08:42
2.0K
sin_cos3__t60_sin_cos3
2024-07-27 19:16
34K
sin_cos3__t60_sin_cos3.vout
2024-08-03 10:17
2.0K
sin_cos3__t61_sin_cos3
2024-07-27 19:17
107K
sin_cos3__t61_sin_cos3.vout
2024-08-03 04:09
1.1K
sin_cos3__t62_sin_cos3
2024-07-27 19:18
108K
sin_cos3__t62_sin_cos3.vout
2024-08-03 04:35
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80