Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lp_space
Name
Last modified
Size
Description
Parent Directory
-
lp_space__l3_lp_space
2024-07-27 20:42
9.9K
lp_space__l3_lp_space.vout
2024-08-03 06:23
4.7K
lp_space__l4_lp_space
2024-07-27 20:42
12K
lp_space__l4_lp_space.vout
2024-08-03 08:58
4.7K
lp_space__l6_lp_space
2024-07-27 20:44
48K
lp_space__l6_lp_space.vout
2024-08-03 05:02
4.1K
lp_space__l8_lp_space
2024-07-27 20:47
99K
lp_space__l8_lp_space.vout
2024-08-03 04:23
4.7K
lp_space__l20_lp_space
2024-07-27 20:49
76K
lp_space__l20_lp_space.vout
2024-08-03 10:06
4.7K
lp_space__l21_lp_space
2024-07-27 20:52
73K
lp_space__l21_lp_space.vout
2024-08-03 07:23
4.7K
lp_space__l22_lp_space
2024-07-27 20:54
76K
lp_space__l22_lp_space.vout
2024-08-03 08:19
4.7K
lp_space__l26_lp_space
2024-07-27 20:56
31K
lp_space__l26_lp_space.vout
2024-08-03 04:08
2.0K
lp_space__l27_lp_space
2024-07-27 20:57
42K
lp_space__l27_lp_space.vout
2024-08-03 06:28
4.7K
lp_space__l28_lp_space
2024-07-27 20:58
50K
lp_space__l28_lp_space.vout
2024-08-03 05:07
4.1K
lp_space__l29_lp_space
2024-07-27 21:00
48K
lp_space__l29_lp_space.vout
2024-08-03 09:26
4.7K
lp_space__t1_lp_space
2024-07-27 20:16
10K
lp_space__t1_lp_space.vout
2024-08-03 09:00
4.7K
lp_space__t2_lp_space
2024-07-27 20:17
44K
lp_space__t2_lp_space.vout
2024-08-03 05:11
4.1K
lp_space__t3_lp_space
2024-07-27 20:19
43K
lp_space__t3_lp_space.vout
2024-08-03 08:33
4.1K
lp_space__t4_lp_space
2024-07-27 20:21
73K
lp_space__t4_lp_space.vout
2024-08-03 10:00
5.8K
lp_space__t5_lp_space
2024-07-27 20:23
38K
lp_space__t5_lp_space.depv1
2024-08-03 10:19
89
lp_space__t5_lp_space.depvmin1
2024-08-03 10:24
89
lp_space__t5_lp_space.vmin1
2024-08-03 10:20
1.4K
lp_space__t5_lp_space.vmin1out
2024-08-03 10:22
14K
lp_space__t5_lp_space.vout
2024-08-03 08:21
13K
lp_space__t6_lp_space
2024-07-27 20:11
39K
lp_space__t6_lp_space.depv1
2024-08-03 10:19
76
lp_space__t6_lp_space.depvmin1
2024-08-03 10:24
76
lp_space__t6_lp_space.vmin1
2024-08-03 10:20
2.6K
lp_space__t6_lp_space.vmin1out
2024-08-03 10:23
28K
lp_space__t6_lp_space.vout
2024-08-03 09:20
34K
lp_space__t7_lp_space
2024-07-27 20:13
40K
lp_space__t7_lp_space.depv1
2024-08-03 10:19
76
lp_space__t7_lp_space.depvmin1
2024-08-03 10:24
76
lp_space__t7_lp_space.vmin1
2024-08-03 10:20
2.9K
lp_space__t7_lp_space.vmin1out
2024-08-03 10:21
33K
lp_space__t7_lp_space.vout
2024-08-03 04:59
39K
lp_space__t8_lp_space
2024-07-27 20:25
43K
lp_space__t8_lp_space.vout
2024-08-03 08:50
7.9K
lp_space__t9_lp_space
2024-07-27 20:27
47K
lp_space__t9_lp_space.vout
2024-08-03 05:11
7.9K
lp_space__t10_lp_space
2024-07-27 20:30
81K
lp_space__t10_lp_space.vout
2024-08-03 05:46
4.7K
lp_space__t11_lp_space
2024-07-27 20:31
40K
lp_space__t11_lp_space.vout
2024-08-03 07:16
4.7K
lp_space__t12_lp_space
2024-07-27 20:33
33K
lp_space__t12_lp_space.vout
2024-08-03 09:12
4.7K
lp_space__t13_lp_space
2024-07-27 20:35
83K
lp_space__t13_lp_space.vout
2024-08-03 09:24
4.7K
lp_space__t14_lp_space
2024-07-27 20:37
49K
lp_space__t14_lp_space.vout
2024-08-03 05:22
4.7K
lp_space__t15_lp_space
2024-07-27 20:15
41K
lp_space__t15_lp_space.depv1
2024-08-03 10:19
90
lp_space__t15_lp_space.depvmin1
2024-08-03 10:24
90
lp_space__t15_lp_space.vmin1
2024-08-03 10:20
2.2K
lp_space__t15_lp_space.vmin1out
2024-08-03 10:22
37K
lp_space__t15_lp_space.vout
2024-08-03 09:29
29K
lp_space__t16_lp_space
2024-07-27 20:41
158K
lp_space__t16_lp_space.vout
2024-08-03 09:43
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80