BENCHMARK INFORMATION benchmark definition: run_definitions/z3partiz3ppatsmtcomp2025_parallel_QF_LinearRealArith.xml name: z3partiz3ppatsmtcomp2025_parallel_QF_LinearRealArith run sets: Z3-Parti-Z3pp-at-SMT-COMP-2025,0,Parallel.task date: Sat, 2025-06-28 17:40:29 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_LRA/QF_LRA_2017-Heizmann-UltimateInvariantSynthesis__array_ptr_single_elem_init.i_4_2_2.bpl_7.yml unknown 0.07 0.07 ws17 QF_LRA/QF_LRA_2017-Heizmann-UltimateInvariantSynthesis__gj2007.c.i_4_3_3.bpl_11.yml unknown 0.07 0.07 ws03 QF_LRA/QF_LRA_2017-Heizmann-UltimateInvariantSynthesis__overflow1.i_3_8_2.bpl_11.yml unknown 0.07 0.07 ws16 QF_LRA/QF_LRA_2017-Heizmann-UltimateInvariantSynthesis__sanfoundry_10_ground.i_6_3_3.bpl_13.yml unknown 0.08 0.08 ws03 QF_LRA/QF_LRA_2019-ezsmt__Labyrinth__SCC_Strong_0198-labyrinth-19-0.yml unknown 0.39 0.39 ws06 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_brp_withassume.t2.c_Iteration8_Loop_4-pieceTemplate.yml unknown 0.11 0.11 ws01 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_brp_withassume.t2.c_Iteration8_Loop_6-phaseTemplate.yml unknown 0.10 0.10 ws14 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_brp_withassume.t2.c_Iteration8_Loop_7-phaseTemplate.yml unknown 0.11 0.11 ws15 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_eric.t2.c_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.08 0.08 ws06 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_ex11.t2.c_Iteration1_Lasso_3-pieceTemplate.yml unknown 0.08 0.08 ws18 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_ex11.t2.c_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.08 0.08 ws13 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_firewire.t2.c_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.09 0.09 ws17 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_firewire.t2.c_Iteration1_Lasso_6-phaseTemplate.yml unknown 0.08 0.08 ws12 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_firewire.t2.c_Iteration1_Lasso_7-phaseTemplate.yml unknown 0.09 0.09 ws11 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_hongyi1.t2.c_Iteration1_Loop_4-pieceTemplate.yml unknown 0.10 0.10 ws02 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_hongyi1.t2.c_Iteration9_Loop_4-pieceTemplate.yml unknown 0.10 0.10 ws20 QF_LRA/QF_LRA_LassoRanker__CooperatingT2_hongyi1.t2.c_Iteration9_Loop_7-phaseTemplate.yml unknown 0.10 0.10 ws01 QF_LRA/QF_LRA_LassoRanker__SV-COMP_GulwaniJainKoskinen-2009PLDI-Fig1_true-termination.c_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.10 0.10 ws17 QF_LRA/QF_LRA_LassoRanker__SV-COMP_LeeJonesBen-Amram-2001POPL-Ex5_true-termination.c_Iteration2_Lasso_4-pieceTemplate.yml unknown 0.08 0.08 ws08 QF_LRA/QF_LRA_LassoRanker__SV-COMP_LeeJonesBen-Amram-2001POPL-Ex5_true-termination.c_Iteration2_Lasso_7-phaseTemplate.yml unknown 0.08 0.08 ws19 QF_LRA/QF_LRA_LassoRanker__SV-COMP_TelAviv-Amir-Minimum_true-termination.c_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.11 0.11 ws10 QF_LRA/QF_LRA_LassoRanker__SV-COMP_TelAviv-Amir-Minimum_true-termination.c_Iteration1_Loop_4-pieceTemplate.yml unknown 0.11 0.11 ws04 QF_LRA/QF_LRA_LassoRanker__Ultimate_Braverman-2006CAV-Ex1-int.bpl_Iteration1_Lasso_7-phaseTemplate.yml unknown 0.07 0.07 ws18 QF_LRA/QF_LRA_LassoRanker__Ultimate_Braverman-2006CAV-Ex1-int.bpl_Iteration1_Loop_7-phaseTemplate.yml unknown 0.07 0.07 ws18 QF_LRA/QF_LRA_LassoRanker__Ultimate_MenloPark.bpl_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.07 0.07 ws10 QF_LRA/QF_LRA_LassoRanker__Ultimate_OpposedDisjuncts.bpl_Iteration1_Lasso_4-pieceTemplate.yml unknown 0.08 0.08 ws09 QF_LRA/QF_LRA_miplib_danoint-65.yml unknown 0.07 0.07 ws15 QF_LRA/QF_LRA_miplib_danoint-66.yml unknown 0.07 0.07 ws11 QF_LRA/QF_LRA_miplib_fixnet-3000.yml unknown 0.07 0.07 ws16 QF_LRA/QF_LRA_miplib_fixnet-3983.yml unknown 0.07 0.07 ws12 QF_LRA/QF_LRA_miplib_opt1217--17.yml unknown 0.07 0.07 ws20 QF_LRA/QF_LRA_miplib_pk1-0.yml unknown 0.08 0.08 ws02 QF_LRA/QF_LRA_miplib_pk1-11.yml unknown 0.07 0.07 ws16 QF_LRA/QF_LRA_miplib_pp08a-5000.yml unknown 0.07 0.07 ws07 QF_LRA/QF_LRA_miplib_pp08a-7349.yml unknown 0.08 0.08 ws07 QF_LRA/QF_LRA_tropical-matrix_constraint-1007893.yml unknown 0.08 0.08 ws19 QF_LRA/QF_LRA_tropical-matrix_constraint-556101.yml unknown 0.08 0.08 ws09 QF_LRA/QF_LRA_tta_startup_simple_startup_15nodes.abstract.induct.yml unknown 0.08 0.08 ws06 QF_RDL/QF_RDL_scheduling_swv12_3004.yml unknown 0.08 0.08 ws13 QF_RDL/QF_RDL_scheduling_swv12_3050.yml unknown 0.08 0.08 ws12 QF_RDL/QF_RDL_scheduling_swv13_3000.yml unknown 0.08 0.08 ws04 QF_RDL/QF_RDL_scheduling_swv13_3104.yml unknown 0.08 0.08 ws13 QF_RDL/QF_RDL_scheduling_swv13_3150.yml unknown 0.08 0.08 ws08 QF_RDL/QF_RDL_scheduling_swv13_3200.yml unknown 0.08 0.08 ws14 QF_RDL/QF_RDL_scheduling_swv14_2800.yml unknown 0.08 0.08 ws17 QF_RDL/QF_RDL_scheduling_swv14_2885.yml unknown 0.08 0.08 ws02 QF_RDL/QF_RDL_scheduling_swv14_2895.yml unknown 0.08 0.08 ws16 QF_RDL/QF_RDL_scheduling_swv14_2905.yml unknown 0.08 0.08 ws08 QF_RDL/QF_RDL_scheduling_swv14_3000.yml unknown 0.08 0.08 ws01 QF_RDL/QF_RDL_scheduling_yn1_827.yml unknown 0.07 0.08 ws11 QF_RDL/QF_RDL_scheduling_yn1_850.yml unknown 0.07 0.07 ws20 QF_RDL/QF_RDL_scheduling_yn1_887.yml unknown 0.07 0.07 ws05 QF_RDL/QF_RDL_scheduling_yn2_862.yml unknown 0.07 0.07 ws04 QF_RDL/QF_RDL_scheduling_yn2_890.yml unknown 0.07 0.07 ws19 QF_RDL/QF_RDL_scheduling_yn2_910.yml unknown 0.08 0.08 ws05 QF_RDL/QF_RDL_scheduling_yn3_828.yml unknown 0.07 0.08 ws07 QF_RDL/QF_RDL_scheduling_yn3_860.yml unknown 0.07 0.07 ws05 QF_RDL/QF_RDL_scheduling_yn3_894.yml unknown 0.07 0.07 ws15 QF_RDL/QF_RDL_scheduling_yn4_1000.yml unknown 0.07 0.07 ws09 QF_RDL/QF_RDL_scheduling_yn4_919.yml unknown 0.07 0.07 ws03 QF_RDL/QF_RDL_scheduling_yn4_950.yml unknown 0.07 0.08 ws14 QF_RDL/QF_RDL_scheduling_yn4_969.yml unknown 0.08 0.08 ws14 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Statistics: 62 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 62