BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_inc_QF_Equality.xml name: yices2_inc_QF_Equality run sets: Yices2,3,Incremental.task date: Mon, 2025-06-23 15:34:51 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,3,Incremental.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices_smt2 --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.04 0.04 tc02 QF_UF_2018-Goel-hwbench_QF_UF_h_TreeArb_ab_min_max.yml DONE (2 correct) 0.04 0.04 tc08 QF_UF_2018-Goel-hwbench_QF_UF_h_b03_ab_reg_max.yml DONE (2 correct) 0.01 0.01 tc05 QF_UF_2018-Goel-hwbench_QF_UF_leader_election.6.prop1_ab_core_max.yml DONE (2 correct) 0.26 0.26 tc02 QF_UF_2018-Goel-hwbench_QF_UF_peg_solitaire.1.prop1_ab_min_max.yml DONE (2 correct) 0.17 0.17 tc02 QF_UF_2018-Goel-hwbench_QF_UF_pgm_protocol.8.prop6_ab_min_max.yml DONE (2 correct) 0.16 0.15 tc02 QF_UF_2018-Goel-hwbench_QF_UF_szymanski.4.prop1_ab_min_max.yml DONE (2 correct) 0.12 0.12 tc02 QF_UF_20190906-CLEARSY__0002_00017.yml DONE (10 correct) 0.03 0.03 tc05 QF_UF_20190906-CLEARSY__0002_00057.yml DONE (5 correct) 0.04 0.04 tc05 QF_UF_20190906-CLEARSY__0002_00251.yml DONE (8 correct) 0.03 0.03 tc08 QF_UF_20190906-CLEARSY__0008_00082.yml DONE (6 correct) 0.01 0.01 tc02 QF_UF_20190906-CLEARSY__0008_00092.yml DONE (5 correct) 0.01 0.01 tc08 QF_UF_20190906-CLEARSY__0008_00127.yml DONE (23 correct) 0.02 0.02 tc08 QF_UF_20190906-CLEARSY__0009_00229.yml DONE (26 correct) 0.01 0.02 tc08 QF_UF_20190906-CLEARSY__0015_00160.yml DONE (6 correct) 0.01 0.01 tc05 QF_UF_20190906-CLEARSY__0015_00180.yml DONE (5 correct) 0.01 0.01 tc08 QF_UF_20190906-CLEARSY__0015_00201.yml DONE (96 correct) 0.05 0.05 tc08 QF_UF_20190906-CLEARSY__0016_00358.yml DONE (17 correct) 0.01 0.01 tc02 QF_UF_20190906-CLEARSY__0016_00576.yml DONE (75 correct) 0.05 0.05 tc02 QF_UF_20190906-CLEARSY__0023_00269.yml DONE (22 correct) 0.01 0.01 tc08 -------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 5.29 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20