Index of /~mptp/mml5.63.1382/MPTP2/problems_small/sin_cos5
Name
Last modified
Size
Description
Parent Directory
-
sin_cos5__t52_sin_cos5.vout
2021-07-25 18:19
2.0K
sin_cos5__t52_sin_cos5
2021-07-18 08:22
60K
sin_cos5__t51_sin_cos5.vout
2021-07-25 14:26
2.0K
sin_cos5__t51_sin_cos5
2021-07-18 08:22
100K
sin_cos5__t50_sin_cos5.vout
2021-07-25 19:55
2.0K
sin_cos5__t50_sin_cos5
2021-07-18 08:22
60K
sin_cos5__t49_sin_cos5.vout
2021-07-25 18:11
2.0K
sin_cos5__t49_sin_cos5
2021-07-18 08:22
101K
sin_cos5__t48_sin_cos5.vout
2021-07-25 14:33
2.0K
sin_cos5__t48_sin_cos5
2021-07-18 08:21
75K
sin_cos5__t47_sin_cos5.vout
2021-07-25 17:21
4.7K
sin_cos5__t47_sin_cos5
2021-07-18 08:21
35K
sin_cos5__t46_sin_cos5.vout
2021-07-25 15:43
11K
sin_cos5__t46_sin_cos5.vmin1out
2021-07-25 21:01
11K
sin_cos5__t46_sin_cos5.vmin1
2021-07-25 20:57
1.0K
sin_cos5__t46_sin_cos5.depvmin1
2021-07-25 21:03
152
sin_cos5__t46_sin_cos5.depv1
2021-07-25 20:57
152
sin_cos5__t46_sin_cos5
2021-07-18 08:21
11K
sin_cos5__t45_sin_cos5.vout
2021-07-25 17:12
2.0K
sin_cos5__t45_sin_cos5
2021-07-18 08:21
77K
sin_cos5__t44_sin_cos5.vout
2021-07-25 20:49
2.0K
sin_cos5__t44_sin_cos5
2021-07-18 08:20
125K
sin_cos5__t43_sin_cos5.vout
2021-07-25 18:11
2.0K
sin_cos5__t43_sin_cos5
2021-07-18 08:20
101K
sin_cos5__t42_sin_cos5.vout
2021-07-25 17:31
2.0K
sin_cos5__t42_sin_cos5
2021-07-18 08:20
60K
sin_cos5__t41_sin_cos5.vout
2021-07-25 15:22
2.0K
sin_cos5__t41_sin_cos5
2021-07-18 08:20
29K
sin_cos5__t40_sin_cos5.vout
2021-07-25 19:15
2.0K
sin_cos5__t40_sin_cos5
2021-07-18 08:19
19K
sin_cos5__t39_sin_cos5.vout
2021-07-25 14:44
2.0K
sin_cos5__t39_sin_cos5
2021-07-18 08:19
35K
sin_cos5__t38_sin_cos5.vout
2021-07-25 14:55
2.0K
sin_cos5__t38_sin_cos5
2021-07-18 08:19
35K
sin_cos5__t37_sin_cos5.vout
2021-07-25 16:53
7.4K
sin_cos5__t37_sin_cos5
2021-07-18 08:18
36K
sin_cos5__t36_sin_cos5.vout
2021-07-25 14:54
7.3K
sin_cos5__t36_sin_cos5
2021-07-18 08:18
26K
sin_cos5__t35_sin_cos5.vout
2021-07-25 17:41
2.0K
sin_cos5__t35_sin_cos5
2021-07-18 08:18
70K
sin_cos5__t34_sin_cos5.vout
2021-07-25 20:05
2.0K
sin_cos5__t34_sin_cos5
2021-07-18 08:18
70K
sin_cos5__t33_sin_cos5.vout
2021-07-25 20:46
2.0K
sin_cos5__t33_sin_cos5
2021-07-18 08:17
121K
sin_cos5__t32_sin_cos5.vout
2021-07-25 14:34
2.0K
sin_cos5__t32_sin_cos5
2021-07-18 08:17
93K
sin_cos5__t31_sin_cos5.vout
2021-07-25 19:00
2.0K
sin_cos5__t31_sin_cos5
2021-07-18 08:17
52K
sin_cos5__t30_sin_cos5.vout
2021-07-25 17:05
2.0K
sin_cos5__t30_sin_cos5
2021-07-18 08:17
121K
sin_cos5__t29_sin_cos5.vout
2021-07-25 18:22
2.0K
sin_cos5__t29_sin_cos5
2021-07-18 08:17
52K
sin_cos5__t28_sin_cos5.vout
2021-07-25 16:33
2.0K
sin_cos5__t28_sin_cos5
2021-07-18 08:16
93K
sin_cos5__t27_sin_cos5.vout
2021-07-25 15:58
2.0K
sin_cos5__t27_sin_cos5
2021-07-18 08:16
68K
sin_cos5__t26_sin_cos5.vout
2021-07-25 14:55
2.0K
sin_cos5__t26_sin_cos5
2021-07-18 08:16
120K
sin_cos5__t25_sin_cos5.vout
2021-07-25 14:49
1.1K
sin_cos5__t25_sin_cos5
2021-07-18 08:16
557K
sin_cos5__t24_sin_cos5.vout
2021-07-25 18:44
1.1K
sin_cos5__t24_sin_cos5
2021-07-18 08:16
557K
sin_cos5__t23_sin_cos5.vout
2021-07-25 18:03
1.1K
sin_cos5__t23_sin_cos5
2021-07-18 08:15
123K
sin_cos5__t22_sin_cos5.vout
2021-07-25 15:29
1.1K
sin_cos5__t22_sin_cos5
2021-07-18 08:15
183K
sin_cos5__t21_sin_cos5.vout
2021-07-25 19:55
2.0K
sin_cos5__t21_sin_cos5
2021-07-18 08:15
51K
sin_cos5__t20_sin_cos5.vout
2021-07-25 14:29
2.0K
sin_cos5__t20_sin_cos5
2021-07-18 08:15
91K
sin_cos5__t19_sin_cos5.vout
2021-07-25 16:29
2.0K
sin_cos5__t19_sin_cos5
2021-07-18 08:15
118K
sin_cos5__t18_sin_cos5.vout
2021-07-25 18:33
2.0K
sin_cos5__t18_sin_cos5
2021-07-18 08:14
118K
sin_cos5__t17_sin_cos5.vout
2021-07-25 18:13
1.1K
sin_cos5__t17_sin_cos5
2021-07-18 08:14
118K
sin_cos5__t16_sin_cos5.vout
2021-07-25 17:01
1.1K
sin_cos5__t16_sin_cos5
2021-07-18 08:14
229K
sin_cos5__t15_sin_cos5.vout
2021-07-25 18:14
2.0K
sin_cos5__t15_sin_cos5
2021-07-18 08:14
23K
sin_cos5__t14_sin_cos5.vout
2021-07-25 15:59
2.0K
sin_cos5__t14_sin_cos5
2021-07-18 08:14
16K
sin_cos5__t13_sin_cos5.vout
2021-07-25 16:53
2.0K
sin_cos5__t13_sin_cos5
2021-07-18 08:13
23K
sin_cos5__t12_sin_cos5.vout
2021-07-25 17:53
6.4K
sin_cos5__t12_sin_cos5.vmin1out
2021-07-25 20:59
5.8K
sin_cos5__t12_sin_cos5.vmin1
2021-07-25 20:57
740
sin_cos5__t12_sin_cos5.depvmin1
2021-07-25 21:03
86
sin_cos5__t12_sin_cos5.depv1
2021-07-25 20:57
86
sin_cos5__t12_sin_cos5
2021-07-18 08:11
5.1K
sin_cos5__t11_sin_cos5.vout
2021-07-25 15:47
2.0K
sin_cos5__t11_sin_cos5
2021-07-18 08:13
16K
sin_cos5__t10_sin_cos5.vout
2021-07-25 16:21
2.0K
sin_cos5__t10_sin_cos5
2021-07-18 08:13
52K
sin_cos5__t9_sin_cos5.vout
2021-07-25 14:35
2.0K
sin_cos5__t9_sin_cos5
2021-07-18 08:13
21K
sin_cos5__t8_sin_cos5.vout
2021-07-25 18:44
2.0K
sin_cos5__t8_sin_cos5
2021-07-18 08:13
28K
sin_cos5__t7_sin_cos5.vout
2021-07-25 18:23
2.0K
sin_cos5__t7_sin_cos5
2021-07-18 08:12
92K
sin_cos5__t6_sin_cos5.vout
2021-07-25 17:14
2.0K
sin_cos5__t6_sin_cos5
2021-07-18 08:12
28K
sin_cos5__t5_sin_cos5.vout
2021-07-25 20:02
2.0K
sin_cos5__t5_sin_cos5
2021-07-18 08:12
8.3K
sin_cos5__t4_sin_cos5.vout
2021-07-25 14:50
2.0K
sin_cos5__t4_sin_cos5
2021-07-18 08:12
12K
sin_cos5__t3_sin_cos5.vout
2021-07-25 15:49
2.0K
sin_cos5__t3_sin_cos5
2021-07-18 08:12
12K
sin_cos5__t2_sin_cos5.vout
2021-07-25 14:43
2.0K
sin_cos5__t2_sin_cos5
2021-07-18 08:12
6.9K
sin_cos5__t1_sin_cos5.vout
2021-07-25 14:45
2.0K
sin_cos5__t1_sin_cos5
2021-07-18 08:11
7.3K
sin_cos5__l52_sin_cos5.vout
2021-07-25 15:58
7.9K
sin_cos5__l52_sin_cos5
2021-07-18 08:23
35K
sin_cos5__l48_sin_cos5.vout
2021-07-25 16:38
2.0K
sin_cos5__l48_sin_cos5
2021-07-18 08:23
28K
sin_cos5__l47_sin_cos5.vout
2021-07-25 19:43
2.0K
sin_cos5__l47_sin_cos5
2021-07-18 08:23
28K
sin_cos5__l43_sin_cos5.vout
2021-07-25 18:47
2.0K
sin_cos5__l43_sin_cos5
2021-07-18 08:23
14K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80