BENCHMARK INFORMATION benchmark definition: run_definitions/ostrich_QF_Strings.xml name: ostrich_QF_Strings run sets: OSTRICH,0,SingleQuery.task date: Mon, 2025-06-23 13:07:52 CEST tool: OSTRICH tool executable: ./unpack/d49f1f9b1a3e614c261417e134fa8a5379e841c61d1ecc76be1ef4896a5789fb/ostrich 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 ------------------------------------------------------------ OSTRICH,0,SingleQuery.task Run set 1 of 1 with options 'unpack/d49f1f9b1a3e614c261417e134fa8a5379e841c61d1ecc76be1ef4896a5789fb/ostrich +quiet -portfolio=strings' and propertyfile 'benchmarks/properties/SMT.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__sat__small_11486.corecstrs.readable.yml true 2.10 1.31 tc05 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__sat__small_15477.corecstrs.readable.yml true 1.81 1.10 ws01 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__sat__small_4358.corecstrs.readable.yml true 2.12 1.30 tc05 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__sat__small_5379.corecstrs.readable.yml true 1.81 1.11 ws08 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__sat__small_5682.corecstrs.readable.yml true 2.07 1.26 ws07 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__sat__small_5743.corecstrs.readable.yml true 1.97 1.19 ws04 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__unsat__big_9764.corecstrs.readable.yml false 3.12 1.75 tc02 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__unsat__small_29990.corecstrs.readable.yml true 1.97 1.21 ws01 QF_SLIA/QF_SLIA_20180523-Reynolds__kaluza__unsat__small_30596.corecstrs.readable.yml true 2.11 1.28 ws03 QF_SLIA/QF_SLIA_20180523-Reynolds__pyex__peterc-pyex-doc-cav17-td__httplib2__httplib2-entry-disposition_f1d731d1fb259523fa518327183c1a027598f6bb391ec48ce70bb56c.yml false 8.95 4.66 ws11 QF_SLIA/QF_SLIA_20180523-Reynolds__pyex__peterc-pyex-doc-cav17-z3__httplib2__httplib2-normalize-headers_2278455714e7a21e20f35abd71f929852bab3f6aeee471994679147e.yml true 42.24 22.31 ws10 QF_SLIA/QF_SLIA_20180523-Reynolds__pyex__peterc-pyex-doc-cav17-zz__httplib2__httplib2-end-headers_d2e249c7541cdc09d471e442c99fd445b36de6ab154c1bb2954661dd.yml true 2.07 1.22 ws01 QF_SLIA/QF_SLIA_20180523-Reynolds__pyex__peterc-pyex-doc-cav17-zz__httplib2__httplib2-entry-disposition_cf6c878df1f232fb09c325eaf302485fc8e0720bc40cf38c2fc0fc4a.yml true 9.73 5.09 ws03 QF_SLIA/QF_SLIA_20180523-Reynolds__pyex__peterc-pyex-doc-cav17-zz__httplib2__httplib2-entry-disposition_d318d7575b0865a93baeee166ffe7240151901e4759de69303e043bd.yml true 6.16 3.25 ws08 QF_SLIA/QF_SLIA_2019-Jiang__slent_slent_kaluza_1489_sink.yml false 2.15 1.26 ws13 QF_SLIA/QF_SLIA_2019-full_str_int__py-conbyte_cvc4__leetcode_int-restoreIpAddresses_1074.yml false 3.20 1.78 ws04 QF_SLIA/QF_SLIA_2019-full_str_int__py-conbyte_cvc4__leetcode_int-restoreIpAddresses_1133.yml false 37.49 18.95 tc02 QF_SLIA/QF_SLIA_2019-full_str_int__py-conbyte_cvc4__leetcode_int-restoreIpAddresses_4521.yml false 2.95 1.66 ws20 QF_SLIA/QF_SLIA_2019-full_str_int__py-conbyte_cvc4__leetcode_int-restoreIpAddresses_6285.yml false 3.05 1.69 ws16 QF_SLIA/QF_SLIA_2019-full_str_int__py-conbyte_z3seq__leetcode_int-restoreIpAddresses_4360.yml false 7.16 3.73 ws16 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__big_820.corecstrs.readable.yml true 2.47 1.42 ws12 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__big_821.corecstrs.readable.yml true 2.56 1.46 ws11 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__big_839.corecstrs.readable.yml true 3.00 1.71 tc06 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__big_846.corecstrs.readable.yml true 2.75 1.58 ws07 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1552.corecstrs.readable.yml true 2.21 1.28 ws16 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1553.corecstrs.readable.yml true 2.64 1.52 tc07 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1554.corecstrs.readable.yml true 2.47 1.44 ws04 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1573.corecstrs.readable.yml true 2.17 1.27 ws16 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1576.corecstrs.readable.yml true 2.20 1.29 ws02 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1594.corecstrs.readable.yml true 2.44 1.43 ws13 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1596.corecstrs.readable.yml true 2.52 1.48 tc07 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1598.corecstrs.readable.yml true 2.21 1.29 ws08 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1628.corecstrs.readable.yml true 2.55 1.50 tc05 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1884.corecstrs.readable.yml true 2.13 1.25 ws18 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1885.corecstrs.readable.yml true 2.18 1.28 ws08 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1908.corecstrs.readable.yml true 2.45 1.43 ws13 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_1911.corecstrs.readable.yml true 2.22 1.32 ws18 QF_SNIA/QF_SNIA_20180523-Reynolds__kaluza__sat__small_2008.corecstrs.readable.yml true 2.51 1.47 tc05 QF_SNIA/QF_SNIA_20200224-Wu-PyExZ3_bdcb3877984a55b540face066045c4642cba1bc553af78576a41a76e.yml true 1.71 1.05 ws05 QF_SNIA/QF_SNIA_20200224-Wu-PyExZ3_dddb9cc1f86d5738fd85ffa1b430c4e9df9771c0fffa945b9b414772.yml true 1.35 0.85 ws02 QF_S/QF_S_2019-Jiang__slog_slog_stranger_1350_sink.yml false 1.88 1.15 ws04 QF_S/QF_S_2019-Jiang__slog_slog_stranger_1372_sink.yml false 1.93 1.19 tc07 QF_S/QF_S_2019-Jiang__slog_slog_stranger_1430_sink.yml false 1.63 1.02 ws11 QF_S/QF_S_2019-Jiang__slog_slog_stranger_1578_sink.yml true 14.33 7.42 ws19 QF_S/QF_S_2019-Jiang__slog_slog_stranger_1631_sink.yml true 6.10 3.29 tc02 QF_S/QF_S_2019-Jiang__slog_slog_stranger_2178_sink.yml false 1.92 1.19 tc02 QF_S/QF_S_2019-Jiang__slog_slog_stranger_2189_sink.yml false 1.88 1.14 ws01 QF_S/QF_S_2019-Jiang__slog_slog_stranger_2443_sink.yml false 2.10 1.27 ws02 QF_S/QF_S_2019-Jiang__slog_slog_stranger_2592_sink.yml false 1.85 1.16 ws18 QF_S/QF_S_2019-Jiang__slog_slog_stranger_2656_sink.yml false 2.07 1.25 tc05 QF_S/QF_S_2019-Jiang__slog_slog_stranger_2900_sink.yml true 9.08 4.76 ws18 QF_S/QF_S_2019-Jiang__slog_slog_stranger_3304_sink.yml true 17.13 8.81 ws09 QF_S/QF_S_2019-Jiang__slog_slog_stranger_4036_sink.yml true 16.33 8.38 ws20 QF_S/QF_S_2019-Jiang__slog_slog_stranger_4070_sink.yml true 14.24 7.40 tc06 QF_S/QF_S_2019-Jiang__slog_slog_stranger_4161_sink.yml true 15.96 8.22 ws12 QF_S/QF_S_2019-Jiang__slog_slog_stranger_5085_sink.yml false 2.73 1.66 tc05 QF_S/QF_S_2019-Jiang__slog_slog_stranger_798_sink.yml false 1.65 1.02 ws02 QF_S/QF_S_2019-Jiang__slog_slog_stranger_807_sink.yml false 1.70 1.06 ws04 QF_S/QF_S_2019-Jiang__slog_slog_stranger_952_sink.yml false 1.97 1.21 ws14 QF_S/QF_S_2020-sygus-qgen__queries_query3146.yml true 2.17 1.31 ws02 ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 39.49 - Statistics: 60 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 0