Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/integr10
Name
Last modified
Size
Description
Parent Directory
-
integr10__t1_integr10
2024-07-27 19:47
34K
integr10__t1_integr10.vout
2024-08-03 08:06
2.0K
integr10__t2_integr10
2024-07-27 19:48
32K
integr10__t2_integr10.vout
2024-08-03 09:49
2.0K
integr10__t3_integr10
2024-07-27 19:50
44K
integr10__t3_integr10.vout
2024-08-03 04:10
3.2K
integr10__t4_integr10
2024-07-27 19:52
108K
integr10__t4_integr10.vout
2024-08-03 07:08
7.3K
integr10__t5_integr10
2024-07-27 19:53
37K
integr10__t5_integr10.vout
2024-08-03 10:18
6.8K
integr10__t6_integr10
2024-07-27 19:55
231K
integr10__t6_integr10.vout
2024-08-03 08:43
7.3K
integr10__t7_integr10
2024-07-27 19:56
37K
integr10__t7_integr10.vout
2024-08-03 09:39
7.3K
integr10__t8_integr10
2024-07-27 19:58
65K
integr10__t8_integr10.vout
2024-08-03 07:50
7.3K
integr10__t9_integr10
2024-07-27 20:00
37K
integr10__t9_integr10.vout
2024-08-03 08:36
7.3K
integr10__t10_integr10
2024-07-27 20:02
65K
integr10__t10_integr10.vout
2024-08-03 05:06
7.3K
integr10__t11_integr10
2024-07-27 20:03
37K
integr10__t11_integr10.vout
2024-08-03 05:50
7.3K
integr10__t12_integr10
2024-07-27 20:05
109K
integr10__t12_integr10.vout
2024-08-03 04:19
6.8K
integr10__t13_integr10
2024-07-27 20:07
108K
integr10__t13_integr10.vout
2024-08-03 07:20
6.8K
integr10__t14_integr10
2024-07-27 20:08
45K
integr10__t14_integr10.vout
2024-08-03 06:34
4.7K
integr10__t15_integr10
2024-07-27 20:10
42K
integr10__t15_integr10.vout
2024-08-03 05:50
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80