pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430513718qf_shid_entl/01.tst.smt28318666Cyclist-SL1136default1487complete0.0336910.0333529113176.0unsatunsat
430513469qf_shid_entl/02.tst.smt28318417Cyclist-SL1136default1487complete0.0315820.0313111113176.0unsatunsat
430513529qf_shid_entl/03.tst.smt28318477Cyclist-SL1136default1487complete0.0332280.032932113176.0unsatunsat
430513585qf_shid_entl/04.tst.smt28318533Cyclist-SL1136default1487complete0.0325890.0322811113176.0unsatunsat
430513516qf_shid_entl/05.tst.smt28318464Cyclist-SL1136default1487complete0.0310670.0307941113176.0unsatunsat
430513695qf_shid_entl/06.tst.smt28318643Cyclist-SL1136default1487complete0.0341070.03381113176.0unsatunsat
430513641qf_shid_entl/07.tst.smt28318589Cyclist-SL1136default1487complete0.0321540.0320339113176.0unsatunsat
430513638qf_shid_entl/08.tst.smt28318586Cyclist-SL1136default1487complete0.0318090.031505113176.0unsatunsat
430513697qf_shid_entl/09.tst.smt28318645Cyclist-SL1136default1487complete0.0359590.0356949113176.0unsatunsat
430513678qf_shid_entl/10.tst.smt28318626Cyclist-SL1136default1487complete0.0687630.0684511113176.0unsatunsat
430513724qf_shid_entl/11.tst.smt28318672Cyclist-SL1136default1487complete0.0853140.085182113176.0unsatunsat
430513473qf_shid_entl/12.tst.smt28318421Cyclist-SL1136default1487complete0.0640520.0637529113176.0unsatunsat
430513541qf_shid_entl/13.tst.smt28318489Cyclist-SL1136default1487complete0.0441230.043803113176.0unsatunsat
430513573qf_shid_entl/14.tst.smt28318521Cyclist-SL1136default1487complete0.0445520.0442719113176.0unsatunsat
430513503qf_shid_entl/15.tst.smt28318451Cyclist-SL1136default1487complete0.0414930.0411781113176.0unsatunsat
430513683qf_shid_entl/16.tst.smt28318631Cyclist-SL1136default1487complete0.106980.106714113176.0unsatunsat
430513627qf_shid_entl/17.tst.smt28318575Cyclist-SL1136default1487complete0.1772710.177174113176.0unsatunsat
430513628qf_shid_entl/18.tst.smt28318576Cyclist-SL1136default1487complete0.0687870.0684619113176.0unsatunsat
430513681qf_shid_entl/19.tst.smt28318629Cyclist-SL1136default1487complete0.0138970.0135829113176.0unsatunsat
430513651qf_shid_entl/20.tst.smt28318599Cyclist-SL1136default1487complete0.0339270.033666113176.0unsatunsat
430513740qf_shid_entl/21.tst.smt28318688Cyclist-SL1136default1487complete0.0355780.035328113176.0unsatunsat
430513453qf_shid_entl/22.tst.smt28318401Cyclist-SL1136default1487complete1.11481.11459176780.0unsatunsat
430513727qf_shid_entl/append_dll_slk-1.smt28318675Cyclist-SL1136default1487complete0.0297910.0294871113176.0unsatunsat
430513720qf_shid_entl/append_dll_slk-10.smt28318668Cyclist-SL1136default1487complete0.0546210.0543101113176.0unsatunsat
430513603qf_shid_entl/append_dll_slk-11.smt28318551Cyclist-SL1136default1487complete0.0146440.0144029113176.0unsatunsat
430513476qf_shid_entl/append_dll_slk-12.smt28318424Cyclist-SL1136default1487complete0.0167820.016472113176.0unsatunsat
430513534qf_shid_entl/append_dll_slk-2.smt28318482Cyclist-SL1136default1487complete0.0152450.0149399113176.0unsatunsat
430513493qf_shid_entl/append_dll_slk-3.smt28318441Cyclist-SL1136default1487complete0.0143460.014026113176.0unsatunsat
430513646qf_shid_entl/append_dll_slk-4.smt28318594Cyclist-SL1136default1487complete0.0158940.0155979113176.0unsatunsat
430513756qf_shid_entl/append_dll_slk-5.smt28318704Cyclist-SL1136default1487complete0.0132480.0130211113176.0unsatunsat
430513560qf_shid_entl/append_dll_slk-6.smt28318508Cyclist-SL1136default1487complete0.0141430.01379113176.0unsatunsat
430513518qf_shid_entl/append_dll_slk-7.smt28318466Cyclist-SL1136default1487complete0.0386720.0383931113176.0unsatunsat
430513654qf_shid_entl/append_dll_slk-8.smt28318602Cyclist-SL1136default1487complete0.0165320.0162379113176.0unsatunsat
430513687qf_shid_entl/append_dll_slk-9.smt28318635Cyclist-SL1136default1487complete0.0181720.0178659113176.0unsatunsat
430513723qf_shid_entl/append_sll_cll_slk-1.smt28318671Cyclist-SL1136default1487complete0.0154980.01518113176.0unsatunsat
430513602qf_shid_entl/append_sll_cll_slk-10.smt28318550Cyclist-SL1136default1487complete0.0159110.015652113176.0unsatunsat
430513716qf_shid_entl/append_sll_cll_slk-11.smt28318664Cyclist-SL1136default1487complete0.0138970.0136521113176.0unsatunsat
430513524qf_shid_entl/append_sll_cll_slk-12.smt28318472Cyclist-SL1136default1487complete0.0141760.0138949113176.0unsatunsat
430513485qf_shid_entl/append_sll_cll_slk-13.smt28318433Cyclist-SL1136default1487complete0.013850.0136339113176.0unsatunsat
430513630qf_shid_entl/append_sll_cll_slk-14.smt28318578Cyclist-SL1136default1487complete0.0136190.0133241113176.0unsatunsat
430513743qf_shid_entl/append_sll_cll_slk-15.smt28318691Cyclist-SL1136default1487complete11.336411.3372154668.0starexec-unknownsat
430513548qf_shid_entl/append_sll_cll_slk-16.smt28318496Cyclist-SL1136default1487complete0.016590.016281113176.0unsatunsat
430513506qf_shid_entl/append_sll_cll_slk-17.smt28318454Cyclist-SL1136default1487complete0.0152270.01492113176.0unsatunsat
430513659qf_shid_entl/append_sll_cll_slk-18.smt28318607Cyclist-SL1136default1487complete0.0158570.0156249113176.0unsatunsat
430513532qf_shid_entl/append_sll_cll_slk-2.smt28318480Cyclist-SL1136default1487complete0.0148220.0144859113176.0unsatunsat
430513487qf_shid_entl/append_sll_cll_slk-3.smt28318435Cyclist-SL1136default1487complete0.0152880.078229113176.0unsatunsat
430513623qf_shid_entl/append_sll_cll_slk-4.smt28318571Cyclist-SL1136default1487complete0.0143440.0140421113176.0unsatunsat
430513738qf_shid_entl/append_sll_cll_slk-5.smt28318686Cyclist-SL1136default1487complete0.0143210.0188050.0unsatunsat
430513544qf_shid_entl/append_sll_cll_slk-6.smt28318492Cyclist-SL1136default1487complete11.197811.1969154668.0starexec-unknownsat
430513500qf_shid_entl/append_sll_cll_slk-7.smt28318448Cyclist-SL1136default1487complete0.0140270.0137359113176.0unsatunsat
430513663qf_shid_entl/append_sll_cll_slk-8.smt28318611Cyclist-SL1136default1487complete0.0150510.0149319113176.0unsatunsat
430513699qf_shid_entl/append_sll_cll_slk-9.smt28318647Cyclist-SL1136default1487complete0.0180860.0177751113176.0unsatunsat
430513499qf_shid_entl/append_sll_ls_slk-1.smt28318447Cyclist-SL1136default1487complete0.0170810.0167541113176.0unsatunsat
430513618qf_shid_entl/append_sll_ls_slk-2.smt28318566Cyclist-SL1136default1487complete0.0137630.0134719113176.0unsatunsat
430513734qf_shid_entl/append_sll_ls_slk-3.smt28318682Cyclist-SL1136default1487complete0.0133250.01297113176.0unsatunsat
430513556qf_shid_entl/append_sll_ls_slk-4.smt28318504Cyclist-SL1136default1487complete0.0146750.0143739113176.0unsatunsat
430513515qf_shid_entl/append_sll_ls_slk-5.smt28318463Cyclist-SL1136default1487complete0.0132270.0129849113176.0unsatunsat
430513637qf_shid_entl/append_sll_ls_slk-6.smt28318585Cyclist-SL1136default1487complete0.0161150.0158179113176.0unsatunsat
430513751qf_shid_entl/append_sll_ls_slk-7.smt28318699Cyclist-SL1136default1487complete0.0148720.0145781113176.0unsatunsat
430513575qf_shid_entl/append_sll_ls_slk-8.smt28318523Cyclist-SL1136default1487complete0.0185260.0182591113176.0unsatunsat
430513470qf_shid_entl/append_sll_slk-1.smt28318418Cyclist-SL1136default1487complete0.0233720.0230919113176.0unsatunsat
430513669qf_shid_entl/append_sll_slk-2.smt28318617Cyclist-SL1136default1487complete0.0146470.0143851113176.0unsatunsat
430513704qf_shid_entl/append_sll_slk-3.smt28318652Cyclist-SL1136default1487complete0.0153240.0150271113176.0unsatunsat
430513572qf_shid_entl/append_sll_slk-4.smt28318520Cyclist-SL1136default1487complete0.0153050.0149479113176.0unsatunsat
430513448qf_shid_entl/append_sll_slk-5.smt28318396Cyclist-SL1136default1487complete0.0135060.013222113176.0unsatunsat
430513647qf_shid_entl/append_sll_slk-6.smt28318595Cyclist-SL1136default1487complete0.0144990.014185113176.0unsatunsat
430513685qf_shid_entl/append_sll_slk-7.smt28318633Cyclist-SL1136default1487complete0.0150640.014767113176.0unsatunsat
430513565qf_shid_entl/append_sll_slk-8.smt28318513Cyclist-SL1136default1487complete0.0171160.016843113176.0unsatunsat
430513665qf_shid_entl/dll-entails-dll-rev.smt28318613Cyclist-SL1136default1487timeout (cpu)2400.042400.1154668.0starexec-unknownunsat
430513507qf_shid_entl/dll-entails-dll0+.smt28318455Cyclist-SL1136default1487complete0.0476280.0474259113176.0unsatunsat
430513636qf_shid_entl/dll-mid-entails-dll-rev.smt28318584Cyclist-SL1136default1487timeout (wallclock)2400.02400.02186836.0starexec-unknownunsat
430513566qf_shid_entl/dll-rev-entails-dll-mid.smt28318514Cyclist-SL1136default1487complete0.0602920.0600011113176.0unsatunsat
430513673qf_shid_entl/dll-rev-entails-dll.smt28318621Cyclist-SL1136default1487timeout (cpu)2400.022399.96155068.0starexec-unknownunsat
430513639qf_shid_entl/dll-spaghetti.smt28318587Cyclist-SL1136default1487timeout (wallclock)2399.812400.05165124.0starexec-unknownunsat
430513463qf_shid_entl/dll-vc01.smt28318411Cyclist-SL1136default1487complete0.0176290.0173031113176.0unsatunsat
430513662qf_shid_entl/dll-vc02.smt28318610Cyclist-SL1136default1487complete0.0181110.0177789113176.0unsatunsat
430513700qf_shid_entl/dll-vc03.smt28318648Cyclist-SL1136default1487complete0.0249340.02461113176.0unsatunsat
430513596qf_shid_entl/dll-vc04.smt28318544Cyclist-SL1136default1487complete3.764453.76419155068.0starexec-unknownsat
430513472qf_shid_entl/dll-vc05.smt28318420Cyclist-SL1136default1487complete0.5738020.573495113176.0unsatunsat
430513677qf_shid_entl/dll-vc06.smt28318625Cyclist-SL1136default1487complete427.443427.459165124.0starexec-unknownsat
430513707qf_shid_entl/dll-vc07.smt28318655Cyclist-SL1136default1487complete0.0632280.062989113176.0unsatunsat
430513533qf_shid_entl/dll-vc08.smt28318481Cyclist-SL1136default1487complete1229.921229.93164724.0starexec-unknownsat
430513486qf_shid_entl/dll-vc09.smt28318434Cyclist-SL1136default1487complete0.1605830.160291113176.0unsatunsat
430513539qf_shid_entl/dll-vc10.smt28318487Cyclist-SL1136default1487timeout (cpu)2400.042400.03154668.0starexec-unknownsat
430513498qf_shid_entl/dll-vc11.smt28318446Cyclist-SL1136default1487complete28.492328.4921174204.0unsatunsat
430513620qf_shid_entl/dll-vc12.smt28318568Cyclist-SL1136default1487complete598.778598.842165124.0starexec-unknownsat
430513735qf_shid_entl/dll-vc13.smt28318683Cyclist-SL1136default1487complete12.183212.1837155068.0starexec-unknownsat
430513551qf_shid_entl/dll-vc14.smt28318499Cyclist-SL1136default1487complete3.230813.23047154776.0starexec-unknownsat
430513512qf_shid_entl/dll-vc15.smt28318460Cyclist-SL1136default1487complete0.0155220.0152079113176.0unsatunsat
430513640qf_shid_entl/dll-vc16.smt28318588Cyclist-SL1136default1487timeout (wallclock)2400.02400.09155068.0starexec-unknownsat
430513753qf_shid_entl/dll-vc17.smt28318701Cyclist-SL1136default1487complete0.0916140.0913249113176.0unsatunsat
430513527qf_shid_entl/dll2-entails-dll2-rev.smt28318475Cyclist-SL1136default1487timeout (wallclock)2399.942400.06176780.0starexec-unknownunsat
430513537qf_shid_entl/dll2-rev-entails-dll2.smt28318485Cyclist-SL1136default1487timeout (cpu)2400.012400.07177404.0starexec-unknownunsat
430513593qf_shid_entl/dll2-spaghetti.smt28318541Cyclist-SL1136default1487timeout (cpu)2400.072400.06164724.0starexec-unknownunsat
430513584qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt28318532Cyclist-SL1136default1487timeout (wallclock)2399.842400.05176780.0starexec-unknownunsat
430513672qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt28318620Cyclist-SL1136default1487timeout (wallclock)2399.992400.01207572.0starexec-unknownunsat
430513451qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt28318399Cyclist-SL1136default1487timeout (wallclock)2400.02400.09207876.0starexec-unknownunsat
430513479qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt28318427Cyclist-SL1136default1487timeout (wallclock)2399.942400.01176780.0starexec-unknownunsat
430513490qf_shid_entl/dllrev_append_head_entails_dll.sb.smt28318438Cyclist-SL1136default1487timeout (wallclock)2399.922400.03155068.0starexec-unknownunsat
430513592qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt28318540Cyclist-SL1136default1487complete0.0308470.0305379113176.0unsatunsat
430513511qf_shid_entl/dllrev_concat.sb.smt28318459Cyclist-SL1136default1487complete0.033430.033102113176.0unsatunsat
430513464qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt28318412Cyclist-SL1136default1487timeout (wallclock)2399.912400.07176780.0starexec-unknownunsat
430513528qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt28318476Cyclist-SL1136default1487timeout (wallclock)2399.732400.01186612.0starexec-unknownunsat
430513509qf_shid_entl/dllrev_entails_dll.sb.smt28318457Cyclist-SL1136default1487timeout (wallclock)2400.02400.08155068.0starexec-unknownunsat
430513693qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt28318641Cyclist-SL1136default1487complete0.0322140.03193113176.0unsatunsat
430513732qf_shid_entl/dll_append_tail_entails_dll.sb.smt28318680Cyclist-SL1136default1487complete0.0319740.0327289113176.0unsatunsat
430513538qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt28318486Cyclist-SL1136default1487complete0.0328960.0326311113176.0unsatunsat
430513667qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt28318615Cyclist-SL1136default1487complete0.0813050.0810221113176.0unsatunsat
430513757qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt28318705Cyclist-SL1136default1487complete0.0311950.0308671113176.0unsatunsat
430513452qf_shid_entl/dll_concat.sb.smt28318400Cyclist-SL1136default1487complete0.032390.0321191113176.0unsatunsat
430513567qf_shid_entl/dll_concat_dllrev.sb.smt28318515Cyclist-SL1136default1487timeout (wallclock)2399.952400.01186836.0starexec-unknownunsat
430513579qf_shid_entl/dll_entails_dllrev.sb.smt28318527Cyclist-SL1136default1487timeout (wallclock)2400.022400.1155068.0starexec-unknownunsat
430513459qf_shid_entl/dll_entails_ls.sb.smt28318407Cyclist-SL1136default1487complete0.0312260.0308921113176.0unsatunsat
430513496qf_shid_entl/dll_entails_lspre.sb.smt28318444Cyclist-SL1136default1487complete1102.561102.62154668.0starexec-unknownunsat
430513717qf_shid_entl/dll_entails_lsrev.sb.smt28318665Cyclist-SL1136default1487complete1098.981099.0155068.0starexec-unknownunsat
430513482qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt28318430Cyclist-SL1136default1487complete0.0306610.030459113176.0unsatunsat
430513645qf_shid_entl/elseg4_slk-1.smt28318593Cyclist-SL1136default1487complete0.0158430.0155491113176.0unsatunsat
430513517qf_shid_entl/elseg4_slk-2.smt28318465Cyclist-SL1136default1487complete0.014720.0144339113176.0unsatunsat
430513559qf_shid_entl/elseg4_slk-3.smt28318507Cyclist-SL1136default1487complete14.655914.6558165124.0starexec-unknownsat
430513728qf_shid_entl/elseg4_slk-4.smt28318676Cyclist-SL1136default1487complete27.931127.9312164724.0starexec-unknownsat
430513615qf_shid_entl/elseg4_slk-5.smt28318563Cyclist-SL1136default1487complete0.035090.034876113176.0unsatunsat
430513494qf_shid_entl/elseg4_slk-6.smt28318442Cyclist-SL1136default1487complete0.0368390.0365269113176.0unsatunsat
430513535qf_shid_entl/elseg4_slk-7.smt28318483Cyclist-SL1136default1487complete0.0877290.0874551113176.0unsatunsat
430513706qf_shid_entl/elseg4_slk-8.smt28318654Cyclist-SL1136default1487complete0.0155340.0191580.0unsatunsat
430513671qf_shid_entl/elseg4_slk-9.smt28318619Cyclist-SL1136default1487complete0.0289150.0286181113176.0unsatunsat
430513554qf_shid_entl/eolseg_01.sb.smt28318502Cyclist-SL1136default1487complete0.1870050.186707113176.0unsatunsat
430513745qf_shid_entl/eolseg_02.sb.smt28318693Cyclist-SL1136default1487complete0.2170690.216848113176.0unsatunsat
430513558qf_shid_entl/eolseg_05.sb.smt28318506Cyclist-SL1136default1487complete1.07371.07341177404.0unsatunsat
430513750qf_shid_entl/eolseg_06.sb.smt28318698Cyclist-SL1136default1487complete1.332951.33281176780.0unsatunsat
430513625qf_shid_entl/eolseg_07.sb.smt28318573Cyclist-SL1136default1487complete4.444824.4447176556.0unsatunsat
430513569qf_shid_entl/eolseg_09.sb.smt28318517Cyclist-SL1136default1487complete1.210231.20997154668.0unsatunsat
430513657qf_shid_entl/eolseg_12.sb.smt28318605Cyclist-SL1136default1487complete1.178051.17785177404.0unsatunsat
430513456qf_shid_entl/eolseg_15.sb.smt28318404Cyclist-SL1136default1487complete1.731541.73136176780.0unsatunsat
430513614qf_shid_entl/ls2_entail_ls_01.sb.smt28318562Cyclist-SL1136default1487complete0.0326380.032342113176.0unsatunsat
430513733qf_shid_entl/ls2_entail_ls_04.sb.smt28318681Cyclist-SL1136default1487complete0.1074190.107099113176.0unsatunsat
430513477qf_shid_entl/lsegex4_slk-1.smt28318425Cyclist-SL1136default1487timeout (wallclock)2399.852400.01154668.0starexec-unknownunsat
430513604qf_shid_entl/lsegex4_slk-2.smt28318552Cyclist-SL1136default1487complete0.2761090.275832113176.0starexec-unknownsat
430513721qf_shid_entl/lsegex4_slk-3.smt28318669Cyclist-SL1136default1487complete0.0147450.0144431113176.0unsatunsat
430513546qf_shid_entl/lsegex4_slk-4.smt28318494Cyclist-SL1136default1487complete0.0149760.0146919113176.0unsatunsat
430513502qf_shid_entl/lsegex4_slk-5.smt28318450Cyclist-SL1136default1487complete0.0373360.03706113176.0unsatunsat
430513633qf_shid_entl/lsegex4_slk-6.smt28318581Cyclist-SL1136default1487complete0.0314560.0311731113176.0unsatunsat
430513642qf_shid_entl/lsevenodd_01.sb.smt28318590Cyclist-SL1136default1487complete0.0358640.035535113176.0unsatunsat
430513508qf_shid_entl/lsevenodd_02.sb.smt28318456Cyclist-SL1136default1487complete0.044540.04426113176.0unsatunsat
430513543qf_shid_entl/lsevenodd_03.sb.smt28318491Cyclist-SL1136default1487complete0.672270.672105177404.0unsatunsat
430513755qf_shid_entl/lsevenodd_04.sb.smt28318703Cyclist-SL1136default1487complete0.3843430.384103113176.0unsatunsat
430513643qf_shid_entl/lsevenodd_09.sb.smt28318591Cyclist-SL1136default1487complete0.0705630.070312113176.0unsatunsat
430513694qf_shid_entl/lsevenodd_11.sb.smt28318642Cyclist-SL1136default1487complete0.0599630.059831113176.0unsatunsat
430513666qf_shid_entl/lsevenodd_14.sb.smt28318614Cyclist-SL1136default1487complete0.3639290.363817113176.0unsatunsat
430513698qf_shid_entl/lsevenodd_15.sb.smt28318646Cyclist-SL1136default1487complete0.1430890.142853113176.0unsatunsat
430513574qf_shid_entl/lsevenodd_16.sb.smt28318522Cyclist-SL1136default1487complete0.0794270.0791531113176.0unsatunsat
430513608qf_shid_entl/lsevenodd_ls2_01.sb.smt28318556Cyclist-SL1136default1487complete0.4238890.423605113176.0unsatunsat
430513491qf_shid_entl/lsevenodd_ls2_02.sb.smt28318439Cyclist-SL1136default1487complete0.4484710.4482113176.0unsatunsat
430513611qf_shid_entl/lsevenodd_ls2_05.sb.smt28318559Cyclist-SL1136default1487complete35.360235.3643176780.0unsatunsat
430513495qf_shid_entl/lsevenodd_ls2_06.sb.smt28318443Cyclist-SL1136default1487complete4.853844.85373177404.0unsatunsat
430513607qf_shid_entl/lsevenodd_ls2_09.sb.smt28318555Cyclist-SL1136default1487complete0.0928910.0926641113176.0unsatunsat
430513475qf_shid_entl/lsevenodd_ls2_13.sb.smt28318423Cyclist-SL1136default1487complete0.6396640.639496177404.0unsatunsat
430513668qf_shid_entl/lsevenodd_ls2_14.sb.smt28318616Cyclist-SL1136default1487complete0.3384270.338127113176.0unsatunsat
430513703qf_shid_entl/lsevenodd_ls2_15.sb.smt28318651Cyclist-SL1136default1487complete0.688910.688713176556.0unsatunsat
430513595qf_shid_entl/lsevenodd_ls2_16.sb.smt28318543Cyclist-SL1136default1487complete0.3320070.331753113176.0unsatunsat
430513583qf_shid_entl/lsleftright_01.sb.smt28318531Cyclist-SL1136default1487complete0.0387270.0384821113176.0unsatunsat
430513686qf_shid_entl/lsleftright_02.sb.smt28318634Cyclist-SL1136default1487complete0.0510310.0507129113176.0unsatunsat
430513457qf_shid_entl/lsleftright_04.sb.smt28318405Cyclist-SL1136default1487complete0.0623080.0619989113176.0unsatunsat
430513582qf_shid_entl/lsleftright_05.sb.smt28318530Cyclist-SL1136default1487complete0.033850.0336309113176.0unsatunsat
430513684qf_shid_entl/lsleftright_06.sb.smt28318632Cyclist-SL1136default1487timeout (cpu)2400.022400.06186836.0starexec-unknownunsat
430513656qf_shid_entl/lsleftright_07.sb.smt28318604Cyclist-SL1136default1487complete511.706511.738154668.0starexec-unknownunsat
430513461qf_shid_entl/lsleftright_08.sb.smt28318409Cyclist-SL1136default1487complete0.0322010.0319431113176.0unsatunsat
430513576qf_shid_entl/lsleftright_09.sb.smt28318524Cyclist-SL1136default1487timeout (wallclock)2399.972400.04186836.0starexec-unknownunsat
430513555qf_shid_entl/lsleftright_10.sb.smt28318503Cyclist-SL1136default1487complete491.54491.547155068.0starexec-unknownunsat
430513519qf_shid_entl/lsleftright_11.sb.smt28318467Cyclist-SL1136default1487complete0.1247350.124446113176.0unsatunsat
430513624qf_shid_entl/lsleftright_12.sb.smt28318572Cyclist-SL1136default1487complete0.1150810.114758113176.0unsatunsat
430513747qf_shid_entl/lsleftright_13.sb.smt28318695Cyclist-SL1136default1487complete0.7901860.789842177404.0unsatunsat
430513557qf_shid_entl/lsleftright_14.sb.smt28318505Cyclist-SL1136default1487complete0.7928980.792586177404.0unsatunsat
430513520qf_shid_entl/lsleftright_15.sb.smt28318468Cyclist-SL1136default1487complete0.9669270.966651176780.0unsatunsat
430513626qf_shid_entl/lsleftright_16.sb.smt28318574Cyclist-SL1136default1487complete0.0616440.0614171113176.0unsatunsat
430513749qf_shid_entl/lsleftright_17.sb.smt28318697Cyclist-SL1136default1487timeout (wallclock)2399.922400.04186836.0starexec-unknownunsat
430513568qf_shid_entl/lsleftright_18.sb.smt28318516Cyclist-SL1136default1487timeout (wallclock)2399.832400.02186836.0starexec-unknownunsat
430513514qf_shid_entl/lsleftright_19.sb.smt28318462Cyclist-SL1136default1487timeout (wallclock)2399.82400.02186836.0starexec-unknownunsat
430513664qf_shid_entl/lsleftright_20.sb.smt28318612Cyclist-SL1136default1487timeout (wallclock)2399.932400.07186836.0starexec-unknownunsat
430513497qf_shid_entl/lss-vc01.smt28318445Cyclist-SL1136default1487complete0.0163620.016034113176.0unsatunsat
430513612qf_shid_entl/lss-vc02.smt28318560Cyclist-SL1136default1487complete0.0279080.027622113176.0unsatunsat
430513725qf_shid_entl/lss-vc03.smt28318673Cyclist-SL1136default1487complete0.0574440.057154113176.0unsatunsat
430513679qf_shid_entl/ls_entail_ls2_02.sb.smt28318627Cyclist-SL1136default1487complete0.2229690.22266113176.0unsatunsat
430513586qf_shid_entl/ls_entail_ls2_04.sb.smt28318534Cyclist-SL1136default1487complete0.1568020.156542113176.0unsatunsat
430513465qf_shid_entl/ls_entail_ls2_05.sb.smt28318413Cyclist-SL1136default1487complete0.153890.153651113176.0unsatunsat
430513676qf_shid_entl/ls_entail_ls2_06.sb.smt28318624Cyclist-SL1136default1487complete0.1619940.161768113176.0unsatunsat
430513714qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt28318662Cyclist-SL1136default1487complete0.0363480.03605113176.0unsatunsat
430513588qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt28318536Cyclist-SL1136default1487complete0.0427070.042395113176.0unsatunsat
430513471qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt28318419Cyclist-SL1136default1487complete0.0511890.050879113176.0unsatunsat
430513674qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt28318622Cyclist-SL1136default1487complete0.0786370.0783481113176.0unsatunsat
430513712qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt28318660Cyclist-SL1136default1487complete0.1498930.149565113176.0unsatunsat
430513587qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt28318535Cyclist-SL1136default1487complete0.0491820.0488691113176.0unsatunsat
430513466qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt28318414Cyclist-SL1136default1487complete11.340911.3413176780.0unsatunsat
430513680qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt28318628Cyclist-SL1136default1487complete0.4693050.469025113176.0unsatunsat
430513709qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt28318657Cyclist-SL1136default1487complete0.3957680.395392113176.0unsatunsat
430513726qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt28318674Cyclist-SL1136default1487complete0.3632850.362988113176.0unsatunsat
430513617qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt28318565Cyclist-SL1136default1487complete123.147123.14177404.0unsatunsat
430513478qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt28318426Cyclist-SL1136default1487complete1523.111523.21186836.0unsatunsat
430513526qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt28318474Cyclist-SL1136default1487timeout (wallclock)2399.912400.03164724.0starexec-unknownunsat
430513731qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt28318679Cyclist-SL1136default1487timeout (wallclock)2399.952400.02165124.0starexec-unknownunsat
430513619qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt28318567Cyclist-SL1136default1487timeout (cpu)2400.032400.02165124.0starexec-unknownunsat
430513483qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt28318431Cyclist-SL1136default1487timeout (wallclock)2399.852400.05165124.0starexec-unknownunsat
430513701qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt28318649Cyclist-SL1136default1487complete0.0786190.07831113176.0unsatunsat
430513563qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt28318511Cyclist-SL1136default1487complete0.0547050.0544719113176.0unsatunsat
430513450qf_shid_entl/ls_even_entails_ls.sb.smt28318398Cyclist-SL1136default1487complete0.0376220.037332113176.0unsatunsat
430513652qf_shid_entl/ls_even_join_entails_ls.sb.smt28318600Cyclist-SL1136default1487complete0.1068460.106504113176.0unsatunsat
430513458qf_shid_entl/ls_even_join_entails_ls_even.sb.smt28318406Cyclist-SL1136default1487complete0.092970.092675113176.0unsatunsat
430513710qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt28318658Cyclist-SL1136default1487complete0.0759280.0756201113176.0unsatunsat
430513553qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt28318501Cyclist-SL1136default1487complete0.1098250.109596113176.0unsatunsat
430513648qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt28318596Cyclist-SL1136default1487complete0.0721530.072256113176.0unsatunsat
430513622qf_shid_entl/ls_join_entails_ls.sb.smt28318570Cyclist-SL1136default1487complete0.0331090.0328219113176.0unsatunsat
430513460qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt28318408Cyclist-SL1136default1487timeout (wallclock)2399.762400.01186836.0starexec-unknownunsat
430513658qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt28318606Cyclist-SL1136default1487timeout (wallclock)2399.92400.03187860.0starexec-unknownunsat
430513688qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt28318636Cyclist-SL1136default1487timeout (wallclock)2399.932400.02218028.0starexec-unknownunsat
430513581qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt28318529Cyclist-SL1136default1487timeout (wallclock)2399.982400.02197820.0starexec-unknownunsat
430513552qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt28318500Cyclist-SL1136default1487timeout (wallclock)2399.972400.05187460.0starexec-unknownunsat
430513742qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt28318690Cyclist-SL1136default1487timeout (wallclock)2399.722400.02187460.0starexec-unknownunsat
430513621qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt28318569Cyclist-SL1136default1487timeout (cpu)2400.042399.98186836.0starexec-unknownunsat
430513521qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt28318469Cyclist-SL1136default1487timeout (wallclock)2399.882400.01196892.0starexec-unknownunsat
430513578qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt28318526Cyclist-SL1136default1487complete0.06910.0688221113176.0unsatunsat
430513691qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt28318639Cyclist-SL1136default1487complete0.0856870.085359113176.0unsatunsat
430513653qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt28318601Cyclist-SL1136default1487complete0.3855810.385268113176.0unsatunsat
430513462qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt28318410Cyclist-SL1136default1487complete0.2953840.295103113176.0unsatunsat
430513577qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt28318525Cyclist-SL1136default1487complete0.2648650.26455113176.0unsatunsat
430513690qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt28318638Cyclist-SL1136default1487complete0.2947630.29449113176.0unsatunsat
430513650qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt28318598Cyclist-SL1136default1487complete3.03163.03233177404.0unsatunsat
430513454qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt28318402Cyclist-SL1136default1487complete2.383672.38376176780.0unsatunsat
430513580qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt28318528Cyclist-SL1136default1487complete1.989671.98961176780.0unsatunsat
430513562qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt28318510Cyclist-SL1136default1487complete1.873461.87334176556.0unsatunsat
430513510qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt28318458Cyclist-SL1136default1487complete4.224454.22437176780.0unsatunsat
430513632qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt28318580Cyclist-SL1136default1487complete2.323182.32291176780.0unsatunsat
430513739qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt28318687Cyclist-SL1136default1487complete30.861730.8619176780.0unsatunsat
430513564qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt28318512Cyclist-SL1136default1487complete359.697359.699190408.0unsatunsat
430513513qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt28318461Cyclist-SL1136default1487timeout (wallclock)2400.012400.02165124.0starexec-unknownunsat
430513634qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt28318582Cyclist-SL1136default1487timeout (wallclock)2399.942400.03164724.0starexec-unknownunsat
430513736qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt28318684Cyclist-SL1136default1487complete0.0459240.0456069113176.0unsatunsat
430513610qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt28318558Cyclist-SL1136default1487complete0.0520030.0517189113176.0unsatunsat
430513752qf_shid_entl/ls_odd_entails_ls.sb.smt28318700Cyclist-SL1136default1487complete0.0457520.045736113176.0unsatunsat
430513741qf_shid_entl/ls_odd_join_entails_ls.sb.smt28318689Cyclist-SL1136default1487complete0.2010080.200898113176.0unsatunsat
430513504qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt28318452Cyclist-SL1136default1487complete0.0801780.0798949113176.0unsatunsat
430513597qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt28318545Cyclist-SL1136default1487complete0.1510510.151007113176.0unsatunsat
430513599qf_shid_entl/nll-vc01.smt28318547Cyclist-SL1136default1487timeout (cpu)2400.032400.09154668.0starexec-unknownunsat
430513481qf_shid_entl/nll-vc02.smt28318429Cyclist-SL1136default1487timeout (cpu)2400.042399.98154668.0starexec-unknownunsat
430513525qf_shid_entl/nll-vc03.smt28318473Cyclist-SL1136default1487timeout (wallclock)2399.982400.09155068.0starexec-unknownunsat
430513746qf_shid_entl/nll-vc04.smt28318694Cyclist-SL1136default1487timeout (wallclock)2399.982400.02155068.0starexec-unknownunsat
430513629qf_shid_entl/nll-vc05.smt28318577Cyclist-SL1136default1487complete11.435711.437155068.0unsatunsat
430513505qf_shid_entl/nll-vc06.smt28318453Cyclist-SL1136default1487timeout (cpu)2400.022400.01155068.0starexec-unknownsat
430513550qf_shid_entl/nll-vc07.smt28318498Cyclist-SL1136default1487complete0.0832940.082963113176.0unsatunsat
430513692qf_shid_entl/nll-vc08.smt28318640Cyclist-SL1136default1487complete4.909634.91036177404.0unsatunsat
430513660qf_shid_entl/nll-vc09.smt28318608Cyclist-SL1136default1487complete0.3501730.349872113176.0unsatunsat
430513689qf_shid_entl/nll-vc10.smt28318637Cyclist-SL1136default1487complete2.518952.51897177404.0unsatunsat
430513655qf_shid_entl/nll-vc11.smt28318603Cyclist-SL1136default1487complete0.0387510.0384521113176.0unsatunsat
430513447qf_shid_entl/nll-vc12.smt28318395Cyclist-SL1136default1487complete0.0738990.0736211113176.0unsatunsat
430513570qf_shid_entl/nll-vc13.smt28318518Cyclist-SL1136default1487timeout (wallclock)2399.92400.04154668.0starexec-unknownsat
430513705qf_shid_entl/nll-vc14.smt28318653Cyclist-SL1136default1487timeout (wallclock)2399.792400.02155068.0starexec-unknownsat
430513670qf_shid_entl/nll-vc15.smt28318618Cyclist-SL1136default1487timeout (cpu)2400.022400.01154668.0starexec-unknownsat
430513467qf_shid_entl/nll-vc16.smt28318415Cyclist-SL1136default1487timeout (wallclock)2399.772400.05155068.0starexec-unknownsat
430513590qf_shid_entl/nll-vc17.smt28318538Cyclist-SL1136default1487timeout (wallclock)2399.912400.09187460.0starexec-unknownsat
430513729qf_shid_entl/nll-vc18.smt28318677Cyclist-SL1136default1487timeout (cpu)2400.012399.92164724.0starexec-unknownsat
430513616qf_shid_entl/nll-vc19.smt28318564Cyclist-SL1136default1487timeout (wallclock)2399.972400.09165124.0starexec-unknownsat
430513547qf_shid_entl/node-dll-rev-dll-entails-dll.smt28318495Cyclist-SL1136default1487timeout (wallclock)2399.792400.01177404.0starexec-unknownunsat
430513540qf_shid_entl/node-node-dll-entails-dll.smt28318488Cyclist-SL1136default1487complete0.0443080.043989113176.0unsatunsat
430513661qf_shid_entl/node-tll-tll-entails-tll.smt28318609Cyclist-SL1136default1487timeout (cpu)2400.022400.02186836.0starexec-unknownunsat
430513549qf_shid_entl/odd-lseg3_slk-1.smt28318497Cyclist-SL1136default1487complete5.307355.30686165124.0starexec-unknownsat
430513744qf_shid_entl/odd-lseg3_slk-2.smt28318692Cyclist-SL1136default1487complete0.0139990.0137201113176.0unsatunsat
430513631qf_shid_entl/odd-lseg3_slk-3.smt28318579Cyclist-SL1136default1487complete0.0172820.01703113176.0unsatunsat
430513484qf_shid_entl/odd-lseg3_slk-4.smt28318432Cyclist-SL1136default1487complete50.153750.154165124.0starexec-unknownsat
430513523qf_shid_entl/odd-lseg3_slk-5.smt28318471Cyclist-SL1136default1487complete0.5932060.592915155068.0unsatunsat
430513715qf_shid_entl/odd-lseg3_slk-6.smt28318663Cyclist-SL1136default1487complete708.487708.524164724.0starexec-unknownsat
430513601qf_shid_entl/odd-lseg3_slk-7.smt28318549Cyclist-SL1136default1487complete0.0144590.0141399113176.0unsatunsat
430513545qf_shid_entl/skl2-vc01.smt28318493Cyclist-SL1136default1487complete0.0871260.086821113176.0unsatunsat
430513748qf_shid_entl/skl2-vc02.smt28318696Cyclist-SL1136default1487complete0.8294560.829407155068.0unsatunsat
430513635qf_shid_entl/skl2-vc03.smt28318583Cyclist-SL1136default1487timeout (wallclock)2399.962400.08164724.0starexec-unknownunsat
430513480qf_shid_entl/skl2-vc04.smt28318428Cyclist-SL1136default1487complete1.964181.96379155068.0unsatunsat
430513522qf_shid_entl/skl2-vc05.smt28318470Cyclist-SL1136default1487timeout (wallclock)2399.792400.01187460.0starexec-unknownsat
430513719qf_shid_entl/skl2-vc06.smt28318667Cyclist-SL1136default1487timeout (wallclock)2399.782400.01164996.0starexec-unknownsat
430513606qf_shid_entl/skl2-vc07.smt28318554Cyclist-SL1136default1487timeout (wallclock)2399.892400.07165124.0starexec-unknownsat
430513561qf_shid_entl/skl3-vc01.smt28318509Cyclist-SL1136default1487complete132.558132.562155068.0unsatunsat
430513758qf_shid_entl/skl3-vc02.smt28318706Cyclist-SL1136default1487timeout (wallclock)2399.862400.06164724.0starexec-unknownsat
430513644qf_shid_entl/skl3-vc03.smt28318592Cyclist-SL1136default1487complete2.866822.86656155068.0unsatunsat
430513489qf_shid_entl/skl3-vc04.smt28318437Cyclist-SL1136default1487timeout (wallclock)2399.742400.02164724.0starexec-unknownunsat
430513536qf_shid_entl/skl3-vc05.smt28318484Cyclist-SL1136default1487timeout (cpu)2400.02400.09165124.0starexec-unknownunsat
430513730qf_shid_entl/skl3-vc06.smt28318678Cyclist-SL1136default1487timeout (wallclock)2399.972400.02164832.0starexec-unknownunsat
430513613qf_shid_entl/skl3-vc07.smt28318561Cyclist-SL1136default1487timeout (wallclock)2399.912400.05164724.0starexec-unknownunsat
430513468qf_shid_entl/skl3-vc08.smt28318416Cyclist-SL1136default1487timeout (wallclock)2399.952400.01165124.0starexec-unknownunsat
430513589qf_shid_entl/skl3-vc09.smt28318537Cyclist-SL1136default1487timeout (wallclock)2399.92400.02164832.0starexec-unknownunsat
430513474qf_shid_entl/skl3-vc10.smt28318422Cyclist-SL1136default1487timeout (cpu)2400.032399.95164724.0starexec-unknownunsat
430513598qf_shid_entl/skl3-vc11.smt28318546Cyclist-SL1136default1487timeout (wallclock)2399.882400.02164724.0starexec-unknownsat
430513713qf_shid_entl/skl3-vc12.smt28318661Cyclist-SL1136default1487timeout (cpu)2400.062400.11165124.0starexec-unknownsat
430513591qf_shid_entl/sll-vc01.smt28318539Cyclist-SL1136default1487timeout (wallclock)2399.942400.05165124.0starexec-unknownsat
430513702qf_shid_entl/sll-vc02.smt28318650Cyclist-SL1136default1487timeout (wallclock)2399.952400.02164832.0starexec-unknownsat
430513492qf_shid_entl/tll-pp-entails-tll-pp-rev.smt28318440Cyclist-SL1136default1487timeout (wallclock)2399.932400.04165124.0starexec-unknownunsat
430513696qf_shid_entl/tll-pp-rev-entails-tll-pp.smt28318644Cyclist-SL1136default1487timeout (wallclock)2399.842400.07165124.0starexec-unknownunsat
430513605qf_shid_entl/tll-ravioli.smt28318553Cyclist-SL1136default1487complete0.0162390.01939510.0unsatunsat
430513737qf_shid_entl/tll_slk-1.smt28318685Cyclist-SL1136default1487complete0.0141750.013847113176.0unsatunsat
430513449qf_shid_entl/tll_slk-10.smt28318397Cyclist-SL1136default1487complete0.0153230.015004113176.0unsatunsat
430513571qf_shid_entl/tll_slk-11.smt28318519Cyclist-SL1136default1487complete0.0155910.0152731113176.0unsatunsat
430513682qf_shid_entl/tll_slk-12.smt28318630Cyclist-SL1136default1487complete0.0167460.0164539113176.0unsatunsat
430513649qf_shid_entl/tll_slk-13.smt28318597Cyclist-SL1136default1487timeout (wallclock)2399.872400.02190808.0starexec-unknownunsat
430513542qf_shid_entl/tll_slk-2.smt28318490Cyclist-SL1136default1487complete0.0155430.0152391113176.0unsatunsat
430513501qf_shid_entl/tll_slk-3.smt28318449Cyclist-SL1136default1487complete0.0146510.014293113176.0unsatunsat
430513609qf_shid_entl/tll_slk-4.smt28318557Cyclist-SL1136default1487complete0.0173730.02266410.0unsatunsat
430513722qf_shid_entl/tll_slk-5.smt28318670Cyclist-SL1136default1487complete0.0157470.02116390.0unsatunsat
430513531qf_shid_entl/tll_slk-6.smt28318479Cyclist-SL1136default1487complete0.0141240.0138429113176.0unsatunsat
430513488qf_shid_entl/tll_slk-7.smt28318436Cyclist-SL1136default1487complete0.0159650.01951590.0unsatunsat
430513675qf_shid_entl/tll_slk-8.smt28318623Cyclist-SL1136default1487complete0.0157470.0154189113176.0unsatunsat
430513708qf_shid_entl/tll_slk-9.smt28318656Cyclist-SL1136default1487complete0.0155940.015249113176.0unsatunsat
430513754qf_shid_entl/tree-pp-entails-tree-pp-rev.smt28318702Cyclist-SL1136default1487timeout (wallclock)2399.892400.04176780.0starexec-unknownunsat
430513594qf_shid_entl/tree-pp-rev-entails-tree-pp.smt28318542Cyclist-SL1136default1487timeout (wallclock)2399.872400.02154668.0starexec-unknownunsat
430513600qf_shid_entl/tseg_join_2.sb.smt28318548Cyclist-SL1136default1487complete0.1843590.184076113176.0unsatunsat
430513530qf_shid_entl/tseg_join_2_entail_tree.sb.smt28318478Cyclist-SL1136default1487complete0.3102440.309913113176.0unsatunsat
430513455qf_shid_entl/tseg_join_tree.sb.smt28318403Cyclist-SL1136default1487complete0.069060.068757113176.0unsatunsat
430513711qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt28318659Cyclist-SL1136default1487complete1.581261.58108176780.0unsatunsat