Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sin_cos2
Name
Last modified
Size
Description
Parent Directory
-
sin_cos2__l3_sin_cos2
2024-07-27 09:00
47K
sin_cos2__l3_sin_cos2.vout
2024-08-03 09:52
2.0K
sin_cos2__l22_sin_cos2
2024-07-27 09:01
51K
sin_cos2__l22_sin_cos2.vout
2024-08-03 04:39
7.3K
sin_cos2__l23_sin_cos2
2024-07-27 09:02
51K
sin_cos2__l23_sin_cos2.vout
2024-08-03 08:31
7.3K
sin_cos2__l27_sin_cos2
2024-07-27 09:03
13K
sin_cos2__l27_sin_cos2.vout
2024-08-03 09:36
7.9K
sin_cos2__l28_sin_cos2
2024-07-27 09:04
30K
sin_cos2__l28_sin_cos2.vout
2024-08-03 06:20
2.0K
sin_cos2__l30_sin_cos2
2024-07-27 09:05
146K
sin_cos2__l30_sin_cos2.vout
2024-08-03 06:27
7.3K
sin_cos2__l32_sin_cos2
2024-07-27 09:06
29K
sin_cos2__l32_sin_cos2.vout
2024-08-03 08:13
2.0K
sin_cos2__l34_sin_cos2
2024-07-27 09:07
29K
sin_cos2__l34_sin_cos2.vout
2024-08-03 07:29
2.0K
sin_cos2__l36_sin_cos2
2024-07-27 09:08
30K
sin_cos2__l36_sin_cos2.vout
2024-08-03 06:18
2.0K
sin_cos2__l46_sin_cos2
2024-07-27 09:10
25K
sin_cos2__l46_sin_cos2.depv1
2024-08-03 10:19
139
sin_cos2__l46_sin_cos2.depvmin1
2024-08-03 10:24
139
sin_cos2__l46_sin_cos2.vmin1
2024-08-03 10:20
1.2K
sin_cos2__l46_sin_cos2.vmin1out
2024-08-03 10:20
13K
sin_cos2__l46_sin_cos2.vout
2024-08-03 05:13
13K
sin_cos2__l47_sin_cos2
2024-07-27 08:18
22K
sin_cos2__l47_sin_cos2.depv1
2024-08-03 10:19
63
sin_cos2__l47_sin_cos2.depvmin1
2024-08-03 10:24
63
sin_cos2__l47_sin_cos2.vmin1
2024-08-03 10:20
630
sin_cos2__l47_sin_cos2.vmin1out
2024-08-03 10:21
5.3K
sin_cos2__l47_sin_cos2.vout
2024-08-03 09:32
5.2K
sin_cos2__l48_sin_cos2
2024-07-27 09:11
63K
sin_cos2__l48_sin_cos2.vout
2024-08-03 08:03
4.7K
sin_cos2__l49_sin_cos2
2024-07-27 09:13
36K
sin_cos2__l49_sin_cos2.depv1
2024-08-03 10:19
236
sin_cos2__l49_sin_cos2.depvmin1
2024-08-03 10:24
183
sin_cos2__l49_sin_cos2.vmin1
2024-08-03 10:20
3.0K
sin_cos2__l49_sin_cos2.vmin1out
2024-08-03 10:23
26K
sin_cos2__l49_sin_cos2.vout
2024-08-03 06:32
35K
sin_cos2__l50_sin_cos2
2024-07-27 09:14
31K
sin_cos2__l50_sin_cos2.depv1
2024-08-03 10:19
292
sin_cos2__l50_sin_cos2.depvmin1
2024-08-03 10:24
201
sin_cos2__l50_sin_cos2.vmin1
2024-08-03 10:20
2.7K
sin_cos2__l50_sin_cos2.vmin1out
2024-08-03 10:21
15K
sin_cos2__l50_sin_cos2.vout
2024-08-03 05:10
26K
sin_cos2__l51_sin_cos2
2024-07-27 09:15
87K
sin_cos2__l51_sin_cos2.vout
2024-08-03 08:56
4.1K
sin_cos2__l52_sin_cos2
2024-07-27 09:16
56K
sin_cos2__l52_sin_cos2.vout
2024-08-03 09:15
4.1K
sin_cos2__l53_sin_cos2
2024-07-27 09:18
51K
sin_cos2__l53_sin_cos2.vout
2024-08-03 04:26
4.1K
sin_cos2__l54_sin_cos2
2024-07-27 09:19
42K
sin_cos2__l54_sin_cos2.vout
2024-08-03 07:14
4.1K
sin_cos2__l56_sin_cos2
2024-07-27 09:20
56K
sin_cos2__l56_sin_cos2.vout
2024-08-03 07:56
4.1K
sin_cos2__l57_sin_cos2
2024-07-27 09:22
53K
sin_cos2__l57_sin_cos2.vout
2024-08-03 07:18
4.1K
sin_cos2__l58_sin_cos2
2024-07-27 09:23
43K
sin_cos2__l58_sin_cos2.vout
2024-08-03 09:51
4.1K
sin_cos2__l60_sin_cos2
2024-07-27 09:24
43K
sin_cos2__l60_sin_cos2.vout
2024-08-03 06:31
2.0K
sin_cos2__l66_sin_cos2
2024-07-27 09:25
46K
sin_cos2__l66_sin_cos2.vout
2024-08-03 07:34
2.0K
sin_cos2__t1_sin_cos2
2024-07-27 08:19
48K
sin_cos2__t1_sin_cos2.vout
2024-08-03 10:16
7.3K
sin_cos2__t2_sin_cos2
2024-07-27 08:21
35K
sin_cos2__t2_sin_cos2.vout
2024-08-03 08:05
2.0K
sin_cos2__t3_sin_cos2
2024-07-27 08:22
94K
sin_cos2__t3_sin_cos2.vout
2024-08-03 07:21
2.0K
sin_cos2__t4_sin_cos2
2024-07-27 08:24
46K
sin_cos2__t4_sin_cos2.vout
2024-08-03 05:38
2.0K
sin_cos2__t5_sin_cos2
2024-07-27 08:25
94K
sin_cos2__t5_sin_cos2.vout
2024-08-03 09:09
2.0K
sin_cos2__t6_sin_cos2
2024-07-27 08:27
94K
sin_cos2__t6_sin_cos2.vout
2024-08-03 08:31
2.0K
sin_cos2__t7_sin_cos2
2024-07-27 08:28
94K
sin_cos2__t7_sin_cos2.vout
2024-08-03 07:44
2.0K
sin_cos2__t8_sin_cos2
2024-07-27 08:29
94K
sin_cos2__t8_sin_cos2.vout
2024-08-03 08:13
2.1K
sin_cos2__t9_sin_cos2
2024-07-27 08:31
94K
sin_cos2__t9_sin_cos2.vout
2024-08-03 08:58
2.0K
sin_cos2__t10_sin_cos2
2024-07-27 08:32
37K
sin_cos2__t10_sin_cos2.vout
2024-08-03 08:46
2.0K
sin_cos2__t11_sin_cos2
2024-07-27 08:33
37K
sin_cos2__t11_sin_cos2.vout
2024-08-03 07:41
2.0K
sin_cos2__t12_sin_cos2
2024-07-27 08:34
26K
sin_cos2__t12_sin_cos2.depv1
2024-08-03 10:19
49
sin_cos2__t12_sin_cos2.depvmin1
2024-08-03 10:24
49
sin_cos2__t12_sin_cos2.vmin1
2024-08-03 10:20
589
sin_cos2__t12_sin_cos2.vmin1out
2024-08-03 10:22
5.8K
sin_cos2__t12_sin_cos2.vout
2024-08-03 07:15
5.9K
sin_cos2__t13_sin_cos2
2024-07-27 08:04
23K
sin_cos2__t13_sin_cos2.depv1
2024-08-03 10:19
86
sin_cos2__t13_sin_cos2.depvmin1
2024-08-03 10:24
86
sin_cos2__t13_sin_cos2.vmin1
2024-08-03 10:20
410
sin_cos2__t13_sin_cos2.vmin1out
2024-08-03 10:21
3.0K
sin_cos2__t13_sin_cos2.vout
2024-08-03 07:54
3.1K
sin_cos2__t14_sin_cos2
2024-07-27 08:35
342K
sin_cos2__t14_sin_cos2.vout
2024-08-03 04:14
7.4K
sin_cos2__t15_sin_cos2
2024-07-27 08:37
42K
sin_cos2__t15_sin_cos2.vout
2024-08-03 05:31
7.9K
sin_cos2__t16_sin_cos2
2024-07-27 08:38
40K
sin_cos2__t16_sin_cos2.vout
2024-08-03 07:12
8.4K
sin_cos2__t17_sin_cos2
2024-07-27 08:39
37K
sin_cos2__t17_sin_cos2.vout
2024-08-03 04:10
7.9K
sin_cos2__t18_sin_cos2
2024-07-27 08:40
114K
sin_cos2__t18_sin_cos2.vout
2024-08-03 09:30
7.3K
sin_cos2__t19_sin_cos2
2024-07-27 08:41
40K
sin_cos2__t19_sin_cos2.vout
2024-08-03 09:41
7.9K
sin_cos2__t20_sin_cos2
2024-07-27 08:05
29K
sin_cos2__t20_sin_cos2.depv1
2024-08-03 10:19
39
sin_cos2__t20_sin_cos2.depvmin1
2024-08-03 10:24
39
sin_cos2__t20_sin_cos2.vmin1
2024-08-03 10:20
1.0K
sin_cos2__t20_sin_cos2.vmin1out
2024-08-03 10:22
9.5K
sin_cos2__t20_sin_cos2.vout
2024-08-03 10:14
9.6K
sin_cos2__t21_sin_cos2
2024-07-27 08:06
29K
sin_cos2__t21_sin_cos2.depv1
2024-08-03 10:19
39
sin_cos2__t21_sin_cos2.depvmin1
2024-08-03 10:24
39
sin_cos2__t21_sin_cos2.vmin1
2024-08-03 10:20
1.0K
sin_cos2__t21_sin_cos2.vmin1out
2024-08-03 10:21
9.5K
sin_cos2__t21_sin_cos2.vout
2024-08-03 08:04
9.6K
sin_cos2__t22_sin_cos2
2024-07-27 08:07
30K
sin_cos2__t22_sin_cos2.depv1
2024-08-03 10:19
39
sin_cos2__t22_sin_cos2.depvmin1
2024-08-03 10:24
39
sin_cos2__t22_sin_cos2.vmin1
2024-08-03 10:20
1.1K
sin_cos2__t22_sin_cos2.vmin1out
2024-08-03 10:21
10K
sin_cos2__t22_sin_cos2.vout
2024-08-03 07:13
10K
sin_cos2__t23_sin_cos2
2024-07-27 08:43
71K
sin_cos2__t23_sin_cos2.vout
2024-08-03 06:39
1.1K
sin_cos2__t24_sin_cos2
2024-07-27 08:44
41K
sin_cos2__t24_sin_cos2.vout
2024-08-03 07:44
2.0K
sin_cos2__t25_sin_cos2
2024-07-27 08:45
41K
sin_cos2__t25_sin_cos2.vout
2024-08-03 09:05
2.0K
sin_cos2__t26_sin_cos2
2024-07-27 08:46
72K
sin_cos2__t26_sin_cos2.vout
2024-08-03 06:24
1.1K
sin_cos2__t27_sin_cos2
2024-07-27 08:47
104K
sin_cos2__t27_sin_cos2.vout
2024-08-03 06:32
1.1K
sin_cos2__t28_sin_cos2
2024-07-27 08:48
34K
sin_cos2__t28_sin_cos2.vout
2024-08-03 06:51
2.0K
sin_cos2__t29_sin_cos2
2024-07-27 08:50
66K
sin_cos2__t29_sin_cos2.vout
2024-08-03 05:38
7.3K
sin_cos2__t30_sin_cos2
2024-07-27 08:08
23K
sin_cos2__t30_sin_cos2.depv1
2024-08-03 10:19
94
sin_cos2__t30_sin_cos2.depvmin1
2024-08-03 10:24
94
sin_cos2__t30_sin_cos2.vmin1
2024-08-03 10:20
1.1K
sin_cos2__t30_sin_cos2.vmin1out
2024-08-03 10:20
9.2K
sin_cos2__t30_sin_cos2.vout
2024-08-03 08:09
8.8K
sin_cos2__t31_sin_cos2
2024-07-27 08:51
57K
sin_cos2__t31_sin_cos2.vout
2024-08-03 07:15
4.1K
sin_cos2__t32_sin_cos2
2024-07-27 08:52
57K
sin_cos2__t32_sin_cos2.vout
2024-08-03 07:50
4.2K
sin_cos2__t33_sin_cos2
2024-07-27 08:10
31K
sin_cos2__t33_sin_cos2.depv1
2024-08-03 10:19
137
sin_cos2__t33_sin_cos2.depvmin1
2024-08-03 10:24
137
sin_cos2__t33_sin_cos2.vmin1
2024-08-03 10:20
1.7K
sin_cos2__t33_sin_cos2.vmin1out
2024-08-03 10:20
14K
sin_cos2__t33_sin_cos2.vout
2024-08-03 07:32
13K
sin_cos2__t34_sin_cos2
2024-07-27 08:54
24K
sin_cos2__t34_sin_cos2.depv1
2024-08-03 10:19
200
sin_cos2__t34_sin_cos2.depvmin1
2024-08-03 10:24
149
sin_cos2__t34_sin_cos2.vmin1
2024-08-03 10:20
1.8K
sin_cos2__t34_sin_cos2.vmin1out
2024-08-03 10:23
17K
sin_cos2__t34_sin_cos2.vout
2024-08-03 06:08
21K
sin_cos2__t35_sin_cos2
2024-07-27 08:55
24K
sin_cos2__t35_sin_cos2.depv1
2024-08-03 10:19
200
sin_cos2__t35_sin_cos2.depvmin1
2024-08-03 10:24
149
sin_cos2__t35_sin_cos2.vmin1
2024-08-03 10:20
1.8K
sin_cos2__t35_sin_cos2.vmin1out
2024-08-03 10:23
17K
sin_cos2__t35_sin_cos2.vout
2024-08-03 09:58
21K
sin_cos2__t36_sin_cos2
2024-07-27 08:56
32K
sin_cos2__t36_sin_cos2.depv1
2024-08-03 10:19
232
sin_cos2__t36_sin_cos2.depvmin1
2024-08-03 10:24
222
sin_cos2__t36_sin_cos2.vmin1
2024-08-03 10:20
2.6K
sin_cos2__t36_sin_cos2.vmin1out
2024-08-03 10:20
23K
sin_cos2__t36_sin_cos2.vout
2024-08-03 07:40
23K
sin_cos2__t37_sin_cos2
2024-07-27 08:57
41K
sin_cos2__t37_sin_cos2.vout
2024-08-03 04:25
7.9K
sin_cos2__t38_sin_cos2
2024-07-27 08:11
23K
sin_cos2__t38_sin_cos2.depv1
2024-08-03 10:19
53
sin_cos2__t38_sin_cos2.depvmin1
2024-08-03 10:24
53
sin_cos2__t38_sin_cos2.vmin1
2024-08-03 10:20
631
sin_cos2__t38_sin_cos2.vmin1out
2024-08-03 10:21
4.1K
sin_cos2__t38_sin_cos2.vout
2024-08-03 04:29
4.2K
sin_cos2__t39_sin_cos2
2024-07-27 08:12
23K
sin_cos2__t39_sin_cos2.depv1
2024-08-03 10:19
53
sin_cos2__t39_sin_cos2.depvmin1
2024-08-03 10:24
53
sin_cos2__t39_sin_cos2.vmin1
2024-08-03 10:20
631
sin_cos2__t39_sin_cos2.vmin1out
2024-08-03 10:21
4.1K
sin_cos2__t39_sin_cos2.vout
2024-08-03 06:54
4.2K
sin_cos2__t40_sin_cos2
2024-07-27 08:14
27K
sin_cos2__t40_sin_cos2.depv1
2024-08-03 10:19
149
sin_cos2__t40_sin_cos2.depvmin1
2024-08-03 10:24
149
sin_cos2__t40_sin_cos2.vmin1
2024-08-03 10:20
1.8K
sin_cos2__t40_sin_cos2.vmin1out
2024-08-03 10:22
16K
sin_cos2__t40_sin_cos2.vout
2024-08-03 09:54
13K
sin_cos2__t41_sin_cos2
2024-07-27 08:15
26K
sin_cos2__t41_sin_cos2.depv1
2024-08-03 10:19
79
sin_cos2__t41_sin_cos2.depvmin1
2024-08-03 10:24
65
sin_cos2__t41_sin_cos2.vmin1
2024-08-03 10:20
905
sin_cos2__t41_sin_cos2.vmin1out
2024-08-03 10:21
5.2K
sin_cos2__t41_sin_cos2.vout
2024-08-03 09:20
6.9K
sin_cos2__t42_sin_cos2
2024-07-27 08:16
26K
sin_cos2__t42_sin_cos2.depv1
2024-08-03 10:19
79
sin_cos2__t42_sin_cos2.depvmin1
2024-08-03 10:24
65
sin_cos2__t42_sin_cos2.vmin1
2024-08-03 10:20
905
sin_cos2__t42_sin_cos2.vmin1out
2024-08-03 10:21
5.2K
sin_cos2__t42_sin_cos2.vout
2024-08-03 07:11
6.9K
sin_cos2__t43_sin_cos2
2024-07-27 08:17
29K
sin_cos2__t43_sin_cos2.depv1
2024-08-03 10:19
130
sin_cos2__t43_sin_cos2.depvmin1
2024-08-03 10:24
130
sin_cos2__t43_sin_cos2.vmin1
2024-08-03 10:20
1.1K
sin_cos2__t43_sin_cos2.vmin1out
2024-08-03 10:21
7.3K
sin_cos2__t43_sin_cos2.vout
2024-08-03 05:32
7.2K
sin_cos2__t44_sin_cos2
2024-07-27 08:58
47K
sin_cos2__t44_sin_cos2.vout
2024-08-03 08:31
7.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80