BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_parallel_QF_NonLinearIntArith.xml name: yices2_parallel_QF_NonLinearIntArith run sets: Yices2,7,Parallel.task, Yices2,8,Parallel.task date: Fri, 2025-06-27 00:04:25 CEST tool: Yices2 tool executable: /usr/bin/./false 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 ------------------------------------------------------------ Yices2,7,Parallel.task Run set 1 of 2 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices2_parallel.py --yices ./yices_smt2 -n 128 --mcsat-l2o' 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 TIMEOUT 488.33 61.03 tc01 QF_NIA_20170427-VeryMax__CInteger_Stroeder_15__NO_04.c__p24650_safety_0.yml TIMEOUT 488.21 61.04 tc03 QF_NIA_20170427-VeryMax__CInteger_Stroeder_15__NO_12.c__p24718_terminationG_0.yml TIMEOUT 488.69 61.04 tc01 QF_NIA_20170427-VeryMax__CInteger_Stroeder_15__svcomp_ex2.c__p25969_terminationG_0.yml TIMEOUT 487.61 61.05 tc08 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__AlternatingGrowReduce2.jar-obl-9__p27497_terminationG_0.yml TIMEOUT 487.91 61.05 tc04 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__MainDelete.jar-obl-10__p10479_safety_0.yml TIMEOUT 487.81 61.04 tc06 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__Matrix.jar-obl-16__p10840_terminationG_0.yml TIMEOUT 488.64 61.06 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__MysteriousProgram.jar-obl-12__p11031_terminationG_0.yml TIMEOUT 488.56 61.04 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__Power.jar-obl-10__p11793_terminationG_0.yml TIMEOUT 488.26 61.04 tc02 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__SortCount.jar-obl-10__p12217_terminationG_0.yml TIMEOUT 488.08 61.04 tc07 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30598_safety_0.yml TIMEOUT 487.76 61.04 tc08 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsKey.jar-obl-11__p30917_safety_0.yml TIMEOUT 487.84 61.04 tc04 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p32134_safety_0.yml TIMEOUT 488.53 61.05 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2597_safety_0.yml TIMEOUT 488.29 61.04 tc03 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2868_edge_closing_0.yml OUT OF MEMORY 62.59 7.74 tc02 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6042_safety_0.yml TIMEOUT 488.26 61.05 tc05 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6089_safety_0.yml TIMEOUT 487.89 61.05 tc07 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juHashMapCreateRemove.jar-obl-11__p6761_safety_0.yml TIMEOUT 488.37 61.05 tc03 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__juLinkedListCreateAddAll.jar-obl-11__p9567_terminationG_0.yml TIMEOUT 489.04 61.04 tc03 QF_NIA_20170427-VeryMax__ITS_From_AProVE_2014__whileNestedOffset_rec.jar-obl-9__p14922_safety_0.yml TIMEOUT 487.96 61.04 tc01 QF_NIA_20170427-VeryMax__ITS_From_T2__bakery.t2__p17195_terminationG_0.yml TIMEOUT 488.07 61.04 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__edn.t2__p19871_safety_0.yml TIMEOUT 487.99 61.04 tc02 QF_NIA_20170427-VeryMax__ITS_From_T2__edn.t2__p20182_safety_0.yml TIMEOUT 488.00 61.04 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p22543_terminationG_0.yml TIMEOUT 488.17 61.04 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__ex36.t2_fixed__p22548_terminationG_0.yml TIMEOUT 488.46 61.04 tc05 QF_NIA_20170427-VeryMax__ITS_From_T2__foo.t2__terminationS_15_0.yml OUT OF MEMORY 97.89 12.15 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__foo.t2__terminationS_3_0.yml OUT OF MEMORY 97.26 12.09 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__fourn.c.i.fourn.pl.t2.fixed.t2__p32597_terminationG_0.yml TIMEOUT 487.87 61.03 tc07 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1.t2_fixed__p721_terminationG_0.yml TIMEOUT 488.75 61.04 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1.t2_fixed__terminationQ_0_0.yml TIMEOUT 488.53 61.04 tc03 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1b.t2__p667_terminationG_0.yml OUT OF MEMORY 117.52 14.68 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__fun1b.t2_fixed__p512_terminationG_0.yml TIMEOUT 489.06 61.04 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__fun6.t2_fixed__p1073_edge_closing_0.yml TIMEOUT 488.36 61.06 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__janne_complex.t2__p2225_terminationG_0.yml TIMEOUT 487.64 61.04 tc01 QF_NIA_20170427-VeryMax__ITS_From_T2__n-7.t2_fixed__p4944_terminationG_0.yml TIMEOUT 488.06 61.05 tc04 QF_NIA_20170427-VeryMax__ITS_From_T2__pentagon.t2__p7080_edge_closing_0.yml TIMEOUT 488.13 61.07 tc01 QF_NIA_20170427-VeryMax__ITS_From_T2__pgarch.t2_fixed__p7217_edge_closing_0.yml OUT OF MEMORY 92.71 11.50 tc04 QF_NIA_20170427-VeryMax__ITS_From_T2__rlft3.t2__p9016_terminationG_0.yml TIMEOUT 488.89 61.04 tc05 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p13091_safety_0.yml TIMEOUT 487.97 61.05 tc07 QF_NIA_20170427-VeryMax__ITS_From_T2__s1-striped.t2__p14429_safety_0.yml TIMEOUT 488.04 61.10 tc02 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2__p20269_safety_0.yml TIMEOUT 488.44 61.10 tc08 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2__p20289_safety_0.yml TIMEOUT 488.23 61.04 tc06 QF_NIA_20170427-VeryMax__ITS_From_T2__s1.t2_fixed__p17159_safety_0.yml TIMEOUT 487.94 61.04 tc04 QF_NIA_20170427-VeryMax__ITS_From_T2__slayer-3.t2__p22262_terminationG_0.yml TIMEOUT 488.50 61.05 tc07 QF_NIA_20170427-VeryMax__ITS_From_T2__weakness.t2__p25667_terminationG_0.yml TIMEOUT 488.09 61.05 tc02 QF_NIA_20170427-VeryMax__ITS_From_T2__zeroconf.t2__p25768_terminationG_0.yml TIMEOUT 488.05 61.04 tc03 QF_NIA_20170427-VeryMax__ITS_From_T2__zlib-adler32.c.t2__p26211_safety_0.yml TIMEOUT 488.28 61.13 tc01 QF_NIA_20170427-VeryMax__ITS_From_T2__zlib-adler32.c.t2_fixed__p25886_safety_0.yml TIMEOUT 487.43 61.04 tc06 QF_NIA_20220315-MathProblems_MF_12.yml TIMEOUT 488.62 61.05 tc02 QF_NIA_20220315-MathProblems_STC_0618.yml TIMEOUT 487.76 61.04 tc04 QF_NIA_mcm_129.yml TIMEOUT 488.06 61.04 tc07 QF_NIA_mcm_46.yml TIMEOUT 487.82 61.05 tc04 QF_NIA_mcm_81.yml TIMEOUT 487.84 61.04 tc02 ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None None - Yices2,8,Parallel.task Run set 2 of 2 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices2_parallel.py --yices ./yices_smt2 -n 128' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------- Run set 2 done None None - Statistics: 53 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 53