Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/cfdiff_2
Name
Last modified
Size
Description
Parent Directory
-
cfdiff_2__l1_cfdiff_2
2024-07-28 11:56
34K
cfdiff_2__l1_cfdiff_2.vout
2024-08-03 05:58
4.7K
cfdiff_2__l2_cfdiff_2
2024-07-28 11:57
34K
cfdiff_2__l2_cfdiff_2.depv1
2024-08-03 10:19
139
cfdiff_2__l2_cfdiff_2.depvmin1
2024-08-03 10:24
115
cfdiff_2__l2_cfdiff_2.vmin1
2024-08-03 10:19
2.3K
cfdiff_2__l2_cfdiff_2.vmin1out
2024-08-03 10:22
28K
cfdiff_2__l2_cfdiff_2.vout
2024-08-03 06:04
49K
cfdiff_2__l3_cfdiff_2
2024-07-28 11:59
28K
cfdiff_2__l3_cfdiff_2.depv1
2024-08-03 10:19
181
cfdiff_2__l3_cfdiff_2.depvmin1
2024-08-03 10:24
168
cfdiff_2__l3_cfdiff_2.vmin1
2024-08-03 10:19
3.0K
cfdiff_2__l3_cfdiff_2.vmin1out
2024-08-03 10:20
38K
cfdiff_2__l3_cfdiff_2.vout
2024-08-03 08:10
47K
cfdiff_2__l5_cfdiff_2
2024-07-28 12:00
53K
cfdiff_2__l5_cfdiff_2.vout
2024-08-03 09:50
4.7K
cfdiff_2__l6_cfdiff_2
2024-07-28 12:01
55K
cfdiff_2__l6_cfdiff_2.vout
2024-08-03 06:56
4.7K
cfdiff_2__l8_cfdiff_2
2024-07-28 12:03
65K
cfdiff_2__l8_cfdiff_2.vout
2024-08-03 10:16
4.7K
cfdiff_2__l9_cfdiff_2
2024-07-28 12:05
53K
cfdiff_2__l9_cfdiff_2.vout
2024-08-03 08:53
7.3K
cfdiff_2__l10_cfdiff_2
2024-07-28 12:07
39K
cfdiff_2__l10_cfdiff_2.vout
2024-08-03 09:09
7.3K
cfdiff_2__l11_cfdiff_2
2024-07-28 12:09
36K
cfdiff_2__l11_cfdiff_2.depv1
2024-08-03 10:19
141
cfdiff_2__l11_cfdiff_2.depvmin1
2024-08-03 10:24
141
cfdiff_2__l11_cfdiff_2.vmin1
2024-08-03 10:19
1.7K
cfdiff_2__l11_cfdiff_2.vmin1out
2024-08-03 10:21
17K
cfdiff_2__l11_cfdiff_2.vout
2024-08-03 06:55
14K
cfdiff_2__l12_cfdiff_2
2024-07-28 12:11
61K
cfdiff_2__l12_cfdiff_2.vout
2024-08-03 08:03
4.7K
cfdiff_2__l13_cfdiff_2
2024-07-28 12:13
43K
cfdiff_2__l13_cfdiff_2.depv1
2024-08-03 10:19
143
cfdiff_2__l13_cfdiff_2.depvmin1
2024-08-03 10:24
130
cfdiff_2__l13_cfdiff_2.vmin1
2024-08-03 10:19
2.5K
cfdiff_2__l13_cfdiff_2.vmin1out
2024-08-03 10:21
23K
cfdiff_2__l13_cfdiff_2.vout
2024-08-03 09:00
27K
cfdiff_2__l14_cfdiff_2
2024-07-28 12:14
33K
cfdiff_2__l14_cfdiff_2.depv1
2024-08-03 10:19
243
cfdiff_2__l14_cfdiff_2.depvmin1
2024-08-03 10:24
243
cfdiff_2__l14_cfdiff_2.vmin1
2024-08-03 10:19
2.6K
cfdiff_2__l14_cfdiff_2.vmin1out
2024-08-03 10:21
24K
cfdiff_2__l14_cfdiff_2.vout
2024-08-03 04:57
24K
cfdiff_2__l15_cfdiff_2
2024-07-28 12:16
37K
cfdiff_2__l15_cfdiff_2.vout
2024-08-03 09:17
2.0K
cfdiff_2__l16_cfdiff_2
2024-07-28 12:18
96K
cfdiff_2__l16_cfdiff_2.vout
2024-08-03 04:34
4.7K
cfdiff_2__l17_cfdiff_2
2024-07-28 12:20
46K
cfdiff_2__l17_cfdiff_2.depv1
2024-08-03 10:19
77
cfdiff_2__l17_cfdiff_2.depvmin1
2024-08-03 10:24
52
cfdiff_2__l17_cfdiff_2.vmin1
2024-08-03 10:19
905
cfdiff_2__l17_cfdiff_2.vmin1out
2024-08-03 10:21
7.6K
cfdiff_2__l17_cfdiff_2.vout
2024-08-03 08:28
8.4K
cfdiff_2__l18_cfdiff_2
2024-07-28 12:21
31K
cfdiff_2__l18_cfdiff_2.vout
2024-08-03 04:26
2.0K
cfdiff_2__l19_cfdiff_2
2024-07-28 12:23
143K
cfdiff_2__l19_cfdiff_2.vout
2024-08-03 06:13
4.7K
cfdiff_2__l22_cfdiff_2
2024-07-28 12:25
59K
cfdiff_2__l22_cfdiff_2.vout
2024-08-03 04:48
4.7K
cfdiff_2__l23_cfdiff_2
2024-07-28 12:28
59K
cfdiff_2__l23_cfdiff_2.vout
2024-08-03 09:01
4.7K
cfdiff_2__l24_cfdiff_2
2024-07-28 12:30
56K
cfdiff_2__l24_cfdiff_2.depv1
2024-08-03 10:19
405
cfdiff_2__l24_cfdiff_2.depvmin1
2024-08-03 10:24
392
cfdiff_2__l24_cfdiff_2.vmin1
2024-08-03 10:19
3.6K
cfdiff_2__l24_cfdiff_2.vmin1out
2024-08-03 10:21
35K
cfdiff_2__l24_cfdiff_2.vout
2024-08-03 06:22
31K
cfdiff_2__l25_cfdiff_2
2024-07-28 12:32
43K
cfdiff_2__l25_cfdiff_2.vout
2024-08-03 09:08
5.8K
cfdiff_2__l27_cfdiff_2
2024-07-28 11:41
8.1K
cfdiff_2__l27_cfdiff_2.depv1
2024-08-03 10:19
96
cfdiff_2__l27_cfdiff_2.depvmin1
2024-08-03 10:24
96
cfdiff_2__l27_cfdiff_2.vmin1
2024-08-03 10:19
564
cfdiff_2__l27_cfdiff_2.vmin1out
2024-08-03 10:22
4.0K
cfdiff_2__l27_cfdiff_2.vout
2024-08-03 04:31
3.7K
cfdiff_2__t1_cfdiff_2
2024-07-28 11:42
26K
cfdiff_2__t1_cfdiff_2.depv1
2024-08-03 10:19
236
cfdiff_2__t1_cfdiff_2.depvmin1
2024-08-03 10:24
236
cfdiff_2__t1_cfdiff_2.vmin1
2024-08-03 10:19
2.7K
cfdiff_2__t1_cfdiff_2.vmin1out
2024-08-03 10:23
37K
cfdiff_2__t1_cfdiff_2.vout
2024-08-03 04:28
38K
cfdiff_2__t2_cfdiff_2
2024-07-28 11:46
211K
cfdiff_2__t2_cfdiff_2.vout
2024-08-03 09:56
3.7K
cfdiff_2__t3_cfdiff_2
2024-07-28 11:47
30K
cfdiff_2__t3_cfdiff_2.depv1
2024-08-03 10:19
142
cfdiff_2__t3_cfdiff_2.depvmin1
2024-08-03 10:24
142
cfdiff_2__t3_cfdiff_2.vmin1
2024-08-03 10:19
2.1K
cfdiff_2__t3_cfdiff_2.vmin1out
2024-08-03 10:22
31K
cfdiff_2__t3_cfdiff_2.vout
2024-08-03 07:02
28K
cfdiff_2__t4_cfdiff_2
2024-07-28 11:49
45K
cfdiff_2__t4_cfdiff_2.vout
2024-08-03 05:32
7.3K
cfdiff_2__t5_cfdiff_2
2024-07-28 11:55
181K
cfdiff_2__t5_cfdiff_2.vout
2024-08-03 08:40
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80