get_fstar_z3.sh: fix arg check #56
Annotations
7 notices
|
Run perf canaries:
DEFS_100#L1
time = 0.15
|
|
Run perf canaries:
DEFS_200#L1
time = 0.16
|
|
Run perf canaries:
DEFS_400#L1
time = 0.18
|
|
Run perf canaries:
DEFS_800#L1
time = 0.22
|
|
Run perf canaries:
DEFS_1600#L1
time = 0.30
|
|
Run perf canaries:
DEFS_3200#L1
time = 0.47
|
|
Run perf canaries:
DEFS_6400#L1
time = 0.83
|
Loading