BENCHMARK INFORMATION benchmark definition: run_definitions/bitwuzla_model_QF_Bitvec.xml name: bitwuzla_model_QF_Bitvec run sets: Bitwuzla,3,ModelValidation.task date: Mon, 2025-06-23 13:53:16 CEST tool: Bitwuzla tool executable: ./unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla 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 ------------------------------------------------------------ Bitwuzla,3,ModelValidation.task Run set 1 of 1 with options 'unpack/c96f2a17a93a64fe57da002ddcc09f6c1b1187d16ee67ce2a842375a6d7b0b1c/bin/bitwuzla' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- QF_BV_20221012-MCMPC__dualexecution_affine_dualexecution_affine.t1.i10.ed38b6ee.yml true 0.12 0.12 tc05 QF_BV_20221012-MCMPC__dualexecution_affine_dualexecution_affine.t1.i8.4700c72f.yml true 0.27 0.27 tc08 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i42.007c65e5.yml true 0.03 0.03 tc02 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i5.c05b3196.yml true 0.04 0.04 tc08 QF_BV_Sage2_bench_13182.yml true 4.27 4.27 tc08 QF_BV_Sage2_bench_14131.yml true 2.61 2.61 tc08 QF_BV_bench_ab_a121test0001.yml true 0.00 0.00 tc02 QF_BV_bench_ab_a436test0050.yml true 0.00 0.00 tc08 QF_BV_sage__app12_bench_1216.yml true 0.01 0.01 tc05 QF_BV_sage__app12_bench_2869.yml true 0.10 0.11 tc05 QF_BV_sage__app12_bench_3425.yml true 0.07 0.07 tc02 QF_BV_sage__app12_bench_561.yml true 0.00 0.00 tc02 QF_BV_sage__app12_bench_5750.yml true 0.06 0.06 tc02 QF_BV_sage__app12_bench_595.yml true 0.01 0.01 tc02 QF_BV_sage__app7_bench_4632.yml true 0.00 0.01 tc08 QF_BV_sage__app9_bench_1352.yml true 0.01 0.01 tc05 QF_BV_spear__inn_v2.4.3_nnrpd_nnrpd_vc21245.yml true 0.07 0.08 tc08 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225732.yml true 0.76 0.76 tc02 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225818.yml true 1.20 1.20 tc05 QF_BV_uclid__catchconv_convert-jpg2gif-query-1572.yml true 2.86 2.86 tc08 ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 9.84 - Statistics: 20 Files correct: 16 correct true: 16 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0