Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fdiff_7
Name
Last modified
Size
Description
Parent Directory
-
fdiff_7__l4_fdiff_7
2021-07-18 12:09
59K
fdiff_7__l4_fdiff_7.vout
2021-07-25 20:45
2.0K
fdiff_7__l5_fdiff_7
2021-07-18 12:09
47K
fdiff_7__l5_fdiff_7.vout
2021-07-25 15:11
2.0K
fdiff_7__l34_fdiff_7
2021-07-18 11:54
6.5K
fdiff_7__l34_fdiff_7.depv1
2021-07-25 20:57
285
fdiff_7__l34_fdiff_7.depvmin1
2021-07-25 21:03
160
fdiff_7__l34_fdiff_7.vmin1
2021-07-25 20:57
1.9K
fdiff_7__l34_fdiff_7.vmin1out
2021-07-25 20:58
21K
fdiff_7__l34_fdiff_7.vout
2021-07-25 16:15
25K
fdiff_7__t1_fdiff_7
2021-07-18 11:54
11K
fdiff_7__t1_fdiff_7.depv1
2021-07-25 20:57
142
fdiff_7__t1_fdiff_7.depvmin1
2021-07-25 21:03
127
fdiff_7__t1_fdiff_7.vmin1
2021-07-25 20:57
1.0K
fdiff_7__t1_fdiff_7.vmin1out
2021-07-25 20:58
6.6K
fdiff_7__t1_fdiff_7.vout
2021-07-25 17:50
6.9K
fdiff_7__t2_fdiff_7
2021-07-18 11:54
55K
fdiff_7__t2_fdiff_7.vout
2021-07-25 20:27
7.3K
fdiff_7__t3_fdiff_7
2021-07-18 11:54
15K
fdiff_7__t3_fdiff_7.depv1
2021-07-25 20:57
254
fdiff_7__t3_fdiff_7.depvmin1
2021-07-25 21:03
179
fdiff_7__t3_fdiff_7.vmin1
2021-07-25 20:57
1.6K
fdiff_7__t3_fdiff_7.vmin1out
2021-07-25 20:58
10K
fdiff_7__t3_fdiff_7.vout
2021-07-25 17:10
12K
fdiff_7__t4_fdiff_7
2021-07-18 11:55
32K
fdiff_7__t4_fdiff_7.vout
2021-07-25 16:49
7.8K
fdiff_7__t5_fdiff_7
2021-07-18 11:55
32K
fdiff_7__t5_fdiff_7.vout
2021-07-25 18:28
7.8K
fdiff_7__t6_fdiff_7
2021-07-18 11:55
33K
fdiff_7__t6_fdiff_7.vout
2021-07-25 15:41
7.3K
fdiff_7__t7_fdiff_7
2021-07-18 11:55
33K
fdiff_7__t7_fdiff_7.vout
2021-07-25 20:21
7.3K
fdiff_7__t8_fdiff_7
2021-07-18 11:56
35K
fdiff_7__t8_fdiff_7.vout
2021-07-25 15:26
8.4K
fdiff_7__t9_fdiff_7
2021-07-18 11:56
35K
fdiff_7__t9_fdiff_7.vout
2021-07-25 19:01
8.3K
fdiff_7__t10_fdiff_7
2021-07-18 11:56
34K
fdiff_7__t10_fdiff_7.vout
2021-07-25 17:39
8.4K
fdiff_7__t11_fdiff_7
2021-07-18 11:57
34K
fdiff_7__t11_fdiff_7.vout
2021-07-25 16:44
8.4K
fdiff_7__t12_fdiff_7
2021-07-18 11:57
81K
fdiff_7__t12_fdiff_7.vout
2021-07-25 15:54
8.4K
fdiff_7__t13_fdiff_7
2021-07-18 11:57
82K
fdiff_7__t13_fdiff_7.vout
2021-07-25 19:24
8.4K
fdiff_7__t14_fdiff_7
2021-07-18 11:58
39K
fdiff_7__t14_fdiff_7.vout
2021-07-25 15:06
7.3K
fdiff_7__t15_fdiff_7
2021-07-18 11:58
39K
fdiff_7__t15_fdiff_7.vout
2021-07-25 18:27
6.8K
fdiff_7__t16_fdiff_7
2021-07-18 11:58
45K
fdiff_7__t16_fdiff_7.vout
2021-07-25 18:16
7.3K
fdiff_7__t17_fdiff_7
2021-07-18 11:59
45K
fdiff_7__t17_fdiff_7.vout
2021-07-25 18:09
7.3K
fdiff_7__t18_fdiff_7
2021-07-18 11:59
43K
fdiff_7__t18_fdiff_7.vout
2021-07-25 18:29
6.8K
fdiff_7__t19_fdiff_7
2021-07-18 11:59
43K
fdiff_7__t19_fdiff_7.vout
2021-07-25 20:53
6.8K
fdiff_7__t20_fdiff_7
2021-07-18 11:59
134K
fdiff_7__t20_fdiff_7.vout
2021-07-25 18:57
7.3K
fdiff_7__t21_fdiff_7
2021-07-18 12:00
169K
fdiff_7__t21_fdiff_7.vout
2021-07-25 15:40
7.3K
fdiff_7__t22_fdiff_7
2021-07-18 12:00
199K
fdiff_7__t22_fdiff_7.vout
2021-07-25 19:00
7.3K
fdiff_7__t23_fdiff_7
2021-07-18 12:00
131K
fdiff_7__t23_fdiff_7.vout
2021-07-25 15:19
6.8K
fdiff_7__t24_fdiff_7
2021-07-18 12:01
130K
fdiff_7__t24_fdiff_7.vout
2021-07-25 17:52
6.8K
fdiff_7__t25_fdiff_7
2021-07-18 12:01
48K
fdiff_7__t25_fdiff_7.vout
2021-07-25 19:17
6.8K
fdiff_7__t26_fdiff_7
2021-07-18 12:01
48K
fdiff_7__t26_fdiff_7.vout
2021-07-25 15:05
6.8K
fdiff_7__t27_fdiff_7
2021-07-18 12:02
199K
fdiff_7__t27_fdiff_7.vout
2021-07-25 17:31
6.8K
fdiff_7__t28_fdiff_7
2021-07-18 12:02
132K
fdiff_7__t28_fdiff_7.vout
2021-07-25 18:41
6.8K
fdiff_7__t29_fdiff_7
2021-07-18 12:03
131K
fdiff_7__t29_fdiff_7.vout
2021-07-25 15:13
6.8K
fdiff_7__t30_fdiff_7
2021-07-18 12:03
89K
fdiff_7__t30_fdiff_7.vout
2021-07-25 17:29
7.8K
fdiff_7__t31_fdiff_7
2021-07-18 12:03
88K
fdiff_7__t31_fdiff_7.vout
2021-07-25 17:41
7.8K
fdiff_7__t32_fdiff_7
2021-07-18 12:03
25K
fdiff_7__t32_fdiff_7.vout
2021-07-25 14:46
7.8K
fdiff_7__t33_fdiff_7
2021-07-18 12:04
38K
fdiff_7__t33_fdiff_7.vout
2021-07-25 15:58
7.8K
fdiff_7__t34_fdiff_7
2021-07-18 12:04
19K
fdiff_7__t34_fdiff_7.vout
2021-07-25 16:25
8.4K
fdiff_7__t35_fdiff_7
2021-07-18 12:04
24K
fdiff_7__t35_fdiff_7.vout
2021-07-25 19:14
8.4K
fdiff_7__t36_fdiff_7
2021-07-18 12:05
24K
fdiff_7__t36_fdiff_7.vout
2021-07-25 20:09
8.4K
fdiff_7__t37_fdiff_7
2021-07-18 12:05
19K
fdiff_7__t37_fdiff_7.vout
2021-07-25 14:29
8.4K
fdiff_7__t38_fdiff_7
2021-07-18 12:05
21K
fdiff_7__t38_fdiff_7.depv1
2021-07-25 20:57
265
fdiff_7__t38_fdiff_7.depvmin1
2021-07-25 21:03
251
fdiff_7__t38_fdiff_7.vmin1
2021-07-25 20:57
3.7K
fdiff_7__t38_fdiff_7.vmin1out
2021-07-25 21:02
37K
fdiff_7__t38_fdiff_7.vout
2021-07-25 17:19
41K
fdiff_7__t39_fdiff_7
2021-07-18 12:05
21K
fdiff_7__t39_fdiff_7.vout
2021-07-25 17:51
2.0K
fdiff_7__t40_fdiff_7
2021-07-18 12:06
38K
fdiff_7__t40_fdiff_7.vout
2021-07-25 20:32
7.3K
fdiff_7__t41_fdiff_7
2021-07-18 12:06
39K
fdiff_7__t41_fdiff_7.vout
2021-07-25 14:32
7.3K
fdiff_7__t42_fdiff_7
2021-07-18 12:06
99K
fdiff_7__t42_fdiff_7.vout
2021-07-25 15:47
6.2K
fdiff_7__t43_fdiff_7
2021-07-18 12:07
96K
fdiff_7__t43_fdiff_7.vout
2021-07-25 18:05
6.2K
fdiff_7__t44_fdiff_7
2021-07-18 12:07
22K
fdiff_7__t44_fdiff_7.vout
2021-07-25 15:36
2.0K
fdiff_7__t45_fdiff_7
2021-07-18 12:07
25K
fdiff_7__t45_fdiff_7.vout
2021-07-25 18:21
2.0K
fdiff_7__t46_fdiff_7
2021-07-18 12:07
32K
fdiff_7__t46_fdiff_7.vout
2021-07-25 15:53
2.0K
fdiff_7__t47_fdiff_7
2021-07-18 12:08
32K
fdiff_7__t47_fdiff_7.vout
2021-07-25 20:21
2.0K
fdiff_7__t48_fdiff_7
2021-07-18 12:08
75K
fdiff_7__t48_fdiff_7.vout
2021-07-25 20:40
6.8K
fdiff_7__t49_fdiff_7
2021-07-18 12:08
116K
fdiff_7__t49_fdiff_7.vout
2021-07-25 17:33
6.8K
fdiff_7__t50_fdiff_7
2021-07-18 12:09
67K
fdiff_7__t50_fdiff_7.vout
2021-07-25 20:47
6.8K
fdiff_7__t51_fdiff_7
2021-07-18 12:09
67K
fdiff_7__t51_fdiff_7.vout
2021-07-25 19:36
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}