BENCHMARK INFORMATION benchmark definition: run_definitions/smtinterpol_inc_QF_NonLinearIntArith.xml name: smtinterpol_inc_QF_NonLinearIntArith run sets: SMTInterpol,1,Incremental.task date: Fri, 2025-06-27 00:31:18 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,1,Incremental.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_20250318-BohanLi_From_AProVE_2014__Matrix.jar-obl-16__p10788_safety_0.yml DONE (10 correct) 4.00 2.05 tc05 QF_NIA_20250318-BohanLi_From_AProVE_2014__juHashMapCreateIteratorEntryLoop.jar-obl-12__p3364_edge_closing_0.yml TIMEOUT (TIMEOUT (0 correct)) 120.42 111.85 tc08 QF_NIA_20250318-BohanLi_From_AProVE_2014__juLinkedListCreateRemoveAll.jar-obl-11__p9812_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 120.83 100.95 tc08 QF_NIA_20250318-BohanLi_From_T2__apchild-live.t2_fixed__p16560_terminationG_0.yml DONE (10 correct) 70.37 58.05 tc05 QF_NIA_20250318-BohanLi_From_T2__fun1.t2_fixed__p697_terminationG_0.yml DONE (10 correct) 19.73 11.12 tc08 QF_NIA_20250318-BohanLi_From_T2__hqr.c.i.hqr.pl.t2.fixed.t2__p1654_edge_closing_0.yml TIMEOUT (TIMEOUT (0 correct)) 120.20 94.97 tc02 QF_NIA_20250318-BohanLi_From_T2__hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.t2__p1697_terminationG_0.yml TIMEOUT (TIMEOUT (0 correct)) 120.78 103.32 tc08 QF_NIA_20250318-BohanLi_From_T2__mc91test.t2__p3101_terminationG_0.yml DONE (10 correct) 5.49 2.79 tc02 QF_NIA_20250318-BohanLi_From_T2__p_armc.t2__p6946_terminationG_0.yml DONE (10 correct) 6.33 3.22 tc02 QF_NIA_20250318-BohanLi_From_T2__sas2.t2__p21302_terminationG_0.yml DONE (10 correct) 4.65 2.38 tc05 QF_NIA_20250318-BohanLi_From_T2__slayer-4-filtered.t2__p22712_safety_0.yml DONE (10 correct) 4.94 2.53 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)) 120.33 101.13 tc08 QF_NIA_20250318-BohanLi_From_T2__tqli.t2__p25217_terminationG_0.yml DONE (10 correct) 25.83 14.94 tc05 QF_NIA_20250318-BohanLi_From_T2__tqli.t2_fixed__p25128_terminationG_0.yml DONE (10 correct) 65.82 50.27 tc08 QF_NIA_20250318-BohanLi_Stroeder_15__ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c__p22124_terminationG_0.yml DONE (10 correct) 1.49 0.80 tc08 QF_NIA_20250331-elster_A_1_htc2.yml DONE (451 correct) 35.09 17.62 tc02 QF_NIA_20250331-elster_B_1_htc0.yml TIMEOUT (TIMEOUT (83 correct)) 120.30 84.22 tc02 QF_NIA_20250331-elster_C_1_max.yml TIMEOUT (TIMEOUT (0 correct)) 120.50 92.23 tc02 QF_NIA_20250331-elster_E_1_htc2.yml TIMEOUT (TIMEOUT (0 correct)) 120.42 91.68 tc02 QF_NIA_UltimateLTLAutomizer_Problem14_prop_024.c.yml TIMEOUT (TIMEOUT (101222 correct)) 121.32 70.83 tc02 --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- 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