ChengsongTanPhdThesis/re-js.data
author Christian Urban <christian.urban@kcl.ac.uk>
Mon, 13 Mar 2023 12:39:03 +0000
changeset 645 304a12cdda6f
parent 468 a0f27e21b42c
permissions -rw-r--r--
added Asperti paper
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
468
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     1
%% LaTeX2e file `re-js.data'
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     2
%% generated by the `filecontents' environment
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     3
%% from source `main' on 2022/03/16.
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     4
%%
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     5
5   0.061
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     6
10  0.061
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     7
15  0.061
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     8
20  0.070
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
     9
23  0.131
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
    10
25  0.308
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
    11
26  0.564
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
    12
28  1.994
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
    13
30  7.648
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
    14
31  15.881
a0f27e21b42c all texrelated
Chengsong
parents:
diff changeset
    15
32  32.190