BENCHMARK INFORMATION benchmark definition: run_definitions/cvc5_model_QF_NonLinearIntArith.xml name: cvc5_model_QF_NonLinearIntArith run sets: cvc5,2,ModelValidation.task date: Tue, 2025-06-24 13:38:09 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_NIA_20170427-VeryMax__CInteger_Stroeder_15__NonTermination1_false-termination.c__p24848_edge_closing_0.yml TIMEOUT 61.01 61.00 tc04 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p31463_safety_0.yml TIMEOUT 61.01 61.00 tc08 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p31642_safety_0.yml TIMEOUT 61.00 61.00 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p31700_safety_0.yml TIMEOUT 61.01 61.01 tc08 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2743_safety_0.yml TIMEOUT 61.01 61.00 ws19 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juLinkedListCreateAddAll.jar-obl-11__p9372_terminationG_0.yml true 1.31 1.31 ws06 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p8542_safety_0.yml true 7.26 7.26 ws18 QF_NIA_20170427-VeryMax__ITS_From_T2__brp_withassume.t2__p17432_edge_closing_0.yml TIMEOUT 61.01 61.00 tc07 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p23163_safety_0.yml TIMEOUT 61.00 61.00 ws06 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p23397_safety_0.yml TIMEOUT 61.01 61.00 ws19 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1.t2_fixed__p785_terminationG_0.yml TIMEOUT 61.01 61.00 ws18 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p13462_safety_0.yml true 1.12 1.12 ws18 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p13641_safety_0.yml true 10.74 10.74 tc04 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2__p21154_safety_0.yml true 36.38 36.38 tc04 QF_NIA_20170427-VeryMax__SAT14_1298.yml true 0.10 0.10 ws18 QF_NIA_20170427-VeryMax__SAT14_1317.yml true 1.75 1.75 ws18 QF_NIA_20170427-VeryMax__SAT14_516.yml true 0.12 0.12 ws18 QF_NIA_20220315-MathProblems_MS_09.yml TIMEOUT 61.01 61.00 ws18 QF_NIA_AProVE_aproveSMT1834216988929529060.yml true 0.02 0.02 ws06 QF_NIA_AProVE_aproveSMT7293342508155251815.yml true 0.04 0.04 ws06 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None 95.19 - Statistics: 20 Files correct: 10 correct true: 10 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 10