BENCHMARK INFORMATION benchmark definition: run_definitions/z3owl_QF_Bitvec.xml name: z3owl_QF_Bitvec run sets: Z3-Owl,0,SingleQuery.task date: Mon, 2025-06-23 13:43:10 CEST tool: Z3-Owl tool executable: ./unpack/57f4cf7560ee50562dbb066ff26ef82ee245f4715e06c66453b55aa19108dd79/Z3-Owl/Z3-Owl options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 240 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ Z3-Owl,0,SingleQuery.task Run set 1 of 1 with options 'unpack/57f4cf7560ee50562dbb066ff26ef82ee245f4715e06c66453b55aa19108dd79/Z3-Owl/Z3-Owl' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------- QF_BV_sage__app12_bench_1251.yml false 0.61 0.62 tc08 QF_BV_sage__app12_bench_1275.yml false 0.62 0.62 tc08 QF_BV_sage__app12_bench_2391.yml false 0.67 0.67 tc02 QF_BV_sage__app12_bench_381.yml true 5.01 5.01 tc05 QF_BV_sage__app12_bench_4946.yml true 0.62 0.62 tc08 QF_BV_sage__app1_bench_1356.yml true 0.61 0.62 tc08 QF_BV_sage__app1_bench_887.yml false 0.62 0.62 tc05 QF_BV_sage__app2_bench_1325.yml false 0.62 0.62 tc08 QF_BV_sage__app5_bench_612.yml false 0.67 0.68 tc02 QF_BV_sage__app5_bench_652.yml false 0.67 0.67 tc02 QF_BV_sage__app7_bench_3988.yml true 0.77 0.77 tc05 QF_BV_sage__app7_bench_4092.yml true 0.66 0.67 tc02 QF_BV_sage__app7_bench_4136.yml true 0.68 0.68 tc02 QF_BV_sage__app7_bench_7150.yml true 0.61 0.61 tc05 QF_BV_sage__app7_bench_7564.yml false 0.67 0.67 tc02 QF_BV_sage__app7_bench_7600.yml true 0.62 0.62 tc08 QF_BV_sage__app8_bench_2250.yml true 0.82 0.83 tc08 QF_BV_sage__app8_bench_3459.yml true 0.97 0.97 tc02 QF_BV_sage__app9_bench_1721.yml false 7.27 7.27 tc08 QF_BV_sage__app9_bench_429.yml false 0.68 0.69 tc02 ------------------------------------------------------------------------------------------------- Run set 1 done None 12.38 - Statistics: 20 Files correct: 20 correct true: 10 correct false: 10 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0