diff --git a/.azure-pipelines-templates/trace_validation.yml b/.azure-pipelines-templates/trace_validation.yml
index e5c178e75b0c..b44105a40515 100644
--- a/.azure-pipelines-templates/trace_validation.yml
+++ b/.azure-pipelines-templates/trace_validation.yml
@@ -2,23 +2,24 @@ steps:
   - script: |
       set -ex
       sudo apt update
-      sudo apt install -y default-jre
+      sudo apt install -y default-jre parallel
       python3 ./tla/install_deps.py
     displayName: "Install TLA dependencies"
 
   - script: |
       set -ex
       cd tla/
-      JSON=../build/replicate.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/election.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/multi_election.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/check_quorum.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/reconnect.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/reconnect_node.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/bad_network.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/fancy_election.1.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/fancy_election.2.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/suffix_collision.1.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/suffix_collision.2.ndjson ./tlc.sh Traceccfraft.tla 2>&1
-      JSON=../build/suffix_collision.3.ndjson ./tlc.sh Traceccfraft.tla 2>&1
+      parallel 'JSON={} ./tlc.sh Traceccfraft.tla' ::: \
+      ../build/replicate.ndjson \
+      ../build/election.ndjson \
+      ../build/multi_election.ndjson \
+      ../build/check_quorum.ndjson \
+      ../build/reconnect.ndjson \
+      ../build/reconnect_node.ndjson \
+      ../build/bad_network.ndjson \
+      ../build/fancy_election.1.ndjson \
+      ../build/fancy_election.2.ndjson \
+      ../build/suffix_collision.1.ndjson \
+      ../build/suffix_collision.2.ndjson \
+      ../build/suffix_collision.3.ndjson
     displayName: "Run trace validation"