Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fdiff_9
Name
Last modified
Size
Description
Parent Directory
-
fdiff_9__t45_fdiff_9.vout
2021-07-25 19:49
7.3K
fdiff_9__t45_fdiff_9
2021-07-18 05:47
50K
fdiff_9__t44_fdiff_9.vout
2021-07-25 15:18
7.3K
fdiff_9__t44_fdiff_9
2021-07-18 05:46
50K
fdiff_9__t43_fdiff_9.vout
2021-07-25 14:42
7.3K
fdiff_9__t43_fdiff_9
2021-07-18 05:46
50K
fdiff_9__t42_fdiff_9.vout
2021-07-25 17:09
7.3K
fdiff_9__t42_fdiff_9
2021-07-18 05:46
41K
fdiff_9__t41_fdiff_9.vout
2021-07-25 20:57
7.8K
fdiff_9__t41_fdiff_9
2021-07-18 05:45
46K
fdiff_9__t40_fdiff_9.vout
2021-07-25 18:56
7.8K
fdiff_9__t40_fdiff_9
2021-07-18 05:45
46K
fdiff_9__t39_fdiff_9.vout
2021-07-25 19:49
7.8K
fdiff_9__t39_fdiff_9
2021-07-18 05:44
46K
fdiff_9__t38_fdiff_9.vout
2021-07-25 16:36
7.9K
fdiff_9__t38_fdiff_9
2021-07-18 05:44
38K
fdiff_9__t37_fdiff_9.vout
2021-07-25 18:15
8.4K
fdiff_9__t37_fdiff_9
2021-07-18 05:44
45K
fdiff_9__t36_fdiff_9.vout
2021-07-25 20:26
8.4K
fdiff_9__t36_fdiff_9
2021-07-18 05:43
45K
fdiff_9__t35_fdiff_9.vout
2021-07-25 18:51
8.4K
fdiff_9__t35_fdiff_9
2021-07-18 05:43
45K
fdiff_9__t34_fdiff_9.vout
2021-07-25 17:35
8.4K
fdiff_9__t34_fdiff_9
2021-07-18 05:43
37K
fdiff_9__t33_fdiff_9.vout
2021-07-25 17:01
7.3K
fdiff_9__t33_fdiff_9
2021-07-18 05:42
51K
fdiff_9__t32_fdiff_9.vout
2021-07-25 16:53
7.3K
fdiff_9__t32_fdiff_9
2021-07-18 05:42
51K
fdiff_9__t31_fdiff_9.vout
2021-07-25 17:36
7.3K
fdiff_9__t31_fdiff_9
2021-07-18 05:42
59K
fdiff_9__t30_fdiff_9.vout
2021-07-25 18:32
7.3K
fdiff_9__t30_fdiff_9
2021-07-18 05:41
47K
fdiff_9__t29_fdiff_9.vout
2021-07-25 15:59
6.8K
fdiff_9__t29_fdiff_9
2021-07-18 05:41
49K
fdiff_9__t28_fdiff_9.vout
2021-07-25 19:12
6.8K
fdiff_9__t28_fdiff_9
2021-07-18 05:40
41K
fdiff_9__t27_fdiff_9.vout
2021-07-25 15:05
6.8K
fdiff_9__t27_fdiff_9
2021-07-18 05:40
61K
fdiff_9__t26_fdiff_9.vout
2021-07-25 18:54
6.8K
fdiff_9__t26_fdiff_9
2021-07-18 05:39
61K
fdiff_9__t25_fdiff_9.vout
2021-07-25 16:29
7.3K
fdiff_9__t25_fdiff_9
2021-07-18 05:39
48K
fdiff_9__t24_fdiff_9.vout
2021-07-25 20:29
7.3K
fdiff_9__t24_fdiff_9
2021-07-18 05:39
40K
fdiff_9__t23_fdiff_9.vout
2021-07-25 18:05
7.3K
fdiff_9__t23_fdiff_9
2021-07-18 05:38
56K
fdiff_9__t22_fdiff_9.vout
2021-07-25 17:38
7.3K
fdiff_9__t22_fdiff_9
2021-07-18 05:38
54K
fdiff_9__t21_fdiff_9.vout
2021-07-25 16:48
6.8K
fdiff_9__t21_fdiff_9
2021-07-18 05:37
96K
fdiff_9__t20_fdiff_9.vout
2021-07-25 20:08
6.8K
fdiff_9__t20_fdiff_9
2021-07-18 05:37
96K
fdiff_9__t19_fdiff_9.vout
2021-07-25 18:05
6.8K
fdiff_9__t19_fdiff_9
2021-07-18 05:37
58K
fdiff_9__t18_fdiff_9.vout
2021-07-25 19:48
6.8K
fdiff_9__t18_fdiff_9
2021-07-18 05:36
47K
fdiff_9__t17_fdiff_9.vout
2021-07-25 18:20
7.8K
fdiff_9__t17_fdiff_9
2021-07-18 05:36
45K
fdiff_9__t16_fdiff_9.vout
2021-07-25 17:23
8.4K
fdiff_9__t16_fdiff_9
2021-07-18 05:35
37K
fdiff_9__t15_fdiff_9.vout
2021-07-25 15:20
7.3K
fdiff_9__t15_fdiff_9
2021-07-18 05:35
56K
fdiff_9__t14_fdiff_9.vout
2021-07-25 15:55
7.3K
fdiff_9__t14_fdiff_9
2021-07-18 05:35
44K
fdiff_9__t13_fdiff_9.vout
2021-07-25 18:26
7.8K
fdiff_9__t13_fdiff_9
2021-07-18 05:34
45K
fdiff_9__t12_fdiff_9.vout
2021-07-25 18:24
8.4K
fdiff_9__t12_fdiff_9
2021-07-18 05:34
37K
fdiff_9__t11_fdiff_9.vout
2021-07-25 18:44
6.8K
fdiff_9__t11_fdiff_9
2021-07-18 05:33
54K
fdiff_9__t10_fdiff_9.vout
2021-07-25 15:29
6.8K
fdiff_9__t10_fdiff_9
2021-07-18 05:33
54K
fdiff_9__t9_fdiff_9.vout
2021-07-25 20:21
6.8K
fdiff_9__t9_fdiff_9
2021-07-18 05:33
50K
fdiff_9__t8_fdiff_9.vout
2021-07-25 19:41
6.8K
fdiff_9__t8_fdiff_9
2021-07-18 05:32
50K
fdiff_9__t7_fdiff_9.vout
2021-07-25 20:33
7.3K
fdiff_9__t7_fdiff_9
2021-07-18 05:32
46K
fdiff_9__t6_fdiff_9.vout
2021-07-25 18:58
7.3K
fdiff_9__t6_fdiff_9
2021-07-18 05:31
37K
fdiff_9__t5_fdiff_9.vout
2021-07-25 19:08
42K
fdiff_9__t5_fdiff_9.vmin1out
2021-07-25 21:01
36K
fdiff_9__t5_fdiff_9.vmin1
2021-07-25 20:57
3.6K
fdiff_9__t5_fdiff_9.depvmin1
2021-07-25 21:03
293
fdiff_9__t5_fdiff_9.depv1
2021-07-25 20:57
335
fdiff_9__t5_fdiff_9
2021-07-18 05:31
39K
fdiff_9__t4_fdiff_9.vout
2021-07-25 16:28
42K
fdiff_9__t4_fdiff_9.vmin1out
2021-07-25 20:59
36K
fdiff_9__t4_fdiff_9.vmin1
2021-07-25 20:57
3.6K
fdiff_9__t4_fdiff_9.depvmin1
2021-07-25 21:03
293
fdiff_9__t4_fdiff_9.depv1
2021-07-25 20:57
335
fdiff_9__t4_fdiff_9
2021-07-18 05:31
31K
fdiff_9__t3_fdiff_9.vout
2021-07-25 19:20
17K
fdiff_9__t3_fdiff_9.vmin1out
2021-07-25 21:00
8.6K
fdiff_9__t3_fdiff_9.vmin1
2021-07-25 20:57
850
fdiff_9__t3_fdiff_9.depvmin1
2021-07-25 21:03
83
fdiff_9__t3_fdiff_9.depv1
2021-07-25 20:57
83
fdiff_9__t3_fdiff_9
2021-07-18 05:30
13K
fdiff_9__t2_fdiff_9.vout
2021-07-25 20:28
13K
fdiff_9__t2_fdiff_9.vmin1out
2021-07-25 21:00
10K
fdiff_9__t2_fdiff_9.vmin1
2021-07-25 20:57
1.1K
fdiff_9__t2_fdiff_9.depvmin1
2021-07-25 21:03
61
fdiff_9__t2_fdiff_9.depv1
2021-07-25 20:57
61
fdiff_9__t2_fdiff_9
2021-07-18 05:30
38K
fdiff_9__t1_fdiff_9.vout
2021-07-25 16:37
2.0K
fdiff_9__t1_fdiff_9
2021-07-18 05:30
38K
fdiff_9__l16_fdiff_9.vout
2021-07-25 20:48
23K
fdiff_9__l16_fdiff_9.vmin1out
2021-07-25 21:01
20K
fdiff_9__l16_fdiff_9.vmin1
2021-07-25 20:57
1.5K
fdiff_9__l16_fdiff_9.depvmin1
2021-07-25 21:03
229
fdiff_9__l16_fdiff_9.depv1
2021-07-25 20:57
229
fdiff_9__l16_fdiff_9
2021-07-18 05:29
12K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80