BENCHMARK INFORMATION benchmark definition: run_definitions/yices2_inc_QF_NonLinearIntArith.xml name: yices2_inc_QF_NonLinearIntArith run sets: Yices2,3,Incremental.task date: Mon, 2025-06-23 15:43:32 CEST tool: Yices2 tool executable: /usr/bin/./false 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 ------------------------------------------------------------ Yices2,3,Incremental.task Run set 1 of 1 with options 'unpack/9a71a8be5336a24d9219bd7598075f7ba06f85484bb819f3e8992e68a0a0d6cd/yices_smt2 --incremental' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_NIA_20250318-BohanLi_From_AProVE_2014__Matrix.jar-obl-16__p10788_safety_0.yml DONE (21 correct) 31.54 31.55 tc02 QF_NIA_20250318-BohanLi_From_AProVE_2014__juHashMapCreateIteratorEntryLoop.jar-obl-12__p3364_edge_closing_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc02 QF_NIA_20250318-BohanLi_From_AProVE_2014__juLinkedListCreateRemoveAll.jar-obl-11__p9812_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.03 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__apchild-live.t2_fixed__p16560_terminationG_0.yml DONE (21 correct) 37.74 37.74 tc08 QF_NIA_20250318-BohanLi_From_T2__fun1.t2_fixed__p697_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__hqr.c.i.hqr.pl.t2.fixed.t2__p1654_edge_closing_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__p1697_terminationG_0.yml DONE (21 correct) 5.83 5.83 tc02 QF_NIA_20250318-BohanLi_From_T2__mc91test.t2__p3101_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc05 QF_NIA_20250318-BohanLi_From_T2__p_armc.t2__p6946_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__sas2.t2__p21302_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc05 QF_NIA_20250318-BohanLi_From_T2__slayer-4-filtered.t2__p22712_safety_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc08 QF_NIA_20250318-BohanLi_From_T2__tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.t2__p25079_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc02 QF_NIA_20250318-BohanLi_From_T2__tqli.t2__p25217_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc05 QF_NIA_20250318-BohanLi_From_T2__tqli.t2_fixed__p25128_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc02 QF_NIA_20250318-BohanLi_Stroeder_15__ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c__p22124_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 61.02 61.00 tc02 QF_NIA_20250331-elster_A_1_htc2.yml DONE (451 correct) 4.35 4.35 tc02 QF_NIA_20250331-elster_B_1_htc0.yml TIMEOUT (TIMEOUT (936 correct)) 61.02 61.00 tc08 QF_NIA_20250331-elster_C_1_max.yml TIMEOUT (TIMEOUT (0 correct)) 61.01 61.00 tc05 QF_NIA_20250331-elster_E_1_htc2.yml TIMEOUT (TIMEOUT (4 correct)) 61.03 61.00 tc08 QF_NIA_UltimateLTLAutomizer_Problem14_prop_024.c.yml TIMEOUT (TIMEOUT (9452 correct)) 61.00 61.00 tc02 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 68.08 - Statistics: 20 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 20