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