Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ndiff_9
Name
Last modified
Size
Description
Parent Directory
-
ndiff_9__t1_ndiff_9
2024-07-27 09:56
70K
ndiff_9__t1_ndiff_9.vout
2024-08-03 07:55
7.3K
ndiff_9__t2_ndiff_9
2024-07-27 09:59
106K
ndiff_9__t2_ndiff_9.vout
2024-08-03 05:30
3.7K
ndiff_9__t3_ndiff_9
2024-07-27 10:02
222K
ndiff_9__t3_ndiff_9.vout
2024-08-03 07:28
4.7K
ndiff_9__t4_ndiff_9
2024-07-27 10:04
218K
ndiff_9__t4_ndiff_9.vout
2024-08-03 08:21
4.7K
ndiff_9__t5_ndiff_9
2024-07-27 10:06
34K
ndiff_9__t5_ndiff_9.vout
2024-08-03 06:53
6.8K
ndiff_9__t6_ndiff_9
2024-07-27 10:08
57K
ndiff_9__t6_ndiff_9.vout
2024-08-03 06:02
4.7K
ndiff_9__t8_ndiff_9
2024-07-27 10:09
36K
ndiff_9__t8_ndiff_9.vout
2024-08-03 06:41
4.1K
ndiff_9__t10_ndiff_9
2024-07-27 10:11
44K
ndiff_9__t10_ndiff_9.vout
2024-08-03 05:42
4.7K
ndiff_9__t11_ndiff_9
2024-07-27 10:13
55K
ndiff_9__t11_ndiff_9.vout
2024-08-03 05:16
4.7K
ndiff_9__t12_ndiff_9
2024-07-27 10:16
89K
ndiff_9__t12_ndiff_9.vout
2024-08-03 07:47
6.8K
ndiff_9__t13_ndiff_9
2024-07-27 10:18
62K
ndiff_9__t13_ndiff_9.vout
2024-08-03 05:32
4.1K
ndiff_9__t14_ndiff_9
2024-07-27 10:21
137K
ndiff_9__t14_ndiff_9.vout
2024-08-03 09:56
3.7K
ndiff_9__t16_ndiff_9
2024-07-27 10:24
153K
ndiff_9__t16_ndiff_9.vout
2024-08-03 06:06
4.7K
ndiff_9__t18_ndiff_9
2024-07-27 10:26
69K
ndiff_9__t18_ndiff_9.vout
2024-08-03 05:38
7.3K
ndiff_9__t19_ndiff_9
2024-07-27 10:29
103K
ndiff_9__t19_ndiff_9.vout
2024-08-03 08:10
3.7K
ndiff_9__t20_ndiff_9
2024-07-27 10:33
124K
ndiff_9__t20_ndiff_9.vout
2024-08-03 08:56
3.7K
ndiff_9__t21_ndiff_9
2024-07-27 10:36
126K
ndiff_9__t21_ndiff_9.vout
2024-08-03 05:21
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80