Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/polyeq_4
Name
Last modified
Size
Description
Parent Directory
-
polyeq_4__t1_polyeq_4
2024-07-27 12:57
174K
polyeq_4__t1_polyeq_4.vout
2024-08-03 09:31
2.0K
polyeq_4__t2_polyeq_4
2024-07-27 12:57
173K
polyeq_4__t2_polyeq_4.vout
2024-08-03 04:40
2.0K
polyeq_4__t3_polyeq_4
2024-07-27 12:58
174K
polyeq_4__t3_polyeq_4.vout
2024-08-03 08:16
2.0K
polyeq_4__t4_polyeq_4
2024-07-27 12:59
26K
polyeq_4__t4_polyeq_4.depv1
2024-08-03 10:19
193
polyeq_4__t4_polyeq_4.depvmin1
2024-08-03 10:24
193
polyeq_4__t4_polyeq_4.vmin1
2024-08-03 10:19
1.7K
polyeq_4__t4_polyeq_4.vmin1out
2024-08-03 10:20
20K
polyeq_4__t4_polyeq_4.vout
2024-08-03 09:36
18K
polyeq_4__t5_polyeq_4
2024-07-27 13:00
26K
polyeq_4__t5_polyeq_4.vout
2024-08-03 09:12
7.9K
polyeq_4__t6_polyeq_4
2024-07-27 13:00
17K
polyeq_4__t6_polyeq_4.vout
2024-08-03 08:57
7.8K
polyeq_4__t7_polyeq_4
2024-07-27 13:01
32K
polyeq_4__t7_polyeq_4.depv1
2024-08-03 10:19
81
polyeq_4__t7_polyeq_4.depvmin1
2024-08-03 10:24
81
polyeq_4__t7_polyeq_4.vmin1
2024-08-03 10:19
1.6K
polyeq_4__t7_polyeq_4.vmin1out
2024-08-03 10:20
24K
polyeq_4__t7_polyeq_4.vout
2024-08-03 09:07
25K
polyeq_4__t8_polyeq_4
2024-07-27 13:02
33K
polyeq_4__t8_polyeq_4.depv1
2024-08-03 10:19
72
polyeq_4__t8_polyeq_4.depvmin1
2024-08-03 10:24
72
polyeq_4__t8_polyeq_4.vmin1
2024-08-03 10:19
2.5K
polyeq_4__t8_polyeq_4.vmin1out
2024-08-03 10:23
44K
polyeq_4__t8_polyeq_4.vout
2024-08-03 09:26
30K
polyeq_4__t9_polyeq_4
2024-07-27 13:03
21K
polyeq_4__t9_polyeq_4.depv1
2024-08-03 10:19
105
polyeq_4__t9_polyeq_4.depvmin1
2024-08-03 10:24
105
polyeq_4__t9_polyeq_4.vmin1
2024-08-03 10:19
1.3K
polyeq_4__t9_polyeq_4.vmin1out
2024-08-03 10:22
18K
polyeq_4__t9_polyeq_4.vout
2024-08-03 07:44
19K
polyeq_4__t10_polyeq_4
2024-07-27 13:03
22K
polyeq_4__t10_polyeq_4.depv1
2024-08-03 10:19
133
polyeq_4__t10_polyeq_4.depvmin1
2024-08-03 10:24
133
polyeq_4__t10_polyeq_4.vmin1
2024-08-03 10:19
1.9K
polyeq_4__t10_polyeq_4.vmin1out
2024-08-03 10:20
26K
polyeq_4__t10_polyeq_4.vout
2024-08-03 09:12
27K
polyeq_4__t11_polyeq_4
2024-07-27 13:04
157K
polyeq_4__t11_polyeq_4.vout
2024-08-03 08:10
2.0K
polyeq_4__t12_polyeq_4
2024-07-27 13:05
492K
polyeq_4__t12_polyeq_4.vout
2024-08-03 05:23
7.3K
polyeq_4__t13_polyeq_4
2024-07-27 13:06
509K
polyeq_4__t13_polyeq_4.vout
2024-08-03 06:56
7.3K
polyeq_4__t14_polyeq_4
2024-07-27 13:07
319K
polyeq_4__t14_polyeq_4.vout
2024-08-03 05:52
6.8K
polyeq_4__t15_polyeq_4
2024-07-27 13:08
256K
polyeq_4__t15_polyeq_4.depv1
2024-08-03 10:19
107
polyeq_4__t15_polyeq_4.depvmin1
2024-08-03 10:24
107
polyeq_4__t15_polyeq_4.vmin1
2024-08-03 10:19
2.3K
polyeq_4__t15_polyeq_4.vmin1out
2024-08-03 10:20
61K
polyeq_4__t15_polyeq_4.vout
2024-08-03 10:16
62K
polyeq_4__t16_polyeq_4
2024-07-27 13:08
259K
polyeq_4__t16_polyeq_4.depv1
2024-08-03 10:19
282
polyeq_4__t16_polyeq_4.depvmin1
2024-08-03 10:24
282
polyeq_4__t16_polyeq_4.vmin1
2024-08-03 10:19
5.6K
polyeq_4__t16_polyeq_4.vmin1out
2024-08-03 10:22
110K
polyeq_4__t16_polyeq_4.vout
2024-08-03 07:41
113K
polyeq_4__t17_polyeq_4
2024-07-27 13:09
74K
polyeq_4__t17_polyeq_4.vout
2024-08-03 07:07
6.8K
polyeq_4__t18_polyeq_4
2024-07-27 13:10
33K
polyeq_4__t18_polyeq_4.vout
2024-08-03 09:58
4.7K
polyeq_4__t19_polyeq_4
2024-07-27 13:11
21K
polyeq_4__t19_polyeq_4.vout
2024-08-03 05:13
4.7K
polyeq_4__t22_polyeq_4
2024-07-27 13:12
8.9K
polyeq_4__t22_polyeq_4.depv1
2024-08-03 10:19
138
polyeq_4__t22_polyeq_4.depvmin1
2024-08-03 10:24
138
polyeq_4__t22_polyeq_4.vmin1
2024-08-03 10:19
1.3K
polyeq_4__t22_polyeq_4.vmin1out
2024-08-03 10:21
17K
polyeq_4__t22_polyeq_4.vout
2024-08-03 07:12
17K
polyeq_4__t23_polyeq_4
2024-07-27 13:12
8.8K
polyeq_4__t23_polyeq_4.depv1
2024-08-03 10:19
56
polyeq_4__t23_polyeq_4.depvmin1
2024-08-03 10:24
56
polyeq_4__t23_polyeq_4.vmin1
2024-08-03 10:19
641
polyeq_4__t23_polyeq_4.vmin1out
2024-08-03 10:23
10K
polyeq_4__t23_polyeq_4.vout
2024-08-03 05:15
10K
polyeq_4__t24_polyeq_4
2024-07-27 13:13
8.9K
polyeq_4__t24_polyeq_4.depv1
2024-08-03 10:19
68
polyeq_4__t24_polyeq_4.depvmin1
2024-08-03 10:24
68
polyeq_4__t24_polyeq_4.vmin1
2024-08-03 10:19
767
polyeq_4__t24_polyeq_4.vmin1out
2024-08-03 10:21
12K
polyeq_4__t24_polyeq_4.vout
2024-08-03 07:41
12K
polyeq_4__t25_polyeq_4
2024-07-27 13:13
8.8K
polyeq_4__t25_polyeq_4.depv1
2024-08-03 10:19
118
polyeq_4__t25_polyeq_4.depvmin1
2024-08-03 10:24
118
polyeq_4__t25_polyeq_4.vmin1
2024-08-03 10:19
1.1K
polyeq_4__t25_polyeq_4.vmin1out
2024-08-03 10:21
15K
polyeq_4__t25_polyeq_4.vout
2024-08-03 05:27
15K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80