Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/prob_2
Name
Last modified
Size
Description
Parent Directory
-
prob_2__l10_prob_2
2024-07-27 16:15
23K
prob_2__l10_prob_2.vout
2024-08-03 06:00
8.3K
prob_2__l13_prob_2
2024-07-27 16:17
52K
prob_2__l13_prob_2.vout
2024-08-03 07:46
6.8K
prob_2__t2_prob_2
2024-07-27 15:36
26K
prob_2__t2_prob_2.vout
2024-08-03 09:06
7.3K
prob_2__t3_prob_2
2024-07-27 15:37
26K
prob_2__t3_prob_2.vout
2024-08-03 04:53
7.3K
prob_2__t4_prob_2
2024-07-27 15:39
22K
prob_2__t4_prob_2.vout
2024-08-03 09:33
2.0K
prob_2__t5_prob_2
2024-07-27 15:40
25K
prob_2__t5_prob_2.vout
2024-08-03 07:15
6.8K
prob_2__t6_prob_2
2024-07-27 15:41
38K
prob_2__t6_prob_2.vout
2024-08-03 04:44
2.0K
prob_2__t7_prob_2
2024-07-27 15:42
38K
prob_2__t7_prob_2.vout
2024-08-03 08:15
2.0K
prob_2__t8_prob_2
2024-07-27 15:44
23K
prob_2__t8_prob_2.vout
2024-08-03 09:41
8.3K
prob_2__t9_prob_2
2024-07-27 15:45
19K
prob_2__t9_prob_2.vout
2024-08-03 10:09
4.1K
prob_2__t10_prob_2
2024-07-27 15:46
62K
prob_2__t10_prob_2.vout
2024-08-03 05:04
6.8K
prob_2__t11_prob_2
2024-07-27 15:48
35K
prob_2__t11_prob_2.vout
2024-08-03 04:56
2.0K
prob_2__t12_prob_2
2024-07-27 15:29
25K
prob_2__t12_prob_2.depv1
2024-08-03 10:19
120
prob_2__t12_prob_2.depvmin1
2024-08-03 10:24
94
prob_2__t12_prob_2.vmin1
2024-08-03 10:19
1.8K
prob_2__t12_prob_2.vmin1out
2024-08-03 10:20
19K
prob_2__t12_prob_2.vout
2024-08-03 04:37
15K
prob_2__t13_prob_2
2024-07-27 15:30
22K
prob_2__t13_prob_2.vout
2024-08-03 04:19
2.0K
prob_2__t14_prob_2
2024-07-27 15:49
40K
prob_2__t14_prob_2.vout
2024-08-03 05:26
2.0K
prob_2__t15_prob_2
2024-07-27 15:51
43K
prob_2__t15_prob_2.vout
2024-08-03 06:36
2.0K
prob_2__t16_prob_2
2024-07-27 15:52
28K
prob_2__t16_prob_2.vout
2024-08-03 10:01
2.0K
prob_2__t17_prob_2
2024-07-27 15:53
29K
prob_2__t17_prob_2.depv1
2024-08-03 10:19
298
prob_2__t17_prob_2.depvmin1
2024-08-03 10:24
228
prob_2__t17_prob_2.vmin1
2024-08-03 10:19
3.3K
prob_2__t17_prob_2.vmin1out
2024-08-03 10:20
34K
prob_2__t17_prob_2.vout
2024-08-03 04:28
39K
prob_2__t18_prob_2
2024-07-27 15:54
29K
prob_2__t18_prob_2.vout
2024-08-03 09:23
2.0K
prob_2__t19_prob_2
2024-07-27 15:31
23K
prob_2__t19_prob_2.vout
2024-08-03 06:00
2.0K
prob_2__t20_prob_2
2024-07-27 15:32
23K
prob_2__t20_prob_2.depv1
2024-08-03 10:19
31
prob_2__t20_prob_2.depvmin1
2024-08-03 10:24
31
prob_2__t20_prob_2.vmin1
2024-08-03 10:19
2.1K
prob_2__t20_prob_2.vmin1out
2024-08-03 10:21
69K
prob_2__t20_prob_2.vout
2024-08-03 10:14
77K
prob_2__t21_prob_2
2024-07-27 15:33
26K
prob_2__t21_prob_2.vout
2024-08-03 04:09
2.0K
prob_2__t22_prob_2
2024-07-27 15:35
26K
prob_2__t22_prob_2.vout
2024-08-03 08:42
2.0K
prob_2__t23_prob_2
2024-07-27 15:55
26K
prob_2__t23_prob_2.vout
2024-08-03 07:33
2.0K
prob_2__t24_prob_2
2024-07-27 15:57
23K
prob_2__t24_prob_2.vout
2024-08-03 08:03
2.0K
prob_2__t25_prob_2
2024-07-27 15:58
32K
prob_2__t25_prob_2.vout
2024-08-03 04:14
2.0K
prob_2__t26_prob_2
2024-07-27 15:59
26K
prob_2__t26_prob_2.vout
2024-08-03 05:23
2.0K
prob_2__t27_prob_2
2024-07-27 16:01
46K
prob_2__t27_prob_2.vout
2024-08-03 06:32
2.0K
prob_2__t28_prob_2
2024-07-27 16:02
42K
prob_2__t28_prob_2.vout
2024-08-03 07:58
2.0K
prob_2__t30_prob_2
2024-07-27 16:03
25K
prob_2__t30_prob_2.vout
2024-08-03 09:07
2.0K
prob_2__t31_prob_2
2024-07-27 16:05
29K
prob_2__t31_prob_2.depv1
2024-08-03 10:19
140
prob_2__t31_prob_2.depvmin1
2024-08-03 10:24
140
prob_2__t31_prob_2.vmin1
2024-08-03 10:19
2.9K
prob_2__t31_prob_2.vmin1out
2024-08-03 10:23
56K
prob_2__t31_prob_2.vout
2024-08-03 06:06
56K
prob_2__t32_prob_2
2024-07-27 16:06
44K
prob_2__t32_prob_2.vout
2024-08-03 05:09
2.0K
prob_2__t34_prob_2
2024-07-27 16:07
50K
prob_2__t34_prob_2.vout
2024-08-03 08:35
7.3K
prob_2__t35_prob_2
2024-07-27 16:09
32K
prob_2__t35_prob_2.vout
2024-08-03 09:46
7.3K
prob_2__t36_prob_2
2024-07-27 16:10
27K
prob_2__t36_prob_2.depv1
2024-08-03 10:19
178
prob_2__t36_prob_2.depvmin1
2024-08-03 10:24
178
prob_2__t36_prob_2.vmin1
2024-08-03 10:19
3.2K
prob_2__t36_prob_2.vmin1out
2024-08-03 10:21
55K
prob_2__t36_prob_2.vout
2024-08-03 06:37
55K
prob_2__t37_prob_2
2024-07-27 16:11
29K
prob_2__t37_prob_2.depv1
2024-08-03 10:19
117
prob_2__t37_prob_2.depvmin1
2024-08-03 10:24
117
prob_2__t37_prob_2.vmin1
2024-08-03 10:19
3.5K
prob_2__t37_prob_2.vmin1out
2024-08-03 10:21
69K
prob_2__t37_prob_2.vout
2024-08-03 04:11
78K
prob_2__t38_prob_2
2024-07-27 16:13
33K
prob_2__t38_prob_2.depv1
2024-08-03 10:19
93
prob_2__t38_prob_2.depvmin1
2024-08-03 10:24
93
prob_2__t38_prob_2.vmin1
2024-08-03 10:19
4.5K
prob_2__t38_prob_2.vmin1out
2024-08-03 10:21
102K
prob_2__t38_prob_2.vout
2024-08-03 09:26
93K
prob_2__t39_prob_2
2024-07-27 16:14
35K
prob_2__t39_prob_2.vout
2024-08-03 06:37
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80