BENCHMARK INFORMATION benchmark definition: ../benchexec/termination-concurrency.xml name: termination-concurrency run sets: BUCHI_AUTOMATON-NoLBE.termute, PARTIAL_ORDER_BA.termute date: Mon, 2025-02-17 22:45:13 CET tool: ULTIMATE Automizer 0.3.0-601be749 tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.12-5-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ BUCHI_AUTOMATON-NoLBE.termute Run set 1 of 8 with options '--force-no-wrapper -s ../../../trunk/examples/settings/buchiAutomizer/concurrent-automaton-noLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------- 1_thr/aaron2_1.c.bpl true 7.88 4.32 None 1_thr/adfg_1.c.bpl true 9.12 5.60 None 2_thr/aaron2_2.c.bpl true 8.93 5.21 None 2_thr/adfg_2_seq_1.c.bpl true 15.31 8.92 None 2_thr/adfg_2_x_indep.c.bpl true 11.31 6.82 None 2_thr/adfg_2_x_n_b_t_indep.c.bpl true 11.54 6.52 None 2_thr/adfg_2_x_n_indep.c.bpl true 11.41 6.69 None 2_thr/adfg_2_x_n_t_indep.c.bpl true 11.66 6.93 None 2_thr/adfg_2_x_t_indep.c.bpl true 11.27 6.52 None 2_thr/b1.c.bpl true 7.87 4.64 None 2_thr/b2.c.bpl true 8.05 4.73 None 2_thr/b3.c.bpl true 7.88 4.62 None 2_thr/b4.c.bpl true 8.14 4.73 None 2_thr/b5.c.bpl true 8.11 4.81 None 2_thr/barrier-2t.c.bpl true 8.51 5.21 None 2_thr/bb1.c.bpl true 7.91 4.82 None 2_thr/bb2.c.bpl true 7.58 4.27 None 2_thr/bb3.c.bpl true 8.55 5.27 None 2_thr/bb3_b.c.bpl true 8.87 5.59 None 2_thr/bb4.c.bpl true 8.26 5.16 None 2_thr/bb5.c.bpl true 9.49 5.89 None 2_thr/c-barrier-2t.c.bpl true 9.07 5.57 None 2_thr/c2-barrier-2t.c.bpl true 10.07 5.62 None 2_thr/c3-barrier-2t.c.bpl true 9.97 5.53 None 2_thr/c4-barrier-2t.c.bpl true 10.00 6.37 None 2_thr/c5-barrier-2t.c.bpl true 9.64 6.00 None 2_thr/clock2-buggy.c.bpl false(termination) 12.26 7.10 None 2_thr/clock2.c.bpl true 9.99 6.17 None 2_thr/cnolock2.c.bpl true 9.89 6.25 None 2_thr/complex_thr1_2.c.bpl true 8.92 5.30 None 2_thr/complex_thr1_2indep.c.bpl true 8.27 5.38 None 2_thr/glswitch.c.bpl true 11.44 6.89 None 2_thr/ie3.c.bpl true 10.01 5.92 None 2_thr/indep_loops_2.c.bpl true 7.75 4.64 None 2_thr/indep_loops_minus1_2.c.bpl true 8.03 4.89 None 2_thr/interleaved2-buggy.c.bpl true 8.28 4.89 None 2_thr/interleaved2.c.bpl true 8.39 5.13 None 2_thr/lock1.c.bpl true 9.17 5.64 None 2_thr/lock2.c.bpl true 9.69 6.11 None 2_thr/lswitch.c.bpl true 15.88 9.74 None 2_thr/m1.c.bpl true 7.94 4.80 None 2_thr/me0.c.bpl true 7.97 4.73 None 2_thr/multi.c.bpl true 23.30 13.64 None 2_thr/pp2.c.bpl true 8.45 4.97 None 2_thr/seq_loops_indep_2.c.bpl true 9.36 5.91 None 2_thr/seq_loops_part_indep_2.c.bpl true 9.84 6.28 None 2_thr/switch.c.bpl true 10.27 6.11 None 2_thr/switch2.c.bpl true 10.22 6.29 None 2_thr/varied-delta.c.bpl true 8.32 4.91 None 3_thr/aaron2_3.c.bpl true 10.47 6.23 None 3_thr/adfg_3_x_indep.c.bpl true 20.16 11.13 None 3_thr/adfg_3_x_n_b_t_indep.c.bpl true 24.87 14.12 None 3_thr/adfg_3_x_n_indep.c.bpl true 18.40 10.34 None 3_thr/adfg_3_x_n_t_indep.c.bpl true 17.31 10.01 None 3_thr/adfg_3_x_t_indep.c.bpl true 17.47 9.70 None 3_thr/barrier-3t.c.bpl true 11.37 6.69 None 3_thr/bb6.c.bpl true 11.95 6.93 None 3_thr/complex_thr1_3.c.bpl true 10.01 5.53 None 3_thr/complex_thr1_3indep.c.bpl true 10.41 5.98 None 3_thr/ie2.c.bpl true 12.61 7.10 None 3_thr/indep_loops_3.c.bpl true 8.80 5.31 None 3_thr/indep_loops_minus1_3.c.bpl true 9.26 5.69 None 3_thr/interleaved3-buggy.c.bpl true 9.42 5.69 None 3_thr/interleaved3.c.bpl true 10.97 5.99 None 3_thr/lock3.c.bpl true 12.66 6.91 None 3_thr/m4.c.bpl true 9.43 5.97 None 3_thr/m5.c.bpl true 9.38 5.57 None 3_thr/me1-1p2c.c.bpl true 8.73 5.10 None 3_thr/me1-3.c.bpl true 8.66 5.39 None 3_thr/mixed_3.c.bpl true 16.47 9.65 None 3_thr/pc3.c.bpl true 9.51 5.51 None 3_thr/pp3.c.bpl true 9.54 5.40 None 3_thr/seq_loops_indep_3.c.bpl true 12.06 6.73 None 3_thr/seq_loops_part_indep_3.c.bpl true 13.49 7.43 None 4_plus_thr/4thr_2groups.c.bpl true 12.61 6.81 None 4_plus_thr/barrier-4t.c.bpl true 43.23 26.81 None 4_plus_thr/barrier-5t.c.bpl OUT OF MEMORY 173.77 102.51 None 4_plus_thr/barrier-6t.c.bpl OUT OF MEMORY 89.98 56.66 None 4_plus_thr/barrier-7t.c.bpl OUT OF MEMORY 84.44 55.07 None 4_plus_thr/bb7.c.bpl true 45.70 28.53 None 4_plus_thr/indep_loops_10.c.bpl OUT OF MEMORY 96.09 65.77 None 4_plus_thr/indep_loops_11.c.bpl OUT OF MEMORY 87.23 60.54 None 4_plus_thr/indep_loops_12.c.bpl OUT OF MEMORY 92.63 64.65 None 4_plus_thr/indep_loops_4.c.bpl true 10.35 5.83 None 4_plus_thr/indep_loops_5.c.bpl true 19.71 10.93 None 4_plus_thr/indep_loops_6.c.bpl true 85.10 54.60 None 4_plus_thr/indep_loops_7.c.bpl OUT OF MEMORY 100.92 62.16 None 4_plus_thr/indep_loops_8.c.bpl OUT OF MEMORY 114.77 70.24 None 4_plus_thr/indep_loops_9.c.bpl OUT OF MEMORY 94.26 63.29 None 4_plus_thr/indep_loops_minus1_10.c.bpl OUT OF MEMORY 87.40 61.05 None 4_plus_thr/indep_loops_minus1_11.c.bpl OUT OF MEMORY 90.39 62.55 None 4_plus_thr/indep_loops_minus1_4.c.bpl true 11.14 6.18 None 4_plus_thr/indep_loops_minus1_5.c.bpl true 24.71 13.86 None 4_plus_thr/indep_loops_minus1_6.c.bpl OUT OF MEMORY 98.54 63.22 None 4_plus_thr/indep_loops_minus1_7.c.bpl OUT OF MEMORY 117.36 72.60 None 4_plus_thr/indep_loops_minus1_8.c.bpl OUT OF MEMORY 117.76 73.68 None 4_plus_thr/indep_loops_minus1_9.c.bpl OUT OF MEMORY 103.46 69.77 None 4_plus_thr/interleaved4-buggy.c.bpl true 14.75 8.20 None 4_plus_thr/interleaved4.c.bpl true 21.45 11.62 None 4_plus_thr/interleaved5.c.bpl OUT OF MEMORY 146.18 92.62 None 4_plus_thr/interleaved6.c.bpl OUT OF MEMORY 121.21 73.08 None 4_plus_thr/lock4.c.bpl true 58.35 37.83 None 4_plus_thr/lock5.c.bpl OUT OF MEMORY 115.77 72.60 None 4_plus_thr/m11.c.bpl OUT OF MEMORY 93.51 60.74 None 4_plus_thr/m4_2.c.bpl true 13.66 7.32 None 4_plus_thr/m7.c.bpl true 11.79 6.66 None 4_plus_thr/m9.c.bpl true 29.97 17.43 None 4_plus_thr/me1-5.c.bpl true 30.71 18.20 None 4_plus_thr/me1.c.bpl true 13.58 7.54 None 4_plus_thr/pc4.c.bpl true 15.60 8.54 None 4_plus_thr/pc4v.c.bpl true 15.26 8.31 None 4_plus_thr/pc5v.c.bpl true 59.48 36.13 None 4_plus_thr/pc6.c.bpl OUT OF MEMORY 100.26 61.95 None 4_plus_thr/pc6v.c.bpl OUT OF MEMORY 99.42 62.40 None 4_plus_thr/pp4.c.bpl true 14.97 8.05 None 4_plus_thr/pp5.c.bpl true 59.52 35.42 None 4_plus_thr/pp6.c.bpl OUT OF MEMORY 90.66 56.33 None ------------------------------------------------------------------------------------------------------- Run set 1 done 3722.64 194.43 - BUCHI_AUTOMATON-SemanticLBE.termute Run set 2 of 8: skipped BUCHI_AUTOMATON-SyntacticLBE.termute Run set 3 of 8: skipped BUCHI_PETRI_NET-NoLBE.termute Run set 4 of 8: skipped BUCHI_PETRI_NET-SemanticLBE.termute Run set 5 of 8: skipped BUCHI_PETRI_NET-SyntacticLBE.termute Run set 6 of 8: skipped PARTIAL_ORDER_BA.termute Run set 7 of 8 with options '--force-no-wrapper -s ../../../trunk/examples/settings/buchiAutomizer/concurrent-automaton-noLbe.epf --buchiautomizer.automaton.type.for.concurrent.programs PARTIAL_ORDER_BA' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------- 1_thr/aaron2_1.c.bpl true 8.06 4.40 None 1_thr/adfg_1.c.bpl true 9.28 5.38 None 2_thr/aaron2_2.c.bpl true 9.26 5.34 None 2_thr/adfg_2_seq_1.c.bpl true 14.73 8.30 None 2_thr/adfg_2_x_indep.c.bpl true 12.18 7.36 None 2_thr/adfg_2_x_n_b_t_indep.c.bpl true 11.75 7.15 None 2_thr/adfg_2_x_n_indep.c.bpl true 12.78 7.29 None 2_thr/adfg_2_x_n_t_indep.c.bpl true 11.89 7.29 None 2_thr/adfg_2_x_t_indep.c.bpl true 13.71 8.54 None 2_thr/b1.c.bpl true 8.03 4.72 None 2_thr/b2.c.bpl true 8.57 5.25 None 2_thr/b3.c.bpl true 8.07 4.77 None 2_thr/b4.c.bpl true 8.87 5.55 None 2_thr/b5.c.bpl true 9.49 5.71 None 2_thr/barrier-2t.c.bpl true 9.58 5.71 None 2_thr/bb1.c.bpl true 8.50 4.99 None 2_thr/bb2.c.bpl true 7.44 4.29 None 2_thr/bb3.c.bpl true 8.76 5.70 None 2_thr/bb3_b.c.bpl true 9.24 5.82 None 2_thr/bb4.c.bpl true 8.26 5.16 None 2_thr/bb5.c.bpl true 9.60 6.22 None 2_thr/c-barrier-2t.c.bpl true 9.60 5.90 None 2_thr/c2-barrier-2t.c.bpl true 10.16 5.99 None 2_thr/c3-barrier-2t.c.bpl true 9.58 5.64 None 2_thr/c4-barrier-2t.c.bpl true 9.81 5.95 None 2_thr/c5-barrier-2t.c.bpl true 9.58 6.24 None 2_thr/clock2-buggy.c.bpl false(termination) 12.51 7.16 None 2_thr/clock2.c.bpl true 11.23 6.94 None 2_thr/cnolock2.c.bpl true 9.03 5.89 None 2_thr/complex_thr1_2.c.bpl true 9.02 5.51 None 2_thr/complex_thr1_2indep.c.bpl true 8.82 5.43 None 2_thr/glswitch.c.bpl true 11.64 7.05 None 2_thr/ie3.c.bpl true 10.37 6.47 None 2_thr/indep_loops_2.c.bpl true 8.03 4.71 None 2_thr/indep_loops_minus1_2.c.bpl true 8.09 4.84 None 2_thr/interleaved2-buggy.c.bpl true 8.20 4.94 None 2_thr/interleaved2.c.bpl true 9.95 6.04 None 2_thr/lock1.c.bpl true 9.18 5.81 None 2_thr/lock2.c.bpl true 10.37 5.96 None 2_thr/lswitch.c.bpl true 15.32 9.62 None 2_thr/m1.c.bpl true 7.86 4.85 None 2_thr/me0.c.bpl true 9.09 5.64 None 2_thr/multi.c.bpl true 20.37 11.94 None 2_thr/pp2.c.bpl true 8.76 5.16 None 2_thr/seq_loops_indep_2.c.bpl true 9.13 5.85 None 2_thr/seq_loops_part_indep_2.c.bpl true 9.41 6.02 None 2_thr/switch.c.bpl true 10.74 6.46 None 2_thr/switch2.c.bpl true 10.60 6.02 None 2_thr/varied-delta.c.bpl true 8.19 4.87 None 3_thr/aaron2_3.c.bpl true 11.20 6.68 None 3_thr/adfg_3_x_indep.c.bpl true 17.11 9.65 None 3_thr/adfg_3_x_n_b_t_indep.c.bpl true 19.97 10.98 None 3_thr/adfg_3_x_n_indep.c.bpl true 18.29 10.24 None 3_thr/adfg_3_x_n_t_indep.c.bpl true 16.34 9.54 None 3_thr/adfg_3_x_t_indep.c.bpl true 22.00 13.41 None 3_thr/barrier-3t.c.bpl true 12.57 7.09 None 3_thr/bb6.c.bpl true 12.43 6.97 None 3_thr/complex_thr1_3.c.bpl true 10.31 5.97 None 3_thr/complex_thr1_3indep.c.bpl true 10.44 6.03 None 3_thr/ie2.c.bpl true 13.82 8.10 None 3_thr/indep_loops_3.c.bpl true 9.30 5.69 None 3_thr/indep_loops_minus1_3.c.bpl true 9.40 5.58 None 3_thr/interleaved3-buggy.c.bpl true 9.66 5.68 None 3_thr/interleaved3.c.bpl true 10.19 5.98 None 3_thr/lock3.c.bpl true 12.87 7.05 None 3_thr/m4.c.bpl true 9.69 5.74 None 3_thr/m5.c.bpl true 9.90 5.53 None 3_thr/me1-1p2c.c.bpl true 10.30 5.98 None 3_thr/me1-3.c.bpl true 9.88 5.48 None 3_thr/mixed_3.c.bpl true 15.67 8.85 None 3_thr/pc3.c.bpl true 10.17 5.98 None 3_thr/pp3.c.bpl true 10.13 5.87 None 3_thr/seq_loops_indep_3.c.bpl true 11.81 6.83 None 3_thr/seq_loops_part_indep_3.c.bpl true 14.30 7.90 None 4_plus_thr/4thr_2groups.c.bpl true 13.15 7.17 None 4_plus_thr/barrier-4t.c.bpl true 39.83 23.48 None 4_plus_thr/barrier-5t.c.bpl OUT OF MEMORY 116.37 71.45 None 4_plus_thr/barrier-6t.c.bpl OUT OF MEMORY 134.80 97.22 None 4_plus_thr/barrier-7t.c.bpl OUT OF MEMORY 199.48 161.37 None 4_plus_thr/bb7.c.bpl true 41.32 24.89 None 4_plus_thr/indep_loops_10.c.bpl OUT OF MEMORY 253.65 206.95 None 4_plus_thr/indep_loops_11.c.bpl OUT OF MEMORY 248.07 206.65 None 4_plus_thr/indep_loops_12.c.bpl OUT OF MEMORY 268.09 225.36 None 4_plus_thr/indep_loops_4.c.bpl true 11.95 6.39 None 4_plus_thr/indep_loops_5.c.bpl true 22.69 12.15 None 4_plus_thr/indep_loops_6.c.bpl true 95.60 59.91 None 4_plus_thr/indep_loops_7.c.bpl OUT OF MEMORY 114.74 73.08 None 4_plus_thr/indep_loops_8.c.bpl OUT OF MEMORY 146.56 98.23 None 4_plus_thr/indep_loops_9.c.bpl OUT OF MEMORY 217.64 181.51 None 4_plus_thr/indep_loops_minus1_10.c.bpl OUT OF MEMORY 254.64 213.10 None 4_plus_thr/indep_loops_minus1_11.c.bpl OUT OF MEMORY 298.28 238.34 None 4_plus_thr/indep_loops_minus1_4.c.bpl true 12.21 6.47 None 4_plus_thr/indep_loops_minus1_5.c.bpl true 25.14 13.81 None 4_plus_thr/indep_loops_minus1_6.c.bpl OUT OF MEMORY 101.84 63.85 None 4_plus_thr/indep_loops_minus1_7.c.bpl OUT OF MEMORY 158.39 100.23 None 4_plus_thr/indep_loops_minus1_8.c.bpl OUT OF MEMORY 169.43 114.89 None 4_plus_thr/indep_loops_minus1_9.c.bpl OUT OF MEMORY 245.64 199.82 None 4_plus_thr/interleaved4-buggy.c.bpl true 12.56 6.97 None 4_plus_thr/interleaved4.c.bpl true 19.44 10.46 None 4_plus_thr/interleaved5.c.bpl OUT OF MEMORY 101.22 62.52 None 4_plus_thr/interleaved6.c.bpl OUT OF MEMORY 132.98 84.89 None 4_plus_thr/lock4.c.bpl true 40.12 24.49 None 4_plus_thr/lock5.c.bpl OUT OF MEMORY 118.82 75.67 None 4_plus_thr/m11.c.bpl true 155.24 98.40 None 4_plus_thr/m4_2.c.bpl true 15.99 8.51 None 4_plus_thr/m7.c.bpl true 12.53 7.01 None 4_plus_thr/m9.c.bpl true 30.79 16.89 None 4_plus_thr/me1-5.c.bpl true 31.01 17.26 None 4_plus_thr/me1.c.bpl true 16.09 8.70 None 4_plus_thr/pc4.c.bpl true 14.80 8.14 None 4_plus_thr/pc4v.c.bpl true 16.40 8.58 None 4_plus_thr/pc5v.c.bpl true 60.17 33.72 None 4_plus_thr/pc6.c.bpl OUT OF MEMORY 148.73 91.76 None 4_plus_thr/pc6v.c.bpl OUT OF MEMORY 100.95 64.26 None 4_plus_thr/pp4.c.bpl true 15.11 8.18 None 4_plus_thr/pp5.c.bpl true 48.90 28.71 None 4_plus_thr/pp6.c.bpl OUT OF MEMORY 111.31 69.92 None ------------------------------------------------------------------------------------------------------- Run set 7 done 5204.84 307.86 - RABIN_PETRI_NET-NoLBE.termute Run set 8 of 8: skipped Statistics: 234 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 43