pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430514966qf_shid_entl/01.tst.smt28318666slide-2018-v520628SLD_input304326complete0.3093570.320086113176.0starexec-unknownunsat
430514717qf_shid_entl/02.tst.smt28318417slide-2018-v520628SLD_input304326complete0.7086510.699237414288.0starexec-unknownunsat
430514777qf_shid_entl/03.tst.smt28318477slide-2018-v520628SLD_input304326complete0.3638660.375048113176.0starexec-unknownunsat
430514833qf_shid_entl/04.tst.smt28318533slide-2018-v520628SLD_input304326complete0.3099030.303915113176.0unsatunsat
430514764qf_shid_entl/05.tst.smt28318464slide-2018-v520628SLD_input304326complete0.353470.365306113176.0starexec-unknownunsat
430514943qf_shid_entl/06.tst.smt28318643slide-2018-v520628SLD_input304326complete0.4596840.459307113176.0unsatunsat
430514889qf_shid_entl/07.tst.smt28318589slide-2018-v520628SLD_input304326complete0.2936880.285957113176.0starexec-unknownunsat
430514886qf_shid_entl/08.tst.smt28318586slide-2018-v520628SLD_input304326complete0.4280670.420037113176.0starexec-unknownunsat
430514945qf_shid_entl/09.tst.smt28318645slide-2018-v520628SLD_input304326complete0.5050710.496414113176.0starexec-unknownunsat
430514926qf_shid_entl/10.tst.smt28318626slide-2018-v520628SLD_input304326complete0.2978080.293535113176.0unsatunsat
430514972qf_shid_entl/11.tst.smt28318672slide-2018-v520628SLD_input304326complete0.298190.288846113176.0unsatunsat
430514721qf_shid_entl/12.tst.smt28318421slide-2018-v520628SLD_input304326complete0.3046210.310072113176.0unsatunsat
430514789qf_shid_entl/13.tst.smt28318489slide-2018-v520628SLD_input304326complete0.3169820.427011113176.0unsatunsat
430514821qf_shid_entl/14.tst.smt28318521slide-2018-v520628SLD_input304326complete0.3264440.323579113176.0unsatunsat
430514751qf_shid_entl/15.tst.smt28318451slide-2018-v520628SLD_input304326complete1.104291.10842414552.0unsatunsat
430514931qf_shid_entl/16.tst.smt28318631slide-2018-v520628SLD_input304326complete0.3917290.432121113176.0unsatunsat
430514875qf_shid_entl/17.tst.smt28318575slide-2018-v520628SLD_input304326complete0.5296890.68832414552.0unsatunsat
430514876qf_shid_entl/18.tst.smt28318576slide-2018-v520628SLD_input304326complete0.3908310.403929113176.0unsatunsat
430514929qf_shid_entl/19.tst.smt28318629slide-2018-v520628SLD_input304326complete0.2905010.282949113176.0unsatunsat
430514899qf_shid_entl/20.tst.smt28318599slide-2018-v520628SLD_input304326complete0.4426220.433706113176.0starexec-unknownunsat
430514988qf_shid_entl/21.tst.smt28318688slide-2018-v520628SLD_input304326complete0.2904540.281093113176.0starexec-unknownunsat
430514701qf_shid_entl/22.tst.smt28318401slide-2018-v520628SLD_input304326complete0.3539870.343478113176.0starexec-unknownunsat
430514975qf_shid_entl/append_dll_slk-1.smt28318675slide-2018-v520628SLD_input304326complete0.2872940.278242113176.0starexec-unknownunsat
430514968qf_shid_entl/append_dll_slk-10.smt28318668slide-2018-v520628SLD_input304326complete0.2909150.282418113176.0starexec-unknownunsat
430514851qf_shid_entl/append_dll_slk-11.smt28318551slide-2018-v520628SLD_input304326complete0.2889740.281643113176.0starexec-unknownunsat
430514724qf_shid_entl/append_dll_slk-12.smt28318424slide-2018-v520628SLD_input304326complete0.2860540.280827113176.0starexec-unknownunsat
430514782qf_shid_entl/append_dll_slk-2.smt28318482slide-2018-v520628SLD_input304326complete0.2866760.28076113176.0starexec-unknownunsat
430514741qf_shid_entl/append_dll_slk-3.smt28318441slide-2018-v520628SLD_input304326complete0.2861280.279865113176.0starexec-unknownunsat
430514894qf_shid_entl/append_dll_slk-4.smt28318594slide-2018-v520628SLD_input304326complete0.2912470.283608113176.0starexec-unknownunsat
430515004qf_shid_entl/append_dll_slk-5.smt28318704slide-2018-v520628SLD_input304326complete0.2898050.283737113176.0starexec-unknownunsat
430514808qf_shid_entl/append_dll_slk-6.smt28318508slide-2018-v520628SLD_input304326complete0.2867970.28097113176.0starexec-unknownunsat
430514766qf_shid_entl/append_dll_slk-7.smt28318466slide-2018-v520628SLD_input304326complete0.2875290.319634113176.0starexec-unknownunsat
430514902qf_shid_entl/append_dll_slk-8.smt28318602slide-2018-v520628SLD_input304326complete0.288390.282633113176.0starexec-unknownunsat
430514935qf_shid_entl/append_dll_slk-9.smt28318635slide-2018-v520628SLD_input304326complete0.2874930.281651113176.0starexec-unknownunsat
430514971qf_shid_entl/append_sll_cll_slk-1.smt28318671slide-2018-v520628SLD_input304326complete0.289610.280554113176.0starexec-unknownunsat
430514850qf_shid_entl/append_sll_cll_slk-10.smt28318550slide-2018-v520628SLD_input304326complete0.2883010.279973113176.0starexec-unknownunsat
430514964qf_shid_entl/append_sll_cll_slk-11.smt28318664slide-2018-v520628SLD_input304326complete0.2854610.279536113176.0starexec-unknownunsat
430514772qf_shid_entl/append_sll_cll_slk-12.smt28318472slide-2018-v520628SLD_input304326complete0.285920.280048113176.0starexec-unknownunsat
430514733qf_shid_entl/append_sll_cll_slk-13.smt28318433slide-2018-v520628SLD_input304326complete0.2874340.279513113176.0starexec-unknownunsat
430514878qf_shid_entl/append_sll_cll_slk-14.smt28318578slide-2018-v520628SLD_input304326complete0.2850560.278905113176.0starexec-unknownunsat
430514991qf_shid_entl/append_sll_cll_slk-15.smt28318691slide-2018-v520628SLD_input304326complete0.2902540.282764113176.0starexec-unknownsat
430514796qf_shid_entl/append_sll_cll_slk-16.smt28318496slide-2018-v520628SLD_input304326complete0.2875140.320588113176.0starexec-unknownunsat
430514754qf_shid_entl/append_sll_cll_slk-17.smt28318454slide-2018-v520628SLD_input304326complete0.2873840.279881113176.0starexec-unknownunsat
430514907qf_shid_entl/append_sll_cll_slk-18.smt28318607slide-2018-v520628SLD_input304326complete0.2876350.280237113176.0starexec-unknownunsat
430514780qf_shid_entl/append_sll_cll_slk-2.smt28318480slide-2018-v520628SLD_input304326complete0.2868690.280886113176.0starexec-unknownunsat
430514735qf_shid_entl/append_sll_cll_slk-3.smt28318435slide-2018-v520628SLD_input304326complete0.2857520.279846113176.0starexec-unknownunsat
430514871qf_shid_entl/append_sll_cll_slk-4.smt28318571slide-2018-v520628SLD_input304326complete0.2895880.281979113176.0starexec-unknownunsat
430514986qf_shid_entl/append_sll_cll_slk-5.smt28318686slide-2018-v520628SLD_input304326complete0.2844820.27865113176.0starexec-unknownunsat
430514792qf_shid_entl/append_sll_cll_slk-6.smt28318492slide-2018-v520628SLD_input304326complete0.2857680.278414113176.0starexec-unknownsat
430514748qf_shid_entl/append_sll_cll_slk-7.smt28318448slide-2018-v520628SLD_input304326complete0.287260.279383113176.0starexec-unknownunsat
430514911qf_shid_entl/append_sll_cll_slk-8.smt28318611slide-2018-v520628SLD_input304326complete0.2868450.279677113176.0starexec-unknownunsat
430514947qf_shid_entl/append_sll_cll_slk-9.smt28318647slide-2018-v520628SLD_input304326complete0.290820.313665113176.0starexec-unknownunsat
430514747qf_shid_entl/append_sll_ls_slk-1.smt28318447slide-2018-v520628SLD_input304326complete0.2864470.277831113176.0starexec-unknownunsat
430514866qf_shid_entl/append_sll_ls_slk-2.smt28318566slide-2018-v520628SLD_input304326complete0.2848410.278736113176.0starexec-unknownunsat
430514982qf_shid_entl/append_sll_ls_slk-3.smt28318682slide-2018-v520628SLD_input304326complete0.289890.283895113176.0starexec-unknownunsat
430514804qf_shid_entl/append_sll_ls_slk-4.smt28318504slide-2018-v520628SLD_input304326complete0.2854170.278198113176.0starexec-unknownunsat
430514763qf_shid_entl/append_sll_ls_slk-5.smt28318463slide-2018-v520628SLD_input304326complete0.2869050.281012113176.0starexec-unknownunsat
430514885qf_shid_entl/append_sll_ls_slk-6.smt28318585slide-2018-v520628SLD_input304326complete0.2883260.280683113176.0starexec-unknownunsat
430514999qf_shid_entl/append_sll_ls_slk-7.smt28318699slide-2018-v520628SLD_input304326complete0.287820.279968113176.0starexec-unknownunsat
430514823qf_shid_entl/append_sll_ls_slk-8.smt28318523slide-2018-v520628SLD_input304326complete0.2872890.279725113176.0starexec-unknownunsat
430514718qf_shid_entl/append_sll_slk-1.smt28318418slide-2018-v520628SLD_input304326complete0.2887870.279784113176.0starexec-unknownunsat
430514917qf_shid_entl/append_sll_slk-2.smt28318617slide-2018-v520628SLD_input304326complete0.2859160.280202113176.0starexec-unknownunsat
430514952qf_shid_entl/append_sll_slk-3.smt28318652slide-2018-v520628SLD_input304326complete0.2884930.282537113176.0starexec-unknownunsat
430514820qf_shid_entl/append_sll_slk-4.smt28318520slide-2018-v520628SLD_input304326complete0.2888880.281689113176.0starexec-unknownunsat
430514696qf_shid_entl/append_sll_slk-5.smt28318396slide-2018-v520628SLD_input304326complete0.2872450.281277113176.0starexec-unknownunsat
430514895qf_shid_entl/append_sll_slk-6.smt28318595slide-2018-v520628SLD_input304326complete0.2877130.280545113176.0starexec-unknownunsat
430514933qf_shid_entl/append_sll_slk-7.smt28318633slide-2018-v520628SLD_input304326complete0.2885750.281629113176.0starexec-unknownunsat
430514813qf_shid_entl/append_sll_slk-8.smt28318513slide-2018-v520628SLD_input304326complete0.2872440.279773113176.0starexec-unknownunsat
430514913qf_shid_entl/dll-entails-dll-rev.smt28318613slide-2018-v520628SLD_input304326complete0.3172860.323789113176.0unsatunsat
430514755qf_shid_entl/dll-entails-dll0+.smt28318455slide-2018-v520628SLD_input304326complete0.316720.324034113176.0unsatunsat
430514884qf_shid_entl/dll-mid-entails-dll-rev.smt28318584slide-2018-v520628SLD_input304326complete0.6465130.658071414520.0unsatunsat
430514814qf_shid_entl/dll-rev-entails-dll-mid.smt28318514slide-2018-v520628SLD_input304326complete0.3359520.36851113176.0unsatunsat
430514921qf_shid_entl/dll-rev-entails-dll.smt28318621slide-2018-v520628SLD_input304326complete0.3756870.38607113176.0unsatunsat
430514887qf_shid_entl/dll-spaghetti.smt28318587slide-2018-v520628SLD_input304326complete14.593514.8819580580.0unsatunsat
430514711qf_shid_entl/dll-vc01.smt28318411slide-2018-v520628SLD_input304326complete0.2913370.282437113176.0unsatunsat
430514910qf_shid_entl/dll-vc02.smt28318610slide-2018-v520628SLD_input304326complete0.2899080.281025113176.0unsatunsat
430514948qf_shid_entl/dll-vc03.smt28318648slide-2018-v520628SLD_input304326complete0.2906640.28189113176.0unsatunsat
430514844qf_shid_entl/dll-vc04.smt28318544slide-2018-v520628SLD_input304326complete0.3041440.293561113176.0starexec-unknownsat
430514720qf_shid_entl/dll-vc05.smt28318420slide-2018-v520628SLD_input304326complete0.2907160.281652113176.0starexec-unknownunsat
430514925qf_shid_entl/dll-vc06.smt28318625slide-2018-v520628SLD_input304326complete0.3704870.361569113176.0starexec-unknownsat
430514955qf_shid_entl/dll-vc07.smt28318655slide-2018-v520628SLD_input304326complete0.293520.285899113176.0starexec-unknownunsat
430514781qf_shid_entl/dll-vc08.smt28318481slide-2018-v520628SLD_input304326complete0.3513370.340526113176.0starexec-unknownsat
430514734qf_shid_entl/dll-vc09.smt28318434slide-2018-v520628SLD_input304326complete0.3046160.295873113176.0starexec-unknownunsat
430514787qf_shid_entl/dll-vc10.smt28318487slide-2018-v520628SLD_input304326complete0.3369490.329499113176.0starexec-unknownsat
430514746qf_shid_entl/dll-vc11.smt28318446slide-2018-v520628SLD_input304326complete0.2902520.281237113176.0starexec-unknownunsat
430514868qf_shid_entl/dll-vc12.smt28318568slide-2018-v520628SLD_input304326complete0.3720070.363691113176.0starexec-unknownsat
430514983qf_shid_entl/dll-vc13.smt28318683slide-2018-v520628SLD_input304326complete0.3703730.36127113176.0starexec-unknownsat
430514799qf_shid_entl/dll-vc14.smt28318499slide-2018-v520628SLD_input304326complete0.2885670.279658113176.0starexec-unknownsat
430514760qf_shid_entl/dll-vc15.smt28318460slide-2018-v520628SLD_input304326complete0.2886010.279924113176.0unsatunsat
430514888qf_shid_entl/dll-vc16.smt28318588slide-2018-v520628SLD_input304326complete0.2911730.282036113176.0starexec-unknownsat
430515001qf_shid_entl/dll-vc17.smt28318701slide-2018-v520628SLD_input304326complete0.3753090.366591113176.0starexec-unknownunsat
430514775qf_shid_entl/dll2-entails-dll2-rev.smt28318475slide-2018-v520628SLD_input304326complete0.3265990.343324113176.0unsatunsat
430514785qf_shid_entl/dll2-rev-entails-dll2.smt28318485slide-2018-v520628SLD_input304326complete0.3245770.362701113176.0unsatunsat
430514841qf_shid_entl/dll2-spaghetti.smt28318541slide-2018-v520628SLD_input304326complete29.326229.5603633892.0unsatunsat
430514832qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt28318532slide-2018-v520628SLD_input304326complete0.3171980.320078113176.0unsatunsat
430514920qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt28318620slide-2018-v520628SLD_input304326complete0.3147980.324206113176.0unsatunsat
430514699qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt28318399slide-2018-v520628SLD_input304326complete0.3160230.327893113176.0unsatunsat
430514727qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt28318427slide-2018-v520628SLD_input304326complete0.3197030.365839113176.0unsatunsat
430514738qf_shid_entl/dllrev_append_head_entails_dll.sb.smt28318438slide-2018-v520628SLD_input304326complete0.3797460.380102113176.0starexec-unknownunsat
430514840qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt28318540slide-2018-v520628SLD_input304326complete0.3103960.323569113176.0starexec-unknownunsat
430514759qf_shid_entl/dllrev_concat.sb.smt28318459slide-2018-v520628SLD_input304326complete0.3112350.316809113176.0unsatunsat
430514712qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt28318412slide-2018-v520628SLD_input304326complete0.9583580.970174414612.0unsatunsat
430514776qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt28318476slide-2018-v520628SLD_input304326complete0.3198920.3304113176.0unsatunsat
430514757qf_shid_entl/dllrev_entails_dll.sb.smt28318457slide-2018-v520628SLD_input304326complete0.3751130.412436113176.0unsatunsat
430514941qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt28318641slide-2018-v520628SLD_input304326complete0.3129630.325965113176.0unsatunsat
430514980qf_shid_entl/dll_append_tail_entails_dll.sb.smt28318680slide-2018-v520628SLD_input304326complete0.3751480.416849113176.0starexec-unknownunsat
430514786qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt28318486slide-2018-v520628SLD_input304326complete0.3688190.391323113176.0starexec-unknownunsat
430514915qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt28318615slide-2018-v520628SLD_input304326complete0.3849120.432395113176.0starexec-unknownunsat
430515005qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt28318705slide-2018-v520628SLD_input304326complete0.379020.376293113176.0starexec-unknownunsat
430514700qf_shid_entl/dll_concat.sb.smt28318400slide-2018-v520628SLD_input304326complete0.3114520.333674113176.0unsatunsat
430514815qf_shid_entl/dll_concat_dllrev.sb.smt28318515slide-2018-v520628SLD_input304326complete0.552810.543919113176.0starexec-unknownunsat
430514827qf_shid_entl/dll_entails_dllrev.sb.smt28318527slide-2018-v520628SLD_input304326complete0.3142870.318827113176.0unsatunsat
430514707qf_shid_entl/dll_entails_ls.sb.smt28318407slide-2018-v520628SLD_input304326complete0.294170.284799113176.0starexec-unknownunsat
430514744qf_shid_entl/dll_entails_lspre.sb.smt28318444slide-2018-v520628SLD_input304326complete0.593530.584245414612.0starexec-unknownunsat
430514965qf_shid_entl/dll_entails_lsrev.sb.smt28318665slide-2018-v520628SLD_input304326complete0.405850.396997113176.0starexec-unknownunsat
430514730qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt28318430slide-2018-v520628SLD_input304326complete0.3149230.317957113176.0unsatunsat
430514893qf_shid_entl/elseg4_slk-1.smt28318593slide-2018-v520628SLD_input304326complete0.2875470.278684113176.0starexec-unknownunsat
430514765qf_shid_entl/elseg4_slk-2.smt28318465slide-2018-v520628SLD_input304326complete0.288470.312675113176.0starexec-unknownunsat
430514807qf_shid_entl/elseg4_slk-3.smt28318507slide-2018-v520628SLD_input304326complete0.289110.28166113176.0starexec-unknownsat
430514976qf_shid_entl/elseg4_slk-4.smt28318676slide-2018-v520628SLD_input304326complete0.2883630.279391113176.0starexec-unknownsat
430514863qf_shid_entl/elseg4_slk-5.smt28318563slide-2018-v520628SLD_input304326complete0.2877180.278787113176.0starexec-unknownunsat
430514742qf_shid_entl/elseg4_slk-6.smt28318442slide-2018-v520628SLD_input304326complete0.2900270.280788113176.0starexec-unknownunsat
430514783qf_shid_entl/elseg4_slk-7.smt28318483slide-2018-v520628SLD_input304326complete0.2880950.279353113176.0starexec-unknownunsat
430514954qf_shid_entl/elseg4_slk-8.smt28318654slide-2018-v520628SLD_input304326complete0.2883670.279546113176.0starexec-unknownunsat
430514919qf_shid_entl/elseg4_slk-9.smt28318619slide-2018-v520628SLD_input304326complete0.2912980.282641113176.0starexec-unknownunsat
430514802qf_shid_entl/eolseg_01.sb.smt28318502slide-2018-v520628SLD_input304326complete0.2892410.280743113176.0starexec-unknownunsat
430514993qf_shid_entl/eolseg_02.sb.smt28318693slide-2018-v520628SLD_input304326complete0.2895180.280284113176.0starexec-unknownunsat
430514806qf_shid_entl/eolseg_05.sb.smt28318506slide-2018-v520628SLD_input304326complete0.2899550.280914113176.0starexec-unknownunsat
430514998qf_shid_entl/eolseg_06.sb.smt28318698slide-2018-v520628SLD_input304326complete0.2885720.279722113176.0starexec-unknownunsat
430514873qf_shid_entl/eolseg_07.sb.smt28318573slide-2018-v520628SLD_input304326complete0.2859130.277198113176.0starexec-unknownunsat
430514817qf_shid_entl/eolseg_09.sb.smt28318517slide-2018-v520628SLD_input304326complete0.2908380.283289113176.0starexec-unknownunsat
430514905qf_shid_entl/eolseg_12.sb.smt28318605slide-2018-v520628SLD_input304326complete0.28630.277631113176.0starexec-unknownunsat
430514704qf_shid_entl/eolseg_15.sb.smt28318404slide-2018-v520628SLD_input304326complete0.2870440.27805113176.0starexec-unknownunsat
430514862qf_shid_entl/ls2_entail_ls_01.sb.smt28318562slide-2018-v520628SLD_input304326complete0.2863650.277712113176.0starexec-unknownunsat
430514981qf_shid_entl/ls2_entail_ls_04.sb.smt28318681slide-2018-v520628SLD_input304326complete0.2867660.279428113176.0starexec-unknownunsat
430514725qf_shid_entl/lsegex4_slk-1.smt28318425slide-2018-v520628SLD_input304326complete0.2915410.282585113176.0starexec-unknownunsat
430514852qf_shid_entl/lsegex4_slk-2.smt28318552slide-2018-v520628SLD_input304326complete0.2882710.278946113176.0starexec-unknownsat
430514969qf_shid_entl/lsegex4_slk-3.smt28318669slide-2018-v520628SLD_input304326complete0.2891160.280754113176.0starexec-unknownunsat
430514794qf_shid_entl/lsegex4_slk-4.smt28318494slide-2018-v520628SLD_input304326complete0.286650.277537113176.0starexec-unknownunsat
430514750qf_shid_entl/lsegex4_slk-5.smt28318450slide-2018-v520628SLD_input304326complete0.2872350.278523113176.0starexec-unknownunsat
430514881qf_shid_entl/lsegex4_slk-6.smt28318581slide-2018-v520628SLD_input304326complete0.2903130.281297113176.0starexec-unknownunsat
430514890qf_shid_entl/lsevenodd_01.sb.smt28318590slide-2018-v520628SLD_input304326complete0.2911220.282762113176.0starexec-unknownunsat
430514756qf_shid_entl/lsevenodd_02.sb.smt28318456slide-2018-v520628SLD_input304326complete0.2889730.279659113176.0starexec-unknownunsat
430514791qf_shid_entl/lsevenodd_03.sb.smt28318491slide-2018-v520628SLD_input304326complete0.2888740.27989113176.0starexec-unknownunsat
430515003qf_shid_entl/lsevenodd_04.sb.smt28318703slide-2018-v520628SLD_input304326complete0.2902680.281671113176.0starexec-unknownunsat
430514891qf_shid_entl/lsevenodd_09.sb.smt28318591slide-2018-v520628SLD_input304326complete0.2869140.277851113176.0starexec-unknownunsat
430514942qf_shid_entl/lsevenodd_11.sb.smt28318642slide-2018-v520628SLD_input304326complete0.2879460.278959113176.0starexec-unknownunsat
430514914qf_shid_entl/lsevenodd_14.sb.smt28318614slide-2018-v520628SLD_input304326complete0.2889240.279933113176.0starexec-unknownunsat
430514946qf_shid_entl/lsevenodd_15.sb.smt28318646slide-2018-v520628SLD_input304326complete0.291160.347513113176.0starexec-unknownunsat
430514822qf_shid_entl/lsevenodd_16.sb.smt28318522slide-2018-v520628SLD_input304326complete0.2902740.281631226356.0starexec-unknownunsat
430514856qf_shid_entl/lsevenodd_ls2_01.sb.smt28318556slide-2018-v520628SLD_input304326complete0.2890350.280493113176.0starexec-unknownunsat
430514739qf_shid_entl/lsevenodd_ls2_02.sb.smt28318439slide-2018-v520628SLD_input304326complete0.2872830.278283113176.0starexec-unknownunsat
430514859qf_shid_entl/lsevenodd_ls2_05.sb.smt28318559slide-2018-v520628SLD_input304326complete0.2878330.280487113176.0starexec-unknownunsat
430514743qf_shid_entl/lsevenodd_ls2_06.sb.smt28318443slide-2018-v520628SLD_input304326complete0.2885590.280889113176.0starexec-unknownunsat
430514855qf_shid_entl/lsevenodd_ls2_09.sb.smt28318555slide-2018-v520628SLD_input304326complete0.2884640.279133113176.0starexec-unknownunsat
430514723qf_shid_entl/lsevenodd_ls2_13.sb.smt28318423slide-2018-v520628SLD_input304326complete0.2898580.280857113176.0starexec-unknownunsat
430514916qf_shid_entl/lsevenodd_ls2_14.sb.smt28318616slide-2018-v520628SLD_input304326complete0.2900440.281288113176.0starexec-unknownunsat
430514951qf_shid_entl/lsevenodd_ls2_15.sb.smt28318651slide-2018-v520628SLD_input304326complete0.2873570.278304113176.0starexec-unknownunsat
430514843qf_shid_entl/lsevenodd_ls2_16.sb.smt28318543slide-2018-v520628SLD_input304326complete0.2866820.277666113176.0starexec-unknownunsat
430514831qf_shid_entl/lsleftright_01.sb.smt28318531slide-2018-v520628SLD_input304326complete0.2908380.281306113176.0starexec-unknownunsat
430514934qf_shid_entl/lsleftright_02.sb.smt28318634slide-2018-v520628SLD_input304326complete0.2897910.280562113176.0starexec-unknownunsat
430514705qf_shid_entl/lsleftright_04.sb.smt28318405slide-2018-v520628SLD_input304326complete0.2898990.280697113176.0starexec-unknownunsat
430514830qf_shid_entl/lsleftright_05.sb.smt28318530slide-2018-v520628SLD_input304326complete0.2872080.279175113176.0starexec-unknownunsat
430514932qf_shid_entl/lsleftright_06.sb.smt28318632slide-2018-v520628SLD_input304326complete0.2887820.279782113176.0starexec-unknownunsat
430514904qf_shid_entl/lsleftright_07.sb.smt28318604slide-2018-v520628SLD_input304326complete0.2921770.283484113176.0starexec-unknownunsat
430514709qf_shid_entl/lsleftright_08.sb.smt28318409slide-2018-v520628SLD_input304326complete0.2882650.279545113176.0starexec-unknownunsat
430514824qf_shid_entl/lsleftright_09.sb.smt28318524slide-2018-v520628SLD_input304326complete0.2893090.280822113176.0starexec-unknownunsat
430514803qf_shid_entl/lsleftright_10.sb.smt28318503slide-2018-v520628SLD_input304326complete0.2875490.27865113176.0starexec-unknownunsat
430514767qf_shid_entl/lsleftright_11.sb.smt28318467slide-2018-v520628SLD_input304326complete0.2902660.28082113176.0starexec-unknownunsat
430514872qf_shid_entl/lsleftright_12.sb.smt28318572slide-2018-v520628SLD_input304326complete0.2878440.278996113176.0starexec-unknownunsat
430514995qf_shid_entl/lsleftright_13.sb.smt28318695slide-2018-v520628SLD_input304326complete0.2893650.280326113176.0starexec-unknownunsat
430514805qf_shid_entl/lsleftright_14.sb.smt28318505slide-2018-v520628SLD_input304326complete0.2886620.279984113176.0starexec-unknownunsat
430514768qf_shid_entl/lsleftright_15.sb.smt28318468slide-2018-v520628SLD_input304326complete0.288020.278978113176.0starexec-unknownunsat
430514874qf_shid_entl/lsleftright_16.sb.smt28318574slide-2018-v520628SLD_input304326complete0.2904650.28312113176.0starexec-unknownunsat
430514997qf_shid_entl/lsleftright_17.sb.smt28318697slide-2018-v520628SLD_input304326complete0.2898860.280613113176.0starexec-unknownunsat
430514816qf_shid_entl/lsleftright_18.sb.smt28318516slide-2018-v520628SLD_input304326complete0.2868210.277557113176.0starexec-unknownunsat
430514762qf_shid_entl/lsleftright_19.sb.smt28318462slide-2018-v520628SLD_input304326complete0.2888810.281456113176.0starexec-unknownunsat
430514912qf_shid_entl/lsleftright_20.sb.smt28318612slide-2018-v520628SLD_input304326complete0.2872790.279969113176.0starexec-unknownunsat
430514745qf_shid_entl/lss-vc01.smt28318445slide-2018-v520628SLD_input304326complete0.3081040.312102113176.0unsatunsat
430514860qf_shid_entl/lss-vc02.smt28318560slide-2018-v520628SLD_input304326complete0.3081450.308636113176.0unsatunsat
430514973qf_shid_entl/lss-vc03.smt28318673slide-2018-v520628SLD_input304326complete0.5558110.563509414520.0unsatunsat
430514927qf_shid_entl/ls_entail_ls2_02.sb.smt28318627slide-2018-v520628SLD_input304326complete0.2875710.27837113176.0starexec-unknownunsat
430514834qf_shid_entl/ls_entail_ls2_04.sb.smt28318534slide-2018-v520628SLD_input304326complete0.2903190.281133113176.0starexec-unknownunsat
430514713qf_shid_entl/ls_entail_ls2_05.sb.smt28318413slide-2018-v520628SLD_input304326complete0.2917890.31846113176.0starexec-unknownunsat
430514924qf_shid_entl/ls_entail_ls2_06.sb.smt28318624slide-2018-v520628SLD_input304326complete0.2899880.280907113176.0starexec-unknownunsat
430514962qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt28318662slide-2018-v520628SLD_input304326complete0.2899670.282733113176.0starexec-unknownunsat
430514836qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt28318536slide-2018-v520628SLD_input304326complete0.2926270.283449113176.0starexec-unknownunsat
430514719qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt28318419slide-2018-v520628SLD_input304326complete0.2877960.280159113176.0starexec-unknownunsat
430514922qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt28318622slide-2018-v520628SLD_input304326complete0.2875180.280364113176.0starexec-unknownunsat
430514960qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt28318660slide-2018-v520628SLD_input304326complete0.2887830.28125113176.0starexec-unknownunsat
430514835qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt28318535slide-2018-v520628SLD_input304326complete0.2888490.279693113176.0starexec-unknownunsat
430514714qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt28318414slide-2018-v520628SLD_input304326complete0.2881560.279162113176.0starexec-unknownunsat
430514928qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt28318628slide-2018-v520628SLD_input304326complete0.2906110.282934113176.0starexec-unknownunsat
430514957qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt28318657slide-2018-v520628SLD_input304326complete0.2898010.282391113176.0starexec-unknownunsat
430514974qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt28318674slide-2018-v520628SLD_input304326complete0.2874980.280058113176.0starexec-unknownunsat
430514865qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt28318565slide-2018-v520628SLD_input304326complete0.2909240.2822113176.0starexec-unknownunsat
430514726qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt28318426slide-2018-v520628SLD_input304326complete0.2867430.277837113176.0starexec-unknownunsat
430514774qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt28318474slide-2018-v520628SLD_input304326complete0.2878070.278697113176.0starexec-unknownunsat
430514979qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt28318679slide-2018-v520628SLD_input304326complete0.2899650.281326113176.0starexec-unknownunsat
430514867qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt28318567slide-2018-v520628SLD_input304326complete0.2924990.283986113176.0starexec-unknownunsat
430514731qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt28318431slide-2018-v520628SLD_input304326complete0.2881890.278722113176.0starexec-unknownunsat
430514949qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt28318649slide-2018-v520628SLD_input304326complete0.3534930.351159113176.0starexec-unknownunsat
430514811qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt28318511slide-2018-v520628SLD_input304326complete0.3647770.361058113176.0starexec-unknownunsat
430514698qf_shid_entl/ls_even_entails_ls.sb.smt28318398slide-2018-v520628SLD_input304326complete0.3067380.30949113176.0unsatunsat
430514900qf_shid_entl/ls_even_join_entails_ls.sb.smt28318600slide-2018-v520628SLD_input304326complete0.5021570.498616113176.0unsatunsat
430514706qf_shid_entl/ls_even_join_entails_ls_even.sb.smt28318406slide-2018-v520628SLD_input304326complete0.577440.567775113176.0unsatunsat
430514958qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt28318658slide-2018-v520628SLD_input304326complete0.6303470.637626414520.0unsatunsat
430514801qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt28318501slide-2018-v520628SLD_input304326complete0.6097380.619172414544.0unsatunsat
430514896qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt28318596slide-2018-v520628SLD_input304326complete0.6382540.642058414612.0unsatunsat
430514870qf_shid_entl/ls_join_entails_ls.sb.smt28318570slide-2018-v520628SLD_input304326complete0.5384050.540734113176.0unsatunsat
430514708qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt28318408slide-2018-v520628SLD_input304326complete0.6112960.605277414544.0starexec-unknownunsat
430514906qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt28318606slide-2018-v520628SLD_input304326complete0.6436080.635385414756.0starexec-unknownunsat
430514936qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt28318636slide-2018-v520628SLD_input304326complete0.3537850.344719113176.0starexec-unknownunsat
430514829qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt28318529slide-2018-v520628SLD_input304326complete0.3556820.346783113176.0starexec-unknownunsat
430514800qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt28318500slide-2018-v520628SLD_input304326complete0.5594750.550719414756.0starexec-unknownunsat
430514990qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt28318690slide-2018-v520628SLD_input304326complete0.5623070.55344414520.0starexec-unknownunsat
430514869qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt28318569slide-2018-v520628SLD_input304326complete0.3554640.34673113176.0starexec-unknownunsat
430514769qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt28318469slide-2018-v520628SLD_input304326complete0.3556330.34653113176.0starexec-unknownunsat
430514826qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt28318526slide-2018-v520628SLD_input304326complete0.2892730.282249113176.0starexec-unknownunsat
430514939qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt28318639slide-2018-v520628SLD_input304326complete0.2865670.278198113176.0starexec-unknownunsat
430514901qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt28318601slide-2018-v520628SLD_input304326complete0.2887930.279586113176.0starexec-unknownunsat
430514710qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt28318410slide-2018-v520628SLD_input304326complete0.2907910.283992113176.0starexec-unknownunsat
430514825qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt28318525slide-2018-v520628SLD_input304326complete0.2882270.280947113176.0starexec-unknownunsat
430514938qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt28318638slide-2018-v520628SLD_input304326complete0.2899160.281399113176.0starexec-unknownunsat
430514898qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt28318598slide-2018-v520628SLD_input304326complete0.2871750.278296113176.0starexec-unknownunsat
430514702qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt28318402slide-2018-v520628SLD_input304326complete0.2892820.28182113176.0starexec-unknownunsat
430514828qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt28318528slide-2018-v520628SLD_input304326complete0.2892490.281782113176.0starexec-unknownunsat
430514810qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt28318510slide-2018-v520628SLD_input304326complete0.2861340.278901113176.0starexec-unknownunsat
430514758qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt28318458slide-2018-v520628SLD_input304326complete0.291890.284185113176.0starexec-unknownunsat
430514880qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt28318580slide-2018-v520628SLD_input304326complete0.2928060.284103113176.0starexec-unknownunsat
430514987qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt28318687slide-2018-v520628SLD_input304326complete0.2873680.278613113176.0starexec-unknownunsat
430514812qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt28318512slide-2018-v520628SLD_input304326complete0.2896790.282034113176.0starexec-unknownunsat
430514761qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt28318461slide-2018-v520628SLD_input304326complete0.2873980.27834113176.0starexec-unknownunsat
430514882qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt28318582slide-2018-v520628SLD_input304326complete0.2896220.280994113176.0starexec-unknownunsat
430514984qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt28318684slide-2018-v520628SLD_input304326complete0.3549810.366571113176.0starexec-unknownunsat
430514858qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt28318558slide-2018-v520628SLD_input304326complete0.3516920.345932113176.0starexec-unknownunsat
430515000qf_shid_entl/ls_odd_entails_ls.sb.smt28318700slide-2018-v520628SLD_input304326complete0.3069450.302084113176.0unsatunsat
430514989qf_shid_entl/ls_odd_join_entails_ls.sb.smt28318689slide-2018-v520628SLD_input304326complete0.5380320.540059414612.0unsatunsat
430514752qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt28318452slide-2018-v520628SLD_input304326complete0.5242120.51795113176.0unsatunsat
430514845qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt28318545slide-2018-v520628SLD_input304326complete0.7449570.739846414756.0unsatunsat
430514847qf_shid_entl/nll-vc01.smt28318547slide-2018-v520628SLD_input304326complete0.3513590.342371113176.0starexec-unknownunsat
430514729qf_shid_entl/nll-vc02.smt28318429slide-2018-v520628SLD_input304326complete0.3506350.342175113176.0starexec-unknownunsat
430514773qf_shid_entl/nll-vc03.smt28318473slide-2018-v520628SLD_input304326complete1.090141.08073414756.0starexec-unknownunsat
430514994qf_shid_entl/nll-vc04.smt28318694slide-2018-v520628SLD_input304326complete0.4095950.40039113176.0starexec-unknownunsat
430514877qf_shid_entl/nll-vc05.smt28318577slide-2018-v520628SLD_input304326complete0.2954530.286694113176.0starexec-unknownunsat
430514753qf_shid_entl/nll-vc06.smt28318453slide-2018-v520628SLD_input304326complete0.350030.373818113176.0starexec-unknownsat
430514798qf_shid_entl/nll-vc07.smt28318498slide-2018-v520628SLD_input304326complete0.3272460.388329113176.0starexec-unknownunsat
430514940qf_shid_entl/nll-vc08.smt28318640slide-2018-v520628SLD_input304326complete0.2912440.282022113176.0starexec-unknownunsat
430514908qf_shid_entl/nll-vc09.smt28318608slide-2018-v520628SLD_input304326complete0.2940460.284698113176.0starexec-unknownunsat
430514937qf_shid_entl/nll-vc10.smt28318637slide-2018-v520628SLD_input304326complete0.2905860.281914113176.0starexec-unknownunsat
430514903qf_shid_entl/nll-vc11.smt28318603slide-2018-v520628SLD_input304326complete0.2909150.281889113176.0starexec-unknownunsat
430514695qf_shid_entl/nll-vc12.smt28318395slide-2018-v520628SLD_input304326complete0.2918880.283223113176.0starexec-unknownunsat
430514818qf_shid_entl/nll-vc13.smt28318518slide-2018-v520628SLD_input304326complete0.2913090.282575113176.0starexec-unknownsat
430514953qf_shid_entl/nll-vc14.smt28318653slide-2018-v520628SLD_input304326complete0.2943930.285356113176.0starexec-unknownsat
430514918qf_shid_entl/nll-vc15.smt28318618slide-2018-v520628SLD_input304326complete0.2909120.281946113176.0starexec-unknownsat
430514715qf_shid_entl/nll-vc16.smt28318415slide-2018-v520628SLD_input304326complete0.2946930.285604113176.0starexec-unknownsat
430514838qf_shid_entl/nll-vc17.smt28318538slide-2018-v520628SLD_input304326complete0.3902230.474202113176.0starexec-unknownsat
430514977qf_shid_entl/nll-vc18.smt28318677slide-2018-v520628SLD_input304326complete0.4150610.406099113176.0starexec-unknownsat
430514864qf_shid_entl/nll-vc19.smt28318564slide-2018-v520628SLD_input304326complete0.2948950.285793113176.0starexec-unknownsat
430514795qf_shid_entl/node-dll-rev-dll-entails-dll.smt28318495slide-2018-v520628SLD_input304326complete0.3353910.414935113176.0unsatunsat
430514788qf_shid_entl/node-node-dll-entails-dll.smt28318488slide-2018-v520628SLD_input304326complete0.2863860.277161113176.0unsatunsat
430514909qf_shid_entl/node-tll-tll-entails-tll.smt28318609slide-2018-v520628SLD_input304326complete0.3005820.289565113176.0unsatunsat
430514797qf_shid_entl/odd-lseg3_slk-1.smt28318497slide-2018-v520628SLD_input304326complete0.289740.336858113176.0starexec-unknownsat
430514992qf_shid_entl/odd-lseg3_slk-2.smt28318692slide-2018-v520628SLD_input304326complete0.2867680.279277113176.0starexec-unknownunsat
430514879qf_shid_entl/odd-lseg3_slk-3.smt28318579slide-2018-v520628SLD_input304326complete0.2892750.280642113176.0starexec-unknownunsat
430514732qf_shid_entl/odd-lseg3_slk-4.smt28318432slide-2018-v520628SLD_input304326complete0.2874740.356144113176.0starexec-unknownsat
430514771qf_shid_entl/odd-lseg3_slk-5.smt28318471slide-2018-v520628SLD_input304326complete0.2884180.279614113176.0starexec-unknownunsat
430514963qf_shid_entl/odd-lseg3_slk-6.smt28318663slide-2018-v520628SLD_input304326complete0.2902780.281293113176.0starexec-unknownsat
430514849qf_shid_entl/odd-lseg3_slk-7.smt28318549slide-2018-v520628SLD_input304326complete0.2904820.281746113176.0starexec-unknownunsat
430514793qf_shid_entl/skl2-vc01.smt28318493slide-2018-v520628SLD_input304326complete0.2912160.282299113176.0starexec-unknownunsat
430514996qf_shid_entl/skl2-vc02.smt28318696slide-2018-v520628SLD_input304326complete0.2938610.285362113176.0starexec-unknownunsat
430514883qf_shid_entl/skl2-vc03.smt28318583slide-2018-v520628SLD_input304326complete0.4173450.408927113176.0starexec-unknownunsat
430514728qf_shid_entl/skl2-vc04.smt28318428slide-2018-v520628SLD_input304326complete0.2897560.281017113176.0starexec-unknownunsat
430514770qf_shid_entl/skl2-vc05.smt28318470slide-2018-v520628SLD_input304326complete0.4032150.394618113176.0starexec-unknownsat
430514967qf_shid_entl/skl2-vc06.smt28318667slide-2018-v520628SLD_input304326complete0.3998620.391527113176.0starexec-unknownsat
430514854qf_shid_entl/skl2-vc07.smt28318554slide-2018-v520628SLD_input304326complete0.2904840.281827113176.0starexec-unknownsat
430514809qf_shid_entl/skl3-vc01.smt28318509slide-2018-v520628SLD_input304326complete0.2950510.286534113176.0starexec-unknownunsat
430515006qf_shid_entl/skl3-vc02.smt28318706slide-2018-v520628SLD_input304326complete0.3020510.291416113176.0starexec-unknownsat
430514892qf_shid_entl/skl3-vc03.smt28318592slide-2018-v520628SLD_input304326complete0.3074810.296571113176.0starexec-unknownunsat
430514737qf_shid_entl/skl3-vc04.smt28318437slide-2018-v520628SLD_input304326complete0.2926580.283801113176.0starexec-unknownunsat
430514784qf_shid_entl/skl3-vc05.smt28318484slide-2018-v520628SLD_input304326complete0.291220.282181113176.0starexec-unknownunsat
430514978qf_shid_entl/skl3-vc06.smt28318678slide-2018-v520628SLD_input304326complete0.2919060.283422113176.0starexec-unknownunsat
430514861qf_shid_entl/skl3-vc07.smt28318561slide-2018-v520628SLD_input304326complete0.2930250.284519113176.0starexec-unknownunsat
430514716qf_shid_entl/skl3-vc08.smt28318416slide-2018-v520628SLD_input304326complete0.291110.282086113176.0starexec-unknownunsat
430514837qf_shid_entl/skl3-vc09.smt28318537slide-2018-v520628SLD_input304326complete0.2944770.285622113176.0starexec-unknownunsat
430514722qf_shid_entl/skl3-vc10.smt28318422slide-2018-v520628SLD_input304326complete0.4541110.445113176.0starexec-unknownunsat
430514846qf_shid_entl/skl3-vc11.smt28318546slide-2018-v520628SLD_input304326complete0.2938370.284797113176.0starexec-unknownsat
430514961qf_shid_entl/skl3-vc12.smt28318661slide-2018-v520628SLD_input304326complete0.2976490.288623113176.0starexec-unknownsat
430514839qf_shid_entl/sll-vc01.smt28318539slide-2018-v520628SLD_input304326complete0.7992020.789929414756.0starexec-unknownsat
430514950qf_shid_entl/sll-vc02.smt28318650slide-2018-v520628SLD_input304326complete0.8753660.866068414620.0starexec-unknownsat
430514740qf_shid_entl/tll-pp-entails-tll-pp-rev.smt28318440slide-2018-v520628SLD_input304326complete0.2886150.279534113176.0unsatunsat
430514944qf_shid_entl/tll-pp-rev-entails-tll-pp.smt28318644slide-2018-v520628SLD_input304326complete0.7926220.886968414552.0unsatunsat
430514853qf_shid_entl/tll-ravioli.smt28318553slide-2018-v520628SLD_input304326complete0.2931840.284272113176.0unsatunsat
430514985qf_shid_entl/tll_slk-1.smt28318685slide-2018-v520628SLD_input304326complete0.2917470.282554113176.0starexec-unknownunsat
430514697qf_shid_entl/tll_slk-10.smt28318397slide-2018-v520628SLD_input304326complete0.2870820.280966113176.0starexec-unknownunsat
430514819qf_shid_entl/tll_slk-11.smt28318519slide-2018-v520628SLD_input304326complete0.2852210.279454113176.0starexec-unknownunsat
430514930qf_shid_entl/tll_slk-12.smt28318630slide-2018-v520628SLD_input304326complete0.2872860.279743113176.0starexec-unknownunsat
430514897qf_shid_entl/tll_slk-13.smt28318597slide-2018-v520628SLD_input304326complete0.2873570.278287113176.0starexec-unknownunsat
430514790qf_shid_entl/tll_slk-2.smt28318490slide-2018-v520628SLD_input304326complete0.2881080.279289113176.0starexec-unknownunsat
430514749qf_shid_entl/tll_slk-3.smt28318449slide-2018-v520628SLD_input304326complete0.286790.279035113176.0starexec-unknownunsat
430514857qf_shid_entl/tll_slk-4.smt28318557slide-2018-v520628SLD_input304326complete0.2887690.281486113176.0starexec-unknownunsat
430514970qf_shid_entl/tll_slk-5.smt28318670slide-2018-v520628SLD_input304326complete0.2865750.280856113176.0starexec-unknownunsat
430514779qf_shid_entl/tll_slk-6.smt28318479slide-2018-v520628SLD_input304326complete0.2877820.28152113176.0starexec-unknownunsat
430514736qf_shid_entl/tll_slk-7.smt28318436slide-2018-v520628SLD_input304326complete0.2869960.309303113176.0starexec-unknownunsat
430514923qf_shid_entl/tll_slk-8.smt28318623slide-2018-v520628SLD_input304326complete0.2883820.28081113176.0starexec-unknownunsat
430514956qf_shid_entl/tll_slk-9.smt28318656slide-2018-v520628SLD_input304326complete0.2906810.284706113176.0starexec-unknownunsat
430515002qf_shid_entl/tree-pp-entails-tree-pp-rev.smt28318702slide-2018-v520628SLD_input304326complete0.3363840.371598113176.0unsatunsat
430514842qf_shid_entl/tree-pp-rev-entails-tree-pp.smt28318542slide-2018-v520628SLD_input304326complete0.8177480.822771414544.0unsatunsat
430514848qf_shid_entl/tseg_join_2.sb.smt28318548slide-2018-v520628SLD_input304326complete0.5102690.526592113176.0unsatunsat
430514778qf_shid_entl/tseg_join_2_entail_tree.sb.smt28318478slide-2018-v520628SLD_input304326complete0.4552110.462022113176.0unsatunsat
430514703qf_shid_entl/tseg_join_tree.sb.smt28318403slide-2018-v520628SLD_input304326complete0.3804630.461374113176.0starexec-unknownunsat
430514959qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt28318659slide-2018-v520628SLD_input304326complete0.3951290.387003113176.0starexec-unknownunsat