Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fdiff_10
Name
Last modified
Size
Description
Parent Directory
-
fdiff_10__t1_fdiff_10
2024-07-27 13:04
41K
fdiff_10__t1_fdiff_10.vout
2024-08-03 07:23
7.3K
fdiff_10__t2_fdiff_10
2024-07-27 13:05
33K
fdiff_10__t2_fdiff_10.vout
2024-08-03 08:25
8.4K
fdiff_10__t3_fdiff_10
2024-07-27 13:06
41K
fdiff_10__t3_fdiff_10.vout
2024-08-03 04:40
7.9K
fdiff_10__t4_fdiff_10
2024-07-27 13:07
41K
fdiff_10__t4_fdiff_10.vout
2024-08-03 06:53
7.3K
fdiff_10__t5_fdiff_10
2024-07-27 13:09
43K
fdiff_10__t5_fdiff_10.vout
2024-08-03 04:48
2.0K
fdiff_10__t6_fdiff_10
2024-07-27 13:10
44K
fdiff_10__t6_fdiff_10.vout
2024-08-03 04:39
7.3K
fdiff_10__t7_fdiff_10
2024-07-27 13:11
24K
fdiff_10__t7_fdiff_10.depv1
2024-08-03 10:19
307
fdiff_10__t7_fdiff_10.depvmin1
2024-08-03 10:24
293
fdiff_10__t7_fdiff_10.vmin1
2024-08-03 10:20
4.4K
fdiff_10__t7_fdiff_10.vmin1out
2024-08-03 10:22
75K
fdiff_10__t7_fdiff_10.vout
2024-08-03 05:44
70K
fdiff_10__t8_fdiff_10
2024-07-27 13:12
31K
fdiff_10__t8_fdiff_10.vout
2024-08-03 07:05
8.4K
fdiff_10__t9_fdiff_10
2024-07-27 13:13
31K
fdiff_10__t9_fdiff_10.vout
2024-08-03 06:00
8.4K
fdiff_10__t10_fdiff_10
2024-07-27 13:14
29K
fdiff_10__t10_fdiff_10.vout
2024-08-03 04:07
8.4K
fdiff_10__t11_fdiff_10
2024-07-27 13:16
47K
fdiff_10__t11_fdiff_10.vout
2024-08-03 07:33
7.4K
fdiff_10__t12_fdiff_10
2024-07-27 13:17
38K
fdiff_10__t12_fdiff_10.vout
2024-08-03 04:25
7.3K
fdiff_10__t13_fdiff_10
2024-07-27 13:18
44K
fdiff_10__t13_fdiff_10.vout
2024-08-03 05:15
7.4K
fdiff_10__t14_fdiff_10
2024-07-27 13:19
47K
fdiff_10__t14_fdiff_10.vout
2024-08-03 04:50
7.4K
fdiff_10__t15_fdiff_10
2024-07-27 13:21
33K
fdiff_10__t15_fdiff_10.vout
2024-08-03 05:58
7.4K
fdiff_10__t16_fdiff_10
2024-07-27 13:22
40K
fdiff_10__t16_fdiff_10.vout
2024-08-03 07:13
7.3K
fdiff_10__t17_fdiff_10
2024-07-27 13:23
51K
fdiff_10__t17_fdiff_10.vout
2024-08-03 08:45
7.3K
fdiff_10__t18_fdiff_10
2024-07-27 13:25
39K
fdiff_10__t18_fdiff_10.vout
2024-08-03 09:32
7.4K
fdiff_10__t19_fdiff_10
2024-07-27 13:26
36K
fdiff_10__t19_fdiff_10.vout
2024-08-03 06:33
7.9K
fdiff_10__t20_fdiff_10
2024-07-27 13:27
22K
fdiff_10__t20_fdiff_10.depv1
2024-08-03 10:19
117
fdiff_10__t20_fdiff_10.depvmin1
2024-08-03 10:24
117
fdiff_10__t20_fdiff_10.vmin1
2024-08-03 10:20
3.0K
fdiff_10__t20_fdiff_10.vmin1out
2024-08-03 10:21
49K
fdiff_10__t20_fdiff_10.vout
2024-08-03 05:03
50K
fdiff_10__t21_fdiff_10
2024-07-27 13:29
33K
fdiff_10__t21_fdiff_10.vout
2024-08-03 09:27
7.9K
fdiff_10__t22_fdiff_10
2024-07-27 13:30
41K
fdiff_10__t22_fdiff_10.vout
2024-08-03 08:54
7.9K
fdiff_10__t23_fdiff_10
2024-07-27 13:31
41K
fdiff_10__t23_fdiff_10.vout
2024-08-03 04:48
7.9K
fdiff_10__t24_fdiff_10
2024-07-27 13:32
41K
fdiff_10__t24_fdiff_10.vout
2024-08-03 06:29
7.9K
fdiff_10__t25_fdiff_10
2024-07-27 13:33
46K
fdiff_10__t25_fdiff_10.vout
2024-08-03 09:16
7.4K
fdiff_10__t26_fdiff_10
2024-07-27 13:35
46K
fdiff_10__t26_fdiff_10.vout
2024-08-03 07:01
7.3K
fdiff_10__t27_fdiff_10
2024-07-27 13:36
45K
fdiff_10__t27_fdiff_10.vout
2024-08-03 06:31
7.3K
fdiff_10__t28_fdiff_10
2024-07-27 13:37
45K
fdiff_10__t28_fdiff_10.vout
2024-08-03 04:43
7.3K
fdiff_10__t29_fdiff_10
2024-07-27 13:39
53K
fdiff_10__t29_fdiff_10.vout
2024-08-03 07:45
7.3K
fdiff_10__t30_fdiff_10
2024-07-27 13:40
53K
fdiff_10__t30_fdiff_10.vout
2024-08-03 04:59
7.3K
fdiff_10__t31_fdiff_10
2024-07-27 13:41
76K
fdiff_10__t31_fdiff_10.vout
2024-08-03 05:17
7.4K
fdiff_10__t32_fdiff_10
2024-07-27 13:42
44K
fdiff_10__t32_fdiff_10.vout
2024-08-03 08:58
7.3K
fdiff_10__t33_fdiff_10
2024-07-27 13:44
74K
fdiff_10__t33_fdiff_10.vout
2024-08-03 10:18
7.3K
fdiff_10__t34_fdiff_10
2024-07-27 13:45
118K
fdiff_10__t34_fdiff_10.vout
2024-08-03 07:57
7.4K
fdiff_10__t35_fdiff_10
2024-07-27 13:46
45K
fdiff_10__t35_fdiff_10.vout
2024-08-03 08:50
7.9K
fdiff_10__t36_fdiff_10
2024-07-27 13:47
42K
fdiff_10__t36_fdiff_10.vout
2024-08-03 06:06
7.9K
fdiff_10__t37_fdiff_10
2024-07-27 13:48
42K
fdiff_10__t37_fdiff_10.vout
2024-08-03 04:48
7.9K
fdiff_10__t38_fdiff_10
2024-07-27 13:50
45K
fdiff_10__t38_fdiff_10.vout
2024-08-03 06:04
7.9K
fdiff_10__t39_fdiff_10
2024-07-27 13:51
45K
fdiff_10__t39_fdiff_10.vout
2024-08-03 07:25
7.9K
fdiff_10__t40_fdiff_10
2024-07-27 13:52
42K
fdiff_10__t40_fdiff_10.vout
2024-08-03 05:49
7.9K
fdiff_10__t41_fdiff_10
2024-07-27 13:54
58K
fdiff_10__t41_fdiff_10.vout
2024-08-03 08:27
4.7K
fdiff_10__t42_fdiff_10
2024-07-27 13:55
59K
fdiff_10__t42_fdiff_10.vout
2024-08-03 07:02
4.7K
fdiff_10__t43_fdiff_10
2024-07-27 13:56
33K
fdiff_10__t43_fdiff_10.vout
2024-08-03 05:19
7.4K
fdiff_10__t44_fdiff_10
2024-07-27 13:58
41K
fdiff_10__t44_fdiff_10.vout
2024-08-03 05:40
7.4K
fdiff_10__t45_fdiff_10
2024-07-27 13:59
41K
fdiff_10__t45_fdiff_10.vout
2024-08-03 05:21
7.4K
fdiff_10__t46_fdiff_10
2024-07-27 14:00
41K
fdiff_10__t46_fdiff_10.vout
2024-08-03 08:04
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80