BENCHMARK INFORMATION benchmark definition: /mnt/goblint-svcomp/benchexec/results/230-libvsync/goblint.xml name: goblint run sets: SV-COMP24_unreach-call.Concurrency-LibVSync, SV-COMP24_no-data-race.Concurrency-LibVSync, SV-COMP24_valid-memcleanup.Concurrency-LibVSync, SV-COMP24_valid-memsafety.Concurrency-LibVSync, SV-COMP24_no-overflow.Concurrency-LibVSync, SV-COMP24_termination.Concurrency-LibVSync date: Fri, 2024-10-11 12:14:37 UTC tool: Goblint heads/master-0-g425b1ee53-dirty tool executable: ./goblint options: --conf conf/svcomp.json parallel runs: 2 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 4 hardware requirements: - cpu cores: 4 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: goblint-new os: Linux-5.15.0-119-generic-x86_64-with-glibc2.35 cpu: AMD EPYC Processor (with IBPB) - cores: 16 - max frequency: 2250.0 MHz ram: 33649.242112 MB ------------------------------------------------------------ SV-COMP24_unreach-call.Concurrency-LibVSync Run set 1 of 6 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------- arraylock.yml unknown 1.04 1.04 None bounded_mpmc_check_full.yml unknown 1.11 1.11 None cnalock.yml unknown 3.18 3.18 None hclhlock.yml unknown 3.51 3.51 None hmcslock.yml unknown 3.90 3.91 None mcslock.yml unknown 1.32 1.33 None rec_mcslock.yml unknown 1.73 1.73 None rec_ticketlock.yml unknown 1.26 1.26 None rwlock.yml unknown 6.07 6.09 None semaphore.yml unknown 4.75 4.76 None ticketlock.yml unknown 0.85 0.85 None ttaslock.yml unknown 1.35 1.35 None -------------------------------------------------------------------------------------------- Run set 1 done 30.31 16.41 - SV-COMP24_no-data-race.Concurrency-LibVSync Run set 2 of 6 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------- arraylock.yml unknown 0.58 0.58 None bounded_mpmc_check_full.yml unknown 0.70 0.71 None bounded_spsc.yml unknown 0.66 0.66 None caslock.yml unknown 0.60 0.60 None cnalock.yml unknown 2.04 2.04 None hclhlock.yml unknown 1.28 1.29 None hemlock.yml unknown 0.91 0.91 None hmcslock.yml unknown 2.08 2.08 None mcslock.yml unknown 0.74 0.75 None rec_mcslock.yml unknown 0.88 0.89 None rec_spinlock.yml unknown 0.75 0.75 None rec_ticketlock.yml unknown 0.79 0.79 None rwlock.yml unknown 0.88 0.88 None semaphore.yml unknown 0.63 0.63 None ticketlock.yml unknown 0.58 0.58 None ttaslock.yml unknown 0.59 0.59 None twalock.yml unknown 0.88 0.89 None -------------------------------------------------------------------------------------------- Run set 2 done 15.89 9.72 - SV-COMP24_valid-memcleanup.Concurrency-LibVSync Run set 3 of 6: skipped because it has no files SV-COMP24_valid-memsafety.Concurrency-LibVSync Run set 4 of 6 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------- arraylock.yml unknown 1.22 1.22 None bounded_mpmc_check_empty.yml unknown 2.81 2.81 None bounded_mpmc_check_full.yml unknown 1.23 1.23 None clhlock.yml unknown 0.92 0.92 None cnalock.yml unknown 3.68 3.68 None hclhlock.yml EXCEPTION (IntDomain.IncompatibleIKinds) 0.26 0.26 None hmcslock.yml unknown 4.46 4.46 None mcslock.yml unknown 1.50 1.50 None rec_mcslock.yml unknown 1.91 1.91 None rec_ticketlock.yml unknown 1.43 1.44 None rwlock.yml unknown 6.77 6.77 None semaphore.yml unknown 5.21 5.21 None ticketlock.yml unknown 0.93 0.94 None ttaslock.yml unknown 1.47 1.47 None --------------------------------------------------------------------------------------------- Run set 4 done 34.08 18.73 - SV-COMP24_no-overflow.Concurrency-LibVSync Run set 5 of 6 with options '--conf conf/svcomp.json' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------- arraylock.yml true 0.78 0.78 None bounded_mpmc_check_full.yml true 0.92 0.93 None cnalock.yml true 2.39 2.39 None hclhlock.yml true 2.34 2.34 None hmcslock.yml true 2.72 2.72 None mcslock.yml true 0.96 0.96 None rec_mcslock.yml true 1.20 1.20 None rec_ticketlock.yml true 0.97 0.97 None rwlock.yml true 2.53 2.53 None semaphore.yml true 1.87 1.87 None ticketlock.yml true 0.64 0.64 None ttaslock.yml true 0.85 0.85 None -------------------------------------------------------------------------------------------- Run set 5 done 18.38 10.30 - SV-COMP24_termination.Concurrency-LibVSync Run set 6 of 6: skipped because it has no files Statistics: 55 Files correct: 12 correct true: 12 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 43 Score: 24 (max: 103)