BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_model_QF_NonLinearIntArith.xml name: smtinterpol_model_QF_NonLinearIntArith run sets: SMTInterpol,2,ModelValidation.task date: Fri, 2025-06-27 09:39:17 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_NIA_20170427-VeryMax__CInteger_Stroeder_15__NonTermination1_false-termination.c__p24848_edge_closing_0.yml unknown 0.47 0.27 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p31463_safety_0.yml unknown 1.67 0.88 tc08 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p31642_safety_0.yml unknown 2.15 1.12 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p31700_safety_0.yml unknown 1.51 0.80 tc02 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2743_safety_0.yml unknown 1.54 0.82 tc08 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juLinkedListCreateAddAll.jar-obl-11__p9372_terminationG_0.yml unknown 2.30 1.20 tc02 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p8542_safety_0.yml unknown 1.93 1.02 tc02 QF_NIA_20170427-VeryMax__ITS_From_T2__brp_withassume.t2__p17432_edge_closing_0.yml unknown 5.29 2.70 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p23163_safety_0.yml unknown 0.67 0.38 tc02 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p23397_safety_0.yml unknown 0.58 0.33 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1.t2_fixed__p785_terminationG_0.yml unknown 9.78 5.22 tc05 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p13462_safety_0.yml unknown 1.78 0.93 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p13641_safety_0.yml unknown 1.64 0.87 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2__p21154_safety_0.yml unknown 1.75 0.93 tc02 QF_NIA_20170427-VeryMax__SAT14_1298.yml unknown 1.52 0.81 tc02 QF_NIA_20170427-VeryMax__SAT14_1317.yml unknown 1.79 0.94 tc02 QF_NIA_20170427-VeryMax__SAT14_516.yml unknown 1.33 0.71 tc02 QF_NIA_20220315-MathProblems_MS_09.yml unknown 2.41 1.26 tc05 QF_NIA_AProVE_aproveSMT1834216988929529060.yml unknown 0.42 0.25 tc08 QF_NIA_AProVE_aproveSMT7293342508155251815.yml unknown 0.42 0.25 tc08 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ 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