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: Mon, 2020-02-10 19:29:15 CET tool: ULTIMATE Automizer 0.1.25-d9e330db 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.30 None example_11.bpl TIMEOUT (ERROR (143)) 900.92 738.39 None example_12.bpl TIMEOUT (ERROR (143)) 902.13 843.74 None example_13.bpl TIMEOUT (ERROR (143)) 901.39 851.04 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.88 867.44 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.40 862.40 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.32 859.60 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.34 861.58 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.62 859.61 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.55 859.48 None example_2.bpl true 6.40 3.61 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.57 849.67 None example_3.bpl true 8.14 4.47 None example_4.bpl true 14.56 8.31 None example_5.bpl true 50.43 30.93 None example_6.bpl true 267.28 212.32 None example_7.bpl TIMEOUT (ERROR (143)) 901.10 770.82 None example_8.bpl TIMEOUT (ERROR (143)) 901.02 768.54 None example_9.bpl TIMEOUT (ERROR (143)) 901.16 771.69 None ---------------------------------------------------------------------------------- Run set 1 done 11706.79 1697.43 - 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.81 776.26 None example_11.bpl TIMEOUT (ERROR (143)) 901.04 735.34 None example_12.bpl TIMEOUT (ERROR (143)) 901.18 844.51 None example_13.bpl TIMEOUT (ERROR (143)) 900.92 849.38 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 902.34 869.28 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.29 862.40 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.61 863.10 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.30 862.74 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.54 858.99 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.68 859.42 None example_2.bpl true 6.19 3.51 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.76 851.69 None example_3.bpl true 8.41 4.68 None example_4.bpl true 14.90 8.46 None example_5.bpl true 50.55 31.08 None example_6.bpl true 265.28 211.24 None example_7.bpl TIMEOUT (ERROR (143)) 901.09 768.17 None example_8.bpl TIMEOUT (ERROR (143)) 901.04 767.43 None example_9.bpl TIMEOUT (ERROR (143)) 901.03 772.80 None ---------------------------------------------------------------------------------- Run set 2 done 11243.28 1700.11 - 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.83 774.90 None example_11.bpl TIMEOUT (ERROR (143)) 901.28 744.18 None example_12.bpl TIMEOUT (ERROR (143)) 900.99 842.89 None example_13.bpl TIMEOUT (ERROR (143)) 900.97 847.51 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.87 869.34 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.04 867.67 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.23 861.95 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.29 860.86 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.52 859.21 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.83 857.87 None example_2.bpl true 6.64 3.76 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.69 852.24 None example_3.bpl true 8.26 4.52 None example_4.bpl true 14.53 8.23 None example_5.bpl true 49.31 30.52 None example_6.bpl true 261.08 207.57 None example_7.bpl TIMEOUT (ERROR (143)) 901.09 768.43 None example_8.bpl TIMEOUT (ERROR (143)) 901.00 770.86 None example_9.bpl TIMEOUT (ERROR (143)) 900.98 772.98 None ---------------------------------------------------------------------------------- Run set 3 done 11405.97 1699.30 - 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.01 830.44 None example_11.bpl TIMEOUT (ERROR (143)) 902.12 835.31 None example_12.bpl TIMEOUT (ERROR (143)) 901.15 841.46 None example_13.bpl TIMEOUT (ERROR (143)) 901.16 833.58 None example_14.bpl TIMEOUT (ERROR (143)) 901.71 834.46 None example_15.bpl TIMEOUT (ERROR (143)) 900.53 828.31 None example_16.bpl TIMEOUT (ERROR (143)) 902.60 834.40 None example_17.bpl TIMEOUT (ERROR (143)) 914.31 827.83 None example_18.bpl TIMEOUT (ERROR (143)) 900.63 813.53 None example_19.bpl TIMEOUT (ERROR (143)) 900.32 820.01 None example_2.bpl true 6.29 3.59 None example_20.bpl TIMEOUT (ERROR (143)) 900.68 815.57 None example_3.bpl true 8.01 4.40 None example_4.bpl true 16.08 8.65 None example_5.bpl true 55.85 34.33 None example_6.bpl true 339.50 276.79 None example_7.bpl TIMEOUT (ERROR (143)) 900.44 802.71 None example_8.bpl TIMEOUT (ERROR (143)) 900.29 800.99 None example_9.bpl OUT OF MEMORY 438.78 346.59 None ---------------------------------------------------------------------------------- Run set 4 done 12474.04 1649.44 - 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 409.61 352.97 None example_11.bpl TIMEOUT (ERROR (143)) 901.09 750.76 None example_12.bpl TIMEOUT (ERROR (143)) 900.98 839.95 None example_13.bpl TIMEOUT (ERROR (143)) 900.99 847.02 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 904.71 868.53 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.05 865.32 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.31 860.92 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.38 861.30 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.31 859.63 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.39 856.23 None example_2.bpl true 6.19 3.50 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 903.40 851.02 None example_3.bpl true 6.57 3.72 None example_4.bpl true 10.42 5.82 None example_5.bpl true 10.53 5.78 None example_6.bpl true 43.17 32.05 None example_7.bpl true 206.62 177.31 None example_8.bpl true 164.82 139.23 None example_9.bpl TIMEOUT (ERROR (143)) 900.57 805.64 None ---------------------------------------------------------------------------------- Run set 5 done 10768.12 1694.88 - 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 443.76 374.62 None example_11.bpl TIMEOUT (ERROR (143)) 901.33 741.28 None example_12.bpl TIMEOUT (ERROR (143)) 900.29 840.17 None example_13.bpl TIMEOUT (ERROR (143)) 900.96 848.11 None example_14.bpl TIMEOUT (ERROR: EXCEPTION) 901.81 869.22 None example_15.bpl TIMEOUT (ERROR: EXCEPTION) 902.84 859.87 None example_16.bpl TIMEOUT (ERROR: EXCEPTION) 902.41 861.80 None example_17.bpl TIMEOUT (ERROR: EXCEPTION) 902.25 862.66 None example_18.bpl TIMEOUT (ERROR: EXCEPTION) 902.23 859.01 None example_19.bpl TIMEOUT (ERROR: EXCEPTION) 902.58 848.95 None example_2.bpl true 6.25 3.52 None example_20.bpl TIMEOUT (ERROR: EXCEPTION) 902.62 850.22 None example_3.bpl true 6.84 3.85 None example_4.bpl true 10.30 5.72 None example_5.bpl true 10.30 5.69 None example_6.bpl true 43.22 31.68 None example_7.bpl true 221.57 191.27 None example_8.bpl true 167.40 139.61 None example_9.bpl TIMEOUT (ERROR (143)) 900.73 801.29 None ---------------------------------------------------------------------------------- Run set 6 done 10103.14 1694.31 - 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)) 913.16 838.46 None example_11.bpl TIMEOUT (ERROR (143)) 901.09 835.35 None example_12.bpl TIMEOUT (ERROR (143)) 901.09 837.45 None example_13.bpl TIMEOUT (ERROR (143)) 901.03 829.70 None example_14.bpl TIMEOUT (ERROR (143)) 901.23 829.46 None example_15.bpl TIMEOUT (ERROR (143)) 900.29 826.44 None example_16.bpl TIMEOUT (ERROR (143)) 901.12 833.19 None example_17.bpl TIMEOUT (ERROR (143)) 900.39 819.47 None example_18.bpl TIMEOUT (ERROR (143)) 901.13 820.70 None example_19.bpl TIMEOUT (ERROR (143)) 901.14 819.34 None example_2.bpl true 6.17 3.45 None example_20.bpl TIMEOUT (ERROR (143)) 901.21 816.42 None example_3.bpl true 7.49 4.16 None example_4.bpl true 8.56 4.68 None example_5.bpl true 15.58 9.02 None example_6.bpl true 18.06 9.99 None example_7.bpl true 98.89 68.62 None example_8.bpl true 158.35 111.79 None example_9.bpl TIMEOUT (ERROR (143)) 900.32 691.61 None ---------------------------------------------------------------------------------- Run set 7 done 10999.25 1646.42 - 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)) 901.73 845.79 None example_11.bpl TIMEOUT (ERROR (143)) 901.42 847.66 None example_12.bpl TIMEOUT (ERROR (143)) 902.38 839.26 None example_13.bpl TIMEOUT (ERROR (143)) 900.99 856.85 None example_14.bpl TIMEOUT (ERROR (143)) 901.87 868.33 None example_15.bpl TIMEOUT (ERROR (143)) 902.19 861.92 None example_16.bpl TIMEOUT (ERROR (143)) 902.21 861.11 None example_17.bpl TIMEOUT (ERROR (143)) 902.71 860.65 None example_18.bpl TIMEOUT (ERROR (143)) 902.51 859.87 None example_19.bpl TIMEOUT (ERROR (143)) 902.66 857.98 None example_2.bpl true 6.23 3.53 None example_20.bpl TIMEOUT (ERROR (143)) 902.69 849.59 None example_3.bpl true 8.75 4.82 None example_4.bpl true 20.89 11.05 None example_5.bpl true 492.63 459.05 None example_6.bpl TIMEOUT (ERROR (143)) 900.49 837.82 None example_7.bpl TIMEOUT (ERROR (143)) 900.36 832.91 None example_8.bpl TIMEOUT (ERROR (143)) 901.18 843.65 None example_9.bpl TIMEOUT (ERROR (143)) 900.58 829.98 None ---------------------------------------------------------------------------------- Run set 8 done 14012.93 1712.29 - 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.74 849.48 None example_11.bpl TIMEOUT (ERROR (143)) 901.46 842.55 None example_12.bpl TIMEOUT (ERROR (143)) 901.31 838.60 None example_13.bpl TIMEOUT (ERROR (143)) 901.13 860.30 None example_14.bpl TIMEOUT (ERROR (143)) 902.73 869.62 None example_15.bpl TIMEOUT (ERROR (143)) 902.37 863.00 None example_16.bpl TIMEOUT (ERROR (143)) 902.93 861.48 None example_17.bpl TIMEOUT (ERROR (143)) 902.46 860.90 None example_18.bpl TIMEOUT (ERROR (143)) 902.30 858.30 None example_19.bpl TIMEOUT (ERROR (143)) 902.51 857.36 None example_2.bpl true 6.44 3.63 None example_20.bpl TIMEOUT (ERROR (143)) 903.43 853.28 None example_3.bpl true 8.88 4.82 None example_4.bpl true 20.39 10.85 None example_5.bpl true 493.67 462.35 None example_6.bpl TIMEOUT (ERROR (143)) 901.34 843.21 None example_7.bpl TIMEOUT (ERROR (143)) 901.20 837.36 None example_8.bpl TIMEOUT (ERROR (143)) 901.38 837.15 None example_9.bpl TIMEOUT (ERROR (143)) 900.21 832.39 None ---------------------------------------------------------------------------------- Run set 9 done 14045.85 1707.11 - 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)) 901.52 831.08 None example_11.bpl TIMEOUT (ERROR (143)) 901.77 830.46 None example_12.bpl TIMEOUT (ERROR (143)) 901.96 833.94 None example_13.bpl TIMEOUT (ERROR (143)) 901.28 848.28 None example_14.bpl TIMEOUT (ERROR (143)) 901.95 869.05 None example_15.bpl TIMEOUT (ERROR (143)) 902.02 863.95 None example_16.bpl TIMEOUT (ERROR (143)) 902.29 860.68 None example_17.bpl TIMEOUT (ERROR (143)) 902.30 859.90 None example_18.bpl TIMEOUT (ERROR (143)) 902.22 860.02 None example_19.bpl TIMEOUT (ERROR (143)) 902.44 857.27 None example_2.bpl true 6.57 3.66 None example_20.bpl TIMEOUT (ERROR (143)) 902.78 848.08 None example_3.bpl true 8.63 4.84 None example_4.bpl true 23.06 12.34 None example_5.bpl true 751.39 704.11 None example_6.bpl TIMEOUT (ERROR (143)) 900.63 825.38 None example_7.bpl TIMEOUT (ERROR (143)) 900.64 814.00 None example_8.bpl TIMEOUT (ERROR (143)) 901.21 822.11 None example_9.bpl TIMEOUT (ERROR (143)) 900.75 824.11 None ---------------------------------------------------------------------------------- Run set 10 done 14308.85 1693.48 - 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.41 809.45 None example_11.bpl TIMEOUT (ERROR (143)) 900.33 811.08 None example_12.bpl TIMEOUT (ERROR (143)) 900.45 806.81 None example_13.bpl TIMEOUT (ERROR (143)) 900.98 858.80 None example_14.bpl TIMEOUT (ERROR (143)) 901.90 867.12 None example_15.bpl TIMEOUT (ERROR (143)) 902.21 861.29 None example_16.bpl TIMEOUT (ERROR (143)) 902.27 861.65 None example_17.bpl TIMEOUT (ERROR (143)) 903.26 861.84 None example_18.bpl TIMEOUT (ERROR (143)) 902.34 859.22 None example_19.bpl TIMEOUT (ERROR (143)) 904.11 856.02 None example_2.bpl true 6.07 3.40 None example_20.bpl TIMEOUT (ERROR (143)) 902.77 852.96 None example_3.bpl true 7.42 4.15 None example_4.bpl true 7.92 4.41 None example_5.bpl true 29.82 20.71 None example_6.bpl true 97.67 77.93 None example_7.bpl true 65.95 48.57 None example_8.bpl TIMEOUT (ERROR (143)) 900.86 816.38 None example_9.bpl TIMEOUT (ERROR (143)) 900.67 812.63 None ---------------------------------------------------------------------------------- Run set 11 done 10225.50 1682.54 - 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.45 812.81 None example_11.bpl TIMEOUT (ERROR (143)) 900.37 810.84 None example_12.bpl TIMEOUT (ERROR (143)) 900.37 816.29 None example_13.bpl TIMEOUT (ERROR (143)) 901.04 857.47 None example_14.bpl TIMEOUT (ERROR (143)) 901.74 864.76 None example_15.bpl TIMEOUT (ERROR (143)) 902.22 863.59 None example_16.bpl TIMEOUT (ERROR (143)) 902.34 861.34 None example_17.bpl TIMEOUT (ERROR (143)) 902.97 861.88 None example_18.bpl TIMEOUT (ERROR (143)) 902.56 855.00 None example_19.bpl TIMEOUT (ERROR (143)) 902.90 850.69 None example_2.bpl true 6.05 3.46 None example_20.bpl TIMEOUT (ERROR (143)) 902.65 852.44 None example_3.bpl true 7.50 4.18 None example_4.bpl true 8.54 4.66 None example_5.bpl true 29.89 20.64 None example_6.bpl true 89.46 70.39 None example_7.bpl true 66.48 49.96 None example_8.bpl TIMEOUT (ERROR (143)) 900.80 815.53 None example_9.bpl TIMEOUT (ERROR (143)) 900.44 814.04 None ---------------------------------------------------------------------------------- Run set 12 done 9862.66 1680.61 - 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.91 725.05 None example_11.bpl OUT OF MEMORY 263.88 177.74 None example_12.bpl OUT OF MEMORY 313.26 244.29 None example_13.bpl OUT OF MEMORY 718.53 638.52 None example_14.bpl TIMEOUT (ERROR (143)) 902.04 869.08 None example_15.bpl TIMEOUT (ERROR (143)) 902.27 866.23 None example_16.bpl TIMEOUT (ERROR (143)) 903.10 862.08 None example_17.bpl TIMEOUT (ERROR (143)) 902.37 861.16 None example_18.bpl TIMEOUT (ERROR (143)) 903.11 861.92 None example_19.bpl TIMEOUT (ERROR (143)) 902.97 855.84 None example_2.bpl true 6.55 3.65 None example_20.bpl TIMEOUT (ERROR (143)) 902.78 853.10 None example_3.bpl true 7.68 4.28 None example_4.bpl true 12.82 7.52 None example_5.bpl true 10.78 5.89 None example_6.bpl true 165.36 140.61 None example_7.bpl ERROR: EXCEPTION 461.38 406.45 None example_8.bpl TIMEOUT (ERROR (143)) 900.45 810.74 None example_9.bpl TIMEOUT (ERROR (143)) 901.21 799.96 None ---------------------------------------------------------------------------------- Run set 13 done 9614.45 1673.17 - Statistics: 247 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 175