summaryrefslogtreecommitdiff
path: root/run-model
diff options
context:
space:
mode:
authorAdam M. Stück <adam@adast.xyz>2022-12-16 21:35:04 +0100
committerAdam M. Stück <adam@adast.xyz>2022-12-17 17:03:19 +0100
commitae08f6fe70a1a525662905a6ded935c05bb053f1 (patch)
treec55ae8d3876ce52ff0d783bcfa26a3dddcd9526f /run-model
parent4927c63c5bec873709e4fca7d6ae2748b5fdebb5 (diff)
Don't output hardware info (lscpu)
Diffstat (limited to 'run-model')
-rwxr-xr-xrun-model2
1 files changed, 0 insertions, 2 deletions
diff --git a/run-model b/run-model
index 5cb2472..d751859 100755
--- a/run-model
+++ b/run-model
@@ -14,8 +14,6 @@ main () {
MODEL_PATH="$4"
RESULT_PATH="$5"
- lscpu > "$RESULT_PATH.hardwareinfo"
-
DATE=$(date -u +"%d/%m/%Y %H.%M.%S")
OUTPUT="model\tquery\tsolved\tresult\tstrategy\ttime\tdate\ttime-limit\tmemory\texit-code\tformula\ttimed-out\terror-msg\tdiscoveredStates\texploredStates\texpandedStates\tmaxTokens\tsearchTime"