BENCHMARK INFORMATION benchmark definition: run_definitions/z3partiz3ppatsmtcomp2025_parallel_QF_NonLinearIntArith.xml name: z3partiz3ppatsmtcomp2025_parallel_QF_NonLinearIntArith run sets: Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task date: Sat, 2025-06-28 17:40:43 CEST tool: Z3-Parti-Z3pp-at-SMT-COMP-2025 tool executable: ./unpack/d9ed01302b9e144ea97976b92d81da9034b9a834c7f25315904164ab6377f495/Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py options: property file: benchmarks/properties/SMT.prp resource limits: - memory: 8192.0 MB - time: 480 s - cpu cores: 8 hardware requirements: - cpu model: Intel Core i7 - cpu cores: 8 - memory: 8192.0 MB ------------------------------------------------------------ Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task Run set 1 of 1 with options 'unpack/d9ed01302b9e144ea97976b92d81da9034b9a834c7f25315904164ab6377f495/Z3-Parti-Z3pp-at-SMT-COMP-2025-build/solver/run_AriParti.py' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_NIA_20170427-VeryMax__CInteger_Stroeder_15__Factorial.c__p22849_terminationG_0.yml unknown 0.07 0.07 ws17 QF_NIA_20170427-VeryMax__CInteger_Stroeder_15__NO_12.c__p24718_terminationG_0.yml unknown 0.07 0.07 ws16 QF_NIA_20170427-VeryMax__CInteger_Stroeder_15__svcomp_ex2.c__p25969_terminationG_0.yml unknown 0.07 0.07 ws06 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__AlternatingGrowReduce2.jar-obl-9__p27497_terminationG_0.yml unknown 0.07 0.07 ws06 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__MainDelete.jar-obl-10__p10479_safety_0.yml unknown 0.07 0.07 ws14 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__Matrix.jar-obl-16__p10840_terminationG_0.yml unknown 0.08 0.09 ws18 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__MysteriousProgram.jar-obl-12__p11031_terminationG_0.yml unknown 0.07 0.07 ws13 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__Power.jar-obl-10__p11793_terminationG_0.yml unknown 0.07 0.07 ws05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__SortCount.jar-obl-10__p12217_terminationG_0.yml unknown 0.07 0.07 ws20 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30598_safety_0.yml unknown 0.07 0.07 ws05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p30917_safety_0.yml unknown 0.07 0.07 ws12 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2597_safety_0.yml unknown 0.07 0.07 ws02 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6089_safety_0.yml unknown 0.07 0.07 ws09 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateRemove.jar-obl-11__p6761_safety_0.yml unknown 0.07 0.07 ws09 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juLinkedListCreateAddAll.jar-obl-11__p9567_terminationG_0.yml unknown 0.07 0.07 ws11 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__whileNestedOffset_rec.jar-obl-9__p14922_safety_0.yml unknown 0.07 0.07 ws20 QF_NIA_20170427-VeryMax__ITS_From_T2__bakery.t2__p17195_terminationG_0.yml unknown 0.07 0.07 ws17 QF_NIA_20170427-VeryMax__ITS_From_T2__edn.t2__p19871_safety_0.yml unknown 0.07 0.07 ws08 QF_NIA_20170427-VeryMax__ITS_From_T2__edn.t2__p20182_safety_0.yml unknown 0.07 0.07 ws01 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p22543_terminationG_0.yml unknown 0.08 0.08 ws02 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p22548_terminationG_0.yml unknown 0.07 0.07 ws11 QF_NIA_20170427-VeryMax__ITS_From_T2__foo.t2__terminationS_15_0.yml unknown 0.08 0.08 ws01 QF_NIA_20170427-VeryMax__ITS_From_T2__fourn.c.i.fourn.pl.t2.fixed.t2__p32597_terminationG_0.yml unknown 0.07 0.07 ws07 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1.t2_fixed__p721_terminationG_0.yml unknown 0.08 0.08 ws03 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1.t2_fixed__terminationQ_0_0.yml unknown 0.08 0.08 ws08 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1b.t2__p667_terminationG_0.yml unknown 0.08 0.08 ws13 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1b.t2_fixed__p512_terminationG_0.yml unknown 0.08 0.08 ws20 QF_NIA_20170427-VeryMax__ITS_From_T2__fun6.t2_fixed__p1073_edge_closing_0.yml unknown 0.07 0.07 ws18 QF_NIA_20170427-VeryMax__ITS_From_T2__janne_complex.t2__p2225_terminationG_0.yml unknown 0.07 0.07 ws10 QF_NIA_20170427-VeryMax__ITS_From_T2__pentagon.t2__p7080_edge_closing_0.yml unknown 0.07 0.07 ws19 QF_NIA_20170427-VeryMax__ITS_From_T2__pgarch.t2_fixed__p7217_edge_closing_0.yml unknown 0.10 0.10 ws04 QF_NIA_20170427-VeryMax__ITS_From_T2__rlft3.t2__p9016_terminationG_0.yml unknown 0.07 0.07 ws15 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p13091_safety_0.yml unknown 0.07 0.08 ws11 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p14429_safety_0.yml unknown 0.07 0.07 ws12 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2__p20269_safety_0.yml unknown 0.07 0.08 ws07 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2__p20289_safety_0.yml unknown 0.07 0.07 ws10 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2_fixed__p17159_safety_0.yml unknown 0.07 0.07 ws01 QF_NIA_20170427-VeryMax__ITS_From_T2__slayer-3.t2__p22262_terminationG_0.yml unknown 0.07 0.07 ws03 QF_NIA_20170427-VeryMax__ITS_From_T2__weakness.t2__p25667_terminationG_0.yml unknown 0.07 0.07 ws16 QF_NIA_20170427-VeryMax__ITS_From_T2__zeroconf.t2__p25768_terminationG_0.yml unknown 0.07 0.07 ws19 QF_NIA_20170427-VeryMax__ITS_From_T2__zlib-adler32.c.t2__p26211_safety_0.yml unknown 0.07 0.07 ws14 QF_NIA_20170427-VeryMax__ITS_From_T2__zlib-adler32.c.t2_fixed__p25886_safety_0.yml unknown 0.07 0.07 ws12 QF_NIA_20220315-MathProblems_MF_12.yml unknown 0.08 0.08 ws04 QF_NIA_mcm_46.yml unknown 0.07 0.07 ws15 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 44 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 44