Don't output hardware info (lscpu)

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"