Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/gaussint
Name
Last modified
Size
Description
Parent Directory
-
gaussint__l3_gaussint
2024-07-28 07:18
13K
gaussint__l3_gaussint.vout
2024-08-03 10:01
2.0K
gaussint__l5_gaussint
2024-07-28 07:19
20K
gaussint__l5_gaussint.depv1
2024-08-03 10:19
122
gaussint__l5_gaussint.depvmin1
2024-08-03 10:24
122
gaussint__l5_gaussint.vmin1
2024-08-03 10:19
524
gaussint__l5_gaussint.vmin1out
2024-08-03 10:20
4.9K
gaussint__l5_gaussint.vout
2024-08-03 05:44
5.2K
gaussint__l14_gaussint
2024-07-28 07:20
32K
gaussint__l14_gaussint.depv1
2024-08-03 10:19
299
gaussint__l14_gaussint.depvmin1
2024-08-03 10:24
289
gaussint__l14_gaussint.vmin1
2024-08-03 10:19
2.7K
gaussint__l14_gaussint.vmin1out
2024-08-03 10:23
34K
gaussint__l14_gaussint.vout
2024-08-03 07:51
25K
gaussint__l15_gaussint
2024-07-28 08:34
70K
gaussint__l15_gaussint.vout
2024-08-03 04:15
8.4K
gaussint__l18_gaussint
2024-07-28 08:37
60K
gaussint__l18_gaussint.vout
2024-08-03 07:34
8.4K
gaussint__l29_gaussint
2024-07-28 08:39
58K
gaussint__l29_gaussint.vout
2024-08-03 08:23
6.8K
gaussint__l32_gaussint
2024-07-28 08:40
26K
gaussint__l32_gaussint.vout
2024-08-03 09:09
9.0K
gaussint__l33_gaussint
2024-07-28 08:42
26K
gaussint__l33_gaussint.vout
2024-08-03 05:24
8.9K
gaussint__l53_gaussint
2024-07-28 08:45
73K
gaussint__l53_gaussint.vout
2024-08-03 07:25
11K
gaussint__l56_gaussint
2024-07-28 08:48
66K
gaussint__l56_gaussint.vout
2024-08-03 08:17
8.4K
gaussint__l70_gaussint
2024-07-28 08:51
154K
gaussint__l70_gaussint.vout
2024-08-03 08:14
7.3K
gaussint__l78_gaussint
2024-07-28 08:52
44K
gaussint__l78_gaussint.vout
2024-08-03 10:18
7.4K
gaussint__l79_gaussint
2024-07-28 08:53
44K
gaussint__l79_gaussint.vout
2024-08-03 08:02
7.3K
gaussint__l82_gaussint
2024-07-28 08:55
146K
gaussint__l82_gaussint.vout
2024-08-03 06:05
7.4K
gaussint__l85_gaussint
2024-07-28 08:58
366K
gaussint__l85_gaussint.vout
2024-08-03 04:55
7.4K
gaussint__t1_gaussint
2024-07-28 07:21
39K
gaussint__t1_gaussint.depv1
2024-08-03 10:19
400
gaussint__t1_gaussint.depvmin1
2024-08-03 10:24
311
gaussint__t1_gaussint.vmin1
2024-08-03 10:19
2.4K
gaussint__t1_gaussint.vmin1out
2024-08-03 10:21
24K
gaussint__t1_gaussint.vout
2024-08-03 05:03
32K
gaussint__t2_gaussint
2024-07-28 07:22
16K
gaussint__t2_gaussint.depv1
2024-08-03 10:19
48
gaussint__t2_gaussint.depvmin1
2024-08-03 10:24
48
gaussint__t2_gaussint.vmin1
2024-08-03 10:19
310
gaussint__t2_gaussint.vmin1out
2024-08-03 10:20
4.1K
gaussint__t2_gaussint.vout
2024-08-03 08:20
6.0K
gaussint__t3_gaussint
2024-07-28 07:06
16K
gaussint__t3_gaussint.depv1
2024-08-03 10:19
48
gaussint__t3_gaussint.depvmin1
2024-08-03 10:24
48
gaussint__t3_gaussint.vmin1
2024-08-03 10:19
310
gaussint__t3_gaussint.vmin1out
2024-08-03 10:23
3.8K
gaussint__t3_gaussint.vout
2024-08-03 10:14
4.7K
gaussint__t4_gaussint
2024-07-28 07:23
24K
gaussint__t4_gaussint.vout
2024-08-03 08:00
7.3K
gaussint__t5_gaussint
2024-07-28 07:25
37K
gaussint__t5_gaussint.vout
2024-08-03 09:47
7.3K
gaussint__t6_gaussint
2024-07-28 07:26
23K
gaussint__t6_gaussint.vout
2024-08-03 05:22
7.3K
gaussint__t7_gaussint
2024-07-28 07:08
32K
gaussint__t7_gaussint.vout
2024-08-03 04:47
7.9K
gaussint__t8_gaussint
2024-07-28 07:09
32K
gaussint__t8_gaussint.vout
2024-08-03 09:23
7.9K
gaussint__t9_gaussint
2024-07-28 07:11
41K
gaussint__t9_gaussint.depv1
2024-08-03 10:19
209
gaussint__t9_gaussint.depvmin1
2024-08-03 10:24
209
gaussint__t9_gaussint.vmin1
2024-08-03 10:19
6.8K
gaussint__t9_gaussint.vmin1out
2024-08-03 10:21
60K
gaussint__t9_gaussint.vout
2024-08-03 04:39
55K
gaussint__t10_gaussint
2024-07-28 07:27
16K
gaussint__t10_gaussint.depv1
2024-08-03 10:19
50
gaussint__t10_gaussint.depvmin1
2024-08-03 10:24
50
gaussint__t10_gaussint.vmin1
2024-08-03 10:19
312
gaussint__t10_gaussint.vmin1out
2024-08-03 10:22
4.1K
gaussint__t10_gaussint.vout
2024-08-03 08:38
6.0K
gaussint__t11_gaussint
2024-07-28 07:12
16K
gaussint__t11_gaussint.depv1
2024-08-03 10:19
50
gaussint__t11_gaussint.depvmin1
2024-08-03 10:24
50
gaussint__t11_gaussint.vmin1
2024-08-03 10:19
312
gaussint__t11_gaussint.vmin1out
2024-08-03 10:22
3.8K
gaussint__t11_gaussint.vout
2024-08-03 07:13
4.7K
gaussint__t12_gaussint
2024-07-28 07:29
50K
gaussint__t12_gaussint.vout
2024-08-03 09:51
4.7K
gaussint__t13_gaussint
2024-07-28 07:31
57K
gaussint__t13_gaussint.vout
2024-08-03 09:55
9.0K
gaussint__t14_gaussint
2024-07-28 07:14
40K
gaussint__t14_gaussint.depv1
2024-08-03 10:19
107
gaussint__t14_gaussint.depvmin1
2024-08-03 10:24
107
gaussint__t14_gaussint.vmin1
2024-08-03 10:19
2.1K
gaussint__t14_gaussint.vmin1out
2024-08-03 10:22
19K
gaussint__t14_gaussint.vout
2024-08-03 06:07
19K
gaussint__t15_gaussint
2024-07-28 07:33
53K
gaussint__t15_gaussint.vout
2024-08-03 08:52
4.7K
gaussint__t16_gaussint
2024-07-28 07:16
53K
gaussint__t16_gaussint.vout
2024-08-03 09:27
4.7K
gaussint__t17_gaussint
2024-07-28 07:34
34K
gaussint__t17_gaussint.vout
2024-08-03 04:51
7.3K
gaussint__t18_gaussint
2024-07-28 07:36
35K
gaussint__t18_gaussint.vout
2024-08-03 08:21
7.3K
gaussint__t19_gaussint
2024-07-28 07:38
35K
gaussint__t19_gaussint.vout
2024-08-03 09:29
7.3K
gaussint__t20_gaussint
2024-07-28 07:40
34K
gaussint__t20_gaussint.vout
2024-08-03 07:25
7.3K
gaussint__t21_gaussint
2024-07-28 07:42
36K
gaussint__t21_gaussint.depv1
2024-08-03 10:19
274
gaussint__t21_gaussint.depvmin1
2024-08-03 10:24
205
gaussint__t21_gaussint.vmin1
2024-08-03 10:19
4.7K
gaussint__t21_gaussint.vmin1out
2024-08-03 10:22
97K
gaussint__t21_gaussint.vout
2024-08-03 09:30
89K
gaussint__t22_gaussint
2024-07-28 07:44
33K
gaussint__t22_gaussint.vout
2024-08-03 07:53
7.3K
gaussint__t23_gaussint
2024-07-28 07:45
49K
gaussint__t23_gaussint.vout
2024-08-03 09:51
7.9K
gaussint__t24_gaussint
2024-07-28 07:48
71K
gaussint__t24_gaussint.vout
2024-08-03 07:25
7.9K
gaussint__t25_gaussint
2024-07-28 07:50
64K
gaussint__t25_gaussint.vout
2024-08-03 08:50
7.9K
gaussint__t26_gaussint
2024-07-28 07:52
36K
gaussint__t26_gaussint.depv1
2024-08-03 10:19
92
gaussint__t26_gaussint.depvmin1
2024-08-03 10:24
92
gaussint__t26_gaussint.vmin1
2024-08-03 10:19
1.7K
gaussint__t26_gaussint.vmin1out
2024-08-03 10:22
9.5K
gaussint__t26_gaussint.vout
2024-08-03 05:41
8.3K
gaussint__t27_gaussint
2024-07-28 07:53
24K
gaussint__t27_gaussint.vout
2024-08-03 05:46
7.3K
gaussint__t28_gaussint
2024-07-28 07:55
41K
gaussint__t28_gaussint.vout
2024-08-03 05:44
7.3K
gaussint__t29_gaussint
2024-07-28 07:57
24K
gaussint__t29_gaussint.vout
2024-08-03 06:19
7.3K
gaussint__t30_gaussint
2024-07-28 08:01
86K
gaussint__t30_gaussint.vout
2024-08-03 04:07
8.4K
gaussint__t31_gaussint
2024-07-28 08:03
47K
gaussint__t31_gaussint.vout
2024-08-03 08:47
7.3K
gaussint__t32_gaussint
2024-07-28 08:05
51K
gaussint__t32_gaussint.vout
2024-08-03 04:33
7.3K
gaussint__t33_gaussint
2024-07-28 07:17
66K
gaussint__t33_gaussint.depv1
2024-08-03 10:19
137
gaussint__t33_gaussint.depvmin1
2024-08-03 10:24
137
gaussint__t33_gaussint.vmin1
2024-08-03 10:19
892
gaussint__t33_gaussint.vmin1out
2024-08-03 10:20
8.1K
gaussint__t33_gaussint.vout
2024-08-03 08:03
17K
gaussint__t34_gaussint
2024-07-28 08:07
66K
gaussint__t34_gaussint.vout
2024-08-03 08:04
2.0K
gaussint__t35_gaussint
2024-07-28 08:08
138K
gaussint__t35_gaussint.vout
2024-08-03 05:45
6.8K
gaussint__t36_gaussint
2024-07-28 08:10
131K
gaussint__t36_gaussint.vout
2024-08-03 08:07
7.3K
gaussint__t37_gaussint
2024-07-28 08:12
49K
gaussint__t37_gaussint.vout
2024-08-03 05:08
7.3K
gaussint__t38_gaussint
2024-07-28 08:14
53K
gaussint__t38_gaussint.vout
2024-08-03 07:29
7.3K
gaussint__t39_gaussint
2024-07-28 08:17
151K
gaussint__t39_gaussint.vout
2024-08-03 09:27
7.3K
gaussint__t40_gaussint
2024-07-28 08:19
148K
gaussint__t40_gaussint.vout
2024-08-03 04:37
6.8K
gaussint__t41_gaussint
2024-07-28 08:20
132K
gaussint__t41_gaussint.vout
2024-08-03 06:35
7.3K
gaussint__t42_gaussint
2024-07-28 08:22
132K
gaussint__t42_gaussint.vout
2024-08-03 09:55
7.3K
gaussint__t43_gaussint
2024-07-28 08:24
132K
gaussint__t43_gaussint.vout
2024-08-03 05:31
7.3K
gaussint__t44_gaussint
2024-07-28 08:25
133K
gaussint__t44_gaussint.vout
2024-08-03 08:42
7.3K
gaussint__t45_gaussint
2024-07-28 08:27
207K
gaussint__t45_gaussint.vout
2024-08-03 05:59
2.0K
gaussint__t46_gaussint
2024-07-28 08:28
139K
gaussint__t46_gaussint.vout
2024-08-03 07:41
4.7K
gaussint__t47_gaussint
2024-07-28 08:30
132K
gaussint__t47_gaussint.vout
2024-08-03 06:07
2.0K
gaussint__t48_gaussint
2024-07-28 08:31
126K
gaussint__t48_gaussint.vout
2024-08-03 06:34
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80