BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_inc_QF_Equality.xml name: smtinterpol_inc_QF_Equality run sets: SMTInterpol,1,Incremental.task date: Fri, 2025-06-27 00:19:14 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,1,Incremental.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_UF_2018-Goel-hwbench_QF_UF_h_CRC_ab_reg_max.yml DONE (2 correct) 4.47 2.29 tc05 QF_UF_2018-Goel-hwbench_QF_UF_h_TreeArb_ab_min_max.yml DONE (2 correct) 2.24 1.17 tc08 QF_UF_2018-Goel-hwbench_QF_UF_h_b03_ab_reg_max.yml DONE (2 correct) 1.31 0.70 tc05 QF_UF_2018-Goel-hwbench_QF_UF_leader_election.6.prop1_ab_core_max.yml DONE (2 correct) 5.81 2.98 tc08 QF_UF_2018-Goel-hwbench_QF_UF_peg_solitaire.1.prop1_ab_min_max.yml DONE (2 correct) 5.77 2.95 tc02 QF_UF_2018-Goel-hwbench_QF_UF_pgm_protocol.8.prop6_ab_min_max.yml DONE (2 correct) 4.39 2.26 tc08 QF_UF_2018-Goel-hwbench_QF_UF_szymanski.4.prop1_ab_min_max.yml DONE (2 correct) 3.95 2.05 tc05 QF_UF_20190906-CLEARSY__0002_00017.yml DONE (10 correct) 4.63 2.38 tc08 QF_UF_20190906-CLEARSY__0002_00057.yml DONE (5 correct) 4.08 2.10 tc02 QF_UF_20190906-CLEARSY__0002_00251.yml DONE (8 correct) 3.35 1.73 tc02 QF_UF_20190906-CLEARSY__0008_00082.yml DONE (6 correct) 1.90 1.01 tc02 QF_UF_20190906-CLEARSY__0008_00092.yml DONE (5 correct) 1.80 0.96 tc02 QF_UF_20190906-CLEARSY__0008_00127.yml DONE (23 correct) 3.08 1.60 tc08 QF_UF_20190906-CLEARSY__0009_00229.yml DONE (26 correct) 1.95 1.03 tc02 QF_UF_20190906-CLEARSY__0015_00160.yml DONE (6 correct) 1.27 0.69 tc08 QF_UF_20190906-CLEARSY__0015_00180.yml DONE (5 correct) 1.34 0.72 tc02 QF_UF_20190906-CLEARSY__0015_00201.yml DONE (96 correct) 7.90 4.00 tc08 QF_UF_20190906-CLEARSY__0016_00358.yml DONE (17 correct) 1.51 0.81 tc08 QF_UF_20190906-CLEARSY__0016_00576.yml DONE (75 correct) 8.41 4.26 tc05 QF_UF_20190906-CLEARSY__0023_00269.yml DONE (22 correct) 2.38 1.25 tc02 -------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20