Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fdiff_6
Name
Last modified
Size
Description
Parent Directory
-
fdiff_6__l1_fdiff_6
2021-07-18 02:57
56K
fdiff_6__l1_fdiff_6.vout
2021-07-25 15:44
2.0K
fdiff_6__l2_fdiff_6
2021-07-18 02:57
19K
fdiff_6__l2_fdiff_6.vout
2021-07-25 15:58
2.0K
fdiff_6__l3_fdiff_6
2021-07-18 02:58
82K
fdiff_6__l3_fdiff_6.vout
2021-07-25 20:05
2.0K
fdiff_6__l4_fdiff_6
2021-07-18 02:58
42K
fdiff_6__l4_fdiff_6.vout
2021-07-25 19:57
2.0K
fdiff_6__l7_fdiff_6
2021-07-18 02:59
42K
fdiff_6__l7_fdiff_6.vout
2021-07-25 15:29
2.0K
fdiff_6__l46_fdiff_6
2021-07-18 02:59
31K
fdiff_6__l46_fdiff_6.vout
2021-07-25 17:32
7.3K
fdiff_6__l48_fdiff_6
2021-07-18 02:59
34K
fdiff_6__l48_fdiff_6.vout
2021-07-25 16:04
7.3K
fdiff_6__t1_fdiff_6
2021-07-18 02:33
22K
fdiff_6__t1_fdiff_6.depv1
2021-07-25 20:57
525
fdiff_6__t1_fdiff_6.depvmin1
2021-07-25 21:03
387
fdiff_6__t1_fdiff_6.vmin1
2021-07-25 20:57
4.1K
fdiff_6__t1_fdiff_6.vmin1out
2021-07-25 21:00
30K
fdiff_6__t1_fdiff_6.vout
2021-07-25 20:48
39K
fdiff_6__t2_fdiff_6
2021-07-18 02:34
25K
fdiff_6__t2_fdiff_6.vout
2021-07-25 16:11
4.7K
fdiff_6__t3_fdiff_6
2021-07-18 02:34
42K
fdiff_6__t3_fdiff_6.vout
2021-07-25 19:42
7.3K
fdiff_6__t4_fdiff_6
2021-07-18 02:35
178K
fdiff_6__t4_fdiff_6.vout
2021-07-25 17:37
4.7K
fdiff_6__t6_fdiff_6
2021-07-18 02:35
181K
fdiff_6__t6_fdiff_6.vout
2021-07-25 20:00
6.8K
fdiff_6__t7_fdiff_6
2021-07-18 02:36
139K
fdiff_6__t7_fdiff_6.vout
2021-07-25 16:52
4.7K
fdiff_6__t9_fdiff_6
2021-07-18 02:36
44K
fdiff_6__t9_fdiff_6.vout
2021-07-25 20:08
7.3K
fdiff_6__t10_fdiff_6
2021-07-18 02:37
59K
fdiff_6__t10_fdiff_6.vout
2021-07-25 16:27
7.3K
fdiff_6__t11_fdiff_6
2021-07-18 02:37
31K
fdiff_6__t11_fdiff_6.vout
2021-07-25 17:57
6.8K
fdiff_6__t12_fdiff_6
2021-07-18 02:38
56K
fdiff_6__t12_fdiff_6.vout
2021-07-25 15:24
7.3K
fdiff_6__t13_fdiff_6
2021-07-18 02:38
99K
fdiff_6__t13_fdiff_6.vout
2021-07-25 16:11
6.8K
fdiff_6__t14_fdiff_6
2021-07-18 02:39
35K
fdiff_6__t14_fdiff_6.vout
2021-07-25 18:43
6.8K
fdiff_6__t15_fdiff_6
2021-07-18 02:39
39K
fdiff_6__t15_fdiff_6.vout
2021-07-25 16:19
6.8K
fdiff_6__t16_fdiff_6
2021-07-18 02:39
35K
fdiff_6__t16_fdiff_6.vout
2021-07-25 14:26
6.8K
fdiff_6__t17_fdiff_6
2021-07-18 02:40
58K
fdiff_6__t17_fdiff_6.vout
2021-07-25 18:31
6.8K
fdiff_6__t18_fdiff_6
2021-07-18 02:41
108K
fdiff_6__t18_fdiff_6.vout
2021-07-25 14:54
4.7K
fdiff_6__t19_fdiff_6
2021-07-18 02:41
68K
fdiff_6__t19_fdiff_6.vout
2021-07-25 16:41
4.7K
fdiff_6__t20_fdiff_6
2021-07-18 02:42
44K
fdiff_6__t20_fdiff_6.vout
2021-07-25 15:13
6.8K
fdiff_6__t21_fdiff_6
2021-07-18 02:42
56K
fdiff_6__t21_fdiff_6.vout
2021-07-25 18:04
6.8K
fdiff_6__t22_fdiff_6
2021-07-18 02:43
59K
fdiff_6__t22_fdiff_6.vout
2021-07-25 19:19
6.8K
fdiff_6__t23_fdiff_6
2021-07-18 02:43
41K
fdiff_6__t23_fdiff_6.vout
2021-07-25 17:41
7.3K
fdiff_6__t24_fdiff_6
2021-07-18 02:44
99K
fdiff_6__t24_fdiff_6.vout
2021-07-25 19:10
6.8K
fdiff_6__t25_fdiff_6
2021-07-18 02:44
41K
fdiff_6__t25_fdiff_6.vout
2021-07-25 14:56
7.3K
fdiff_6__t26_fdiff_6
2021-07-18 02:45
99K
fdiff_6__t26_fdiff_6.vout
2021-07-25 15:54
6.8K
fdiff_6__t27_fdiff_6
2021-07-18 02:45
119K
fdiff_6__t27_fdiff_6.vout
2021-07-25 16:21
6.8K
fdiff_6__t28_fdiff_6
2021-07-18 02:46
162K
fdiff_6__t28_fdiff_6.vout
2021-07-25 16:52
6.8K
fdiff_6__t29_fdiff_6
2021-07-18 02:46
78K
fdiff_6__t29_fdiff_6.vout
2021-07-25 19:35
6.8K
fdiff_6__t30_fdiff_6
2021-07-18 02:47
163K
fdiff_6__t30_fdiff_6.vout
2021-07-25 18:38
7.3K
fdiff_6__t31_fdiff_6
2021-07-18 02:47
45K
fdiff_6__t31_fdiff_6.vout
2021-07-25 18:48
6.8K
fdiff_6__t32_fdiff_6
2021-07-18 02:48
162K
fdiff_6__t32_fdiff_6.vout
2021-07-25 15:28
6.8K
fdiff_6__t33_fdiff_6
2021-07-18 02:48
163K
fdiff_6__t33_fdiff_6.vout
2021-07-25 18:35
6.8K
fdiff_6__t34_fdiff_6
2021-07-18 02:49
52K
fdiff_6__t34_fdiff_6.vout
2021-07-25 17:41
6.8K
fdiff_6__t35_fdiff_6
2021-07-18 02:49
53K
fdiff_6__t35_fdiff_6.vout
2021-07-25 17:25
6.8K
fdiff_6__t36_fdiff_6
2021-07-18 02:50
304K
fdiff_6__t36_fdiff_6.vout
2021-07-25 18:28
6.8K
fdiff_6__t37_fdiff_6
2021-07-18 02:50
136K
fdiff_6__t37_fdiff_6.vout
2021-07-25 20:15
6.8K
fdiff_6__t38_fdiff_6
2021-07-18 02:51
36K
fdiff_6__t38_fdiff_6.vout
2021-07-25 15:10
7.3K
fdiff_6__t39_fdiff_6
2021-07-18 02:51
135K
fdiff_6__t39_fdiff_6.vout
2021-07-25 17:30
6.8K
fdiff_6__t40_fdiff_6
2021-07-18 02:52
212K
fdiff_6__t40_fdiff_6.vout
2021-07-25 18:03
6.8K
fdiff_6__t41_fdiff_6
2021-07-18 02:52
96K
fdiff_6__t41_fdiff_6.vout
2021-07-25 18:11
6.8K
fdiff_6__t42_fdiff_6
2021-07-18 02:53
210K
fdiff_6__t42_fdiff_6.vout
2021-07-25 19:01
6.8K
fdiff_6__t43_fdiff_6
2021-07-18 02:53
34K
fdiff_6__t43_fdiff_6.vout
2021-07-25 16:11
7.3K
fdiff_6__t44_fdiff_6
2021-07-18 02:54
171K
fdiff_6__t44_fdiff_6.vout
2021-07-25 19:33
7.3K
fdiff_6__t45_fdiff_6
2021-07-18 02:54
119K
fdiff_6__t45_fdiff_6.vout
2021-07-25 20:55
6.8K
fdiff_6__t46_fdiff_6
2021-07-18 02:55
37K
fdiff_6__t46_fdiff_6.vout
2021-07-25 18:07
7.3K
fdiff_6__t47_fdiff_6
2021-07-18 02:55
99K
fdiff_6__t47_fdiff_6.vout
2021-07-25 19:48
7.3K
fdiff_6__t48_fdiff_6
2021-07-18 02:56
99K
fdiff_6__t48_fdiff_6.vout
2021-07-25 19:19
7.3K
fdiff_6__t49_fdiff_6
2021-07-18 02:56
34K
fdiff_6__t49_fdiff_6.vout
2021-07-25 19:45
6.8K
fdiff_6__t50_fdiff_6
2021-07-18 02:57
38K
fdiff_6__t50_fdiff_6.vout
2021-07-25 19:26
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}