Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_trunk_Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo): time 0.001558/0.001558, allocations: 99.64 kB / 21.25 MB, free: 424 kB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo): time 0.001688/0.001688, allocations: 214.5 kB / 24.55 MB, free: 3.719 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo): time 1.549/1.549, allocations: 230.5 MB / 258.2 MB, free: 7.746 MB / 206.1 MB " [Timeout remaining time 178] Using package Modelica with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo) Using package Complex with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo) Using package ModelicaServices with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/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_trunk_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_trunk_Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder") [Timeout 660] "Notification: Performance of FrontEnd - Absyn->SCode: time 2.861e-05/2.861e-05, allocations: 6.219 kB / 379.1 MB, free: 2.285 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Spice3.Examples.Spice3BenchmarkFourBitBinaryAdder): time 1.478/1.478, allocations: 486.1 MB / 0.8449 GB, free: 14.27 MB / 0.5762 GB Notification: Performance of NFInst.instExpressions: time 0.3357/1.814, allocations: 114.5 MB / 0.9567 GB, free: 1.562 MB / 0.6544 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.2161/2.03, allocations: 8.084 MB / 0.9646 GB, free: 9.387 MB / 0.67 GB Notification: Performance of NFTyping.typeComponents: time 0.1072/2.137, allocations: 30.23 MB / 0.9941 GB, free: 10.89 MB / 0.7012 GB Notification: Performance of NFTyping.typeBindings: time 0.7235/2.861, allocations: 46.67 MB / 1.04 GB, free: 51.86 MB / 0.7325 GB Notification: Performance of NFTyping.typeClassSections: time 0.07496/2.936, allocations: 24.09 MB / 1.063 GB, free: 51.82 MB / 0.7325 GB Notification: Performance of NFFlatten.flatten: time 1.524/4.46, allocations: 343 MB / 1.398 GB, free: 56.86 MB / 0.8263 GB Notification: Performance of NFFlatten.resolveConnections: time 0.05497/4.515, allocations: 9.749 MB / 1.408 GB, free: 71.47 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.1564/4.672, allocations: 89.78 MB / 1.495 GB, free: 53.85 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.1442/4.816, allocations: 74.09 MB / 1.568 GB, free: 8.203 MB / 0.8575 GB Notification: Performance of NFPackage.collectConstants: time 0.04298/4.859, allocations: 11.47 MB / 1.579 GB, free: 15.59 MB / 0.8732 GB Notification: Performance of NFFlatten.collectFunctions: time 0.08071/4.939, allocations: 12.08 MB / 1.591 GB, free: 3.574 MB / 0.8732 GB Notification: Performance of combineBinaries: time 1.326/6.266, allocations: 317.1 MB / 1.9 GB, free: 8.777 MB / 0.9514 GB Notification: Performance of replaceArrayConstructors: time 1.052/7.318, allocations: 238.7 MB / 2.133 GB, free: 16.59 MB / 0.9983 GB Notification: Performance of NFVerifyModel.verify: time 0.07891/7.397, allocations: 11.92 MB / 2.145 GB, free: 16.59 MB / 0.9983 GB Notification: Performance of FrontEnd: time 0.01504/7.412, allocations: 0.9377 MB / 2.146 GB, free: 16.59 MB / 0.9983 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 4.243/11.66, allocations: 1.161 GB / 3.307 GB, free: 12.76 MB / 1.233 GB Notification: Performance of [SIM] FunctionAlias: time 0.4458/12.1, allocations: 104.6 MB / 3.41 GB, free: 10.44 MB / 1.28 GB Notification: Performance of [SIM] Early Inline: time 1.732/13.83, allocations: 357.8 MB / 3.759 GB, free: 107.8 MB / 1.42 GB Notification: Performance of [SIM] Simplify 1: time 0.2372/14.07, allocations: 37.37 MB / 3.796 GB, free: 96.75 MB / 1.42 GB Notification: Performance of [SIM] Alias: time 0.6426/14.71, allocations: 280 MB / 4.069 GB, free: 7.824 MB / 1.545 GB Notification: Performance of [SIM] Simplify 2: time 1.27/15.98, allocations: 30.08 MB / 4.098 GB, free: 286.2 MB / 1.545 GB Notification: Performance of [SIM] Remove Stream: time 0.07566/16.06, allocations: 21.99 MB / 4.12 GB, free: 284.9 MB / 1.545 GB Notification: Performance of [SIM] Detect States: time 0.1895/16.25, allocations: 72.71 MB / 4.191 GB, free: 270 MB / 1.545 GB Notification: Performance of [SIM] Events: time 0.04268/16.29, allocations: 6.748 MB / 4.197 GB, free: 266.6 MB / 1.545 GB Notification: Performance of [SIM] Partitioning: time 0.3446/16.64, allocations: 200.1 MB / 4.393 GB, free: 111.7 MB / 1.545 GB Error: Internal error NBVariable.makeDummyState failed for $DER.X1.X2.X2.X1.Q4.vcs. " [Timeout remaining time 639] [Calling sys.exit(0), Time elapsed: 23.36806243599858] 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'] 20.909001898020506 20.921254585 13.505084583 Calling exit ...