Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/wellfnd1
Name
Last modified
Size
Description
Parent Directory
-
wellfnd1__t5_wellfnd1.depvmin1
2024-08-03 10:24
96
wellfnd1__t3_wellfnd1.depvmin1
2024-08-03 10:24
98
wellfnd1__t2_wellfnd1.depvmin1
2024-08-03 10:24
33
wellfnd1__t3_wellfnd1.vmin1out
2024-08-03 10:22
12K
wellfnd1__t5_wellfnd1.vmin1out
2024-08-03 10:21
28K
wellfnd1__t2_wellfnd1.vmin1out
2024-08-03 10:20
5.6K
wellfnd1__t5_wellfnd1.vmin1
2024-08-03 10:19
1.4K
wellfnd1__t3_wellfnd1.vmin1
2024-08-03 10:19
877
wellfnd1__t2_wellfnd1.vmin1
2024-08-03 10:19
523
wellfnd1__t5_wellfnd1.depv1
2024-08-03 10:19
96
wellfnd1__t3_wellfnd1.depv1
2024-08-03 10:19
98
wellfnd1__t2_wellfnd1.depv1
2024-08-03 10:19
33
wellfnd1__t9_wellfnd1.vout
2024-08-03 10:12
7.3K
wellfnd1__t4_wellfnd1.vout
2024-08-03 09:54
7.9K
wellfnd1__t12_wellfnd1.vout
2024-08-03 09:41
4.2K
wellfnd1__t1_wellfnd1.vout
2024-08-03 09:39
7.9K
wellfnd1__t5_wellfnd1.vout
2024-08-03 07:07
29K
wellfnd1__t10_wellfnd1.vout
2024-08-03 06:25
7.3K
wellfnd1__t11_wellfnd1.vout
2024-08-03 05:58
4.2K
wellfnd1__t8_wellfnd1.vout
2024-08-03 05:51
7.3K
wellfnd1__t3_wellfnd1.vout
2024-08-03 05:28
11K
wellfnd1__t13_wellfnd1.vout
2024-08-03 05:25
6.8K
wellfnd1__t14_wellfnd1.vout
2024-08-03 05:16
6.8K
wellfnd1__t2_wellfnd1.vout
2024-08-03 04:54
7.3K
wellfnd1__t6_wellfnd1.vout
2024-08-03 04:48
7.3K
wellfnd1__t7_wellfnd1.vout
2024-08-03 04:16
7.3K
wellfnd1__t14_wellfnd1
2024-07-28 22:37
26K
wellfnd1__t13_wellfnd1
2024-07-28 22:36
28K
wellfnd1__t12_wellfnd1
2024-07-28 22:35
37K
wellfnd1__t11_wellfnd1
2024-07-28 22:33
50K
wellfnd1__t10_wellfnd1
2024-07-28 22:30
21K
wellfnd1__t9_wellfnd1
2024-07-28 22:29
22K
wellfnd1__t8_wellfnd1
2024-07-28 22:28
19K
wellfnd1__t7_wellfnd1
2024-07-28 22:27
19K
wellfnd1__t6_wellfnd1
2024-07-28 22:26
20K
wellfnd1__t5_wellfnd1
2024-07-28 22:25
17K
wellfnd1__t4_wellfnd1
2024-07-28 22:24
15K
wellfnd1__t3_wellfnd1
2024-07-28 22:23
16K
wellfnd1__t2_wellfnd1
2024-07-28 22:22
13K
wellfnd1__t1_wellfnd1
2024-07-28 22:21
13K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80