BENCHMARK INFORMATION benchmark definition: ../benchexec/student-concurrency-bpl.xml name: student-concurrency-bpl run sets: Automizer SVCOMP 2020.Synth, Automizer FA-SemanticLbe.Synth, Automizer FA-VariableLbe.Synth, Automizer FA-NoLbe.Synth, Automizer FA-SemanticLbe-MCR.Synth, Automizer FA-VariableLbe-MCR.Synth, Automizer FA-NoLbe-MCR.Synth, Automizer PN-SemanticLbe.Synth, Automizer PN-VariableLbe.Synth, Automizer PN-NoLbe.Synth, Automizer PN-SemanticLbe-MCR.Synth, Automizer PN-VariableLbe-MCR.Synth, Automizer PN-NoLbe-MCR.Synth date: Thu, 2020-01-16 17:47:57 CET tool: ULTIMATE Automizer 0.1.25-abd85002 tool executable: ./Ultimate.py options: --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml parallel runs: 8 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-5.3.6-gentoo-r1-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135153.39776 MB ------------------------------------------------------------ Automizer SVCOMP 2020.Synth Run set 1 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.84 774.93 None example_11.bpl TIMEOUT (ERROR (143)) 900.83 747.53 None example_12.bpl TIMEOUT (ERROR (143)) 901.09 846.50 None example_13.bpl TIMEOUT (ERROR (143)) 901.16 849.43 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 906.50 870.91 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.48 863.26 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.19 862.80 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.29 861.50 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.38 859.42 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.83 852.97 None example_2.bpl true 6.35 3.61 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.68 851.58 None example_3.bpl true 7.98 4.51 None example_4.bpl true 14.63 8.26 None example_5.bpl true 50.91 31.73 None example_6.bpl true 265.68 211.50 None example_7.bpl TIMEOUT (ERROR (143)) 901.09 768.22 None example_8.bpl TIMEOUT (ERROR (143)) 900.94 774.66 None example_9.bpl TIMEOUT (ERROR (143)) 901.05 774.07 None ---------------------------------------------------------------------------------- Run set 1 done 11298.79 1701.30 - Automizer FA-SemanticLbe.Synth Run set 2 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-SemanticLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.86 771.65 None example_11.bpl TIMEOUT (ERROR (143)) 900.83 739.03 None example_12.bpl TIMEOUT (ERROR (143)) 900.27 841.98 None example_13.bpl TIMEOUT (ERROR (143)) 901.12 851.42 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 902.22 865.23 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.28 861.51 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.21 862.05 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.36 861.60 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.36 860.30 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.50 856.79 None example_2.bpl true 6.34 3.60 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.67 851.47 None example_3.bpl true 8.72 4.77 None example_4.bpl true 14.91 8.47 None example_5.bpl true 51.10 31.36 None example_6.bpl true 270.88 213.15 None example_7.bpl TIMEOUT (ERROR (143)) 901.07 767.21 None example_8.bpl TIMEOUT (ERROR (143)) 901.03 770.29 None example_9.bpl TIMEOUT (ERROR (143)) 900.85 782.15 None ---------------------------------------------------------------------------------- Run set 2 done 12086.35 1697.46 - Automizer FA-VariableLbe.Synth Run set 3 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-VariableLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.86 775.57 None example_11.bpl TIMEOUT (ERROR (143)) 901.15 739.83 None example_12.bpl TIMEOUT (ERROR (143)) 900.89 836.79 None example_13.bpl TIMEOUT (ERROR (143)) 901.30 849.82 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.94 870.56 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.21 863.35 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.23 862.63 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.36 862.46 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.38 861.11 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.44 858.05 None example_2.bpl true 6.32 3.52 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.68 852.63 None example_3.bpl true 8.06 4.36 None example_4.bpl true 14.92 8.25 None example_5.bpl true 49.14 30.46 None example_6.bpl true 275.25 219.50 None example_7.bpl TIMEOUT (ERROR (143)) 901.05 771.41 None example_8.bpl TIMEOUT (ERROR (143)) 901.02 770.98 None example_9.bpl TIMEOUT (ERROR (143)) 900.94 776.20 None ---------------------------------------------------------------------------------- Run set 3 done 12496.44 1693.33 - Automizer FA-NoLbe.Synth Run set 4 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 901.07 827.86 None example_11.bpl TIMEOUT (ERROR (143)) 900.51 824.49 None example_12.bpl TIMEOUT (ERROR (143)) 900.98 837.78 None example_13.bpl TIMEOUT (ERROR (143)) 901.04 830.64 None example_14.bpl TIMEOUT (ERROR (143)) 900.36 820.31 None example_15.bpl TIMEOUT (ERROR (143)) 901.09 820.78 None example_16.bpl TIMEOUT (ERROR (143)) 901.17 829.82 None example_17.bpl TIMEOUT (ERROR (143)) 900.58 824.22 None example_18.bpl TIMEOUT (ERROR (143)) 900.49 821.40 None example_19.bpl TIMEOUT (ERROR (143)) 900.56 812.28 None example_2.bpl true 6.40 3.57 None example_20.bpl TIMEOUT (ERROR (143)) 901.14 823.35 None example_3.bpl true 8.33 4.62 None example_4.bpl true 15.78 8.65 None example_5.bpl true 54.17 34.70 None example_6.bpl true 356.41 296.25 None example_7.bpl TIMEOUT (ERROR (143)) 900.47 801.95 None example_8.bpl TIMEOUT (ERROR (143)) 901.11 797.20 None example_9.bpl TIMEOUT (ERROR (143)) 900.97 678.78 None ---------------------------------------------------------------------------------- Run set 4 done 13045.06 1648.11 - Automizer FA-SemanticLbe-MCR.Synth Run set 5 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-SemanticLbe-MCR.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl true 423.78 363.10 None example_11.bpl TIMEOUT (ERROR (143)) 901.13 748.01 None example_12.bpl TIMEOUT (ERROR (143)) 901.00 835.97 None example_13.bpl TIMEOUT (ERROR (143)) 901.75 852.18 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.89 869.50 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.22 862.70 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.19 861.25 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.37 862.24 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 910.70 851.22 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 903.53 852.49 None example_2.bpl true 6.10 3.47 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.90 851.11 None example_3.bpl true 6.98 3.92 None example_4.bpl true 10.05 5.61 None example_5.bpl true 10.50 5.81 None example_6.bpl true 42.59 31.18 None example_7.bpl true 207.34 178.52 None example_8.bpl true 169.63 142.37 None example_9.bpl TIMEOUT (ERROR (143)) 900.58 803.14 None ---------------------------------------------------------------------------------- Run set 5 done 10554.49 1690.94 - Automizer FA-VariableLbe-MCR.Synth Run set 6 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-VariableLbe-MCR.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl true 424.20 365.89 None example_11.bpl TIMEOUT (ERROR (143)) 900.76 749.92 None example_12.bpl TIMEOUT (ERROR (143)) 901.03 845.03 None example_13.bpl TIMEOUT (ERROR (143)) 900.92 848.89 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.96 869.43 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.29 861.98 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.55 861.69 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.46 861.21 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.19 861.88 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.61 852.43 None example_2.bpl true 6.33 3.52 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.65 848.34 None example_3.bpl true 6.89 3.92 None example_4.bpl true 10.75 5.93 None example_5.bpl true 10.51 5.78 None example_6.bpl true 45.79 31.99 None example_7.bpl true 215.69 186.43 None example_8.bpl true 169.07 142.44 None example_9.bpl TIMEOUT (ERROR (143)) 900.85 802.44 None ---------------------------------------------------------------------------------- Run set 6 done 10796.40 1697.28 - Automizer FA-NoLbe-MCR.Synth Run set 7 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe-MCR.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.47 828.61 None example_11.bpl TIMEOUT (ERROR (143)) 900.25 834.22 None example_12.bpl TIMEOUT (ERROR (143)) 901.36 835.69 None example_13.bpl TIMEOUT (ERROR (143)) 900.41 823.74 None example_14.bpl TIMEOUT (ERROR (143)) 900.98 819.37 None example_15.bpl TIMEOUT (ERROR (143)) 900.75 815.87 None example_16.bpl TIMEOUT (ERROR (143)) 901.08 836.60 None example_17.bpl TIMEOUT (ERROR (143)) 900.49 813.03 None example_18.bpl TIMEOUT (ERROR (143)) 900.38 813.58 None example_19.bpl TIMEOUT (ERROR (143)) 902.54 816.06 None example_2.bpl true 6.47 3.63 None example_20.bpl TIMEOUT (ERROR (143)) 901.30 816.54 None example_3.bpl true 7.55 4.27 None example_4.bpl true 8.18 4.53 None example_5.bpl true 16.11 8.98 None example_6.bpl true 17.96 9.97 None example_7.bpl true 91.52 66.29 None example_8.bpl true 166.15 118.55 None example_9.bpl TIMEOUT (ERROR (143)) 900.24 694.58 None ---------------------------------------------------------------------------------- Run set 7 done 10975.89 1639.96 - Automizer PN-SemanticLbe.Synth Run set 8 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-SemanticLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.70 836.19 None example_11.bpl TIMEOUT (ERROR (143)) 901.63 836.98 None example_12.bpl TIMEOUT (ERROR (143)) 901.23 844.71 None example_13.bpl TIMEOUT (ERROR (143)) 901.24 853.67 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 902.36 863.65 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.33 863.47 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.33 860.32 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.29 861.23 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.93 860.58 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 903.02 857.46 None example_2.bpl true 6.59 3.72 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.84 852.01 None example_3.bpl true 8.78 4.87 None example_4.bpl true 25.99 13.96 None example_5.bpl TIMEOUT (ERROR (143)) 901.31 840.99 None example_6.bpl TIMEOUT (ERROR (143)) 900.31 826.91 None example_7.bpl TIMEOUT (ERROR (143)) 901.27 829.02 None example_8.bpl TIMEOUT (ERROR (143)) 900.47 835.73 None example_9.bpl TIMEOUT (ERROR (143)) 901.21 831.31 None ---------------------------------------------------------------------------------- Run set 8 done 14421.84 1704.37 - Automizer PN-VariableLbe.Synth Run set 9 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 901.30 828.10 None example_11.bpl TIMEOUT (ERROR (143)) 901.52 836.43 None example_12.bpl TIMEOUT (ERROR (143)) 901.29 847.27 None example_13.bpl TIMEOUT (ERROR (143)) 900.91 852.18 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.90 869.16 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.39 863.62 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.19 862.18 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.38 860.01 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.36 860.30 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.83 858.24 None example_2.bpl true 6.61 3.74 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 903.60 852.92 None example_3.bpl true 8.89 4.89 None example_4.bpl true 26.48 14.11 None example_5.bpl TIMEOUT (ERROR (143)) 901.09 837.03 None example_6.bpl TIMEOUT (ERROR (143)) 901.12 836.36 None example_7.bpl TIMEOUT (ERROR (143)) 900.37 826.13 None example_8.bpl TIMEOUT (ERROR (143)) 901.11 833.41 None example_9.bpl TIMEOUT (ERROR (143)) 901.24 829.84 None ---------------------------------------------------------------------------------- Run set 9 done 14437.39 1704.34 - Automizer PN-NoLbe.Synth Run set 10 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.98 826.49 None example_11.bpl TIMEOUT (ERROR (143)) 901.98 828.75 None example_12.bpl TIMEOUT (ERROR (143)) 906.63 841.62 None example_13.bpl TIMEOUT (ERROR (143)) 900.99 835.37 None example_14.bpl TIMEOUT (ERROR (143)) 903.26 865.83 None example_15.bpl TIMEOUT (ERROR (143)) 902.21 863.30 None example_16.bpl TIMEOUT (ERROR (143)) 902.36 860.26 None example_17.bpl TIMEOUT (ERROR (143)) 902.35 859.87 None example_18.bpl TIMEOUT (ERROR (143)) 902.67 861.38 None example_19.bpl TIMEOUT (ERROR (143)) 902.56 858.25 None example_2.bpl true 6.38 3.57 None example_20.bpl TIMEOUT (ERROR (143)) 902.61 852.16 None example_3.bpl true 8.60 4.76 None example_4.bpl true 28.12 15.17 None example_5.bpl TIMEOUT (ERROR (143)) 900.30 828.23 None example_6.bpl TIMEOUT (ERROR (143)) 900.50 814.10 None example_7.bpl TIMEOUT (ERROR (143)) 901.35 817.41 None example_8.bpl TIMEOUT (ERROR (143)) 901.47 828.64 None example_9.bpl TIMEOUT (ERROR (143)) 900.43 833.02 None ---------------------------------------------------------------------------------- Run set 10 done 14452.86 1699.16 - Automizer PN-SemanticLbe-MCR.Synth Run set 11 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-SemanticLbe-MCR.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.36 815.31 None example_11.bpl TIMEOUT (ERROR (143)) 900.48 808.12 None example_12.bpl TIMEOUT (ERROR (143)) 900.38 817.53 None example_13.bpl TIMEOUT (ERROR (143)) 901.38 840.84 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.88 865.53 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.17 862.67 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.22 861.77 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.27 861.34 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 903.06 860.31 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.39 858.23 None example_2.bpl true 6.05 3.45 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.58 851.40 None example_3.bpl true 7.58 4.24 None example_4.bpl true 8.20 4.59 None example_5.bpl true 43.87 31.70 None example_6.bpl true 59.28 44.85 None example_7.bpl true 392.41 343.45 None example_8.bpl TIMEOUT (ERROR (143)) 900.49 812.85 None example_9.bpl TIMEOUT (ERROR (143)) 900.57 814.65 None ---------------------------------------------------------------------------------- Run set 11 done 10133.32 1680.51 - Automizer PN-VariableLbe-MCR.Synth Run set 12 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-VariableLbe-MCR.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.44 805.94 None example_11.bpl TIMEOUT (ERROR (143)) 900.49 808.55 None example_12.bpl TIMEOUT (ERROR (143)) 900.43 815.52 None example_13.bpl TIMEOUT (ERROR (143)) 900.80 849.33 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.93 867.84 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.14 862.44 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.51 862.51 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.35 861.07 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.66 859.97 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 903.28 859.51 None example_2.bpl true 6.59 3.70 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 903.02 850.52 None example_3.bpl true 7.34 4.15 None example_4.bpl true 8.48 4.60 None example_5.bpl true 43.82 31.71 None example_6.bpl true 61.25 45.43 None example_7.bpl true 390.84 343.19 None example_8.bpl TIMEOUT (ERROR (143)) 900.51 814.60 None example_9.bpl TIMEOUT (ERROR (143)) 900.53 812.66 None ---------------------------------------------------------------------------------- Run set 12 done 10712.51 1680.82 - Automizer PN-NoLbe-MCR.Synth Run set 13 of 13 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-NoLbe-MCR.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------- example_10.bpl TIMEOUT (ERROR (143)) 900.89 719.50 None example_11.bpl OUT OF MEMORY 237.70 167.21 None example_12.bpl OUT OF MEMORY 275.11 197.91 None example_13.bpl OUT OF MEMORY 487.86 407.82 None example_14.bpl TIMEOUT (ERROR (143)) 901.92 869.23 None example_15.bpl TIMEOUT (ERROR (143)) 903.33 863.19 None example_16.bpl TIMEOUT (ERROR (143)) 902.13 862.49 None example_17.bpl TIMEOUT (ERROR (143)) 902.26 860.83 None example_18.bpl TIMEOUT (ERROR (143)) 910.32 863.70 None example_19.bpl TIMEOUT (ERROR (143)) 903.32 859.45 None example_2.bpl true 6.29 3.58 None example_20.bpl TIMEOUT (ERROR (143)) 902.81 851.33 None example_3.bpl true 6.86 3.92 None example_4.bpl true 11.16 6.15 None example_5.bpl true 32.92 21.32 None example_6.bpl true 39.48 27.96 None example_7.bpl true 99.88 74.76 None example_8.bpl TIMEOUT (ERROR (143)) 900.49 809.18 None example_9.bpl TIMEOUT (ERROR (143)) 901.16 794.53 None ---------------------------------------------------------------------------------- Run set 13 done 8874.20 1663.71 - Statistics: 247 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 177