fmq/TLUSTY
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

0

Browse Source
This commit is contained in:
fmq
2026-07-21 22:25:14 +08:00
parent 15971a5e01
commit c53fc99c1d
298 changed files with 459694 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/tlusty/hhe/hhe35nl.69
+63
View File
@@ -0,0 +1,63 @@
0 1 0.25 0.25 FORMAL SOLUTION
1 2 0.51 0.26 LINEARIZATION
1 1 0.78 0.27 FORMAL SOLUTION
2 2 1.04 0.26 LINEARIZATION
2 1 1.30 0.26 FORMAL SOLUTION
3 2 1.55 0.25 LINEARIZATION
3 1 1.80 0.26 FORMAL SOLUTION
4 2 2.05 0.25 LINEARIZATION
4 1 2.30 0.24 FORMAL SOLUTION
5 2 2.35 0.05 LINEARIZATION
5 1 2.52 0.17 FORMAL SOLUTION
6 2 2.58 0.05 LINEARIZATION
6 1 2.75 0.17 FORMAL SOLUTION
6 1 2.91 0.17 FORMAL SOLUTION
7 2 3.16 0.25 LINEARIZATION
7 1 3.33 0.17 FORMAL SOLUTION
8 2 3.39 0.06 LINEARIZATION
8 1 3.54 0.16 FORMAL SOLUTION
9 2 3.60 0.06 LINEARIZATION
9 1 3.75 0.15 FORMAL SOLUTION
10 2 3.80 0.05 LINEARIZATION
10 1 3.96 0.16 FORMAL SOLUTION
10 1 4.12 0.16 FORMAL SOLUTION
11 2 4.37 0.25 LINEARIZATION
11 1 4.52 0.15 FORMAL SOLUTION
12 2 4.58 0.05 LINEARIZATION
12 1 4.73 0.15 FORMAL SOLUTION
13 2 4.78 0.06 LINEARIZATION
13 1 4.93 0.15 FORMAL SOLUTION
14 2 4.99 0.05 LINEARIZATION
14 1 5.14 0.15 FORMAL SOLUTION
14 1 5.30 0.16 FORMAL SOLUTION
15 2 5.56 0.25 LINEARIZATION
15 1 5.71 0.15 FORMAL SOLUTION
16 2 5.76 0.05 LINEARIZATION
16 1 5.91 0.15 FORMAL SOLUTION
17 2 5.96 0.05 LINEARIZATION
17 1 6.12 0.15 FORMAL SOLUTION
18 2 6.17 0.05 LINEARIZATION
18 1 6.32 0.15 FORMAL SOLUTION
18 1 6.48 0.16 FORMAL SOLUTION
19 2 6.53 0.06 LINEARIZATION
19 1 6.68 0.15 FORMAL SOLUTION
20 2 6.74 0.05 LINEARIZATION
20 1 6.89 0.15 FORMAL SOLUTION
21 2 6.94 0.05 LINEARIZATION
21 1 7.09 0.15 FORMAL SOLUTION
22 2 7.15 0.06 LINEARIZATION
22 1 7.30 0.15 FORMAL SOLUTION
22 1 7.45 0.15 FORMAL SOLUTION
23 2 7.51 0.06 LINEARIZATION
23 1 7.66 0.15 FORMAL SOLUTION
24 2 7.71 0.05 LINEARIZATION
24 1 7.86 0.15 FORMAL SOLUTION
25 2 7.92 0.05 LINEARIZATION
25 1 8.06 0.15 FORMAL SOLUTION
26 2 8.12 0.05 LINEARIZATION
26 1 8.27 0.15 FORMAL SOLUTION
26 1 8.42 0.15 FORMAL SOLUTION
27 2 8.47 0.06 LINEARIZATION
27 1 8.63 0.16 FORMAL SOLUTION
28 2 8.69 0.06 LINEARIZATION
28 1 8.84 0.15 FORMAL SOLUTION