BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_model_QF_Bitvec.xml name: cvc5_model_QF_Bitvec run sets: cvc5,2,ModelValidation.task date: Tue, 2025-06-24 13:35:03 CEST tool: cvc5 tool executable: ./unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_sq 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 ------------------------------------------------------------ cvc5,2,ModelValidation.task Run set 1 of 1 with options 'unpack/1647fe1d9c9285ea0d2f2566270b82d066e64b381a008d32982da1d679391a6c/bin/starexec_run_mv' 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.15 0.15 ws01 QF_BV_20221012-MCMPC__dualexecution_affine_dualexecution_affine.t1.i8.4700c72f.yml true 0.45 0.45 ws01 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i42.007c65e5.yml true 0.09 0.09 tc04 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i5.c05b3196.yml true 0.20 0.20 tc04 QF_BV_Sage2_bench_13182.yml TIMEOUT 61.06 61.00 tc04 QF_BV_Sage2_bench_14131.yml true 13.27 13.27 ws01 QF_BV_bench_ab_a121test0001.yml true 0.01 0.01 tc05 QF_BV_bench_ab_a436test0050.yml true 0.01 0.01 ws01 QF_BV_sage__app12_bench_1216.yml true 0.01 0.01 ws01 QF_BV_sage__app12_bench_2869.yml true 0.25 0.25 ws01 QF_BV_sage__app12_bench_3425.yml true 0.37 0.37 tc05 QF_BV_sage__app12_bench_561.yml true 0.01 0.01 ws01 QF_BV_sage__app12_bench_5750.yml true 0.30 0.30 tc04 QF_BV_sage__app12_bench_595.yml true 0.02 0.02 tc04 QF_BV_sage__app7_bench_4632.yml true 0.01 0.01 tc04 QF_BV_sage__app9_bench_1352.yml true 0.02 0.02 tc04 QF_BV_spear__inn_v2.4.3_nnrpd_nnrpd_vc21245.yml true 3.33 3.33 ws01 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225732.yml true 2.76 2.76 ws01 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225818.yml true 4.69 4.69 tc05 QF_BV_uclid__catchconv_convert-jpg2gif-query-1572.yml true 2.50 2.50 ws01 ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 73.63 - Statistics: 20 Files correct: 15 correct true: 15 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1