Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/osafree
Name
Last modified
Size
Description
Parent Directory
-
osafree__t1_osafree
2024-07-26 17:11
41K
osafree__t1_osafree.vout
2024-08-03 08:20
5.8K
osafree__t2_osafree
2024-07-26 17:13
41K
osafree__t2_osafree.vout
2024-08-03 09:54
4.7K
osafree__t3_osafree
2024-07-26 17:15
52K
osafree__t3_osafree.vout
2024-08-03 08:13
4.2K
osafree__t4_osafree
2024-07-26 17:17
39K
osafree__t4_osafree.vout
2024-08-03 06:17
4.7K
osafree__t5_osafree
2024-07-26 17:20
59K
osafree__t5_osafree.vout
2024-08-03 09:46
4.2K
osafree__t6_osafree
2024-07-26 17:22
54K
osafree__t6_osafree.vout
2024-08-03 04:53
7.3K
osafree__t7_osafree
2024-07-26 17:25
65K
osafree__t7_osafree.vout
2024-08-03 05:07
4.2K
osafree__t8_osafree
2024-07-26 17:27
53K
osafree__t8_osafree.vout
2024-08-03 07:37
4.2K
osafree__t9_osafree
2024-07-26 19:04
51K
osafree__t9_osafree.vout
2024-08-03 04:26
7.3K
osafree__t10_osafree
2024-07-26 17:30
54K
osafree__t10_osafree.vout
2024-08-03 05:52
4.2K
osafree__t11_osafree
2024-07-26 17:32
72K
osafree__t11_osafree.vout
2024-08-03 05:33
3.7K
osafree__t12_osafree
2024-07-26 17:35
70K
osafree__t12_osafree.vout
2024-08-03 07:54
7.3K
osafree__t13_osafree
2024-07-26 17:37
59K
osafree__t13_osafree.vout
2024-08-03 06:49
7.3K
osafree__t14_osafree
2024-07-26 17:39
48K
osafree__t14_osafree.vout
2024-08-03 09:54
7.3K
osafree__t15_osafree
2024-07-26 17:41
51K
osafree__t15_osafree.vout
2024-08-03 09:17
4.7K
osafree__t16_osafree
2024-07-26 17:43
50K
osafree__t16_osafree.vout
2024-08-03 08:14
4.7K
osafree__t17_osafree
2024-07-26 17:46
64K
osafree__t17_osafree.vout
2024-08-03 10:01
4.7K
osafree__t18_osafree
2024-07-26 17:48
63K
osafree__t18_osafree.vout
2024-08-03 07:41
7.3K
osafree__t19_osafree
2024-07-26 17:51
89K
osafree__t19_osafree.vout
2024-08-03 08:23
4.2K
osafree__t20_osafree
2024-07-26 17:54
80K
osafree__t20_osafree.vout
2024-08-03 09:43
4.2K
osafree__t21_osafree
2024-07-26 17:57
82K
osafree__t21_osafree.vout
2024-08-03 09:05
4.2K
osafree__t22_osafree
2024-07-26 18:00
92K
osafree__t22_osafree.vout
2024-08-03 10:08
4.2K
osafree__t23_osafree
2024-07-26 18:02
41K
osafree__t23_osafree.vout
2024-08-03 07:42
7.3K
osafree__t24_osafree
2024-07-26 18:05
61K
osafree__t24_osafree.vout
2024-08-03 06:20
7.3K
osafree__t25_osafree
2024-07-26 18:07
66K
osafree__t25_osafree.vout
2024-08-03 05:49
7.3K
osafree__t26_osafree
2024-07-26 18:11
115K
osafree__t26_osafree.vout
2024-08-03 07:07
4.2K
osafree__t27_osafree
2024-07-26 18:14
66K
osafree__t27_osafree.vout
2024-08-03 09:13
4.7K
osafree__t28_osafree
2024-07-26 19:06
50K
osafree__t28_osafree.vout
2024-08-03 10:13
3.7K
osafree__t29_osafree
2024-07-26 18:15
41K
osafree__t29_osafree.vout
2024-08-03 08:18
4.7K
osafree__t30_osafree
2024-07-26 19:08
62K
osafree__t30_osafree.vout
2024-08-03 04:52
3.7K
osafree__t31_osafree
2024-07-26 18:17
51K
osafree__t31_osafree.vout
2024-08-03 09:54
4.7K
osafree__t32_osafree
2024-07-26 18:19
61K
osafree__t32_osafree.vout
2024-08-03 08:13
7.3K
osafree__t33_osafree
2024-07-26 18:22
85K
osafree__t33_osafree.vout
2024-08-03 06:23
6.8K
osafree__t34_osafree
2024-07-26 18:25
65K
osafree__t34_osafree.vout
2024-08-03 04:12
6.8K
osafree__t35_osafree
2024-07-26 18:27
66K
osafree__t35_osafree.vout
2024-08-03 09:09
4.7K
osafree__t36_osafree
2024-07-26 18:30
64K
osafree__t36_osafree.vout
2024-08-03 05:24
4.2K
osafree__t37_osafree
2024-07-26 18:34
105K
osafree__t37_osafree.vout
2024-08-03 04:11
3.7K
osafree__t38_osafree
2024-07-26 18:37
104K
osafree__t38_osafree.vout
2024-08-03 08:38
5.3K
osafree__t39_osafree
2024-07-26 18:39
50K
osafree__t39_osafree.depv1
2024-08-03 10:19
65
osafree__t39_osafree.depvmin1
2024-08-03 10:24
65
osafree__t39_osafree.vmin1
2024-08-03 10:19
1.9K
osafree__t39_osafree.vmin1out
2024-08-03 10:23
28K
osafree__t39_osafree.vout
2024-08-03 07:19
38K
osafree__t40_osafree
2024-07-26 18:43
128K
osafree__t40_osafree.vout
2024-08-03 06:17
3.7K
osafree__t41_osafree
2024-07-26 18:47
105K
osafree__t41_osafree.vout
2024-08-03 10:14
3.7K
osafree__t42_osafree
2024-07-26 18:49
80K
osafree__t42_osafree.vout
2024-08-03 09:45
7.3K
osafree__t43_osafree
2024-07-26 18:52
79K
osafree__t43_osafree.depv1
2024-08-03 10:19
209
osafree__t43_osafree.depvmin1
2024-08-03 10:24
209
osafree__t43_osafree.vmin1
2024-08-03 10:19
6.7K
osafree__t43_osafree.vmin1out
2024-08-03 10:22
95K
osafree__t43_osafree.vout
2024-08-03 07:12
100K
osafree__t44_osafree
2024-07-26 18:55
98K
osafree__t44_osafree.vout
2024-08-03 06:55
4.2K
osafree__t45_osafree
2024-07-26 18:58
89K
osafree__t45_osafree.vout
2024-08-03 04:20
5.3K
osafree__t46_osafree
2024-07-26 19:00
50K
osafree__t46_osafree.vout
2024-08-03 06:26
4.7K
osafree__t47_osafree
2024-07-26 19:02
46K
osafree__t47_osafree.vout
2024-08-03 07:21
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80