diff --git a/avr_pr.py b/avr_pr.py
index 5eb225b..f6713df 100755
--- a/avr_pr.py
+++ b/avr_pr.py
@@ -37,7 +37,7 @@
 
 maxTimeSec = DEFAULT_TIMEOUT
 maxMemMB = DEFAULT_MEMOUT
-maxInitW = 12
+maxInitW = 16
 resultW = 0
 out_path = DEFAULT_OUT + "/" + DEFAULT_NAME
 
diff --git a/workers.txt b/workers.txt
index b6b78eb..ec90209 100755
--- a/workers.txt
+++ b/workers.txt
@@ -1,16 +1,16 @@
 python3 avr.py --backend y2 --split
-python3 avr.py --kind --abstract sa --backend bt
 python3 avr.py --kind --abstract sa --backend y2 --split
 python3 avr.py --abstract sa
+python3 avr.py --kind --abstract sa --backend bt
 python3 avr.py --bmc --abstract sa --backend bt --split
-python3 avr.py
 python3 avr.py --abstract sa8 --level 5 --granularity 3 --forward 1 --interpol 1
 python3 avr.py --abstract sa4 --backend y2 --split --forward 1 --interpol 1
-python3 avr.py --split --level 0
+python3 avr.py
 python3 avr.py --abstract sa8 --backend y2 --split --interpol 1
-python3 avr.py --kind --abstract sa --backend bt --split
-python3 avr.py --bmc --abstract sa --backend y2
-python3 avr.py --abstract sa --backend bt
-python3 avr.py --abstract sa+heavy
+python3 avr.py --split --level 0
 python3 avr.py --bmc --abstract sa+heavy --backend bt
-python3 avr.py --kind --abstract sa+heavy --backend bt
+python3 avr.py --bmc --abstract sa --backend y2
+python3 avr.py --kind --abstract sa --backend bt --split
+python3 avr.py --abstract sa+heavy --backend y2 --split
+python3 avr.py --abstract sa16 --backend y2 --split
+python3 avr.py --kind --abstract sa --backend y2