Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/finsop_1
Name
Last modified
Size
Description
Parent Directory
-
finsop_1__l4_finsop_1
2024-07-28 22:06
41K
finsop_1__l4_finsop_1.vout
2024-08-03 07:18
6.8K
finsop_1__l5_finsop_1
2024-07-28 22:08
31K
finsop_1__l5_finsop_1.vout
2024-08-03 07:19
7.3K
finsop_1__l7_finsop_1
2024-07-28 22:09
27K
finsop_1__l7_finsop_1.depv1
2024-08-03 10:19
288
finsop_1__l7_finsop_1.depvmin1
2024-08-03 10:24
264
finsop_1__l7_finsop_1.vmin1
2024-08-03 10:19
3.2K
finsop_1__l7_finsop_1.vmin1out
2024-08-03 10:21
27K
finsop_1__l7_finsop_1.vout
2024-08-03 04:18
28K
finsop_1__l8_finsop_1
2024-07-28 22:10
31K
finsop_1__l8_finsop_1.vout
2024-08-03 06:34
7.3K
finsop_1__l9_finsop_1
2024-07-28 22:11
54K
finsop_1__l9_finsop_1.vout
2024-08-03 05:19
4.7K
finsop_1__l10_finsop_1
2024-07-28 22:13
33K
finsop_1__l10_finsop_1.depv1
2024-08-03 10:19
353
finsop_1__l10_finsop_1.depvmin1
2024-08-03 10:24
268
finsop_1__l10_finsop_1.vmin1
2024-08-03 10:19
4.3K
finsop_1__l10_finsop_1.vmin1out
2024-08-03 10:20
45K
finsop_1__l10_finsop_1.vout
2024-08-03 05:15
45K
finsop_1__l14_finsop_1
2024-07-28 22:15
116K
finsop_1__l14_finsop_1.vout
2024-08-03 07:09
7.3K
finsop_1__l15_finsop_1
2024-07-28 22:16
33K
finsop_1__l15_finsop_1.depv1
2024-08-03 10:19
235
finsop_1__l15_finsop_1.depvmin1
2024-08-03 10:24
175
finsop_1__l15_finsop_1.vmin1
2024-08-03 10:19
2.2K
finsop_1__l15_finsop_1.vmin1out
2024-08-03 10:22
17K
finsop_1__l15_finsop_1.vout
2024-08-03 10:08
24K
finsop_1__l17_finsop_1
2024-07-28 22:18
34K
finsop_1__l17_finsop_1.vout
2024-08-03 07:52
7.3K
finsop_1__l18_finsop_1
2024-07-28 22:19
28K
finsop_1__l18_finsop_1.depv1
2024-08-03 10:19
144
finsop_1__l18_finsop_1.depvmin1
2024-08-03 10:24
144
finsop_1__l18_finsop_1.vmin1
2024-08-03 10:19
2.5K
finsop_1__l18_finsop_1.vmin1out
2024-08-03 10:23
38K
finsop_1__l18_finsop_1.vout
2024-08-03 05:30
41K
finsop_1__l20_finsop_1
2024-07-28 22:20
26K
finsop_1__l20_finsop_1.depv1
2024-08-03 10:19
246
finsop_1__l20_finsop_1.depvmin1
2024-08-03 10:24
246
finsop_1__l20_finsop_1.vmin1
2024-08-03 10:19
2.1K
finsop_1__l20_finsop_1.vmin1out
2024-08-03 10:23
24K
finsop_1__l20_finsop_1.vout
2024-08-03 06:30
23K
finsop_1__l21_finsop_1
2024-07-28 22:21
56K
finsop_1__l21_finsop_1.vout
2024-08-03 07:16
6.8K
finsop_1__l22_finsop_1
2024-07-28 22:23
28K
finsop_1__l22_finsop_1.depv1
2024-08-03 10:19
159
finsop_1__l22_finsop_1.depvmin1
2024-08-03 10:24
144
finsop_1__l22_finsop_1.vmin1
2024-08-03 10:19
3.0K
finsop_1__l22_finsop_1.vmin1out
2024-08-03 10:21
46K
finsop_1__l22_finsop_1.vout
2024-08-03 08:31
57K
finsop_1__t1_finsop_1
2024-07-28 21:41
27K
finsop_1__t1_finsop_1.depv1
2024-08-03 10:19
231
finsop_1__t1_finsop_1.depvmin1
2024-08-03 10:24
231
finsop_1__t1_finsop_1.vmin1
2024-08-03 10:19
3.4K
finsop_1__t1_finsop_1.vmin1out
2024-08-03 10:21
50K
finsop_1__t1_finsop_1.vout
2024-08-03 07:47
45K
finsop_1__t2_finsop_1
2024-07-28 21:42
27K
finsop_1__t2_finsop_1.depv1
2024-08-03 10:19
216
finsop_1__t2_finsop_1.depvmin1
2024-08-03 10:24
216
finsop_1__t2_finsop_1.vmin1
2024-08-03 10:19
3.1K
finsop_1__t2_finsop_1.vmin1out
2024-08-03 10:23
59K
finsop_1__t2_finsop_1.vout
2024-08-03 08:06
48K
finsop_1__t3_finsop_1
2024-07-28 21:46
28K
finsop_1__t3_finsop_1.depv1
2024-08-03 10:19
225
finsop_1__t3_finsop_1.depvmin1
2024-08-03 10:24
129
finsop_1__t3_finsop_1.vmin1
2024-08-03 10:19
2.7K
finsop_1__t3_finsop_1.vmin1out
2024-08-03 10:22
20K
finsop_1__t3_finsop_1.vout
2024-08-03 08:10
24K
finsop_1__t4_finsop_1
2024-07-28 21:48
31K
finsop_1__t4_finsop_1.depv1
2024-08-03 10:19
226
finsop_1__t4_finsop_1.depvmin1
2024-08-03 10:24
130
finsop_1__t4_finsop_1.vmin1
2024-08-03 10:19
2.5K
finsop_1__t4_finsop_1.vmin1out
2024-08-03 10:20
19K
finsop_1__t4_finsop_1.vout
2024-08-03 10:03
23K
finsop_1__t5_finsop_1
2024-07-28 21:49
50K
finsop_1__t5_finsop_1.vout
2024-08-03 10:01
2.0K
finsop_1__t6_finsop_1
2024-07-28 21:50
32K
finsop_1__t6_finsop_1.depv1
2024-08-03 10:19
178
finsop_1__t6_finsop_1.depvmin1
2024-08-03 10:24
178
finsop_1__t6_finsop_1.vmin1
2024-08-03 10:19
2.0K
finsop_1__t6_finsop_1.vmin1out
2024-08-03 10:23
31K
finsop_1__t6_finsop_1.vout
2024-08-03 07:54
34K
finsop_1__t7_finsop_1
2024-07-28 21:52
32K
finsop_1__t7_finsop_1.depv1
2024-08-03 10:19
293
finsop_1__t7_finsop_1.depvmin1
2024-08-03 10:24
293
finsop_1__t7_finsop_1.vmin1
2024-08-03 10:19
4.5K
finsop_1__t7_finsop_1.vmin1out
2024-08-03 10:21
78K
finsop_1__t7_finsop_1.vout
2024-08-03 06:13
66K
finsop_1__t8_finsop_1
2024-07-28 21:53
25K
finsop_1__t8_finsop_1.depv1
2024-08-03 10:19
131
finsop_1__t8_finsop_1.depvmin1
2024-08-03 10:24
131
finsop_1__t8_finsop_1.vmin1
2024-08-03 10:19
2.2K
finsop_1__t8_finsop_1.vmin1out
2024-08-03 10:20
25K
finsop_1__t8_finsop_1.vout
2024-08-03 07:29
27K
finsop_1__t9_finsop_1
2024-07-28 21:54
28K
finsop_1__t9_finsop_1.depv1
2024-08-03 10:19
181
finsop_1__t9_finsop_1.depvmin1
2024-08-03 10:24
181
finsop_1__t9_finsop_1.vmin1
2024-08-03 10:19
3.2K
finsop_1__t9_finsop_1.vmin1out
2024-08-03 10:20
72K
finsop_1__t9_finsop_1.vout
2024-08-03 04:49
70K
finsop_1__t10_finsop_1
2024-07-28 21:43
20K
finsop_1__t10_finsop_1.depv1
2024-08-03 10:19
47
finsop_1__t10_finsop_1.depvmin1
2024-08-03 10:24
47
finsop_1__t10_finsop_1.vmin1
2024-08-03 10:19
716
finsop_1__t10_finsop_1.vmin1out
2024-08-03 10:21
7.0K
finsop_1__t10_finsop_1.vout
2024-08-03 07:21
7.0K
finsop_1__t11_finsop_1
2024-07-28 21:44
21K
finsop_1__t11_finsop_1.depv1
2024-08-03 10:19
51
finsop_1__t11_finsop_1.depvmin1
2024-08-03 10:24
51
finsop_1__t11_finsop_1.vmin1
2024-08-03 10:19
721
finsop_1__t11_finsop_1.vmin1out
2024-08-03 10:21
7.4K
finsop_1__t11_finsop_1.vout
2024-08-03 05:17
7.4K
finsop_1__t12_finsop_1
2024-07-28 21:55
34K
finsop_1__t12_finsop_1.vout
2024-08-03 09:30
7.3K
finsop_1__t13_finsop_1
2024-07-28 21:56
22K
finsop_1__t13_finsop_1.depv1
2024-08-03 10:19
86
finsop_1__t13_finsop_1.depvmin1
2024-08-03 10:24
86
finsop_1__t13_finsop_1.vmin1
2024-08-03 10:19
1.5K
finsop_1__t13_finsop_1.vmin1out
2024-08-03 10:23
19K
finsop_1__t13_finsop_1.vout
2024-08-03 07:20
16K
finsop_1__t14_finsop_1
2024-07-28 21:57
33K
finsop_1__t14_finsop_1.vout
2024-08-03 04:52
7.3K
finsop_1__t15_finsop_1
2024-07-28 21:59
22K
finsop_1__t15_finsop_1.depv1
2024-08-03 10:19
86
finsop_1__t15_finsop_1.depvmin1
2024-08-03 10:24
86
finsop_1__t15_finsop_1.vmin1
2024-08-03 10:19
1.6K
finsop_1__t15_finsop_1.vmin1out
2024-08-03 10:21
21K
finsop_1__t15_finsop_1.vout
2024-08-03 07:48
18K
finsop_1__t16_finsop_1
2024-07-28 22:00
23K
finsop_1__t16_finsop_1.depv1
2024-08-03 10:19
141
finsop_1__t16_finsop_1.depvmin1
2024-08-03 10:24
141
finsop_1__t16_finsop_1.vmin1
2024-08-03 10:19
1.2K
finsop_1__t16_finsop_1.vmin1out
2024-08-03 10:21
11K
finsop_1__t16_finsop_1.vout
2024-08-03 05:51
10K
finsop_1__t17_finsop_1
2024-07-28 22:01
23K
finsop_1__t17_finsop_1.depv1
2024-08-03 10:19
116
finsop_1__t17_finsop_1.depvmin1
2024-08-03 10:24
116
finsop_1__t17_finsop_1.vmin1
2024-08-03 10:19
1.2K
finsop_1__t17_finsop_1.vmin1out
2024-08-03 10:21
11K
finsop_1__t17_finsop_1.vout
2024-08-03 05:56
12K
finsop_1__t18_finsop_1
2024-07-28 22:02
31K
finsop_1__t18_finsop_1.vout
2024-08-03 05:07
6.8K
finsop_1__t19_finsop_1
2024-07-28 22:03
31K
finsop_1__t19_finsop_1.vout
2024-08-03 08:02
6.8K
finsop_1__t20_finsop_1
2024-07-28 21:45
22K
finsop_1__t20_finsop_1.depv1
2024-08-03 10:19
26
finsop_1__t20_finsop_1.depvmin1
2024-08-03 10:24
26
finsop_1__t20_finsop_1.vmin1
2024-08-03 10:19
625
finsop_1__t20_finsop_1.vmin1out
2024-08-03 10:22
6.9K
finsop_1__t20_finsop_1.vout
2024-08-03 09:20
6.9K
finsop_1__t21_finsop_1
2024-07-28 22:05
26K
finsop_1__t21_finsop_1.depv1
2024-08-03 10:19
327
finsop_1__t21_finsop_1.depvmin1
2024-08-03 10:24
327
finsop_1__t21_finsop_1.vmin1
2024-08-03 10:19
2.6K
finsop_1__t21_finsop_1.vmin1out
2024-08-03 10:22
30K
finsop_1__t21_finsop_1.vout
2024-08-03 07:48
27K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80