BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_model_QF_Bitvec.xml name: smtinterpol_model_QF_Bitvec run sets: SMTInterpol,2,ModelValidation.task date: Fri, 2025-06-27 09:37:22 CEST tool: SMTInterpol tool executable: ./unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 120 s - cpu cores: 2 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 2 - memory: 8192.0 MB ------------------------------------------------------------ SMTInterpol,2,ModelValidation.task Run set 1 of 1 with options 'unpack/b09520a1b066ea243f95b1ec64f83609eeb4c7819b7b9ff74d21aa3b718a7b92/smtinterpol' 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 TIMEOUT 120.83 101.17 tc02 QF_BV_20221012-MCMPC__dualexecution_affine_dualexecution_affine.t1.i8.4700c72f.yml TIMEOUT 120.87 99.96 tc08 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i42.007c65e5.yml TIMEOUT 121.09 105.60 tc02 QF_BV_20221012-MCMPC__millionaires_millionaires.t1.i5.c05b3196.yml true 17.35 8.75 tc08 QF_BV_Sage2_bench_13182.yml TIMEOUT 120.34 89.74 tc08 QF_BV_Sage2_bench_14131.yml TIMEOUT 120.23 92.48 tc05 QF_BV_bench_ab_a121test0001.yml true 0.35 0.22 tc08 QF_BV_bench_ab_a436test0050.yml true 0.45 0.27 tc08 QF_BV_sage__app12_bench_1216.yml true 8.81 4.46 tc02 QF_BV_sage__app12_bench_2869.yml TIMEOUT 120.08 98.54 tc08 QF_BV_sage__app12_bench_3425.yml TIMEOUT 120.91 99.16 tc05 QF_BV_sage__app12_bench_561.yml true 0.36 0.23 tc02 QF_BV_sage__app12_bench_5750.yml TIMEOUT 120.89 100.03 tc08 QF_BV_sage__app12_bench_595.yml unknown 62.59 36.73 tc05 QF_BV_sage__app7_bench_4632.yml true 0.40 0.25 tc02 QF_BV_sage__app9_bench_1352.yml true 62.54 39.58 tc02 QF_BV_spear__inn_v2.4.3_nnrpd_nnrpd_vc21245.yml unknown 29.79 14.99 tc08 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225732.yml TIMEOUT 120.12 94.32 tc02 QF_BV_spear__samba_v3.0.24_bin_libsmbclient_vc1225818.yml TIMEOUT 120.98 98.68 tc02 QF_BV_uclid__catchconv_convert-jpg2gif-query-1572.yml TIMEOUT 121.31 61.01 tc05 ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 20 Files correct: 6 correct true: 6 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 13