Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/polyeq_2
Name
Last modified
Size
Description
Parent Directory
-
polyeq_2__l1_polyeq_2
2024-07-27 16:10
4.0K
polyeq_2__l1_polyeq_2.depv1
2024-08-03 10:19
46
polyeq_2__l1_polyeq_2.depvmin1
2024-08-03 10:24
46
polyeq_2__l1_polyeq_2.vmin1
2024-08-03 10:20
119
polyeq_2__l1_polyeq_2.vmin1out
2024-08-03 10:23
1.4K
polyeq_2__l1_polyeq_2.vout
2024-08-03 04:08
1.2K
polyeq_2__l2_polyeq_2
2024-07-27 16:10
4.3K
polyeq_2__l2_polyeq_2.depv1
2024-08-03 10:19
123
polyeq_2__l2_polyeq_2.depvmin1
2024-08-03 10:24
123
polyeq_2__l2_polyeq_2.vmin1
2024-08-03 10:20
665
polyeq_2__l2_polyeq_2.vmin1out
2024-08-03 10:20
7.0K
polyeq_2__l2_polyeq_2.vout
2024-08-03 05:21
8.6K
polyeq_2__l3_polyeq_2
2024-07-27 16:11
2.3K
polyeq_2__l3_polyeq_2.depv1
2024-08-03 10:19
87
polyeq_2__l3_polyeq_2.depvmin1
2024-08-03 10:24
87
polyeq_2__l3_polyeq_2.vmin1
2024-08-03 10:20
489
polyeq_2__l3_polyeq_2.vmin1out
2024-08-03 10:21
3.4K
polyeq_2__l3_polyeq_2.vout
2024-08-03 08:43
3.4K
polyeq_2__l4_polyeq_2
2024-07-27 16:11
5.9K
polyeq_2__l4_polyeq_2.depv1
2024-08-03 10:19
79
polyeq_2__l4_polyeq_2.depvmin1
2024-08-03 10:24
79
polyeq_2__l4_polyeq_2.vmin1
2024-08-03 10:20
202
polyeq_2__l4_polyeq_2.vmin1out
2024-08-03 10:20
1.7K
polyeq_2__l4_polyeq_2.vout
2024-08-03 07:04
1.6K
polyeq_2__l5_polyeq_2
2024-07-27 16:12
6.2K
polyeq_2__l5_polyeq_2.depv1
2024-08-03 10:19
156
polyeq_2__l5_polyeq_2.depvmin1
2024-08-03 10:24
156
polyeq_2__l5_polyeq_2.vmin1
2024-08-03 10:20
830
polyeq_2__l5_polyeq_2.vmin1out
2024-08-03 10:22
7.1K
polyeq_2__l5_polyeq_2.vout
2024-08-03 07:50
7.2K
polyeq_2__t1_polyeq_2
2024-07-27 16:12
170K
polyeq_2__t1_polyeq_2.vout
2024-08-03 04:45
4.7K
polyeq_2__t2_polyeq_2
2024-07-27 16:13
128K
polyeq_2__t2_polyeq_2.vout
2024-08-03 09:30
4.7K
polyeq_2__t3_polyeq_2
2024-07-27 16:14
564K
polyeq_2__t3_polyeq_2.vout
2024-08-03 08:16
6.8K
polyeq_2__t4_polyeq_2
2024-07-27 16:15
124K
polyeq_2__t4_polyeq_2.vout
2024-08-03 10:00
7.3K
polyeq_2__t5_polyeq_2
2024-07-27 16:16
158K
polyeq_2__t5_polyeq_2.vout
2024-08-03 07:33
6.8K
polyeq_2__t6_polyeq_2
2024-07-27 16:16
194K
polyeq_2__t6_polyeq_2.vout
2024-08-03 04:53
2.0K
polyeq_2__t7_polyeq_2
2024-07-27 16:17
192K
polyeq_2__t7_polyeq_2.vout
2024-08-03 05:20
7.3K
polyeq_2__t8_polyeq_2
2024-07-27 16:18
94K
polyeq_2__t8_polyeq_2.vout
2024-08-03 04:36
3.2K
polyeq_2__t9_polyeq_2
2024-07-27 16:19
900K
polyeq_2__t9_polyeq_2.vout
2024-08-03 07:50
4.1K
polyeq_2__t10_polyeq_2
2024-07-27 16:20
96K
polyeq_2__t10_polyeq_2.vout
2024-08-03 07:08
6.8K
polyeq_2__t11_polyeq_2
2024-07-27 16:21
97K
polyeq_2__t11_polyeq_2.vout
2024-08-03 04:20
7.3K
polyeq_2__t13_polyeq_2
2024-07-27 16:21
153K
polyeq_2__t13_polyeq_2.vout
2024-08-03 08:50
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80