Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/sin_cos8
Name
Last modified
Size
Description
Parent Directory
-
sin_cos8__l1_sin_cos8
2024-07-26 17:44
15K
sin_cos8__l1_sin_cos8.depv1
2024-08-03 10:19
75
sin_cos8__l1_sin_cos8.depvmin1
2024-08-03 10:24
75
sin_cos8__l1_sin_cos8.vmin1
2024-08-03 10:19
717
sin_cos8__l1_sin_cos8.vmin1out
2024-08-03 10:20
6.1K
sin_cos8__l1_sin_cos8.vout
2024-08-03 05:45
4.8K
sin_cos8__l2_sin_cos8
2024-07-26 17:45
62K
sin_cos8__l2_sin_cos8.vout
2024-08-03 07:22
7.8K
sin_cos8__l3_sin_cos8
2024-07-26 17:46
24K
sin_cos8__l3_sin_cos8.depv1
2024-08-03 10:19
49
sin_cos8__l3_sin_cos8.depvmin1
2024-08-03 10:24
49
sin_cos8__l3_sin_cos8.vmin1
2024-08-03 10:19
720
sin_cos8__l3_sin_cos8.vmin1out
2024-08-03 10:21
6.7K
sin_cos8__l3_sin_cos8.vout
2024-08-03 05:12
5.3K
sin_cos8__l5_sin_cos8
2024-07-26 17:47
71K
sin_cos8__l5_sin_cos8.vout
2024-08-03 07:56
7.3K
sin_cos8__l6_sin_cos8
2024-07-26 17:47
53K
sin_cos8__l6_sin_cos8.vout
2024-08-03 07:33
2.0K
sin_cos8__l7_sin_cos8
2024-07-26 17:48
22K
sin_cos8__l7_sin_cos8.vout
2024-08-03 05:15
2.0K
sin_cos8__l8_sin_cos8
2024-07-26 17:49
93K
sin_cos8__l8_sin_cos8.depv1
2024-08-03 10:19
49
sin_cos8__l8_sin_cos8.depvmin1
2024-08-03 10:24
49
sin_cos8__l8_sin_cos8.vmin1
2024-08-03 10:19
772
sin_cos8__l8_sin_cos8.vmin1out
2024-08-03 10:20
7.2K
sin_cos8__l8_sin_cos8.vout
2024-08-03 09:37
5.9K
sin_cos8__l9_sin_cos8
2024-07-26 17:50
21K
sin_cos8__l9_sin_cos8.vout
2024-08-03 05:19
2.0K
sin_cos8__l11_sin_cos8
2024-07-26 17:51
36K
sin_cos8__l11_sin_cos8.vout
2024-08-03 08:46
2.0K
sin_cos8__l19_sin_cos8
2024-07-26 17:52
22K
sin_cos8__l19_sin_cos8.depv1
2024-08-03 10:19
88
sin_cos8__l19_sin_cos8.depvmin1
2024-08-03 10:24
88
sin_cos8__l19_sin_cos8.vmin1
2024-08-03 10:19
2.6K
sin_cos8__l19_sin_cos8.vmin1out
2024-08-03 10:22
27K
sin_cos8__l19_sin_cos8.vout
2024-08-03 07:26
36K
sin_cos8__l23_sin_cos8
2024-07-26 17:53
28K
sin_cos8__l23_sin_cos8.depv1
2024-08-03 10:19
88
sin_cos8__l23_sin_cos8.depvmin1
2024-08-03 10:24
88
sin_cos8__l23_sin_cos8.vmin1
2024-08-03 10:19
3.0K
sin_cos8__l23_sin_cos8.vmin1out
2024-08-03 10:20
31K
sin_cos8__l23_sin_cos8.vout
2024-08-03 06:30
29K
sin_cos8__l31_sin_cos8
2024-07-26 17:54
77K
sin_cos8__l31_sin_cos8.vout
2024-08-03 08:07
2.0K
sin_cos8__l32_sin_cos8
2024-07-26 17:55
132K
sin_cos8__l32_sin_cos8.vout
2024-08-03 08:57
2.0K
sin_cos8__l34_sin_cos8
2024-07-26 17:56
15K
sin_cos8__l34_sin_cos8.vout
2024-08-03 06:10
2.0K
sin_cos8__t1_sin_cos8
2024-07-26 17:17
14K
sin_cos8__t1_sin_cos8.depv1
2024-08-03 10:19
122
sin_cos8__t1_sin_cos8.depvmin1
2024-08-03 10:24
122
sin_cos8__t1_sin_cos8.vmin1
2024-08-03 10:19
935
sin_cos8__t1_sin_cos8.vmin1out
2024-08-03 10:21
7.5K
sin_cos8__t1_sin_cos8.vout
2024-08-03 05:17
6.8K
sin_cos8__t2_sin_cos8
2024-07-26 17:17
7.3K
sin_cos8__t2_sin_cos8.depv1
2024-08-03 10:19
124
sin_cos8__t2_sin_cos8.depvmin1
2024-08-03 10:24
124
sin_cos8__t2_sin_cos8.vmin1
2024-08-03 10:19
1.1K
sin_cos8__t2_sin_cos8.vmin1out
2024-08-03 10:22
9.3K
sin_cos8__t2_sin_cos8.vout
2024-08-03 08:37
9.4K
sin_cos8__t3_sin_cos8
2024-07-26 17:18
37K
sin_cos8__t3_sin_cos8.vout
2024-08-03 05:04
2.0K
sin_cos8__t4_sin_cos8
2024-07-26 17:19
8.5K
sin_cos8__t4_sin_cos8.depv1
2024-08-03 10:19
340
sin_cos8__t4_sin_cos8.depvmin1
2024-08-03 10:24
295
sin_cos8__t4_sin_cos8.vmin1
2024-08-03 10:19
3.1K
sin_cos8__t4_sin_cos8.vmin1out
2024-08-03 10:20
24K
sin_cos8__t4_sin_cos8.vout
2024-08-03 07:31
30K
sin_cos8__t5_sin_cos8
2024-07-26 17:19
30K
sin_cos8__t5_sin_cos8.vout
2024-08-03 08:34
2.0K
sin_cos8__t6_sin_cos8
2024-07-26 17:20
20K
sin_cos8__t6_sin_cos8.vout
2024-08-03 05:26
2.0K
sin_cos8__t7_sin_cos8
2024-07-26 17:21
31K
sin_cos8__t7_sin_cos8.vout
2024-08-03 06:20
2.0K
sin_cos8__t8_sin_cos8
2024-07-26 17:22
55K
sin_cos8__t8_sin_cos8.vout
2024-08-03 06:21
7.3K
sin_cos8__t9_sin_cos8
2024-07-26 17:22
18K
sin_cos8__t9_sin_cos8.vout
2024-08-03 05:36
2.0K
sin_cos8__t10_sin_cos8
2024-07-26 17:23
19K
sin_cos8__t10_sin_cos8.vout
2024-08-03 06:48
7.3K
sin_cos8__t11_sin_cos8
2024-07-26 17:24
23K
sin_cos8__t11_sin_cos8.vout
2024-08-03 10:13
2.0K
sin_cos8__t12_sin_cos8
2024-07-26 17:24
23K
sin_cos8__t12_sin_cos8.vout
2024-08-03 04:51
2.0K
sin_cos8__t13_sin_cos8
2024-07-26 17:25
96K
sin_cos8__t13_sin_cos8.vout
2024-08-03 04:28
1.1K
sin_cos8__t14_sin_cos8
2024-07-26 17:26
20K
sin_cos8__t14_sin_cos8.vout
2024-08-03 07:22
2.0K
sin_cos8__t15_sin_cos8
2024-07-26 17:26
19K
sin_cos8__t15_sin_cos8.vout
2024-08-03 09:55
2.0K
sin_cos8__t16_sin_cos8
2024-07-26 17:27
30K
sin_cos8__t16_sin_cos8.vout
2024-08-03 06:22
2.0K
sin_cos8__t17_sin_cos8
2024-07-26 17:28
30K
sin_cos8__t17_sin_cos8.vout
2024-08-03 06:45
2.0K
sin_cos8__t18_sin_cos8
2024-07-26 17:28
30K
sin_cos8__t18_sin_cos8.vout
2024-08-03 05:38
2.0K
sin_cos8__t19_sin_cos8
2024-07-26 17:29
30K
sin_cos8__t19_sin_cos8.vout
2024-08-03 08:11
2.0K
sin_cos8__t20_sin_cos8
2024-07-26 17:30
24K
sin_cos8__t20_sin_cos8.vout
2024-08-03 10:13
2.0K
sin_cos8__t21_sin_cos8
2024-07-26 17:30
19K
sin_cos8__t21_sin_cos8.vout
2024-08-03 08:36
2.0K
sin_cos8__t22_sin_cos8
2024-07-26 17:31
34K
sin_cos8__t22_sin_cos8.vout
2024-08-03 04:11
2.0K
sin_cos8__t23_sin_cos8
2024-07-26 17:32
104K
sin_cos8__t23_sin_cos8.vout
2024-08-03 07:45
2.0K
sin_cos8__t24_sin_cos8
2024-07-26 17:33
118K
sin_cos8__t24_sin_cos8.vout
2024-08-03 05:03
2.0K
sin_cos8__t25_sin_cos8
2024-07-26 17:34
118K
sin_cos8__t25_sin_cos8.vout
2024-08-03 10:15
2.0K
sin_cos8__t26_sin_cos8
2024-07-26 17:35
61K
sin_cos8__t26_sin_cos8.depv1
2024-08-03 10:19
62
sin_cos8__t26_sin_cos8.depvmin1
2024-08-03 10:24
62
sin_cos8__t26_sin_cos8.vmin1
2024-08-03 10:19
1.1K
sin_cos8__t26_sin_cos8.vmin1out
2024-08-03 10:20
10K
sin_cos8__t26_sin_cos8.vout
2024-08-03 08:13
8.5K
sin_cos8__t27_sin_cos8
2024-07-26 17:36
405K
sin_cos8__t27_sin_cos8.vout
2024-08-03 10:16
2.1K
sin_cos8__t28_sin_cos8
2024-07-26 17:37
320K
sin_cos8__t28_sin_cos8.vout
2024-08-03 08:29
2.0K
sin_cos8__t29_sin_cos8
2024-07-26 17:38
29K
sin_cos8__t29_sin_cos8.vout
2024-08-03 04:58
2.0K
sin_cos8__t30_sin_cos8
2024-07-26 17:38
29K
sin_cos8__t30_sin_cos8.vout
2024-08-03 05:51
2.0K
sin_cos8__t31_sin_cos8
2024-07-26 17:40
2.2M
sin_cos8__t31_sin_cos8.vout
2024-08-03 09:17
1.1K
sin_cos8__t32_sin_cos8
2024-07-26 17:42
2.4M
sin_cos8__t32_sin_cos8.vout
2024-08-03 05:23
2.0K
sin_cos8__t33_sin_cos8
2024-07-26 17:43
97K
sin_cos8__t33_sin_cos8.vout
2024-08-03 07:14
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80