Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/functor2
Name
Last modified
Size
Description
Parent Directory
-
functor2__l12_functor2
2024-07-27 17:59
18K
functor2__l12_functor2.depv1
2024-08-03 10:19
194
functor2__l12_functor2.depvmin1
2024-08-03 10:24
172
functor2__l12_functor2.vmin1
2024-08-03 10:20
5.0K
functor2__l12_functor2.vmin1out
2024-08-03 10:22
72K
functor2__l12_functor2.vout
2024-08-03 05:35
104K
functor2__l15_functor2
2024-07-27 18:00
20K
functor2__l15_functor2.vout
2024-08-03 05:36
6.8K
functor2__t1_functor2
2024-07-27 17:50
20K
functor2__t1_functor2.vout
2024-08-03 08:47
2.0K
functor2__t2_functor2
2024-07-27 17:51
12K
functor2__t2_functor2.vout
2024-08-03 09:54
2.0K
functor2__t3_functor2
2024-07-27 17:52
15K
functor2__t3_functor2.depv1
2024-08-03 10:19
163
functor2__t3_functor2.depvmin1
2024-08-03 10:24
163
functor2__t3_functor2.vmin1
2024-08-03 10:20
3.1K
functor2__t3_functor2.vmin1out
2024-08-03 10:22
73K
functor2__t3_functor2.vout
2024-08-03 04:52
53K
functor2__t4_functor2
2024-07-27 17:53
14K
functor2__t4_functor2.depv1
2024-08-03 10:19
90
functor2__t4_functor2.depvmin1
2024-08-03 10:24
90
functor2__t4_functor2.vmin1
2024-08-03 10:20
2.5K
functor2__t4_functor2.vmin1out
2024-08-03 10:21
44K
functor2__t4_functor2.vout
2024-08-03 07:48
45K
functor2__t5_functor2
2024-07-27 17:54
18K
functor2__t5_functor2.vout
2024-08-03 08:30
4.1K
functor2__t6_functor2
2024-07-27 17:55
17K
functor2__t6_functor2.vout
2024-08-03 07:42
4.2K
functor2__t7_functor2
2024-07-27 17:47
16K
functor2__t7_functor2.depv1
2024-08-03 10:19
36
functor2__t7_functor2.depvmin1
2024-08-03 10:24
36
functor2__t7_functor2.vmin1
2024-08-03 10:20
707
functor2__t7_functor2.vmin1out
2024-08-03 10:21
8.6K
functor2__t7_functor2.vout
2024-08-03 06:44
8.7K
functor2__t8_functor2
2024-07-27 17:57
20K
functor2__t8_functor2.vout
2024-08-03 07:40
2.0K
functor2__t9_functor2
2024-07-27 17:48
20K
functor2__t9_functor2.depv1
2024-08-03 10:19
76
functor2__t9_functor2.depvmin1
2024-08-03 10:24
76
functor2__t9_functor2.vmin1
2024-08-03 10:20
2.9K
functor2__t9_functor2.vmin1out
2024-08-03 10:22
50K
functor2__t9_functor2.vout
2024-08-03 04:49
56K
functor2__t10_functor2
2024-07-27 17:49
19K
functor2__t10_functor2.depv1
2024-08-03 10:19
67
functor2__t10_functor2.depvmin1
2024-08-03 10:24
67
functor2__t10_functor2.vmin1
2024-08-03 10:20
3.5K
functor2__t10_functor2.vmin1out
2024-08-03 10:22
79K
functor2__t10_functor2.vout
2024-08-03 04:15
79K
functor2__t11_functor2
2024-07-27 17:58
22K
functor2__t11_functor2.depv1
2024-08-03 10:19
187
functor2__t11_functor2.depvmin1
2024-08-03 10:24
187
functor2__t11_functor2.vmin1
2024-08-03 10:20
6.4K
functor2__t11_functor2.vmin1out
2024-08-03 10:21
77K
functor2__t11_functor2.vout
2024-08-03 06:21
470K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80