Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sin_cos
Name
Last modified
Size
Description
Parent Directory
-
sin_cos__l2_sin_cos
2024-07-28 01:35
8.8K
sin_cos__l2_sin_cos.depv1
2024-08-03 10:19
48
sin_cos__l2_sin_cos.depvmin1
2024-08-03 10:24
48
sin_cos__l2_sin_cos.vmin1
2024-08-03 10:19
332
sin_cos__l2_sin_cos.vmin1out
2024-08-03 10:21
2.5K
sin_cos__l2_sin_cos.vout
2024-08-03 07:40
2.3K
sin_cos__l3_sin_cos
2024-07-28 01:36
11K
sin_cos__l3_sin_cos.depv1
2024-08-03 10:19
54
sin_cos__l3_sin_cos.depvmin1
2024-08-03 10:24
54
sin_cos__l3_sin_cos.vmin1
2024-08-03 10:19
410
sin_cos__l3_sin_cos.vmin1out
2024-08-03 10:20
3.2K
sin_cos__l3_sin_cos.vout
2024-08-03 04:49
3.2K
sin_cos__l18_sin_cos
2024-07-28 03:27
72K
sin_cos__l18_sin_cos.vout
2024-08-03 08:54
2.0K
sin_cos__l39_sin_cos
2024-07-28 03:29
80K
sin_cos__l39_sin_cos.vout
2024-08-03 04:18
4.7K
sin_cos__l48_sin_cos
2024-07-28 03:30
39K
sin_cos__l48_sin_cos.vout
2024-08-03 09:11
7.9K
sin_cos__l50_sin_cos
2024-07-28 03:32
153K
sin_cos__l50_sin_cos.vout
2024-08-03 05:29
4.7K
sin_cos__l52_sin_cos
2024-07-28 03:34
152K
sin_cos__l52_sin_cos.vout
2024-08-03 04:11
7.9K
sin_cos__l67_sin_cos
2024-07-28 01:38
31K
sin_cos__l67_sin_cos.depv1
2024-08-03 10:19
35
sin_cos__l67_sin_cos.depvmin1
2024-08-03 10:24
35
sin_cos__l67_sin_cos.vmin1
2024-08-03 10:19
556
sin_cos__l67_sin_cos.vmin1out
2024-08-03 10:20
5.4K
sin_cos__l67_sin_cos.vout
2024-08-03 04:56
11K
sin_cos__l69_sin_cos
2024-07-28 03:35
38K
sin_cos__l69_sin_cos.vout
2024-08-03 07:53
2.0K
sin_cos__l70_sin_cos
2024-07-28 01:37
24K
sin_cos__l70_sin_cos.depv1
2024-08-03 10:19
39
sin_cos__l70_sin_cos.depvmin1
2024-08-03 10:24
39
sin_cos__l70_sin_cos.vmin1
2024-08-03 10:19
635
sin_cos__l70_sin_cos.vmin1out
2024-08-03 10:23
4.1K
sin_cos__l70_sin_cos.vout
2024-08-03 05:29
4.1K
sin_cos__l71_sin_cos
2024-07-28 03:36
47K
sin_cos__l71_sin_cos.vout
2024-08-03 05:26
1.1K
sin_cos__l79_sin_cos
2024-07-28 03:38
48K
sin_cos__l79_sin_cos.vout
2024-08-03 08:06
7.3K
sin_cos__l80_sin_cos
2024-07-28 03:40
70K
sin_cos__l80_sin_cos.vout
2024-08-03 07:48
7.3K
sin_cos__l87_sin_cos
2024-07-28 03:41
30K
sin_cos__l87_sin_cos.depv1
2024-08-03 10:19
63
sin_cos__l87_sin_cos.depvmin1
2024-08-03 10:24
63
sin_cos__l87_sin_cos.vmin1
2024-08-03 10:19
1.0K
sin_cos__l87_sin_cos.vmin1out
2024-08-03 10:23
14K
sin_cos__l87_sin_cos.vout
2024-08-03 06:14
15K
sin_cos__l89_sin_cos
2024-07-28 03:43
33K
sin_cos__l89_sin_cos.depv1
2024-08-03 10:19
160
sin_cos__l89_sin_cos.depvmin1
2024-08-03 10:24
160
sin_cos__l89_sin_cos.vmin1
2024-08-03 10:19
1.2K
sin_cos__l89_sin_cos.vmin1out
2024-08-03 10:21
9.0K
sin_cos__l89_sin_cos.vout
2024-08-03 06:16
9.2K
sin_cos__l97_sin_cos
2024-07-28 03:44
136K
sin_cos__l97_sin_cos.vout
2024-08-03 07:07
2.0K
sin_cos__l98_sin_cos
2024-07-28 03:46
145K
sin_cos__l98_sin_cos.vout
2024-08-03 07:51
2.0K
sin_cos__l116_sin_cos
2024-07-28 03:47
35K
sin_cos__l116_sin_cos.vout
2024-08-03 06:45
2.0K
sin_cos__l117_sin_cos
2024-07-28 03:49
82K
sin_cos__l117_sin_cos.vout
2024-08-03 07:38
8.8K
sin_cos__l120_sin_cos
2024-07-28 03:50
49K
sin_cos__l120_sin_cos.vout
2024-08-03 07:19
10K
sin_cos__l129_sin_cos
2024-07-28 03:52
63K
sin_cos__l129_sin_cos.vout
2024-08-03 07:06
2.0K
sin_cos__t1_sin_cos
2024-07-28 01:21
31K
sin_cos__t1_sin_cos.depv1
2024-08-03 10:19
204
sin_cos__t1_sin_cos.depvmin1
2024-08-03 10:24
204
sin_cos__t1_sin_cos.vmin1
2024-08-03 10:19
1.7K
sin_cos__t1_sin_cos.vmin1out
2024-08-03 10:22
17K
sin_cos__t1_sin_cos.vout
2024-08-03 05:03
17K
sin_cos__t2_sin_cos
2024-07-28 01:40
55K
sin_cos__t2_sin_cos.vout
2024-08-03 07:08
2.0K
sin_cos__t3_sin_cos
2024-07-28 01:41
61K
sin_cos__t3_sin_cos.vout
2024-08-03 04:38
7.3K
sin_cos__t4_sin_cos
2024-07-28 01:43
58K
sin_cos__t4_sin_cos.vout
2024-08-03 08:12
7.3K
sin_cos__t5_sin_cos
2024-07-28 01:44
35K
sin_cos__t5_sin_cos.vout
2024-08-03 08:31
6.8K
sin_cos__t6_sin_cos
2024-07-28 01:46
166K
sin_cos__t6_sin_cos.vout
2024-08-03 05:00
4.7K
sin_cos__t7_sin_cos
2024-07-28 01:47
51K
sin_cos__t7_sin_cos.vout
2024-08-03 08:28
4.7K
sin_cos__t8_sin_cos
2024-07-28 01:49
46K
sin_cos__t8_sin_cos.vout
2024-08-03 06:38
4.7K
sin_cos__t9_sin_cos
2024-07-28 01:50
68K
sin_cos__t9_sin_cos.vout
2024-08-03 06:23
11K
sin_cos__t10_sin_cos
2024-07-28 01:52
50K
sin_cos__t10_sin_cos.vout
2024-08-03 09:41
7.3K
sin_cos__t11_sin_cos
2024-07-28 01:54
68K
sin_cos__t11_sin_cos.vout
2024-08-03 04:56
7.3K
sin_cos__t12_sin_cos
2024-07-28 01:55
40K
sin_cos__t12_sin_cos.vout
2024-08-03 05:20
4.1K
sin_cos__t13_sin_cos
2024-07-28 01:57
49K
sin_cos__t13_sin_cos.vout
2024-08-03 09:39
7.3K
sin_cos__t14_sin_cos
2024-07-28 01:58
68K
sin_cos__t14_sin_cos.vout
2024-08-03 08:08
7.3K
sin_cos__t15_sin_cos
2024-07-28 02:00
90K
sin_cos__t15_sin_cos.vout
2024-08-03 06:14
4.7K
sin_cos__t16_sin_cos
2024-07-28 02:02
74K
sin_cos__t16_sin_cos.vout
2024-08-03 08:31
4.7K
sin_cos__t17_sin_cos
2024-07-28 02:04
63K
sin_cos__t17_sin_cos.vout
2024-08-03 09:51
7.3K
sin_cos__t18_sin_cos
2024-07-28 02:05
60K
sin_cos__t18_sin_cos.depv1
2024-08-03 10:19
126
sin_cos__t18_sin_cos.depvmin1
2024-08-03 10:24
126
sin_cos__t18_sin_cos.vmin1
2024-08-03 10:19
1.7K
sin_cos__t18_sin_cos.vmin1out
2024-08-03 10:21
13K
sin_cos__t18_sin_cos.vout
2024-08-03 07:54
12K
sin_cos__t19_sin_cos
2024-07-28 02:07
49K
sin_cos__t19_sin_cos.vout
2024-08-03 04:59
2.0K
sin_cos__t20_sin_cos
2024-07-28 02:08
44K
sin_cos__t20_sin_cos.vout
2024-08-03 08:52
7.3K
sin_cos__t21_sin_cos
2024-07-28 02:10
382K
sin_cos__t21_sin_cos.vout
2024-08-03 09:39
4.7K
sin_cos__t22_sin_cos
2024-07-28 02:12
49K
sin_cos__t22_sin_cos.vout
2024-08-03 08:38
6.8K
sin_cos__t23_sin_cos
2024-07-28 02:13
36K
sin_cos__t23_sin_cos.depv1
2024-08-03 10:19
101
sin_cos__t23_sin_cos.depvmin1
2024-08-03 10:24
101
sin_cos__t23_sin_cos.vmin1
2024-08-03 10:19
1.1K
sin_cos__t23_sin_cos.vmin1out
2024-08-03 10:20
16K
sin_cos__t23_sin_cos.vout
2024-08-03 06:01
16K
sin_cos__t24_sin_cos
2024-07-28 01:22
25K
sin_cos__t24_sin_cos.depv1
2024-08-03 10:19
78
sin_cos__t24_sin_cos.depvmin1
2024-08-03 10:24
78
sin_cos__t24_sin_cos.vmin1
2024-08-03 10:19
876
sin_cos__t24_sin_cos.vmin1out
2024-08-03 10:20
7.3K
sin_cos__t24_sin_cos.vout
2024-08-03 07:50
7.0K
sin_cos__t25_sin_cos
2024-07-28 02:15
40K
sin_cos__t25_sin_cos.depv1
2024-08-03 10:19
201
sin_cos__t25_sin_cos.depvmin1
2024-08-03 10:24
201
sin_cos__t25_sin_cos.vmin1
2024-08-03 10:19
1.7K
sin_cos__t25_sin_cos.vmin1out
2024-08-03 10:23
18K
sin_cos__t25_sin_cos.vout
2024-08-03 09:30
18K
sin_cos__t26_sin_cos
2024-07-28 02:17
79K
sin_cos__t26_sin_cos.vout
2024-08-03 05:35
7.8K
sin_cos__t27_sin_cos
2024-07-28 02:18
58K
sin_cos__t27_sin_cos.vout
2024-08-03 09:38
7.3K
sin_cos__t28_sin_cos
2024-07-28 02:20
81K
sin_cos__t28_sin_cos.vout
2024-08-03 04:20
7.9K
sin_cos__t29_sin_cos
2024-07-28 01:23
34K
sin_cos__t29_sin_cos.depv1
2024-08-03 10:19
48
sin_cos__t29_sin_cos.depvmin1
2024-08-03 10:24
48
sin_cos__t29_sin_cos.vmin1
2024-08-03 10:19
761
sin_cos__t29_sin_cos.vmin1out
2024-08-03 10:20
6.9K
sin_cos__t29_sin_cos.vout
2024-08-03 08:25
7.0K
sin_cos__t30_sin_cos
2024-07-28 02:21
81K
sin_cos__t30_sin_cos.vout
2024-08-03 08:29
7.3K
sin_cos__t31_sin_cos
2024-07-28 01:24
27K
sin_cos__t31_sin_cos.depv1
2024-08-03 10:19
109
sin_cos__t31_sin_cos.depvmin1
2024-08-03 10:24
109
sin_cos__t31_sin_cos.vmin1
2024-08-03 10:19
1.0K
sin_cos__t31_sin_cos.vmin1out
2024-08-03 10:23
11K
sin_cos__t31_sin_cos.vout
2024-08-03 09:18
11K
sin_cos__t32_sin_cos
2024-07-28 02:23
53K
sin_cos__t32_sin_cos.vout
2024-08-03 05:04
7.3K
sin_cos__t33_sin_cos
2024-07-28 02:24
217K
sin_cos__t33_sin_cos.vout
2024-08-03 09:13
7.8K
sin_cos__t35_sin_cos
2024-07-28 02:26
300K
sin_cos__t35_sin_cos.vout
2024-08-03 08:35
7.3K
sin_cos__t36_sin_cos
2024-07-28 02:28
91K
sin_cos__t36_sin_cos.vout
2024-08-03 07:30
7.3K
sin_cos__t37_sin_cos
2024-07-28 02:30
38K
sin_cos__t37_sin_cos.depv1
2024-08-03 10:19
103
sin_cos__t37_sin_cos.depvmin1
2024-08-03 10:24
103
sin_cos__t37_sin_cos.vmin1
2024-08-03 10:19
1.6K
sin_cos__t37_sin_cos.vmin1out
2024-08-03 10:22
17K
sin_cos__t37_sin_cos.vout
2024-08-03 07:36
18K
sin_cos__t38_sin_cos
2024-07-28 01:25
29K
sin_cos__t38_sin_cos.depv1
2024-08-03 10:19
46
sin_cos__t38_sin_cos.depvmin1
2024-08-03 10:24
46
sin_cos__t38_sin_cos.vmin1
2024-08-03 10:19
952
sin_cos__t38_sin_cos.vmin1out
2024-08-03 10:20
13K
sin_cos__t38_sin_cos.vout
2024-08-03 04:25
14K
sin_cos__t39_sin_cos
2024-07-28 02:31
58K
sin_cos__t39_sin_cos.vout
2024-08-03 05:59
2.0K
sin_cos__t40_sin_cos
2024-07-28 02:32
48K
sin_cos__t40_sin_cos.vout
2024-08-03 07:19
7.8K
sin_cos__t42_sin_cos
2024-07-28 02:34
69K
sin_cos__t42_sin_cos.vout
2024-08-03 10:08
7.3K
sin_cos__t43_sin_cos
2024-07-28 02:37
1.2M
sin_cos__t43_sin_cos.vout
2024-08-03 10:03
7.9K
sin_cos__t44_sin_cos
2024-07-28 02:38
62K
sin_cos__t44_sin_cos.vout
2024-08-03 05:45
4.7K
sin_cos__t45_sin_cos
2024-07-28 02:40
59K
sin_cos__t45_sin_cos.vout
2024-08-03 06:24
5.3K
sin_cos__t46_sin_cos
2024-07-28 02:42
54K
sin_cos__t46_sin_cos.vout
2024-08-03 06:46
2.0K
sin_cos__t47_sin_cos
2024-07-28 01:26
24K
sin_cos__t47_sin_cos.depv1
2024-08-03 10:19
63
sin_cos__t47_sin_cos.depvmin1
2024-08-03 10:24
63
sin_cos__t47_sin_cos.vmin1
2024-08-03 10:19
634
sin_cos__t47_sin_cos.vmin1out
2024-08-03 10:23
5.3K
sin_cos__t47_sin_cos.vout
2024-08-03 06:12
5.2K
sin_cos__t48_sin_cos
2024-07-28 02:43
32K
sin_cos__t48_sin_cos.depv1
2024-08-03 10:19
51
sin_cos__t48_sin_cos.depvmin1
2024-08-03 10:24
51
sin_cos__t48_sin_cos.vmin1
2024-08-03 10:19
753
sin_cos__t48_sin_cos.vmin1out
2024-08-03 10:20
7.6K
sin_cos__t48_sin_cos.vout
2024-08-03 07:59
8.0K
sin_cos__t49_sin_cos
2024-07-28 02:44
32K
sin_cos__t49_sin_cos.depv1
2024-08-03 10:19
139
sin_cos__t49_sin_cos.depvmin1
2024-08-03 10:24
139
sin_cos__t49_sin_cos.vmin1
2024-08-03 10:19
1.5K
sin_cos__t49_sin_cos.vmin1out
2024-08-03 10:23
16K
sin_cos__t49_sin_cos.vout
2024-08-03 09:19
15K
sin_cos__t50_sin_cos
2024-07-28 01:27
29K
sin_cos__t50_sin_cos.depv1
2024-08-03 10:19
48
sin_cos__t50_sin_cos.depvmin1
2024-08-03 10:24
48
sin_cos__t50_sin_cos.vmin1
2024-08-03 10:19
588
sin_cos__t50_sin_cos.vmin1out
2024-08-03 10:21
5.7K
sin_cos__t50_sin_cos.vout
2024-08-03 06:45
7.0K
sin_cos__t51_sin_cos
2024-07-28 01:29
25K
sin_cos__t51_sin_cos.depv1
2024-08-03 10:19
85
sin_cos__t51_sin_cos.depvmin1
2024-08-03 10:24
85
sin_cos__t51_sin_cos.vmin1
2024-08-03 10:19
409
sin_cos__t51_sin_cos.vmin1out
2024-08-03 10:20
3.0K
sin_cos__t51_sin_cos.vout
2024-08-03 05:21
3.1K
sin_cos__t52_sin_cos
2024-07-28 02:46
69K
sin_cos__t52_sin_cos.vout
2024-08-03 06:03
7.3K
sin_cos__t53_sin_cos
2024-07-28 02:47
56K
sin_cos__t53_sin_cos.vout
2024-08-03 08:20
2.0K
sin_cos__t54_sin_cos
2024-07-28 02:48
27K
sin_cos__t54_sin_cos.vout
2024-08-03 09:39
2.0K
sin_cos__t55_sin_cos
2024-07-28 01:30
26K
sin_cos__t55_sin_cos.depv1
2024-08-03 10:19
60
sin_cos__t55_sin_cos.depvmin1
2024-08-03 10:24
36
sin_cos__t55_sin_cos.vmin1
2024-08-03 10:19
389
sin_cos__t55_sin_cos.vmin1out
2024-08-03 10:21
3.0K
sin_cos__t55_sin_cos.vout
2024-08-03 08:46
3.4K
sin_cos__t56_sin_cos
2024-07-28 02:50
248K
sin_cos__t56_sin_cos.vout
2024-08-03 09:32
7.3K
sin_cos__t58_sin_cos
2024-07-28 02:52
172K
sin_cos__t58_sin_cos.vout
2024-08-03 08:29
4.7K
sin_cos__t59_sin_cos
2024-07-28 02:53
39K
sin_cos__t59_sin_cos.vout
2024-08-03 05:05
2.0K
sin_cos__t60_sin_cos
2024-07-28 02:55
53K
sin_cos__t60_sin_cos.vout
2024-08-03 06:40
7.3K
sin_cos__t61_sin_cos
2024-07-28 02:57
53K
sin_cos__t61_sin_cos.vout
2024-08-03 05:16
7.3K
sin_cos__t62_sin_cos
2024-07-28 02:58
57K
sin_cos__t62_sin_cos.vout
2024-08-03 07:45
7.8K
sin_cos__t63_sin_cos
2024-07-28 03:01
192K
sin_cos__t63_sin_cos.vout
2024-08-03 05:13
4.7K
sin_cos__t64_sin_cos
2024-07-28 03:03
93K
sin_cos__t64_sin_cos.vout
2024-08-03 04:46
4.7K
sin_cos__t65_sin_cos
2024-07-28 03:05
179K
sin_cos__t65_sin_cos.vout
2024-08-03 09:50
4.7K
sin_cos__t66_sin_cos
2024-07-28 03:07
26K
sin_cos__t66_sin_cos.depv1
2024-08-03 10:19
198
sin_cos__t66_sin_cos.depvmin1
2024-08-03 10:24
147
sin_cos__t66_sin_cos.vmin1
2024-08-03 10:19
1.8K
sin_cos__t66_sin_cos.vmin1out
2024-08-03 10:22
17K
sin_cos__t66_sin_cos.vout
2024-08-03 06:30
21K
sin_cos__t67_sin_cos
2024-07-28 03:08
28K
sin_cos__t67_sin_cos.depv1
2024-08-03 10:19
198
sin_cos__t67_sin_cos.depvmin1
2024-08-03 10:24
147
sin_cos__t67_sin_cos.vmin1
2024-08-03 10:19
1.9K
sin_cos__t67_sin_cos.vmin1out
2024-08-03 10:22
17K
sin_cos__t67_sin_cos.vout
2024-08-03 09:03
21K
sin_cos__t68_sin_cos
2024-07-28 03:09
26K
sin_cos__t68_sin_cos.depv1
2024-08-03 10:19
198
sin_cos__t68_sin_cos.depvmin1
2024-08-03 10:24
147
sin_cos__t68_sin_cos.vmin1
2024-08-03 10:19
1.8K
sin_cos__t68_sin_cos.vmin1out
2024-08-03 10:22
17K
sin_cos__t68_sin_cos.vout
2024-08-03 07:44
21K
sin_cos__t69_sin_cos
2024-07-28 03:11
541K
sin_cos__t69_sin_cos.vout
2024-08-03 09:36
7.3K
sin_cos__t70_sin_cos
2024-07-28 03:12
48K
sin_cos__t70_sin_cos.vout
2024-08-03 05:42
6.2K
sin_cos__t71_sin_cos
2024-07-28 03:14
59K
sin_cos__t71_sin_cos.vout
2024-08-03 09:12
6.8K
sin_cos__t72_sin_cos
2024-07-28 03:16
36K
sin_cos__t72_sin_cos.vout
2024-08-03 04:15
4.7K
sin_cos__t73_sin_cos
2024-07-28 03:17
94K
sin_cos__t73_sin_cos.vout
2024-08-03 06:25
8.8K
sin_cos__t74_sin_cos
2024-07-28 03:19
144K
sin_cos__t74_sin_cos.vout
2024-08-03 05:11
7.8K
sin_cos__t75_sin_cos
2024-07-28 01:31
33K
sin_cos__t75_sin_cos.vout
2024-08-03 05:49
2.0K
sin_cos__t76_sin_cos
2024-07-28 03:20
124K
sin_cos__t76_sin_cos.vout
2024-08-03 07:54
2.1K
sin_cos__t77_sin_cos
2024-07-28 01:32
61K
sin_cos__t77_sin_cos.vout
2024-08-03 06:47
2.0K
sin_cos__t78_sin_cos
2024-07-28 03:21
82K
sin_cos__t78_sin_cos.vout
2024-08-03 09:14
2.0K
sin_cos__t79_sin_cos
2024-07-28 01:33
47K
sin_cos__t79_sin_cos.vout
2024-08-03 10:15
1.1K
sin_cos__t80_sin_cos
2024-07-28 03:23
220K
sin_cos__t80_sin_cos.vout
2024-08-03 05:55
7.3K
sin_cos__t81_sin_cos
2024-07-28 01:35
36K
sin_cos__t81_sin_cos.depv1
2024-08-03 10:19
36
sin_cos__t81_sin_cos.depvmin1
2024-08-03 10:24
36
sin_cos__t81_sin_cos.vmin1
2024-08-03 10:19
472
sin_cos__t81_sin_cos.vmin1out
2024-08-03 10:22
4.1K
sin_cos__t81_sin_cos.vout
2024-08-03 09:12
4.1K
sin_cos__t82_sin_cos
2024-07-28 03:24
34K
sin_cos__t82_sin_cos.vout
2024-08-03 10:03
2.0K
sin_cos__t83_sin_cos
2024-07-28 03:26
34K
sin_cos__t83_sin_cos.vout
2024-08-03 10:04
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80