Index of /~mptp/mml5.63.1382/MPTP2/problems_small/cfdiff_2
Name
Last modified
Size
Description
Parent Directory
-
cfdiff_2__t5_cfdiff_2.vout
2021-07-25 16:42
3.7K
cfdiff_2__t5_cfdiff_2
2021-07-18 11:30
174K
cfdiff_2__t4_cfdiff_2.vout
2021-07-25 19:11
7.3K
cfdiff_2__t4_cfdiff_2
2021-07-18 11:28
40K
cfdiff_2__t3_cfdiff_2.vout
2021-07-25 18:16
28K
cfdiff_2__t3_cfdiff_2.vmin1out
2021-07-25 20:59
31K
cfdiff_2__t3_cfdiff_2.vmin1
2021-07-25 20:57
2.2K
cfdiff_2__t3_cfdiff_2.depvmin1
2021-07-25 21:03
155
cfdiff_2__t3_cfdiff_2.depv1
2021-07-25 20:57
155
cfdiff_2__t3_cfdiff_2
2021-07-18 11:28
25K
cfdiff_2__t2_cfdiff_2.vout
2021-07-25 18:39
3.7K
cfdiff_2__t2_cfdiff_2
2021-07-18 11:27
199K
cfdiff_2__t1_cfdiff_2.vout
2021-07-25 20:33
38K
cfdiff_2__t1_cfdiff_2.vmin1out
2021-07-25 20:59
37K
cfdiff_2__t1_cfdiff_2.vmin1
2021-07-25 20:57
2.7K
cfdiff_2__t1_cfdiff_2.depvmin1
2021-07-25 21:03
236
cfdiff_2__t1_cfdiff_2.depv1
2021-07-25 20:57
236
cfdiff_2__t1_cfdiff_2
2021-07-18 11:26
21K
cfdiff_2__l27_cfdiff_2.vout
2021-07-25 18:52
3.7K
cfdiff_2__l27_cfdiff_2.vmin1out
2021-07-25 20:59
4.0K
cfdiff_2__l27_cfdiff_2.vmin1
2021-07-25 20:57
564
cfdiff_2__l27_cfdiff_2.depvmin1
2021-07-25 21:03
96
cfdiff_2__l27_cfdiff_2.depv1
2021-07-25 20:57
96
cfdiff_2__l27_cfdiff_2
2021-07-18 11:26
8.1K
cfdiff_2__l25_cfdiff_2.vout
2021-07-25 17:34
5.9K
cfdiff_2__l25_cfdiff_2
2021-07-18 11:40
39K
cfdiff_2__l24_cfdiff_2.vout
2021-07-25 20:39
30K
cfdiff_2__l24_cfdiff_2.vmin1out
2021-07-25 21:02
35K
cfdiff_2__l24_cfdiff_2.vmin1
2021-07-25 20:57
3.6K
cfdiff_2__l24_cfdiff_2.depvmin1
2021-07-25 21:03
392
cfdiff_2__l24_cfdiff_2.depv1
2021-07-25 20:57
405
cfdiff_2__l24_cfdiff_2
2021-07-18 11:39
52K
cfdiff_2__l23_cfdiff_2.vout
2021-07-25 19:15
4.7K
cfdiff_2__l23_cfdiff_2
2021-07-18 11:39
56K
cfdiff_2__l22_cfdiff_2.vout
2021-07-25 20:43
4.7K
cfdiff_2__l22_cfdiff_2
2021-07-18 11:38
56K
cfdiff_2__l19_cfdiff_2.vout
2021-07-25 14:35
4.7K
cfdiff_2__l19_cfdiff_2
2021-07-18 11:37
130K
cfdiff_2__l18_cfdiff_2.vout
2021-07-25 16:50
2.0K
cfdiff_2__l18_cfdiff_2
2021-07-18 11:37
28K
cfdiff_2__l17_cfdiff_2.vout
2021-07-25 19:27
8.4K
cfdiff_2__l17_cfdiff_2.vmin1out
2021-07-25 20:58
7.6K
cfdiff_2__l17_cfdiff_2.vmin1
2021-07-25 20:57
905
cfdiff_2__l17_cfdiff_2.depvmin1
2021-07-25 21:03
52
cfdiff_2__l17_cfdiff_2.depv1
2021-07-25 20:57
77
cfdiff_2__l17_cfdiff_2
2021-07-18 11:36
43K
cfdiff_2__l16_cfdiff_2.vout
2021-07-25 15:45
4.7K
cfdiff_2__l16_cfdiff_2
2021-07-18 11:36
92K
cfdiff_2__l15_cfdiff_2.vout
2021-07-25 17:55
2.0K
cfdiff_2__l15_cfdiff_2
2021-07-18 11:35
33K
cfdiff_2__l14_cfdiff_2.vout
2021-07-25 18:56
2.0K
cfdiff_2__l14_cfdiff_2
2021-07-18 11:35
30K
cfdiff_2__l13_cfdiff_2.vout
2021-07-25 18:54
27K
cfdiff_2__l13_cfdiff_2.vmin1out
2021-07-25 21:01
23K
cfdiff_2__l13_cfdiff_2.vmin1
2021-07-25 20:57
2.5K
cfdiff_2__l13_cfdiff_2.depvmin1
2021-07-25 21:03
130
cfdiff_2__l13_cfdiff_2.depv1
2021-07-25 20:57
143
cfdiff_2__l13_cfdiff_2
2021-07-18 11:35
39K
cfdiff_2__l12_cfdiff_2.vout
2021-07-25 16:01
4.7K
cfdiff_2__l12_cfdiff_2
2021-07-18 11:34
57K
cfdiff_2__l11_cfdiff_2.vout
2021-07-25 17:00
15K
cfdiff_2__l11_cfdiff_2.vmin1out
2021-07-25 21:02
18K
cfdiff_2__l11_cfdiff_2.vmin1
2021-07-25 20:57
1.7K
cfdiff_2__l11_cfdiff_2.depvmin1
2021-07-25 21:03
147
cfdiff_2__l11_cfdiff_2.depv1
2021-07-25 20:57
147
cfdiff_2__l11_cfdiff_2
2021-07-18 11:34
33K
cfdiff_2__l10_cfdiff_2.vout
2021-07-25 18:53
7.3K
cfdiff_2__l10_cfdiff_2
2021-07-18 11:33
35K
cfdiff_2__l9_cfdiff_2.vout
2021-07-25 18:22
7.3K
cfdiff_2__l9_cfdiff_2
2021-07-18 11:33
50K
cfdiff_2__l8_cfdiff_2.vout
2021-07-25 20:11
4.7K
cfdiff_2__l8_cfdiff_2
2021-07-18 11:32
61K
cfdiff_2__l6_cfdiff_2.vout
2021-07-25 15:48
5.3K
cfdiff_2__l6_cfdiff_2
2021-07-18 11:32
52K
cfdiff_2__l5_cfdiff_2.vout
2021-07-25 19:45
4.7K
cfdiff_2__l5_cfdiff_2
2021-07-18 11:31
50K
cfdiff_2__l3_cfdiff_2.vout
2021-07-25 18:44
45K
cfdiff_2__l3_cfdiff_2.vmin1out
2021-07-25 21:02
38K
cfdiff_2__l3_cfdiff_2.vmin1
2021-07-25 20:57
3.1K
cfdiff_2__l3_cfdiff_2.depvmin1
2021-07-25 21:03
181
cfdiff_2__l3_cfdiff_2.depv1
2021-07-25 20:57
194
cfdiff_2__l3_cfdiff_2
2021-07-18 11:31
25K
cfdiff_2__l2_cfdiff_2.vout
2021-07-25 20:43
51K
cfdiff_2__l2_cfdiff_2.vmin1out
2021-07-25 21:02
28K
cfdiff_2__l2_cfdiff_2.vmin1
2021-07-25 20:57
2.4K
cfdiff_2__l2_cfdiff_2.depvmin1
2021-07-25 21:03
115
cfdiff_2__l2_cfdiff_2.depv1
2021-07-25 20:57
174
cfdiff_2__l2_cfdiff_2
2021-07-18 11:31
31K
cfdiff_2__l1_cfdiff_2.vout
2021-07-25 18:39
4.7K
cfdiff_2__l1_cfdiff_2
2021-07-18 11:30
31K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80