Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_4.1.0_Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.001271/0.001271, allocations: 107.6 kB / 21.2 MB, free: 0.6641 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.001491/0.001491, allocations: 204.6 kB / 24.49 MB, free: 3.961 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 1.428/1.428, allocations: 230.6 MB / 258.3 MB, free: 7.797 MB / 206.1 MB " [Timeout remaining time 178] Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: translateModel(Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=999,variableFilter="time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X3.Q1.vbe|X1.X1.X1.X3.Q1.vbc|X1.X1.X1.X3.Q2.vbe|X1.X1.X1.X3.Q3.vbe|X1.X1.X1.X3.Q3.vbc|X1.X1.X1.X3.Q4.vbe|X1.X1.X1.X3.Q4.vbc|X1.X1.X1.X3.Q5.vbe|X1.X1.X1.X4.Q1.vbe|X1.X1.X1.X4.Q1.vbc|X1.X1.X1.X4.Q2.vbe|X1.X1.X1.X4.Q2.vbc|X1.X1.X1.X4.Q3.vbe|X1.X1.X1.X4.Q3.vbc|X1.X1.X1.X4.Q4.vbe|X1.X1.X1.X4.Q4.vbc|X1.X1.X1.X4.Q5.vbe|X1.X1.X1.X5.Q1.vbe|X1.X1.X1.X5.Q2.vbe|X1.X1.X1.X5.Q2.vbc|X1.X1.X1.X5.Q3.vbe|X1.X1.X1.X5.Q3.vbc|X1.X1.X1.X5.Q4.vbe|X1.X1.X1.X5.Q4.vbc|X1.X1.X1.X5.Q5.vbe|X1.X1.X1.X6.Q1.vbe|X1.X1.X1.X6.Q1.vbc|X1.X1.X1.X6.Q2.vbe|X1.X1.X1.X6.Q2.vbc|X1.X1.X1.X6.Q3.vbe|X1.X1.X1.X6.Q3.vbc|X1.X1.X1.X6.Q4.vbe|X1.X1.X1.X6.Q4.vbc|X1.X1.X1.X6.Q5.vbe|X1.X1.X1.X6.Q5.vbc|X1.X1.X1.X7.Q1.vbe|X1.X1.X1.X7.Q1.vbc|X1.X1.X1.X7.Q2.vbe|X1.X1.X1.X7.Q2.vbc|X1.X1.X1.X7.Q3.vbe|X1.X1.X1.X7.Q3.vbc|X1.X1.X1.X7.Q4.vbe|X1.X1.X1.X7.Q4.vbc|X1.X1.X1.X7.Q5.vbe|X1.X1.X1.X8.Q1.vbe|X1.X1.X1.X8.Q1.vbc|X1.X1.X1.X8.Q2.vbe|X1.X1.X1.X8.Q2.vbc|X1.X1.X1.X8.Q3.vbe|X1.X1.X1.X8.Q3.vbc|X1.X1.X1.X8.Q4.vbe|X1.X1.X1.X8.Q4.vbc|X1.X1.X1.X8.Q5.vbe|X1.X1.X1.X8.Q5.vbc|X1.X1.X1.X9.Q1.vbe|X1.X1.X1.X9.Q2.vbe|X1.X1.X1.X9.Q2.vbc|X1.X1.X1.X9.Q3.vbe|X1.X1.X1.X9.Q3.vbc|X1.X1.X1.X9.Q4.vbe|X1.X1.X1.X9.Q4.vbc|X1.X1.X1.X9.Q5.vbe|X1.X1.X1.X9.Q5.vbc|X1.X1.X2.X1.Q1.vbe|X1.X1.X2.X1.Q1.vbc|X1.X1.X2.X1.Q2.vbe|X1.X1.X2.X1.Q3.vbe|X1.X1.X2.X1.Q3.vbc|X1.X1.X2.X1.Q4.vbe|X1.X1.X2.X1.Q4.vbc|X1.X1.X2.X1.Q5.vbc|X1.X1.X2.X2.Q1.vbe|X1.X1.X2.X2.Q2.vbe|X1.X1.X2.X2.Q2.vbc|X1.X1.X2.X2.Q3.vbe|X1.X1.X2.X2.Q3.vbc|X1.X1.X2.X2.Q4.vbe|X1.X1.X2.X2.Q4.vbc|X1.X1.X2.X2.Q5.vbe|X1.X1.X2.X2.Q5.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q5.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X5.Q1.vbe|X1.X1.X2.X5.Q2.vbe|X1.X1.X2.X5.Q2.vbc|X1.X1.X2.X5.Q3.vbe|X1.X1.X2.X5.Q3.vbc|X1.X1.X2.X5.Q4.vbe|X1.X1.X2.X5.Q4.vbc|X1.X1.X2.X5.Q5.vbe|X1.X1.X2.X6.Q1.vbe|X1.X1.X2.X6.Q1.vbc|X1.X1.X2.X6.Q2.vbe|X1.X1.X2.X6.Q3.vbe|X1.X1.X2.X6.Q3.vbc|X1.X1.X2.X6.Q4.vbe|X1.X1.X2.X6.Q4.vbc|X1.X1.X2.X6.Q5.vbe|X1.X1.X2.X7.Q1.vbe|X1.X1.X2.X7.Q1.vbc|X1.X1.X2.X7.Q2.vbe|X1.X1.X2.X7.Q2.vbc|X1.X1.X2.X7.Q3.vbe|X1.X1.X2.X7.Q3.vbc|X1.X1.X2.X7.Q4.vbe|X1.X1.X2.X7.Q4.vbc|X1.X1.X2.X7.Q5.vbe|X1.X1.X2.X7.Q5.vbc|X1.X1.X2.X8.Q1.vbe|X1.X1.X2.X8.Q1.vbc|X1.X1.X2.X8.Q2.vbe|X1.X1.X2.X8.Q2.vbc|X1.X1.X2.X8.Q3.vbe|X1.X1.X2.X8.Q3.vbc|X1.X1.X2.X8.Q4.vbe|X1.X1.X2.X8.Q4.vbc|X1.X1.X2.X8.Q5.vbe|X1.X1.X2.X8.Q5.vbc|X1.X1.X2.X9.Q1.vbe|X1.X1.X2.X9.Q1.vbc|X1.X1.X2.X9.Q2.vbe|X1.X1.X2.X9.Q2.vbc|X1.X1.X2.X9.Q3.vbe|X1.X1.X2.X9.Q3.vbc|X1.X1.X2.X9.Q4.vbe|X1.X1.X2.X9.Q4.vbc|X1.X1.X2.X9.Q5.vbe|X1.X1.X2.X9.Q5.vbc|X1.X2.X1.X1.Q1.vbe|X1.X2.X1.X1.Q1.vbc|X1.X2.X1.X1.Q2.vbc|X1.X2.X1.X1.Q3.vbe|X1.X2.X1.X1.Q3.vbc|X1.X2.X1.X1.Q4.vbe|X1.X2.X1.X1.Q4.vbc|X1.X2.X1.X1.Q5.vbc|X1.X2.X1.X2.Q1.vbe|X1.X2.X1.X2.Q2.vbe|X1.X2.X1.X2.Q2.vbc|X1.X2.X1.X2.Q3.vbe|X1.X2.X1.X2.Q3.vbc|X1.X2.X1.X2.Q4.vbe|X1.X2.X1.X2.Q4.vbc|X1.X2.X1.X2.Q5.vbe|X1.X2.X1.X2.Q5.vbc|X1.X2.X1.X3.Q1.vbe|X1.X2.X1.X3.Q1.vbc|X1.X2.X1.X3.Q2.vbe|X1.X2.X1.X3.Q3.vbe|X1.X2.X1.X3.Q3.vbc|X1.X2.X1.X3.Q4.vbe|X1.X2.X1.X3.Q4.vbc|X1.X2.X1.X3.Q5.vbe|X1.X2.X1.X4.Q1.vbe|X1.X2.X1.X4.Q1.vbc|X1.X2.X1.X4.Q2.vbe|X1.X2.X1.X4.Q2.vbc|X1.X2.X1.X4.Q3.vbe|X1.X2.X1.X4.Q3.vbc|X1.X2.X1.X4.Q4.vbe|X1.X2.X1.X4.Q4.vbc|X1.X2.X1.X4.Q5.vbe|X1.X2.X1.X4.Q5.vbc|X1.X2.X1.X5.Q1.vbe|X1.X2.X1.X5.Q2.vbe|X1.X2.X1.X5.Q2.vbc|X1.X2.X1.X5.Q3.vbe|X1.X2.X1.X5.Q3.vbc|X1.X2.X1.X5.Q4.vbe|X1.X2.X1.X5.Q4.vbc|X1.X2.X1.X5.Q5.vbe|X1.X2.X1.X6.Q1.vbe|X1.X2.X1.X6.Q1.vbc|X1.X2.X1.X6.Q2.vbe|X1.X2.X1.X6.Q3.vbe|X1.X2.X1.X6.Q3.vbc|X1.X2.X1.X6.Q4.vbe|X1.X2.X1.X6.Q4.vbc|X1.X2.X1.X6.Q5.vbe|X1.X2.X1.X7.Q1.vbe|X1.X2.X1.X7.Q1.vbc|X1.X2.X1.X7.Q2.vbe|X1.X2.X1.X7.Q2.vbc|X1.X2.X1.X7.Q3.vbe|X1.X2.X1.X7.Q3.vbc|X1.X2.X1.X7.Q4.vbe|X1.X2.X1.X7.Q4.vbc|X1.X2.X1.X7.Q5.vbe|X1.X2.X1.X7.Q5.vbc|X1.X2.X1.X8.Q1.vbe|X1.X2.X1.X8.Q1.vbc|X1.X2.X1.X8.Q2.vbe|X1.X2.X1.X8.Q2.vbc|X1.X2.X1.X8.Q3.vbe|X1.X2.X1.X8.Q3.vbc|X1.X2.X1.X8.Q4.vbe|X1.X2.X1.X8.Q4.vbc|X1.X2.X1.X8.Q5.vbe|X1.X2.X1.X8.Q5.vbc|X1.X2.X1.X9.Q1.vbe|X1.X2.X1.X9.Q1.vbc|X1.X2.X1.X9.Q2.vbe|X1.X2.X1.X9.Q2.vbc|X1.X2.X1.X9.Q3.vbe|X1.X2.X1.X9.Q3.vbc|X1.X2.X1.X9.Q4.vbe|X1.X2.X1.X9.Q4.vbc|X1.X2.X1.X9.Q5.vbe|X1.X2.X1.X9.Q5.vbc|X1.X2.X2.X1.Q1.vbe|X1.X2.X2.X1.Q1.vbc|X1.X2.X2.X1.Q2.vbc|X1.X2.X2.X1.Q3.vbe|X1.X2.X2.X1.Q3.vbc|X1.X2.X2.X1.Q4.vbe|X1.X2.X2.X1.Q4.vbc|X1.X2.X2.X1.Q5.vbc|X1.X2.X2.X2.Q1.vbe|X1.X2.X2.X2.Q2.vbe|X1.X2.X2.X2.Q2.vbc|X1.X2.X2.X2.Q3.vbe|X1.X2.X2.X2.Q3.vbc|X1.X2.X2.X2.Q4.vbe|X1.X2.X2.X2.Q4.vbc|X1.X2.X2.X2.Q5.vbe|X1.X2.X2.X2.Q5.vbc|X1.X2.X2.X3.Q1.vbe|X1.X2.X2.X3.Q1.vbc|X1.X2.X2.X3.Q2.vbe|X1.X2.X2.X3.Q3.vbe|X1.X2.X2.X3.Q3.vbc|X1.X2.X2.X3.Q4.vbe|X1.X2.X2.X3.Q4.vbc|X1.X2.X2.X3.Q5.vbe|X1.X2.X2.X4.Q1.vbe|X1.X2.X2.X4.Q1.vbc|X1.X2.X2.X4.Q2.vbe|X1.X2.X2.X4.Q2.vbc|X1.X2.X2.X4.Q3.vbe|X1.X2.X2.X4.Q3.vbc|X1.X2.X2.X4.Q4.vbe|X1.X2.X2.X4.Q4.vbc|X1.X2.X2.X4.Q5.vbe|X1.X2.X2.X4.Q5.vbc|X1.X2.X2.X5.Q1.vbe|X1.X2.X2.X5.Q2.vbe|X1.X2.X2.X5.Q2.vbc|X1.X2.X2.X5.Q3.vbe|X1.X2.X2.X5.Q3.vbc|X1.X2.X2.X5.Q4.vbe|X1.X2.X2.X5.Q4.vbc|X1.X2.X2.X5.Q5.vbe|X1.X2.X2.X6.Q1.vbe|X1.X2.X2.X6.Q1.vbc|X1.X2.X2.X6.Q2.vbe|X1.X2.X2.X6.Q3.vbe|X1.X2.X2.X6.Q3.vbc|X1.X2.X2.X6.Q4.vbe|X1.X2.X2.X6.Q4.vbc|X1.X2.X2.X6.Q5.vbe|X1.X2.X2.X7.Q1.vbe|X1.X2.X2.X7.Q1.vbc|X1.X2.X2.X7.Q2.vbe|X1.X2.X2.X7.Q2.vbc|X1.X2.X2.X7.Q3.vbe|X1.X2.X2.X7.Q3.vbc|X1.X2.X2.X7.Q4.vbe|X1.X2.X2.X7.Q4.vbc|X1.X2.X2.X7.Q5.vbe|X1.X2.X2.X7.Q5.vbc|X1.X2.X2.X8.Q1.vbe|X1.X2.X2.X8.Q1.vbc|X1.X2.X2.X8.Q2.vbe|X1.X2.X2.X8.Q2.vbc|X1.X2.X2.X8.Q3.vbe|X1.X2.X2.X8.Q3.vbc|X1.X2.X2.X8.Q4.vbe|X1.X2.X2.X8.Q4.vbc|X1.X2.X2.X8.Q5.vbe|X1.X2.X2.X8.Q5.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q5.vbe|X1.X2.X2.X9.Q5.vbc",fileNamePrefix="Modelica_4.1.0_Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder") translateModel(Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=999,variableFilter="time|X1.X1.X1.X1.Q1.vbe|X1.X1.X1.X1.Q2.vbe|X1.X1.X1.X1.Q2.vbc|X1.X1.X1.X1.Q3.vbe|X1.X1.X1.X1.Q3.vbc|X1.X1.X1.X1.Q4.vbe|X1.X1.X1.X1.Q4.vbc|X1.X1.X1.X1.Q5.vbe|X1.X1.X1.X1.Q5.vbc|X1.X1.X1.X2.Q1.vbe|X1.X1.X1.X2.Q1.vbc|X1.X1.X1.X2.Q2.vbe|X1.X1.X1.X2.Q3.vbe|X1.X1.X1.X2.Q3.vbc|X1.X1.X1.X2.Q4.vbe|X1.X1.X1.X2.Q4.vbc|X1.X1.X1.X2.Q5.vbe|X1.X1.X1.X2.Q5.vbc|X1.X1.X1.X3.Q1.vbe|X1.X1.X1.X3.Q1.vbc|X1.X1.X1.X3.Q2.vbe|X1.X1.X1.X3.Q3.vbe|X1.X1.X1.X3.Q3.vbc|X1.X1.X1.X3.Q4.vbe|X1.X1.X1.X3.Q4.vbc|X1.X1.X1.X3.Q5.vbe|X1.X1.X1.X4.Q1.vbe|X1.X1.X1.X4.Q1.vbc|X1.X1.X1.X4.Q2.vbe|X1.X1.X1.X4.Q2.vbc|X1.X1.X1.X4.Q3.vbe|X1.X1.X1.X4.Q3.vbc|X1.X1.X1.X4.Q4.vbe|X1.X1.X1.X4.Q4.vbc|X1.X1.X1.X4.Q5.vbe|X1.X1.X1.X5.Q1.vbe|X1.X1.X1.X5.Q2.vbe|X1.X1.X1.X5.Q2.vbc|X1.X1.X1.X5.Q3.vbe|X1.X1.X1.X5.Q3.vbc|X1.X1.X1.X5.Q4.vbe|X1.X1.X1.X5.Q4.vbc|X1.X1.X1.X5.Q5.vbe|X1.X1.X1.X6.Q1.vbe|X1.X1.X1.X6.Q1.vbc|X1.X1.X1.X6.Q2.vbe|X1.X1.X1.X6.Q2.vbc|X1.X1.X1.X6.Q3.vbe|X1.X1.X1.X6.Q3.vbc|X1.X1.X1.X6.Q4.vbe|X1.X1.X1.X6.Q4.vbc|X1.X1.X1.X6.Q5.vbe|X1.X1.X1.X6.Q5.vbc|X1.X1.X1.X7.Q1.vbe|X1.X1.X1.X7.Q1.vbc|X1.X1.X1.X7.Q2.vbe|X1.X1.X1.X7.Q2.vbc|X1.X1.X1.X7.Q3.vbe|X1.X1.X1.X7.Q3.vbc|X1.X1.X1.X7.Q4.vbe|X1.X1.X1.X7.Q4.vbc|X1.X1.X1.X7.Q5.vbe|X1.X1.X1.X8.Q1.vbe|X1.X1.X1.X8.Q1.vbc|X1.X1.X1.X8.Q2.vbe|X1.X1.X1.X8.Q2.vbc|X1.X1.X1.X8.Q3.vbe|X1.X1.X1.X8.Q3.vbc|X1.X1.X1.X8.Q4.vbe|X1.X1.X1.X8.Q4.vbc|X1.X1.X1.X8.Q5.vbe|X1.X1.X1.X8.Q5.vbc|X1.X1.X1.X9.Q1.vbe|X1.X1.X1.X9.Q2.vbe|X1.X1.X1.X9.Q2.vbc|X1.X1.X1.X9.Q3.vbe|X1.X1.X1.X9.Q3.vbc|X1.X1.X1.X9.Q4.vbe|X1.X1.X1.X9.Q4.vbc|X1.X1.X1.X9.Q5.vbe|X1.X1.X1.X9.Q5.vbc|X1.X1.X2.X1.Q1.vbe|X1.X1.X2.X1.Q1.vbc|X1.X1.X2.X1.Q2.vbe|X1.X1.X2.X1.Q3.vbe|X1.X1.X2.X1.Q3.vbc|X1.X1.X2.X1.Q4.vbe|X1.X1.X2.X1.Q4.vbc|X1.X1.X2.X1.Q5.vbc|X1.X1.X2.X2.Q1.vbe|X1.X1.X2.X2.Q2.vbe|X1.X1.X2.X2.Q2.vbc|X1.X1.X2.X2.Q3.vbe|X1.X1.X2.X2.Q3.vbc|X1.X1.X2.X2.Q4.vbe|X1.X1.X2.X2.Q4.vbc|X1.X1.X2.X2.Q5.vbe|X1.X1.X2.X2.Q5.vbc|X1.X1.X2.X3.Q1.vbe|X1.X1.X2.X3.Q1.vbc|X1.X1.X2.X3.Q2.vbe|X1.X1.X2.X3.Q3.vbe|X1.X1.X2.X3.Q3.vbc|X1.X1.X2.X3.Q4.vbe|X1.X1.X2.X3.Q4.vbc|X1.X1.X2.X3.Q5.vbe|X1.X1.X2.X4.Q1.vbe|X1.X1.X2.X4.Q1.vbc|X1.X1.X2.X4.Q2.vbe|X1.X1.X2.X4.Q2.vbc|X1.X1.X2.X4.Q3.vbe|X1.X1.X2.X4.Q3.vbc|X1.X1.X2.X4.Q4.vbe|X1.X1.X2.X4.Q4.vbc|X1.X1.X2.X4.Q5.vbe|X1.X1.X2.X4.Q5.vbc|X1.X1.X2.X5.Q1.vbe|X1.X1.X2.X5.Q2.vbe|X1.X1.X2.X5.Q2.vbc|X1.X1.X2.X5.Q3.vbe|X1.X1.X2.X5.Q3.vbc|X1.X1.X2.X5.Q4.vbe|X1.X1.X2.X5.Q4.vbc|X1.X1.X2.X5.Q5.vbe|X1.X1.X2.X6.Q1.vbe|X1.X1.X2.X6.Q1.vbc|X1.X1.X2.X6.Q2.vbe|X1.X1.X2.X6.Q3.vbe|X1.X1.X2.X6.Q3.vbc|X1.X1.X2.X6.Q4.vbe|X1.X1.X2.X6.Q4.vbc|X1.X1.X2.X6.Q5.vbe|X1.X1.X2.X7.Q1.vbe|X1.X1.X2.X7.Q1.vbc|X1.X1.X2.X7.Q2.vbe|X1.X1.X2.X7.Q2.vbc|X1.X1.X2.X7.Q3.vbe|X1.X1.X2.X7.Q3.vbc|X1.X1.X2.X7.Q4.vbe|X1.X1.X2.X7.Q4.vbc|X1.X1.X2.X7.Q5.vbe|X1.X1.X2.X7.Q5.vbc|X1.X1.X2.X8.Q1.vbe|X1.X1.X2.X8.Q1.vbc|X1.X1.X2.X8.Q2.vbe|X1.X1.X2.X8.Q2.vbc|X1.X1.X2.X8.Q3.vbe|X1.X1.X2.X8.Q3.vbc|X1.X1.X2.X8.Q4.vbe|X1.X1.X2.X8.Q4.vbc|X1.X1.X2.X8.Q5.vbe|X1.X1.X2.X8.Q5.vbc|X1.X1.X2.X9.Q1.vbe|X1.X1.X2.X9.Q1.vbc|X1.X1.X2.X9.Q2.vbe|X1.X1.X2.X9.Q2.vbc|X1.X1.X2.X9.Q3.vbe|X1.X1.X2.X9.Q3.vbc|X1.X1.X2.X9.Q4.vbe|X1.X1.X2.X9.Q4.vbc|X1.X1.X2.X9.Q5.vbe|X1.X1.X2.X9.Q5.vbc|X1.X2.X1.X1.Q1.vbe|X1.X2.X1.X1.Q1.vbc|X1.X2.X1.X1.Q2.vbc|X1.X2.X1.X1.Q3.vbe|X1.X2.X1.X1.Q3.vbc|X1.X2.X1.X1.Q4.vbe|X1.X2.X1.X1.Q4.vbc|X1.X2.X1.X1.Q5.vbc|X1.X2.X1.X2.Q1.vbe|X1.X2.X1.X2.Q2.vbe|X1.X2.X1.X2.Q2.vbc|X1.X2.X1.X2.Q3.vbe|X1.X2.X1.X2.Q3.vbc|X1.X2.X1.X2.Q4.vbe|X1.X2.X1.X2.Q4.vbc|X1.X2.X1.X2.Q5.vbe|X1.X2.X1.X2.Q5.vbc|X1.X2.X1.X3.Q1.vbe|X1.X2.X1.X3.Q1.vbc|X1.X2.X1.X3.Q2.vbe|X1.X2.X1.X3.Q3.vbe|X1.X2.X1.X3.Q3.vbc|X1.X2.X1.X3.Q4.vbe|X1.X2.X1.X3.Q4.vbc|X1.X2.X1.X3.Q5.vbe|X1.X2.X1.X4.Q1.vbe|X1.X2.X1.X4.Q1.vbc|X1.X2.X1.X4.Q2.vbe|X1.X2.X1.X4.Q2.vbc|X1.X2.X1.X4.Q3.vbe|X1.X2.X1.X4.Q3.vbc|X1.X2.X1.X4.Q4.vbe|X1.X2.X1.X4.Q4.vbc|X1.X2.X1.X4.Q5.vbe|X1.X2.X1.X4.Q5.vbc|X1.X2.X1.X5.Q1.vbe|X1.X2.X1.X5.Q2.vbe|X1.X2.X1.X5.Q2.vbc|X1.X2.X1.X5.Q3.vbe|X1.X2.X1.X5.Q3.vbc|X1.X2.X1.X5.Q4.vbe|X1.X2.X1.X5.Q4.vbc|X1.X2.X1.X5.Q5.vbe|X1.X2.X1.X6.Q1.vbe|X1.X2.X1.X6.Q1.vbc|X1.X2.X1.X6.Q2.vbe|X1.X2.X1.X6.Q3.vbe|X1.X2.X1.X6.Q3.vbc|X1.X2.X1.X6.Q4.vbe|X1.X2.X1.X6.Q4.vbc|X1.X2.X1.X6.Q5.vbe|X1.X2.X1.X7.Q1.vbe|X1.X2.X1.X7.Q1.vbc|X1.X2.X1.X7.Q2.vbe|X1.X2.X1.X7.Q2.vbc|X1.X2.X1.X7.Q3.vbe|X1.X2.X1.X7.Q3.vbc|X1.X2.X1.X7.Q4.vbe|X1.X2.X1.X7.Q4.vbc|X1.X2.X1.X7.Q5.vbe|X1.X2.X1.X7.Q5.vbc|X1.X2.X1.X8.Q1.vbe|X1.X2.X1.X8.Q1.vbc|X1.X2.X1.X8.Q2.vbe|X1.X2.X1.X8.Q2.vbc|X1.X2.X1.X8.Q3.vbe|X1.X2.X1.X8.Q3.vbc|X1.X2.X1.X8.Q4.vbe|X1.X2.X1.X8.Q4.vbc|X1.X2.X1.X8.Q5.vbe|X1.X2.X1.X8.Q5.vbc|X1.X2.X1.X9.Q1.vbe|X1.X2.X1.X9.Q1.vbc|X1.X2.X1.X9.Q2.vbe|X1.X2.X1.X9.Q2.vbc|X1.X2.X1.X9.Q3.vbe|X1.X2.X1.X9.Q3.vbc|X1.X2.X1.X9.Q4.vbe|X1.X2.X1.X9.Q4.vbc|X1.X2.X1.X9.Q5.vbe|X1.X2.X1.X9.Q5.vbc|X1.X2.X2.X1.Q1.vbe|X1.X2.X2.X1.Q1.vbc|X1.X2.X2.X1.Q2.vbc|X1.X2.X2.X1.Q3.vbe|X1.X2.X2.X1.Q3.vbc|X1.X2.X2.X1.Q4.vbe|X1.X2.X2.X1.Q4.vbc|X1.X2.X2.X1.Q5.vbc|X1.X2.X2.X2.Q1.vbe|X1.X2.X2.X2.Q2.vbe|X1.X2.X2.X2.Q2.vbc|X1.X2.X2.X2.Q3.vbe|X1.X2.X2.X2.Q3.vbc|X1.X2.X2.X2.Q4.vbe|X1.X2.X2.X2.Q4.vbc|X1.X2.X2.X2.Q5.vbe|X1.X2.X2.X2.Q5.vbc|X1.X2.X2.X3.Q1.vbe|X1.X2.X2.X3.Q1.vbc|X1.X2.X2.X3.Q2.vbe|X1.X2.X2.X3.Q3.vbe|X1.X2.X2.X3.Q3.vbc|X1.X2.X2.X3.Q4.vbe|X1.X2.X2.X3.Q4.vbc|X1.X2.X2.X3.Q5.vbe|X1.X2.X2.X4.Q1.vbe|X1.X2.X2.X4.Q1.vbc|X1.X2.X2.X4.Q2.vbe|X1.X2.X2.X4.Q2.vbc|X1.X2.X2.X4.Q3.vbe|X1.X2.X2.X4.Q3.vbc|X1.X2.X2.X4.Q4.vbe|X1.X2.X2.X4.Q4.vbc|X1.X2.X2.X4.Q5.vbe|X1.X2.X2.X4.Q5.vbc|X1.X2.X2.X5.Q1.vbe|X1.X2.X2.X5.Q2.vbe|X1.X2.X2.X5.Q2.vbc|X1.X2.X2.X5.Q3.vbe|X1.X2.X2.X5.Q3.vbc|X1.X2.X2.X5.Q4.vbe|X1.X2.X2.X5.Q4.vbc|X1.X2.X2.X5.Q5.vbe|X1.X2.X2.X6.Q1.vbe|X1.X2.X2.X6.Q1.vbc|X1.X2.X2.X6.Q2.vbe|X1.X2.X2.X6.Q3.vbe|X1.X2.X2.X6.Q3.vbc|X1.X2.X2.X6.Q4.vbe|X1.X2.X2.X6.Q4.vbc|X1.X2.X2.X6.Q5.vbe|X1.X2.X2.X7.Q1.vbe|X1.X2.X2.X7.Q1.vbc|X1.X2.X2.X7.Q2.vbe|X1.X2.X2.X7.Q2.vbc|X1.X2.X2.X7.Q3.vbe|X1.X2.X2.X7.Q3.vbc|X1.X2.X2.X7.Q4.vbe|X1.X2.X2.X7.Q4.vbc|X1.X2.X2.X7.Q5.vbe|X1.X2.X2.X7.Q5.vbc|X1.X2.X2.X8.Q1.vbe|X1.X2.X2.X8.Q1.vbc|X1.X2.X2.X8.Q2.vbe|X1.X2.X2.X8.Q2.vbc|X1.X2.X2.X8.Q3.vbe|X1.X2.X2.X8.Q3.vbc|X1.X2.X2.X8.Q4.vbe|X1.X2.X2.X8.Q4.vbc|X1.X2.X2.X8.Q5.vbe|X1.X2.X2.X8.Q5.vbc|X1.X2.X2.X9.Q1.vbe|X1.X2.X2.X9.Q1.vbc|X1.X2.X2.X9.Q2.vbe|X1.X2.X2.X9.Q2.vbc|X1.X2.X2.X9.Q3.vbe|X1.X2.X2.X9.Q3.vbc|X1.X2.X2.X9.Q4.vbe|X1.X2.X2.X9.Q4.vbc|X1.X2.X2.X9.Q5.vbe|X1.X2.X2.X9.Q5.vbc",fileNamePrefix="Modelica_4.1.0_Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder") [Timeout 660] "Notification: Performance of FrontEnd - Absyn->SCode: time 2.027e-05/2.027e-05, allocations: 5.375 kB / 379 MB, free: 2.445 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder): time 1.134/1.134, allocations: 486.1 MB / 0.8448 GB, free: 14.27 MB / 0.5762 GB Notification: Performance of NFInst.instExpressions: time 0.2639/1.398, allocations: 114.5 MB / 0.9566 GB, free: 1.918 MB / 0.6544 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.1499/1.548, allocations: 8.084 MB / 0.9645 GB, free: 9.738 MB / 0.67 GB Notification: Performance of NFTyping.typeComponents: time 0.09224/1.64, allocations: 30.22 MB / 0.994 GB, free: 11.24 MB / 0.7012 GB Notification: Performance of NFTyping.typeBindings: time 0.577/2.217, allocations: 46.68 MB / 1.04 GB, free: 52.2 MB / 0.7325 GB Notification: Performance of NFTyping.typeClassSections: time 0.07059/2.288, allocations: 24.08 MB / 1.063 GB, free: 52.16 MB / 0.7325 GB Notification: Performance of NFFlatten.flatten: time 1.218/3.506, allocations: 342.6 MB / 1.398 GB, free: 56.78 MB / 0.8263 GB Notification: Performance of NFFlatten.resolveConnections: time 0.03242/3.538, allocations: 10.72 MB / 1.408 GB, free: 71.39 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.1447/3.683, allocations: 89.74 MB / 1.496 GB, free: 54.57 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.1344/3.817, allocations: 77.13 MB / 1.571 GB, free: 5.098 MB / 0.8575 GB Notification: Performance of NFPackage.collectConstants: time 0.04879/3.866, allocations: 11.48 MB / 1.582 GB, free: 12.52 MB / 0.8732 GB Notification: Performance of NFFlatten.collectFunctions: time 0.08168/3.948, allocations: 12.15 MB / 1.594 GB, free: 440 kB / 0.8732 GB Notification: Performance of combineBinaries: time 1.3/5.248, allocations: 317.1 MB / 1.904 GB, free: 2.355 MB / 0.967 GB Notification: Performance of replaceArrayConstructors: time 0.8039/6.052, allocations: 238.7 MB / 2.137 GB, free: 30.74 MB / 1.03 GB Notification: Performance of NFVerifyModel.verify: time 0.05975/6.111, allocations: 11.92 MB / 2.149 GB, free: 30.74 MB / 1.03 GB Notification: Performance of FrontEnd: time 0.009927/6.121, allocations: 0.935 MB / 2.149 GB, free: 30.74 MB / 1.03 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 10307 (8219) * Number of variables: 10307 (10307) Notification: Performance of [SIM] Bindings: time 3.397/9.518, allocations: 1.157 GB / 3.306 GB, free: 12.76 MB / 1.233 GB Notification: Performance of [SIM] FunctionAlias: time 0.4004/9.919, allocations: 105.6 MB / 3.41 GB, free: 15.71 MB / 1.28 GB Notification: Performance of [SIM] Early Inline: time 1.383/11.3, allocations: 358.7 MB / 3.76 GB, free: 159.7 MB / 1.451 GB Notification: Performance of [SIM] Simplify 1: time 0.1534/11.45, allocations: 42.13 MB / 3.801 GB, free: 150.7 MB / 1.451 GB Notification: Performance of [SIM] Alias: time 0.4823/11.94, allocations: 275.2 MB / 4.07 GB, free: 6.035 MB / 1.498 GB Notification: Performance of [SIM] Simplify 2: time 0.123/12.06, allocations: 33.48 MB / 4.102 GB, free: 10.26 MB / 1.53 GB Notification: Performance of [SIM] Remove Stream: time 0.05359/12.11, allocations: 21.99 MB / 4.124 GB, free: 4.465 MB / 1.545 GB Notification: Performance of [SIM] Detect States: time 1.146/13.26, allocations: 72.7 MB / 4.195 GB, free: 298.4 MB / 1.545 GB Notification: Performance of [SIM] Events: time 0.03455/13.29, allocations: 6.753 MB / 4.201 GB, free: 297.2 MB / 1.545 GB Notification: Performance of [SIM] Partitioning: time 0.3104/13.6, allocations: 200.1 MB / 4.397 GB, free: 145.7 MB / 1.545 GB Error: Internal error NBVariable.makeDummyState failed for $DER.X1.X2.X2.X1.Q4.vcs. " [Timeout remaining time 644] [Calling sys.exit(0), Time elapsed: 18.14804559201002] Failed to read output from testmodel.py, exit status != 0: ['time', 'X1.X1.X1.X1.Q1.vbe', 'X1.X1.X1.X1.Q2.vbe', 'X1.X1.X1.X1.Q2.vbc', 'X1.X1.X1.X1.Q3.vbe', 'X1.X1.X1.X1.Q3.vbc', 'X1.X1.X1.X1.Q4.vbe', 'X1.X1.X1.X1.Q4.vbc', 'X1.X1.X1.X1.Q5.vbe', 'X1.X1.X1.X1.Q5.vbc', 'X1.X1.X1.X2.Q1.vbe', 'X1.X1.X1.X2.Q1.vbc', 'X1.X1.X1.X2.Q2.vbe', 'X1.X1.X1.X2.Q3.vbe', 'X1.X1.X1.X2.Q3.vbc', 'X1.X1.X1.X2.Q4.vbe', 'X1.X1.X1.X2.Q4.vbc', 'X1.X1.X1.X2.Q5.vbe', 'X1.X1.X1.X2.Q5.vbc', 'X1.X1.X1.X3.Q1.vbe', 'X1.X1.X1.X3.Q1.vbc', 'X1.X1.X1.X3.Q2.vbe', 'X1.X1.X1.X3.Q3.vbe', 'X1.X1.X1.X3.Q3.vbc', 'X1.X1.X1.X3.Q4.vbe', 'X1.X1.X1.X3.Q4.vbc', 'X1.X1.X1.X3.Q5.vbe', 'X1.X1.X1.X4.Q1.vbe', 'X1.X1.X1.X4.Q1.vbc', 'X1.X1.X1.X4.Q2.vbe', 'X1.X1.X1.X4.Q2.vbc', 'X1.X1.X1.X4.Q3.vbe', 'X1.X1.X1.X4.Q3.vbc', 'X1.X1.X1.X4.Q4.vbe', 'X1.X1.X1.X4.Q4.vbc', 'X1.X1.X1.X4.Q5.vbe', 'X1.X1.X1.X5.Q1.vbe', 'X1.X1.X1.X5.Q2.vbe', 'X1.X1.X1.X5.Q2.vbc', 'X1.X1.X1.X5.Q3.vbe', 'X1.X1.X1.X5.Q3.vbc', 'X1.X1.X1.X5.Q4.vbe', 'X1.X1.X1.X5.Q4.vbc', 'X1.X1.X1.X5.Q5.vbe', 'X1.X1.X1.X6.Q1.vbe', 'X1.X1.X1.X6.Q1.vbc', 'X1.X1.X1.X6.Q2.vbe', 'X1.X1.X1.X6.Q2.vbc', 'X1.X1.X1.X6.Q3.vbe', 'X1.X1.X1.X6.Q3.vbc', 'X1.X1.X1.X6.Q4.vbe', 'X1.X1.X1.X6.Q4.vbc', 'X1.X1.X1.X6.Q5.vbe', 'X1.X1.X1.X6.Q5.vbc', 'X1.X1.X1.X7.Q1.vbe', 'X1.X1.X1.X7.Q1.vbc', 'X1.X1.X1.X7.Q2.vbe', 'X1.X1.X1.X7.Q2.vbc', 'X1.X1.X1.X7.Q3.vbe', 'X1.X1.X1.X7.Q3.vbc', 'X1.X1.X1.X7.Q4.vbe', 'X1.X1.X1.X7.Q4.vbc', 'X1.X1.X1.X7.Q5.vbe', 'X1.X1.X1.X8.Q1.vbe', 'X1.X1.X1.X8.Q1.vbc', 'X1.X1.X1.X8.Q2.vbe', 'X1.X1.X1.X8.Q2.vbc', 'X1.X1.X1.X8.Q3.vbe', 'X1.X1.X1.X8.Q3.vbc', 'X1.X1.X1.X8.Q4.vbe', 'X1.X1.X1.X8.Q4.vbc', 'X1.X1.X1.X8.Q5.vbe', 'X1.X1.X1.X8.Q5.vbc', 'X1.X1.X1.X9.Q1.vbe', 'X1.X1.X1.X9.Q2.vbe', 'X1.X1.X1.X9.Q2.vbc', 'X1.X1.X1.X9.Q3.vbe', 'X1.X1.X1.X9.Q3.vbc', 'X1.X1.X1.X9.Q4.vbe', 'X1.X1.X1.X9.Q4.vbc', 'X1.X1.X1.X9.Q5.vbe', 'X1.X1.X1.X9.Q5.vbc', 'X1.X1.X2.X1.Q1.vbe', 'X1.X1.X2.X1.Q1.vbc', 'X1.X1.X2.X1.Q2.vbe', 'X1.X1.X2.X1.Q3.vbe', 'X1.X1.X2.X1.Q3.vbc', 'X1.X1.X2.X1.Q4.vbe', 'X1.X1.X2.X1.Q4.vbc', 'X1.X1.X2.X1.Q5.vbc', 'X1.X1.X2.X2.Q1.vbe', 'X1.X1.X2.X2.Q2.vbe', 'X1.X1.X2.X2.Q2.vbc', 'X1.X1.X2.X2.Q3.vbe', 'X1.X1.X2.X2.Q3.vbc', 'X1.X1.X2.X2.Q4.vbe', 'X1.X1.X2.X2.Q4.vbc', 'X1.X1.X2.X2.Q5.vbe', 'X1.X1.X2.X2.Q5.vbc', 'X1.X1.X2.X3.Q1.vbe', 'X1.X1.X2.X3.Q1.vbc', 'X1.X1.X2.X3.Q2.vbe', 'X1.X1.X2.X3.Q3.vbe', 'X1.X1.X2.X3.Q3.vbc', 'X1.X1.X2.X3.Q4.vbe', 'X1.X1.X2.X3.Q4.vbc', 'X1.X1.X2.X3.Q5.vbe', 'X1.X1.X2.X4.Q1.vbe', 'X1.X1.X2.X4.Q1.vbc', 'X1.X1.X2.X4.Q2.vbe', 'X1.X1.X2.X4.Q2.vbc', 'X1.X1.X2.X4.Q3.vbe', 'X1.X1.X2.X4.Q3.vbc', 'X1.X1.X2.X4.Q4.vbe', 'X1.X1.X2.X4.Q4.vbc', 'X1.X1.X2.X4.Q5.vbe', 'X1.X1.X2.X4.Q5.vbc', 'X1.X1.X2.X5.Q1.vbe', 'X1.X1.X2.X5.Q2.vbe', 'X1.X1.X2.X5.Q2.vbc', 'X1.X1.X2.X5.Q3.vbe', 'X1.X1.X2.X5.Q3.vbc', 'X1.X1.X2.X5.Q4.vbe', 'X1.X1.X2.X5.Q4.vbc', 'X1.X1.X2.X5.Q5.vbe', 'X1.X1.X2.X6.Q1.vbe', 'X1.X1.X2.X6.Q1.vbc', 'X1.X1.X2.X6.Q2.vbe', 'X1.X1.X2.X6.Q3.vbe', 'X1.X1.X2.X6.Q3.vbc', 'X1.X1.X2.X6.Q4.vbe', 'X1.X1.X2.X6.Q4.vbc', 'X1.X1.X2.X6.Q5.vbe', 'X1.X1.X2.X7.Q1.vbe', 'X1.X1.X2.X7.Q1.vbc', 'X1.X1.X2.X7.Q2.vbe', 'X1.X1.X2.X7.Q2.vbc', 'X1.X1.X2.X7.Q3.vbe', 'X1.X1.X2.X7.Q3.vbc', 'X1.X1.X2.X7.Q4.vbe', 'X1.X1.X2.X7.Q4.vbc', 'X1.X1.X2.X7.Q5.vbe', 'X1.X1.X2.X7.Q5.vbc', 'X1.X1.X2.X8.Q1.vbe', 'X1.X1.X2.X8.Q1.vbc', 'X1.X1.X2.X8.Q2.vbe', 'X1.X1.X2.X8.Q2.vbc', 'X1.X1.X2.X8.Q3.vbe', 'X1.X1.X2.X8.Q3.vbc', 'X1.X1.X2.X8.Q4.vbe', 'X1.X1.X2.X8.Q4.vbc', 'X1.X1.X2.X8.Q5.vbe', 'X1.X1.X2.X8.Q5.vbc', 'X1.X1.X2.X9.Q1.vbe', 'X1.X1.X2.X9.Q1.vbc', 'X1.X1.X2.X9.Q2.vbe', 'X1.X1.X2.X9.Q2.vbc', 'X1.X1.X2.X9.Q3.vbe', 'X1.X1.X2.X9.Q3.vbc', 'X1.X1.X2.X9.Q4.vbe', 'X1.X1.X2.X9.Q4.vbc', 'X1.X1.X2.X9.Q5.vbe', 'X1.X1.X2.X9.Q5.vbc', 'X1.X2.X1.X1.Q1.vbe', 'X1.X2.X1.X1.Q1.vbc', 'X1.X2.X1.X1.Q2.vbc', 'X1.X2.X1.X1.Q3.vbe', 'X1.X2.X1.X1.Q3.vbc', 'X1.X2.X1.X1.Q4.vbe', 'X1.X2.X1.X1.Q4.vbc', 'X1.X2.X1.X1.Q5.vbc', 'X1.X2.X1.X2.Q1.vbe', 'X1.X2.X1.X2.Q2.vbe', 'X1.X2.X1.X2.Q2.vbc', 'X1.X2.X1.X2.Q3.vbe', 'X1.X2.X1.X2.Q3.vbc', 'X1.X2.X1.X2.Q4.vbe', 'X1.X2.X1.X2.Q4.vbc', 'X1.X2.X1.X2.Q5.vbe', 'X1.X2.X1.X2.Q5.vbc', 'X1.X2.X1.X3.Q1.vbe', 'X1.X2.X1.X3.Q1.vbc', 'X1.X2.X1.X3.Q2.vbe', 'X1.X2.X1.X3.Q3.vbe', 'X1.X2.X1.X3.Q3.vbc', 'X1.X2.X1.X3.Q4.vbe', 'X1.X2.X1.X3.Q4.vbc', 'X1.X2.X1.X3.Q5.vbe', 'X1.X2.X1.X4.Q1.vbe', 'X1.X2.X1.X4.Q1.vbc', 'X1.X2.X1.X4.Q2.vbe', 'X1.X2.X1.X4.Q2.vbc', 'X1.X2.X1.X4.Q3.vbe', 'X1.X2.X1.X4.Q3.vbc', 'X1.X2.X1.X4.Q4.vbe', 'X1.X2.X1.X4.Q4.vbc', 'X1.X2.X1.X4.Q5.vbe', 'X1.X2.X1.X4.Q5.vbc', 'X1.X2.X1.X5.Q1.vbe', 'X1.X2.X1.X5.Q2.vbe', 'X1.X2.X1.X5.Q2.vbc', 'X1.X2.X1.X5.Q3.vbe', 'X1.X2.X1.X5.Q3.vbc', 'X1.X2.X1.X5.Q4.vbe', 'X1.X2.X1.X5.Q4.vbc', 'X1.X2.X1.X5.Q5.vbe', 'X1.X2.X1.X6.Q1.vbe', 'X1.X2.X1.X6.Q1.vbc', 'X1.X2.X1.X6.Q2.vbe', 'X1.X2.X1.X6.Q3.vbe', 'X1.X2.X1.X6.Q3.vbc', 'X1.X2.X1.X6.Q4.vbe', 'X1.X2.X1.X6.Q4.vbc', 'X1.X2.X1.X6.Q5.vbe', 'X1.X2.X1.X7.Q1.vbe', 'X1.X2.X1.X7.Q1.vbc', 'X1.X2.X1.X7.Q2.vbe', 'X1.X2.X1.X7.Q2.vbc', 'X1.X2.X1.X7.Q3.vbe', 'X1.X2.X1.X7.Q3.vbc', 'X1.X2.X1.X7.Q4.vbe', 'X1.X2.X1.X7.Q4.vbc', 'X1.X2.X1.X7.Q5.vbe', 'X1.X2.X1.X7.Q5.vbc', 'X1.X2.X1.X8.Q1.vbe', 'X1.X2.X1.X8.Q1.vbc', 'X1.X2.X1.X8.Q2.vbe', 'X1.X2.X1.X8.Q2.vbc', 'X1.X2.X1.X8.Q3.vbe', 'X1.X2.X1.X8.Q3.vbc', 'X1.X2.X1.X8.Q4.vbe', 'X1.X2.X1.X8.Q4.vbc', 'X1.X2.X1.X8.Q5.vbe', 'X1.X2.X1.X8.Q5.vbc', 'X1.X2.X1.X9.Q1.vbe', 'X1.X2.X1.X9.Q1.vbc', 'X1.X2.X1.X9.Q2.vbe', 'X1.X2.X1.X9.Q2.vbc', 'X1.X2.X1.X9.Q3.vbe', 'X1.X2.X1.X9.Q3.vbc', 'X1.X2.X1.X9.Q4.vbe', 'X1.X2.X1.X9.Q4.vbc', 'X1.X2.X1.X9.Q5.vbe', 'X1.X2.X1.X9.Q5.vbc', 'X1.X2.X2.X1.Q1.vbe', 'X1.X2.X2.X1.Q1.vbc', 'X1.X2.X2.X1.Q2.vbc', 'X1.X2.X2.X1.Q3.vbe', 'X1.X2.X2.X1.Q3.vbc', 'X1.X2.X2.X1.Q4.vbe', 'X1.X2.X2.X1.Q4.vbc', 'X1.X2.X2.X1.Q5.vbc', 'X1.X2.X2.X2.Q1.vbe', 'X1.X2.X2.X2.Q2.vbe', 'X1.X2.X2.X2.Q2.vbc', 'X1.X2.X2.X2.Q3.vbe', 'X1.X2.X2.X2.Q3.vbc', 'X1.X2.X2.X2.Q4.vbe', 'X1.X2.X2.X2.Q4.vbc', 'X1.X2.X2.X2.Q5.vbe', 'X1.X2.X2.X2.Q5.vbc', 'X1.X2.X2.X3.Q1.vbe', 'X1.X2.X2.X3.Q1.vbc', 'X1.X2.X2.X3.Q2.vbe', 'X1.X2.X2.X3.Q3.vbe', 'X1.X2.X2.X3.Q3.vbc', 'X1.X2.X2.X3.Q4.vbe', 'X1.X2.X2.X3.Q4.vbc', 'X1.X2.X2.X3.Q5.vbe', 'X1.X2.X2.X4.Q1.vbe', 'X1.X2.X2.X4.Q1.vbc', 'X1.X2.X2.X4.Q2.vbe', 'X1.X2.X2.X4.Q2.vbc', 'X1.X2.X2.X4.Q3.vbe', 'X1.X2.X2.X4.Q3.vbc', 'X1.X2.X2.X4.Q4.vbe', 'X1.X2.X2.X4.Q4.vbc', 'X1.X2.X2.X4.Q5.vbe', 'X1.X2.X2.X4.Q5.vbc', 'X1.X2.X2.X5.Q1.vbe', 'X1.X2.X2.X5.Q2.vbe', 'X1.X2.X2.X5.Q2.vbc', 'X1.X2.X2.X5.Q3.vbe', 'X1.X2.X2.X5.Q3.vbc', 'X1.X2.X2.X5.Q4.vbe', 'X1.X2.X2.X5.Q4.vbc', 'X1.X2.X2.X5.Q5.vbe', 'X1.X2.X2.X6.Q1.vbe', 'X1.X2.X2.X6.Q1.vbc', 'X1.X2.X2.X6.Q2.vbe', 'X1.X2.X2.X6.Q3.vbe', 'X1.X2.X2.X6.Q3.vbc', 'X1.X2.X2.X6.Q4.vbe', 'X1.X2.X2.X6.Q4.vbc', 'X1.X2.X2.X6.Q5.vbe', 'X1.X2.X2.X7.Q1.vbe', 'X1.X2.X2.X7.Q1.vbc', 'X1.X2.X2.X7.Q2.vbe', 'X1.X2.X2.X7.Q2.vbc', 'X1.X2.X2.X7.Q3.vbe', 'X1.X2.X2.X7.Q3.vbc', 'X1.X2.X2.X7.Q4.vbe', 'X1.X2.X2.X7.Q4.vbc', 'X1.X2.X2.X7.Q5.vbe', 'X1.X2.X2.X7.Q5.vbc', 'X1.X2.X2.X8.Q1.vbe', 'X1.X2.X2.X8.Q1.vbc', 'X1.X2.X2.X8.Q2.vbe', 'X1.X2.X2.X8.Q2.vbc', 'X1.X2.X2.X8.Q3.vbe', 'X1.X2.X2.X8.Q3.vbc', 'X1.X2.X2.X8.Q4.vbe', 'X1.X2.X2.X8.Q4.vbc', 'X1.X2.X2.X8.Q5.vbe', 'X1.X2.X2.X8.Q5.vbc', 'X1.X2.X2.X9.Q1.vbe', 'X1.X2.X2.X9.Q1.vbc', 'X1.X2.X2.X9.Q2.vbe', 'X1.X2.X2.X9.Q2.vbc', 'X1.X2.X2.X9.Q3.vbe', 'X1.X2.X2.X9.Q3.vbc', 'X1.X2.X2.X9.Q4.vbe', 'X1.X2.X2.X9.Q4.vbc', 'X1.X2.X2.X9.Q5.vbe', 'X1.X2.X2.X9.Q5.vbc'] 15.603760744910687 15.827958057 9.703289005 Calling exit ...