Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small/finset_1
Name
Last modified
Size
Description
Parent Directory
-
finset_1__l2_finset_1
2021-07-18 06:31
19K
finset_1__l2_finset_1.vout
2021-07-25 14:53
8.8K
finset_1__l3_finset_1
2021-07-18 06:32
16K
finset_1__l3_finset_1.vout
2021-07-25 16:49
7.3K
finset_1__l10_finset_1
2021-07-18 06:32
11K
finset_1__l10_finset_1.vout
2021-07-25 18:16
7.3K
finset_1__t1_finset_1
2021-07-18 06:28
9.2K
finset_1__t1_finset_1.depv1
2021-07-25 20:57
35
finset_1__t1_finset_1.depvmin1
2021-07-25 21:03
35
finset_1__t1_finset_1.vmin1
2021-07-25 20:57
343
finset_1__t1_finset_1.vmin1out
2021-07-25 21:01
3.4K
finset_1__t1_finset_1.vout
2021-07-25 14:51
4.9K
finset_1__t2_finset_1
2021-07-18 06:29
490
finset_1__t2_finset_1.depv1
2021-07-25 20:57
25
finset_1__t2_finset_1.depvmin1
2021-07-25 21:03
25
finset_1__t2_finset_1.vmin1
2021-07-25 20:57
245
finset_1__t2_finset_1.vmin1out
2021-07-25 20:59
2.8K
finset_1__t2_finset_1.vout
2021-07-25 16:00
2.9K
finset_1__t3_finset_1
2021-07-18 06:29
545
finset_1__t3_finset_1.depv1
2021-07-25 20:57
26
finset_1__t3_finset_1.depvmin1
2021-07-25 21:03
26
finset_1__t3_finset_1.vmin1
2021-07-25 20:57
204
finset_1__t3_finset_1.vmin1out
2021-07-25 20:59
2.2K
finset_1__t3_finset_1.vout
2021-07-25 16:32
2.2K
finset_1__t4_finset_1
2021-07-18 06:29
9.6K
finset_1__t4_finset_1.depv1
2021-07-25 20:57
51
finset_1__t4_finset_1.depvmin1
2021-07-25 21:03
51
finset_1__t4_finset_1.vmin1
2021-07-25 20:57
294
finset_1__t4_finset_1.vmin1out
2021-07-25 20:59
2.8K
finset_1__t4_finset_1.vout
2021-07-25 16:03
2.6K
finset_1__t5_finset_1
2021-07-18 06:29
435
finset_1__t5_finset_1.depv1
2021-07-25 20:57
26
finset_1__t5_finset_1.depvmin1
2021-07-25 21:03
26
finset_1__t5_finset_1.vmin1
2021-07-25 20:57
283
finset_1__t5_finset_1.vmin1out
2021-07-25 21:01
3.2K
finset_1__t5_finset_1.vout
2021-07-25 14:46
3.2K
finset_1__t6_finset_1
2021-07-18 06:29
20K
finset_1__t6_finset_1.vout
2021-07-25 15:19
6.8K
finset_1__t7_finset_1
2021-07-18 06:29
9.9K
finset_1__t7_finset_1.depv1
2021-07-25 20:57
113
finset_1__t7_finset_1.depvmin1
2021-07-25 21:03
88
finset_1__t7_finset_1.vmin1
2021-07-25 20:57
871
finset_1__t7_finset_1.vmin1out
2021-07-25 20:59
9.8K
finset_1__t7_finset_1.vout
2021-07-25 14:59
13K
finset_1__t8_finset_1
2021-07-18 06:29
611
finset_1__t8_finset_1.depv1
2021-07-25 20:57
39
finset_1__t8_finset_1.depvmin1
2021-07-25 21:03
39
finset_1__t8_finset_1.vmin1
2021-07-25 20:57
389
finset_1__t8_finset_1.vmin1out
2021-07-25 21:01
3.9K
finset_1__t8_finset_1.vout
2021-07-25 19:00
3.8K
finset_1__t9_finset_1
2021-07-18 06:30
11K
finset_1__t9_finset_1.depv1
2021-07-25 20:57
38
finset_1__t9_finset_1.depvmin1
2021-07-25 21:03
38
finset_1__t9_finset_1.vmin1
2021-07-25 20:57
481
finset_1__t9_finset_1.vmin1out
2021-07-25 21:01
5.1K
finset_1__t9_finset_1.vout
2021-07-25 18:33
7.2K
finset_1__t10_finset_1
2021-07-18 06:30
16K
finset_1__t10_finset_1.depv1
2021-07-25 20:57
137
finset_1__t10_finset_1.depvmin1
2021-07-25 21:03
137
finset_1__t10_finset_1.vmin1
2021-07-25 20:57
1.2K
finset_1__t10_finset_1.vmin1out
2021-07-25 21:00
11K
finset_1__t10_finset_1.vout
2021-07-25 20:09
14K
finset_1__t11_finset_1
2021-07-18 06:30
12K
finset_1__t11_finset_1.vout
2021-07-25 16:06
7.3K
finset_1__t12_finset_1
2021-07-18 06:30
12K
finset_1__t12_finset_1.vout
2021-07-25 19:43
7.3K
finset_1__t13_finset_1
2021-07-18 06:31
18K
finset_1__t13_finset_1.vout
2021-07-25 18:12
7.3K
finset_1__t14_finset_1
2021-07-18 06:31
17K
finset_1__t14_finset_1.vout
2021-07-25 16:21
7.3K
finset_1__t15_finset_1
2021-07-18 06:31
8.2K
finset_1__t15_finset_1.depv1
2021-07-25 20:57
74
finset_1__t15_finset_1.depvmin1
2021-07-25 21:03
50
finset_1__t15_finset_1.vmin1
2021-07-25 20:57
547
finset_1__t15_finset_1.vmin1out
2021-07-25 20:58
4.0K
finset_1__t15_finset_1.vout
2021-07-25 19:47
4.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80