BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_model_QF_Bitvec.xml name: yices2_model_QF_Bitvec run sets: Yices2,5,ModelValidation.task date: Mon, 2025-06-23 18:06:57 CEST tool: Yices2 tool executable: /usr/bin/./false 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 ------------------------------------------------------------ Yices2,5,ModelValidation.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices_smt2' 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.04 0.04 tc07 QF_BV_20221012-MCMPC__dualexecution_affine_dualexecution_affine.t1.i8.4700c72f.yml true 0.12 0.13 ws14 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i42.007c65e5.yml true 0.01 0.01 tc06 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i5.c05b3196.yml true 0.01 0.01 ws07 QF_BV_Sage2_bench_13182.yml true 22.36 22.36 ws14 QF_BV_Sage2_bench_14131.yml true 0.27 0.27 tc06 QF_BV_bench_ab_a121test0001.yml true 0.00 0.00 tc02 QF_BV_bench_ab_a436test0050.yml true 0.00 0.00 ws07 QF_BV_sage__app12_bench_1216.yml true 0.00 0.00 tc02 QF_BV_sage__app12_bench_2869.yml true 0.02 0.02 ws05 QF_BV_sage__app12_bench_3425.yml true 0.02 0.02 tc02 QF_BV_sage__app12_bench_561.yml true 0.00 0.00 tc07 QF_BV_sage__app12_bench_5750.yml true 0.02 0.02 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.00 ws15 QF_BV_sage__app9_bench_1352.yml true 0.00 0.00 ws07 QF_BV_spear__inn_v2.4.3_nnrpd_nnrpd_vc21245.yml true 0.12 0.12 ws05 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225732.yml true 0.18 0.18 ws07 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225818.yml true 0.31 0.31 ws15 QF_BV_uclid__catchconv_convert-jpg2gif-query-1572.yml true 0.22 0.22 tc02 ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 29.79 - Statistics: 20 Files correct: 16 correct true: 16 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0