BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_inc_QF_Equality.xml name: cvc5_inc_QF_Equality run sets: cvc5,3,Incremental.task date: Mon, 2025-06-23 14:29:07 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,3,Incremental.task Run set 1 of 1 with options 'unpack/5a2472e19477669429b98bad30984ceb59109d7a9f83532297e06bc8dfd2a949/bin/smtcomp_run_incremental' 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) 0.66 0.66 tc02 QF_UF_2018-Goel-hwbench_QF_UF_h_TreeArb_ab_min_max.yml DONE (2 correct) 0.09 0.09 tc02 QF_UF_2018-Goel-hwbench_QF_UF_h_b03_ab_reg_max.yml DONE (2 correct) 0.03 0.03 tc02 QF_UF_2018-Goel-hwbench_QF_UF_leader_election.6.prop1_ab_core_max.yml DONE (2 correct) 0.71 0.70 tc08 QF_UF_2018-Goel-hwbench_QF_UF_peg_solitaire.1.prop1_ab_min_max.yml DONE (2 correct) 0.55 0.54 tc08 QF_UF_2018-Goel-hwbench_QF_UF_pgm_protocol.8.prop6_ab_min_max.yml DONE (2 correct) 0.49 0.48 tc08 QF_UF_2018-Goel-hwbench_QF_UF_szymanski.4.prop1_ab_min_max.yml DONE (2 correct) 0.39 0.38 tc08 QF_UF_20190906-CLEARSY__0002_00017.yml DONE (10 correct) 0.22 0.22 tc02 QF_UF_20190906-CLEARSY__0002_00057.yml DONE (5 correct) 0.19 0.19 tc05 QF_UF_20190906-CLEARSY__0002_00251.yml DONE (8 correct) 0.13 0.12 tc05 QF_UF_20190906-CLEARSY__0008_00082.yml DONE (6 correct) 0.03 0.03 tc08 QF_UF_20190906-CLEARSY__0008_00092.yml DONE (5 correct) 0.04 0.04 tc02 QF_UF_20190906-CLEARSY__0008_00127.yml DONE (23 correct) 0.08 0.08 tc02 QF_UF_20190906-CLEARSY__0009_00229.yml DONE (26 correct) 0.05 0.04 tc05 QF_UF_20190906-CLEARSY__0015_00160.yml DONE (6 correct) 0.02 0.02 tc08 QF_UF_20190906-CLEARSY__0015_00180.yml DONE (5 correct) 0.02 0.02 tc08 QF_UF_20190906-CLEARSY__0015_00201.yml DONE (96 correct) 0.43 0.43 tc05 QF_UF_20190906-CLEARSY__0016_00358.yml DONE (17 correct) 0.03 0.03 tc02 QF_UF_20190906-CLEARSY__0016_00576.yml DONE (75 correct) 0.44 0.44 tc08 QF_UF_20190906-CLEARSY__0023_00269.yml DONE (22 correct) 0.06 0.06 tc02 -------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 5.69 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20