Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/lopban_8
Name
Last modified
Size
Description
Parent Directory
-
lopban_8__t1_lopban_8
2024-07-28 20:42
163K
lopban_8__t1_lopban_8.vout
2024-08-03 09:52
7.3K
lopban_8__t2_lopban_8
2024-07-28 20:44
82K
lopban_8__t2_lopban_8.vout
2024-08-03 05:48
7.3K
lopban_8__t5_lopban_8
2024-07-28 20:46
32K
lopban_8__t5_lopban_8.depv1
2024-08-03 10:19
289
lopban_8__t5_lopban_8.depvmin1
2024-08-03 10:24
289
lopban_8__t5_lopban_8.vmin1
2024-08-03 10:20
3.8K
lopban_8__t5_lopban_8.vmin1out
2024-08-03 10:20
63K
lopban_8__t5_lopban_8.vout
2024-08-03 09:26
48K
lopban_8__t6_lopban_8
2024-07-28 20:47
32K
lopban_8__t6_lopban_8.depv1
2024-08-03 10:19
289
lopban_8__t6_lopban_8.depvmin1
2024-08-03 10:24
289
lopban_8__t6_lopban_8.vmin1
2024-08-03 10:20
3.8K
lopban_8__t6_lopban_8.vmin1out
2024-08-03 10:20
63K
lopban_8__t6_lopban_8.vout
2024-08-03 04:16
48K
lopban_8__t7_lopban_8
2024-07-28 20:48
32K
lopban_8__t7_lopban_8.depv1
2024-08-03 10:19
137
lopban_8__t7_lopban_8.depvmin1
2024-08-03 10:24
137
lopban_8__t7_lopban_8.vmin1
2024-08-03 10:20
2.0K
lopban_8__t7_lopban_8.vmin1out
2024-08-03 10:22
36K
lopban_8__t7_lopban_8.vout
2024-08-03 05:27
26K
lopban_8__t8_lopban_8
2024-07-28 20:50
32K
lopban_8__t8_lopban_8.depv1
2024-08-03 10:19
137
lopban_8__t8_lopban_8.depvmin1
2024-08-03 10:24
137
lopban_8__t8_lopban_8.vmin1
2024-08-03 10:20
2.0K
lopban_8__t8_lopban_8.vmin1out
2024-08-03 10:20
36K
lopban_8__t8_lopban_8.vout
2024-08-03 07:04
26K
lopban_8__t11_lopban_8
2024-07-28 20:36
46K
lopban_8__t11_lopban_8.vout
2024-08-03 07:56
3.2K
lopban_8__t12_lopban_8
2024-07-28 20:38
48K
lopban_8__t12_lopban_8.vout
2024-08-03 04:08
3.2K
lopban_8__t13_lopban_8
2024-07-28 20:53
118K
lopban_8__t13_lopban_8.vout
2024-08-03 10:11
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80