ChengsongTanPhdThesis/re-dart.data
author Chengsong
Mon, 10 Jul 2023 01:33:45 +0100
changeset 660 eddc4eaba7c4
parent 610 d028c662a3df
permissions -rw-r--r--
addresses Gerog "N_r meaning and relation with backtracking?" comment
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
610
d028c662a3df data files
Chengsong
parents:
diff changeset
     1
%% LaTeX2e file `re-dart.data'
d028c662a3df data files
Chengsong
parents:
diff changeset
     2
%% generated by the `filecontents' environment
d028c662a3df data files
Chengsong
parents:
diff changeset
     3
%% from source `slides01' on 2022/03/16.
d028c662a3df data files
Chengsong
parents:
diff changeset
     4
%%
d028c662a3df data files
Chengsong
parents:
diff changeset
     5
20 0.042
d028c662a3df data files
Chengsong
parents:
diff changeset
     6
21 0.084
d028c662a3df data files
Chengsong
parents:
diff changeset
     7
22 0.190
d028c662a3df data files
Chengsong
parents:
diff changeset
     8
23 0.340
d028c662a3df data files
Chengsong
parents:
diff changeset
     9
24 0.678
d028c662a3df data files
Chengsong
parents:
diff changeset
    10
25 1.369
d028c662a3df data files
Chengsong
parents:
diff changeset
    11
26 2.700
d028c662a3df data files
Chengsong
parents:
diff changeset
    12
27 5.462
d028c662a3df data files
Chengsong
parents:
diff changeset
    13
28 10.908
d028c662a3df data files
Chengsong
parents:
diff changeset
    14
29 21.725
d028c662a3df data files
Chengsong
parents:
diff changeset
    15
30 43.492