Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/scpqsort
Name
Last modified
Size
Description
Parent Directory
-
scpqsort__l2_scpqsort
2025-09-12 17:45
72K
scpqsort__l3_scpqsort
2025-09-12 17:47
85K
scpqsort__l11_scpqsort
2025-09-12 17:51
970K
scpqsort__l12_scpqsort
2025-09-12 17:54
306K
scpqsort__l13_scpqsort
2025-09-12 17:56
321K
scpqsort__l16_scpqsort
2025-09-12 17:59
169K
scpqsort__l17_scpqsort
2025-09-12 18:02
427K
scpqsort__l18_scpqsort
2025-09-12 18:05
1.7M
scpqsort__l19_scpqsort
2025-09-12 18:08
1.2M
scpqsort__l20_scpqsort
2025-09-12 18:10
148K
scpqsort__l21_scpqsort
2025-09-12 18:13
169K
scpqsort__l22_scpqsort
2025-09-12 18:15
148K
scpqsort__l23_scpqsort
2025-09-12 18:18
427K
scpqsort__l24_scpqsort
2025-09-12 18:22
1.7M
scpqsort__l25_scpqsort
2025-09-12 18:24
420K
scpqsort__l26_scpqsort
2025-09-12 18:27
208K
scpqsort__l27_scpqsort
2025-09-12 18:29
150K
scpqsort__l29_scpqsort
2025-09-12 18:32
437K
scpqsort__l30_scpqsort
2025-09-12 18:35
1.4M
scpqsort__l31_scpqsort
2025-09-12 18:36
22K
scpqsort__l32_scpqsort
2025-09-12 18:36
33K
scpqsort__l33_scpqsort
2025-09-12 18:37
44K
scpqsort__l34_scpqsort
2025-09-12 18:39
102K
scpqsort__l35_scpqsort
2025-09-12 18:41
55K
scpqsort__l36_scpqsort
2025-09-12 18:45
1.8M
scpqsort__l37_scpqsort
2025-09-12 18:48
1.3M
scpqsort__l38_scpqsort
2025-09-12 18:50
365K
scpqsort__l42_scpqsort
2025-09-12 18:56
2.3M
scpqsort__t1_scpqsort
2025-09-12 17:16
93K
scpqsort__t2_scpqsort
2025-09-12 17:19
256K
scpqsort__t3_scpqsort
2025-09-12 17:22
154K
scpqsort__t4_scpqsort
2025-09-12 17:24
65K
scpqsort__t5_scpqsort
2025-09-12 17:26
97K
scpqsort__t6_scpqsort
2025-09-12 17:28
101K
scpqsort__t7_scpqsort
2025-09-12 17:30
120K
scpqsort__t8_scpqsort
2025-09-12 17:31
62K
scpqsort__t9_scpqsort
2025-09-12 17:34
195K
scpqsort__t10_scpqsort
2025-09-12 17:37
1.3M
scpqsort__t11_scpqsort
2025-09-12 17:40
1.7M
scpqsort__t12_scpqsort
2025-09-12 17:09
100K
scpqsort__t13_scpqsort
2025-09-12 17:11
206K
scpqsort__t14_scpqsort
2025-09-12 17:43
225K
scpqsort__t15_scpqsort
2025-09-12 17:14
207K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80