Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fdiff_11
Name
Last modified
Size
Description
Parent Directory
-
fdiff_11__t1_fdiff_11
2024-07-28 11:43
47K
fdiff_11__t1_fdiff_11.depv1
2024-08-03 10:19
118
fdiff_11__t1_fdiff_11.depvmin1
2024-08-03 10:24
118
fdiff_11__t1_fdiff_11.vmin1
2024-08-03 10:19
3.1K
fdiff_11__t1_fdiff_11.vmin1out
2024-08-03 10:20
52K
fdiff_11__t1_fdiff_11.vout
2024-08-03 05:39
52K
fdiff_11__t2_fdiff_11
2024-07-28 11:44
47K
fdiff_11__t2_fdiff_11.depv1
2024-08-03 10:19
118
fdiff_11__t2_fdiff_11.depvmin1
2024-08-03 10:24
118
fdiff_11__t2_fdiff_11.vmin1
2024-08-03 10:19
3.1K
fdiff_11__t2_fdiff_11.vmin1out
2024-08-03 10:22
50K
fdiff_11__t2_fdiff_11.vout
2024-08-03 06:57
59K
fdiff_11__t3_fdiff_11
2024-07-28 11:45
47K
fdiff_11__t3_fdiff_11.vout
2024-08-03 09:58
7.4K
fdiff_11__t4_fdiff_11
2024-07-28 11:46
47K
fdiff_11__t4_fdiff_11.vout
2024-08-03 09:06
7.4K
fdiff_11__t5_fdiff_11
2024-07-28 11:47
56K
fdiff_11__t5_fdiff_11.vout
2024-08-03 06:43
7.3K
fdiff_11__t6_fdiff_11
2024-07-28 11:49
56K
fdiff_11__t6_fdiff_11.vout
2024-08-03 09:15
7.3K
fdiff_11__t7_fdiff_11
2024-07-28 11:50
56K
fdiff_11__t7_fdiff_11.vout
2024-08-03 08:09
7.3K
fdiff_11__t8_fdiff_11
2024-07-28 11:51
56K
fdiff_11__t8_fdiff_11.vout
2024-08-03 08:03
7.3K
fdiff_11__t9_fdiff_11
2024-07-28 11:52
48K
fdiff_11__t9_fdiff_11.vout
2024-08-03 09:51
7.9K
fdiff_11__t10_fdiff_11
2024-07-28 11:53
48K
fdiff_11__t10_fdiff_11.vout
2024-08-03 05:08
7.4K
fdiff_11__t11_fdiff_11
2024-07-28 11:55
48K
fdiff_11__t11_fdiff_11.vout
2024-08-03 04:42
7.4K
fdiff_11__t12_fdiff_11
2024-07-28 11:56
48K
fdiff_11__t12_fdiff_11.vout
2024-08-03 05:51
7.3K
fdiff_11__t13_fdiff_11
2024-07-28 11:57
42K
fdiff_11__t13_fdiff_11.vout
2024-08-03 08:29
7.3K
fdiff_11__t14_fdiff_11
2024-07-28 11:58
42K
fdiff_11__t14_fdiff_11.vout
2024-08-03 06:31
7.4K
fdiff_11__t15_fdiff_11
2024-07-28 11:59
42K
fdiff_11__t15_fdiff_11.vout
2024-08-03 04:33
7.3K
fdiff_11__t16_fdiff_11
2024-07-28 12:00
42K
fdiff_11__t16_fdiff_11.vout
2024-08-03 08:44
7.4K
fdiff_11__t17_fdiff_11
2024-07-28 12:01
44K
fdiff_11__t17_fdiff_11.vout
2024-08-03 06:02
7.9K
fdiff_11__t18_fdiff_11
2024-07-28 12:03
44K
fdiff_11__t18_fdiff_11.vout
2024-08-03 05:49
7.9K
fdiff_11__t19_fdiff_11
2024-07-28 12:04
44K
fdiff_11__t19_fdiff_11.vout
2024-08-03 08:06
7.9K
fdiff_11__t20_fdiff_11
2024-07-28 12:05
44K
fdiff_11__t20_fdiff_11.vout
2024-08-03 08:55
7.9K
fdiff_11__t21_fdiff_11
2024-07-28 12:06
44K
fdiff_11__t21_fdiff_11.vout
2024-08-03 06:28
7.4K
fdiff_11__t22_fdiff_11
2024-07-28 12:08
44K
fdiff_11__t22_fdiff_11.vout
2024-08-03 07:52
7.4K
fdiff_11__t23_fdiff_11
2024-07-28 12:09
44K
fdiff_11__t23_fdiff_11.vout
2024-08-03 05:11
7.4K
fdiff_11__t24_fdiff_11
2024-07-28 12:10
44K
fdiff_11__t24_fdiff_11.vout
2024-08-03 04:58
7.9K
fdiff_11__t25_fdiff_11
2024-07-28 12:11
46K
fdiff_11__t25_fdiff_11.vout
2024-08-03 10:02
7.4K
fdiff_11__t26_fdiff_11
2024-07-28 12:12
46K
fdiff_11__t26_fdiff_11.vout
2024-08-03 08:38
7.3K
fdiff_11__t27_fdiff_11
2024-07-28 12:13
46K
fdiff_11__t27_fdiff_11.vout
2024-08-03 04:32
7.4K
fdiff_11__t28_fdiff_11
2024-07-28 12:15
46K
fdiff_11__t28_fdiff_11.vout
2024-08-03 04:36
7.3K
fdiff_11__t29_fdiff_11
2024-07-28 12:16
47K
fdiff_11__t29_fdiff_11.vout
2024-08-03 09:31
7.3K
fdiff_11__t30_fdiff_11
2024-07-28 12:17
47K
fdiff_11__t30_fdiff_11.vout
2024-08-03 04:09
7.4K
fdiff_11__t31_fdiff_11
2024-07-28 12:18
47K
fdiff_11__t31_fdiff_11.vout
2024-08-03 05:00
7.4K
fdiff_11__t32_fdiff_11
2024-07-28 12:19
47K
fdiff_11__t32_fdiff_11.vout
2024-08-03 04:33
7.4K
fdiff_11__t33_fdiff_11
2024-07-28 12:21
50K
fdiff_11__t33_fdiff_11.vout
2024-08-03 06:50
7.4K
fdiff_11__t34_fdiff_11
2024-07-28 12:22
50K
fdiff_11__t34_fdiff_11.vout
2024-08-03 09:55
7.4K
fdiff_11__t35_fdiff_11
2024-07-28 12:23
50K
fdiff_11__t35_fdiff_11.vout
2024-08-03 04:27
7.3K
fdiff_11__t36_fdiff_11
2024-07-28 12:25
50K
fdiff_11__t36_fdiff_11.vout
2024-08-03 08:04
7.4K
fdiff_11__t37_fdiff_11
2024-07-28 12:26
46K
fdiff_11__t37_fdiff_11.vout
2024-08-03 09:50
7.3K
fdiff_11__t38_fdiff_11
2024-07-28 12:27
76K
fdiff_11__t38_fdiff_11.vout
2024-08-03 05:19
7.3K
fdiff_11__t39_fdiff_11
2024-07-28 12:28
34K
fdiff_11__t39_fdiff_11.vout
2024-08-03 05:15
7.3K
fdiff_11__t40_fdiff_11
2024-07-28 12:29
79K
fdiff_11__t40_fdiff_11.vout
2024-08-03 08:41
7.3K
fdiff_11__t41_fdiff_11
2024-07-28 12:31
34K
fdiff_11__t41_fdiff_11.vout
2024-08-03 09:58
7.3K
fdiff_11__t42_fdiff_11
2024-07-28 12:32
79K
fdiff_11__t42_fdiff_11.vout
2024-08-03 05:47
7.3K
fdiff_11__t43_fdiff_11
2024-07-28 12:33
50K
fdiff_11__t43_fdiff_11.vout
2024-08-03 04:53
7.3K
fdiff_11__t44_fdiff_11
2024-07-28 12:35
81K
fdiff_11__t44_fdiff_11.vout
2024-08-03 07:55
7.3K
fdiff_11__t45_fdiff_11
2024-07-28 12:36
50K
fdiff_11__t45_fdiff_11.vout
2024-08-03 04:39
7.4K
fdiff_11__t46_fdiff_11
2024-07-28 12:37
81K
fdiff_11__t46_fdiff_11.vout
2024-08-03 09:31
7.3K
fdiff_11__t47_fdiff_11
2024-07-28 12:39
50K
fdiff_11__t47_fdiff_11.vout
2024-08-03 07:04
7.4K
fdiff_11__t48_fdiff_11
2024-07-28 12:40
81K
fdiff_11__t48_fdiff_11.vout
2024-08-03 08:51
7.3K
fdiff_11__t49_fdiff_11
2024-07-28 12:41
50K
fdiff_11__t49_fdiff_11.vout
2024-08-03 07:05
7.4K
fdiff_11__t50_fdiff_11
2024-07-28 12:43
81K
fdiff_11__t50_fdiff_11.vout
2024-08-03 05:47
7.3K
fdiff_11__t51_fdiff_11
2024-07-28 12:44
37K
fdiff_11__t51_fdiff_11.vout
2024-08-03 06:00
7.3K
fdiff_11__t52_fdiff_11
2024-07-28 12:45
97K
fdiff_11__t52_fdiff_11.vout
2024-08-03 09:26
7.3K
fdiff_11__t53_fdiff_11
2024-07-28 12:47
59K
fdiff_11__t53_fdiff_11.vout
2024-08-03 06:01
4.7K
fdiff_11__t54_fdiff_11
2024-07-28 12:48
100K
fdiff_11__t54_fdiff_11.vout
2024-08-03 09:07
4.7K
fdiff_11__t55_fdiff_11
2024-07-28 12:49
27K
fdiff_11__t55_fdiff_11.vout
2024-08-03 04:49
7.9K
fdiff_11__t56_fdiff_11
2024-07-28 12:51
78K
fdiff_11__t56_fdiff_11.vout
2024-08-03 05:49
7.3K
fdiff_11__t57_fdiff_11
2024-07-28 12:52
27K
fdiff_11__t57_fdiff_11.vout
2024-08-03 04:59
7.9K
fdiff_11__t58_fdiff_11
2024-07-28 12:53
78K
fdiff_11__t58_fdiff_11.vout
2024-08-03 04:46
7.3K
fdiff_11__t59_fdiff_11
2024-07-28 12:54
27K
fdiff_11__t59_fdiff_11.vout
2024-08-03 09:02
7.9K
fdiff_11__t60_fdiff_11
2024-07-28 12:56
121K
fdiff_11__t60_fdiff_11.vout
2024-08-03 09:15
6.8K
fdiff_11__t61_fdiff_11
2024-07-28 12:57
46K
fdiff_11__t61_fdiff_11.vout
2024-08-03 10:03
7.4K
fdiff_11__t62_fdiff_11
2024-07-28 12:58
61K
fdiff_11__t62_fdiff_11.vout
2024-08-03 05:47
6.8K
fdiff_11__t63_fdiff_11
2024-07-28 13:00
60K
fdiff_11__t63_fdiff_11.vout
2024-08-03 09:14
7.3K
fdiff_11__t64_fdiff_11
2024-07-28 13:01
60K
fdiff_11__t64_fdiff_11.vout
2024-08-03 04:54
7.3K
fdiff_11__t65_fdiff_11
2024-07-28 13:02
104K
fdiff_11__t65_fdiff_11.vout
2024-08-03 07:07
6.8K
fdiff_11__t66_fdiff_11
2024-07-28 13:04
104K
fdiff_11__t66_fdiff_11.vout
2024-08-03 05:48
6.8K
fdiff_11__t67_fdiff_11
2024-07-28 13:05
45K
fdiff_11__t67_fdiff_11.vout
2024-08-03 08:53
4.7K
fdiff_11__t68_fdiff_11
2024-07-28 13:07
160K
fdiff_11__t68_fdiff_11.vout
2024-08-03 07:42
4.7K
fdiff_11__t69_fdiff_11
2024-07-28 13:08
97K
fdiff_11__t69_fdiff_11.vout
2024-08-03 05:10
7.3K
fdiff_11__t70_fdiff_11
2024-07-28 13:09
165K
fdiff_11__t70_fdiff_11.vout
2024-08-03 09:54
7.3K
fdiff_11__t71_fdiff_11
2024-07-28 13:11
132K
fdiff_11__t71_fdiff_11.vout
2024-08-03 10:12
7.4K
fdiff_11__t72_fdiff_11
2024-07-28 13:12
221K
fdiff_11__t72_fdiff_11.vout
2024-08-03 06:30
7.3K
fdiff_11__t73_fdiff_11
2024-07-28 13:13
419K
fdiff_11__t73_fdiff_11.vout
2024-08-03 10:01
7.4K
fdiff_11__t74_fdiff_11
2024-07-28 13:15
424K
fdiff_11__t74_fdiff_11.vout
2024-08-03 07:19
7.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80