pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430515590qf_shid_entl/01.tst.smt28318666SPEN22607qf_shidlia326474complete0.0073460.009424060.0starexec-unknownunsat
430515341qf_shid_entl/02.tst.smt28318417SPEN22607qf_shidlia326474complete0.0070820.009300070.0starexec-unknownunsat
430515401qf_shid_entl/03.tst.smt28318477SPEN22607qf_shidlia326474complete0.0069320.009631090.0starexec-unknownunsat
430515457qf_shid_entl/04.tst.smt28318533SPEN22607qf_shidlia326474complete0.0073470.008786990.0starexec-unknownunsat
430515388qf_shid_entl/05.tst.smt28318464SPEN22607qf_shidlia326474complete0.0067130.009516990.0starexec-unknownunsat
430515567qf_shid_entl/06.tst.smt28318643SPEN22607qf_shidlia326474complete0.0068820.008542910.0starexec-unknownunsat
430515513qf_shid_entl/07.tst.smt28318589SPEN22607qf_shidlia326474complete0.0066320.009110940.0starexec-unknownunsat
430515510qf_shid_entl/08.tst.smt28318586SPEN22607qf_shidlia326474complete0.0069840.01236310.0starexec-unknownunsat
430515569qf_shid_entl/09.tst.smt28318645SPEN22607qf_shidlia326474complete0.0343920.03315113176.0satunsat
430515550qf_shid_entl/10.tst.smt28318626SPEN22607qf_shidlia326474complete0.0048760.008723970.0starexec-unknownunsat
430515596qf_shid_entl/11.tst.smt28318672SPEN22607qf_shidlia326474complete0.0059040.009140950.0starexec-unknownunsat
430515345qf_shid_entl/12.tst.smt28318421SPEN22607qf_shidlia326474complete0.0052180.009322080.0starexec-unknownunsat
430515413qf_shid_entl/13.tst.smt28318489SPEN22607qf_shidlia326474complete0.0052020.009406970.0starexec-unknownunsat
430515445qf_shid_entl/14.tst.smt28318521SPEN22607qf_shidlia326474complete0.005180.009275990.0starexec-unknownunsat
430515375qf_shid_entl/15.tst.smt28318451SPEN22607qf_shidlia326474complete0.0066120.008977990.0starexec-unknownunsat
430515555qf_shid_entl/16.tst.smt28318631SPEN22607qf_shidlia326474complete0.0067690.009814020.0starexec-unknownunsat
430515499qf_shid_entl/17.tst.smt28318575SPEN22607qf_shidlia326474complete0.0053590.01175610.0starexec-unknownunsat
430515500qf_shid_entl/18.tst.smt28318576SPEN22607qf_shidlia326474complete0.0048850.009282940.0starexec-unknownunsat
430515553qf_shid_entl/19.tst.smt28318629SPEN22607qf_shidlia326474complete0.033410.0321011113176.0unsatunsat
430515523qf_shid_entl/20.tst.smt28318599SPEN22607qf_shidlia326474complete0.0333870.0321471113176.0unsatunsat
430515612qf_shid_entl/21.tst.smt28318688SPEN22607qf_shidlia326474complete0.0050870.009028990.0starexec-unknownunsat
430515325qf_shid_entl/22.tst.smt28318401SPEN22607qf_shidlia326474complete0.0334760.0322341113176.0unsatunsat
430515599qf_shid_entl/append_dll_slk-1.smt28318675SPEN22607qf_shidlia326474complete0.0072690.009847920.0starexec-unknownunsat
430515592qf_shid_entl/append_dll_slk-10.smt28318668SPEN22607qf_shidlia326474complete0.006960.008968030.0starexec-unknownunsat
430515475qf_shid_entl/append_dll_slk-11.smt28318551SPEN22607qf_shidlia326474complete0.0069060.008853910.0starexec-unknownunsat
430515348qf_shid_entl/append_dll_slk-12.smt28318424SPEN22607qf_shidlia326474complete0.0071580.009625950.0starexec-unknownunsat
430515406qf_shid_entl/append_dll_slk-2.smt28318482SPEN22607qf_shidlia326474complete0.0069470.009063070.0starexec-unknownunsat
430515365qf_shid_entl/append_dll_slk-3.smt28318441SPEN22607qf_shidlia326474complete0.0069810.0095120.0starexec-unknownunsat
430515518qf_shid_entl/append_dll_slk-4.smt28318594SPEN22607qf_shidlia326474complete0.007160.008991890.0starexec-unknownunsat
430515628qf_shid_entl/append_dll_slk-5.smt28318704SPEN22607qf_shidlia326474complete0.006770.008659960.0starexec-unknownunsat
430515432qf_shid_entl/append_dll_slk-6.smt28318508SPEN22607qf_shidlia326474complete0.0067110.009630970.0starexec-unknownunsat
430515390qf_shid_entl/append_dll_slk-7.smt28318466SPEN22607qf_shidlia326474complete0.0070930.00962810.0starexec-unknownunsat
430515526qf_shid_entl/append_dll_slk-8.smt28318602SPEN22607qf_shidlia326474complete0.0070040.00893310.0starexec-unknownunsat
430515559qf_shid_entl/append_dll_slk-9.smt28318635SPEN22607qf_shidlia326474complete0.0068310.009111060.0starexec-unknownunsat
430515595qf_shid_entl/append_sll_cll_slk-1.smt28318671SPEN22607qf_shidlia326474complete0.006840.009131890.0starexec-unknownunsat
430515474qf_shid_entl/append_sll_cll_slk-10.smt28318550SPEN22607qf_shidlia326474complete0.0068950.00865090.0starexec-unknownunsat
430515588qf_shid_entl/append_sll_cll_slk-11.smt28318664SPEN22607qf_shidlia326474complete0.0069720.009122110.0starexec-unknownunsat
430515396qf_shid_entl/append_sll_cll_slk-12.smt28318472SPEN22607qf_shidlia326474complete0.0070290.008490.0starexec-unknownunsat
430515357qf_shid_entl/append_sll_cll_slk-13.smt28318433SPEN22607qf_shidlia326474complete0.0069310.01059310.0starexec-unknownunsat
430515502qf_shid_entl/append_sll_cll_slk-14.smt28318578SPEN22607qf_shidlia326474complete0.006920.009682980.0starexec-unknownunsat
430515615qf_shid_entl/append_sll_cll_slk-15.smt28318691SPEN22607qf_shidlia326474complete0.0072620.01175310.0starexec-unknownsat
430515420qf_shid_entl/append_sll_cll_slk-16.smt28318496SPEN22607qf_shidlia326474complete0.0069750.008913060.0starexec-unknownunsat
430515378qf_shid_entl/append_sll_cll_slk-17.smt28318454SPEN22607qf_shidlia326474complete0.0067880.008956030.0starexec-unknownunsat
430515531qf_shid_entl/append_sll_cll_slk-18.smt28318607SPEN22607qf_shidlia326474complete0.0068390.008978010.0starexec-unknownunsat
430515404qf_shid_entl/append_sll_cll_slk-2.smt28318480SPEN22607qf_shidlia326474complete0.0070640.0105830.0starexec-unknownunsat
430515359qf_shid_entl/append_sll_cll_slk-3.smt28318435SPEN22607qf_shidlia326474complete0.0069860.0101570.0starexec-unknownunsat
430515495qf_shid_entl/append_sll_cll_slk-4.smt28318571SPEN22607qf_shidlia326474complete0.0068610.009571010.0starexec-unknownunsat
430515610qf_shid_entl/append_sll_cll_slk-5.smt28318686SPEN22607qf_shidlia326474complete0.0068360.008884960.0starexec-unknownunsat
430515416qf_shid_entl/append_sll_cll_slk-6.smt28318492SPEN22607qf_shidlia326474complete0.0073830.009087930.0starexec-unknownsat
430515372qf_shid_entl/append_sll_cll_slk-7.smt28318448SPEN22607qf_shidlia326474complete0.0068850.009483110.0starexec-unknownunsat
430515535qf_shid_entl/append_sll_cll_slk-8.smt28318611SPEN22607qf_shidlia326474complete0.0071830.0095970.0starexec-unknownunsat
430515571qf_shid_entl/append_sll_cll_slk-9.smt28318647SPEN22607qf_shidlia326474complete0.0068460.008491890.0starexec-unknownunsat
430515371qf_shid_entl/append_sll_ls_slk-1.smt28318447SPEN22607qf_shidlia326474complete0.0049250.008794950.0starexec-unknownunsat
430515490qf_shid_entl/append_sll_ls_slk-2.smt28318566SPEN22607qf_shidlia326474complete0.0048660.008766940.0starexec-unknownunsat
430515606qf_shid_entl/append_sll_ls_slk-3.smt28318682SPEN22607qf_shidlia326474complete0.0051770.009000110.0starexec-unknownunsat
430515428qf_shid_entl/append_sll_ls_slk-4.smt28318504SPEN22607qf_shidlia326474complete0.0048570.008338880.0starexec-unknownunsat
430515387qf_shid_entl/append_sll_ls_slk-5.smt28318463SPEN22607qf_shidlia326474complete0.004820.008358890.0starexec-unknownunsat
430515509qf_shid_entl/append_sll_ls_slk-6.smt28318585SPEN22607qf_shidlia326474complete0.0051490.01037610.0starexec-unknownunsat
430515623qf_shid_entl/append_sll_ls_slk-7.smt28318699SPEN22607qf_shidlia326474complete0.0050120.009332880.0starexec-unknownunsat
430515447qf_shid_entl/append_sll_ls_slk-8.smt28318523SPEN22607qf_shidlia326474complete0.0048740.009069880.0starexec-unknownunsat
430515342qf_shid_entl/append_sll_slk-1.smt28318418SPEN22607qf_shidlia326474complete0.0047320.009026910.0starexec-unknownunsat
430515541qf_shid_entl/append_sll_slk-2.smt28318617SPEN22607qf_shidlia326474complete0.0047780.008814930.0starexec-unknownunsat
430515576qf_shid_entl/append_sll_slk-3.smt28318652SPEN22607qf_shidlia326474complete0.0050830.0109870.0starexec-unknownunsat
430515444qf_shid_entl/append_sll_slk-4.smt28318520SPEN22607qf_shidlia326474complete0.0048440.008788070.0starexec-unknownunsat
430515320qf_shid_entl/append_sll_slk-5.smt28318396SPEN22607qf_shidlia326474complete0.0047080.009228020.0starexec-unknownunsat
430515519qf_shid_entl/append_sll_slk-6.smt28318595SPEN22607qf_shidlia326474complete0.0047930.009043990.0starexec-unknownunsat
430515557qf_shid_entl/append_sll_slk-7.smt28318633SPEN22607qf_shidlia326474complete0.0047930.008893970.0starexec-unknownunsat
430515437qf_shid_entl/append_sll_slk-8.smt28318513SPEN22607qf_shidlia326474complete0.0048930.008747040.0starexec-unknownunsat
430515537qf_shid_entl/dll-entails-dll-rev.smt28318613SPEN22607qf_shidlia326474complete0.0064860.008974110.0starexec-unknownunsat
430515379qf_shid_entl/dll-entails-dll0+.smt28318455SPEN22607qf_shidlia326474complete0.0069480.009446110.0starexec-unknownunsat
430515508qf_shid_entl/dll-mid-entails-dll-rev.smt28318584SPEN22607qf_shidlia326474complete0.0066770.01378990.0starexec-unknownunsat
430515438qf_shid_entl/dll-rev-entails-dll-mid.smt28318514SPEN22607qf_shidlia326474complete0.0065430.01032990.0starexec-unknownunsat
430515545qf_shid_entl/dll-rev-entails-dll.smt28318621SPEN22607qf_shidlia326474complete0.0068610.0110390.0starexec-unknownunsat
430515511qf_shid_entl/dll-spaghetti.smt28318587SPEN22607qf_shidlia326474complete0.0067680.009614920.0starexec-unknownunsat
430515335qf_shid_entl/dll-vc01.smt28318411SPEN22607qf_shidlia326474complete0.0339240.0326871113176.0starexec-unknownunsat
430515534qf_shid_entl/dll-vc02.smt28318610SPEN22607qf_shidlia326474complete0.0367730.0355081113176.0starexec-unknownunsat
430515572qf_shid_entl/dll-vc03.smt28318648SPEN22607qf_shidlia326474complete0.0353240.03404113176.0starexec-unknownunsat
430515468qf_shid_entl/dll-vc04.smt28318544SPEN22607qf_shidlia326474complete0.034410.0331649113176.0starexec-unknownsat
430515344qf_shid_entl/dll-vc05.smt28318420SPEN22607qf_shidlia326474complete0.026870.025755113176.0unsatunsat
430515549qf_shid_entl/dll-vc06.smt28318625SPEN22607qf_shidlia326474complete0.0358290.0346131113176.0starexec-unknownsat
430515579qf_shid_entl/dll-vc07.smt28318655SPEN22607qf_shidlia326474complete0.0357450.034411113176.0starexec-unknownunsat
430515405qf_shid_entl/dll-vc08.smt28318481SPEN22607qf_shidlia326474complete0.036010.0347141113176.0starexec-unknownsat
430515358qf_shid_entl/dll-vc09.smt28318434SPEN22607qf_shidlia326474complete0.0367760.0355141113176.0starexec-unknownunsat
430515411qf_shid_entl/dll-vc10.smt28318487SPEN22607qf_shidlia326474complete0.0355250.034265113176.0satsat
430515370qf_shid_entl/dll-vc11.smt28318446SPEN22607qf_shidlia326474complete0.0282570.0271981113176.0unsatunsat
430515492qf_shid_entl/dll-vc12.smt28318568SPEN22607qf_shidlia326474complete0.036360.0350299113176.0starexec-unknownsat
430515607qf_shid_entl/dll-vc13.smt28318683SPEN22607qf_shidlia326474complete0.035460.034222113176.0starexec-unknownsat
430515423qf_shid_entl/dll-vc14.smt28318499SPEN22607qf_shidlia326474complete0.0325320.0313059113176.0satsat
430515384qf_shid_entl/dll-vc15.smt28318460SPEN22607qf_shidlia326474complete0.0358790.0345979113176.0starexec-unknownunsat
430515512qf_shid_entl/dll-vc16.smt28318588SPEN22607qf_shidlia326474complete0.0394810.038233113176.0starexec-unknownsat
430515625qf_shid_entl/dll-vc17.smt28318701SPEN22607qf_shidlia326474complete0.034380.033065113176.0starexec-unknownunsat
430515399qf_shid_entl/dll2-entails-dll2-rev.smt28318475SPEN22607qf_shidlia326474complete0.0067110.0123590.0starexec-unknownunsat
430515409qf_shid_entl/dll2-rev-entails-dll2.smt28318485SPEN22607qf_shidlia326474complete0.0072830.00945590.0starexec-unknownunsat
430515465qf_shid_entl/dll2-spaghetti.smt28318541SPEN22607qf_shidlia326474complete0.0070340.008769980.0starexec-unknownunsat
430515456qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt28318532SPEN22607qf_shidlia326474complete0.0065760.009369110.0starexec-unknownunsat
430515544qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt28318620SPEN22607qf_shidlia326474complete0.0064420.00895490.0starexec-unknownunsat
430515323qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt28318399SPEN22607qf_shidlia326474complete0.006370.008932050.0starexec-unknownunsat
430515351qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt28318427SPEN22607qf_shidlia326474complete0.0065160.009098110.0starexec-unknownunsat
430515362qf_shid_entl/dllrev_append_head_entails_dll.sb.smt28318438SPEN22607qf_shidlia326474complete0.0064750.008750090.0starexec-unknownunsat
430515464qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt28318540SPEN22607qf_shidlia326474complete0.0071320.009667030.0starexec-unknownunsat
430515383qf_shid_entl/dllrev_concat.sb.smt28318459SPEN22607qf_shidlia326474complete0.0069930.01132010.0starexec-unknownunsat
430515336qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt28318412SPEN22607qf_shidlia326474complete0.0063580.008731960.0starexec-unknownunsat
430515400qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt28318476SPEN22607qf_shidlia326474complete0.0063480.009259090.0starexec-unknownunsat
430515381qf_shid_entl/dllrev_entails_dll.sb.smt28318457SPEN22607qf_shidlia326474complete0.0066410.0102390.0starexec-unknownunsat
430515565qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt28318641SPEN22607qf_shidlia326474complete0.0073090.01268310.0starexec-unknownunsat
430515604qf_shid_entl/dll_append_tail_entails_dll.sb.smt28318680SPEN22607qf_shidlia326474complete0.0073470.0093250.0starexec-unknownunsat
430515410qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt28318486SPEN22607qf_shidlia326474complete0.0068520.009448020.0starexec-unknownunsat
430515539qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt28318615SPEN22607qf_shidlia326474complete0.0064320.008972970.0starexec-unknownunsat
430515629qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt28318705SPEN22607qf_shidlia326474complete0.0070850.0085480.0starexec-unknownunsat
430515324qf_shid_entl/dll_concat.sb.smt28318400SPEN22607qf_shidlia326474complete0.0072440.009390960.0starexec-unknownunsat
430515439qf_shid_entl/dll_concat_dllrev.sb.smt28318515SPEN22607qf_shidlia326474complete0.0069330.01320010.0starexec-unknownunsat
430515451qf_shid_entl/dll_entails_dllrev.sb.smt28318527SPEN22607qf_shidlia326474complete0.0066480.009156120.0starexec-unknownunsat
430515331qf_shid_entl/dll_entails_ls.sb.smt28318407SPEN22607qf_shidlia326474complete0.0063420.008835980.0starexec-unknownunsat
430515368qf_shid_entl/dll_entails_lspre.sb.smt28318444SPEN22607qf_shidlia326474complete0.0066610.00936010.0starexec-unknownunsat
430515589qf_shid_entl/dll_entails_lsrev.sb.smt28318665SPEN22607qf_shidlia326474complete0.0068360.009799960.0starexec-unknownunsat
430515354qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt28318430SPEN22607qf_shidlia326474complete0.0069770.009405930.0starexec-unknownunsat
430515517qf_shid_entl/elseg4_slk-1.smt28318593SPEN22607qf_shidlia326474complete0.0068390.008990120.0starexec-unknownunsat
430515389qf_shid_entl/elseg4_slk-2.smt28318465SPEN22607qf_shidlia326474complete0.0071370.009556940.0starexec-unknownunsat
430515431qf_shid_entl/elseg4_slk-3.smt28318507SPEN22607qf_shidlia326474complete0.0073280.009239070.0starexec-unknownsat
430515600qf_shid_entl/elseg4_slk-4.smt28318676SPEN22607qf_shidlia326474complete0.0069760.009496080.0starexec-unknownsat
430515487qf_shid_entl/elseg4_slk-5.smt28318563SPEN22607qf_shidlia326474complete0.0068410.009209930.0starexec-unknownunsat
430515366qf_shid_entl/elseg4_slk-6.smt28318442SPEN22607qf_shidlia326474complete0.0068140.008583070.0starexec-unknownunsat
430515407qf_shid_entl/elseg4_slk-7.smt28318483SPEN22607qf_shidlia326474complete0.0069860.009313930.0starexec-unknownunsat
430515578qf_shid_entl/elseg4_slk-8.smt28318654SPEN22607qf_shidlia326474complete0.0070380.008774060.0starexec-unknownunsat
430515543qf_shid_entl/elseg4_slk-9.smt28318619SPEN22607qf_shidlia326474complete0.0069770.009604980.0starexec-unknownunsat
430515426qf_shid_entl/eolseg_01.sb.smt28318502SPEN22607qf_shidlia326474complete0.0068130.008965940.0starexec-unknownunsat
430515617qf_shid_entl/eolseg_02.sb.smt28318693SPEN22607qf_shidlia326474complete0.0071320.00994610.0starexec-unknownunsat
430515430qf_shid_entl/eolseg_05.sb.smt28318506SPEN22607qf_shidlia326474complete0.0067130.00893990.0starexec-unknownunsat
430515622qf_shid_entl/eolseg_06.sb.smt28318698SPEN22607qf_shidlia326474complete0.0067650.008746120.0starexec-unknownunsat
430515497qf_shid_entl/eolseg_07.sb.smt28318573SPEN22607qf_shidlia326474complete0.0066880.00874710.0starexec-unknownunsat
430515441qf_shid_entl/eolseg_09.sb.smt28318517SPEN22607qf_shidlia326474complete0.0071790.008633960.0starexec-unknownunsat
430515529qf_shid_entl/eolseg_12.sb.smt28318605SPEN22607qf_shidlia326474complete0.0067850.009119070.0starexec-unknownunsat
430515328qf_shid_entl/eolseg_15.sb.smt28318404SPEN22607qf_shidlia326474complete0.006690.009043010.0starexec-unknownunsat
430515486qf_shid_entl/ls2_entail_ls_01.sb.smt28318562SPEN22607qf_shidlia326474complete0.0067790.009030920.0starexec-unknownunsat
430515605qf_shid_entl/ls2_entail_ls_04.sb.smt28318681SPEN22607qf_shidlia326474complete0.0067360.009128010.0starexec-unknownunsat
430515349qf_shid_entl/lsegex4_slk-1.smt28318425SPEN22607qf_shidlia326474complete0.0070410.009195110.0starexec-unknownunsat
430515476qf_shid_entl/lsegex4_slk-2.smt28318552SPEN22607qf_shidlia326474complete0.0072380.009260070.0starexec-unknownsat
430515593qf_shid_entl/lsegex4_slk-3.smt28318669SPEN22607qf_shidlia326474complete0.007150.009367960.0starexec-unknownunsat
430515418qf_shid_entl/lsegex4_slk-4.smt28318494SPEN22607qf_shidlia326474complete0.0067460.00840110.0starexec-unknownunsat
430515374qf_shid_entl/lsegex4_slk-5.smt28318450SPEN22607qf_shidlia326474complete0.00710.009446010.0starexec-unknownunsat
430515505qf_shid_entl/lsegex4_slk-6.smt28318581SPEN22607qf_shidlia326474complete0.0068740.009055080.0starexec-unknownunsat
430515514qf_shid_entl/lsevenodd_01.sb.smt28318590SPEN22607qf_shidlia326474complete0.0071510.01109290.0starexec-unknownunsat
430515380qf_shid_entl/lsevenodd_02.sb.smt28318456SPEN22607qf_shidlia326474complete0.0066830.0088880.0starexec-unknownunsat
430515415qf_shid_entl/lsevenodd_03.sb.smt28318491SPEN22607qf_shidlia326474complete0.0067440.009086910.0starexec-unknownunsat
430515627qf_shid_entl/lsevenodd_04.sb.smt28318703SPEN22607qf_shidlia326474complete0.0073780.009096980.0starexec-unknownunsat
430515515qf_shid_entl/lsevenodd_09.sb.smt28318591SPEN22607qf_shidlia326474complete0.0071760.009637970.0starexec-unknownunsat
430515566qf_shid_entl/lsevenodd_11.sb.smt28318642SPEN22607qf_shidlia326474complete0.0070960.009199030.0starexec-unknownunsat
430515538qf_shid_entl/lsevenodd_14.sb.smt28318614SPEN22607qf_shidlia326474complete0.0068180.008514920.0starexec-unknownunsat
430515570qf_shid_entl/lsevenodd_15.sb.smt28318646SPEN22607qf_shidlia326474complete0.006880.009227120.0starexec-unknownunsat
430515446qf_shid_entl/lsevenodd_16.sb.smt28318522SPEN22607qf_shidlia326474complete0.0071670.009506940.0starexec-unknownunsat
430515480qf_shid_entl/lsevenodd_ls2_01.sb.smt28318556SPEN22607qf_shidlia326474complete0.0067870.01157990.0starexec-unknownunsat
430515363qf_shid_entl/lsevenodd_ls2_02.sb.smt28318439SPEN22607qf_shidlia326474complete0.00710.009400050.0starexec-unknownunsat
430515483qf_shid_entl/lsevenodd_ls2_05.sb.smt28318559SPEN22607qf_shidlia326474complete0.0066110.00907810.0starexec-unknownunsat
430515367qf_shid_entl/lsevenodd_ls2_06.sb.smt28318443SPEN22607qf_shidlia326474complete0.0070180.009224920.0starexec-unknownunsat
430515479qf_shid_entl/lsevenodd_ls2_09.sb.smt28318555SPEN22607qf_shidlia326474complete0.0067580.008922020.0starexec-unknownunsat
430515347qf_shid_entl/lsevenodd_ls2_13.sb.smt28318423SPEN22607qf_shidlia326474complete0.0067510.0083760.0starexec-unknownunsat
430515540qf_shid_entl/lsevenodd_ls2_14.sb.smt28318616SPEN22607qf_shidlia326474complete0.0067380.01024810.0starexec-unknownunsat
430515575qf_shid_entl/lsevenodd_ls2_15.sb.smt28318651SPEN22607qf_shidlia326474complete0.0065720.009208920.0starexec-unknownunsat
430515467qf_shid_entl/lsevenodd_ls2_16.sb.smt28318543SPEN22607qf_shidlia326474complete0.0069790.008370110.0starexec-unknownunsat
430515455qf_shid_entl/lsleftright_01.sb.smt28318531SPEN22607qf_shidlia326474complete0.0069240.008947010.0starexec-unknownunsat
430515558qf_shid_entl/lsleftright_02.sb.smt28318634SPEN22607qf_shidlia326474complete0.0069920.008762990.0starexec-unknownunsat
430515329qf_shid_entl/lsleftright_04.sb.smt28318405SPEN22607qf_shidlia326474complete0.0071460.009535940.0starexec-unknownunsat
430515454qf_shid_entl/lsleftright_05.sb.smt28318530SPEN22607qf_shidlia326474complete0.0065930.00895910.0starexec-unknownunsat
430515556qf_shid_entl/lsleftright_06.sb.smt28318632SPEN22607qf_shidlia326474complete0.0068090.0177390.0starexec-unknownunsat
430515528qf_shid_entl/lsleftright_07.sb.smt28318604SPEN22607qf_shidlia326474complete0.0070860.009586040.0starexec-unknownunsat
430515333qf_shid_entl/lsleftright_08.sb.smt28318409SPEN22607qf_shidlia326474complete0.0068980.009088090.0starexec-unknownunsat
430515448qf_shid_entl/lsleftright_09.sb.smt28318524SPEN22607qf_shidlia326474complete0.0066970.008693970.0starexec-unknownunsat
430515427qf_shid_entl/lsleftright_10.sb.smt28318503SPEN22607qf_shidlia326474complete0.007150.009341110.0starexec-unknownunsat
430515391qf_shid_entl/lsleftright_11.sb.smt28318467SPEN22607qf_shidlia326474complete0.007030.00883310.0starexec-unknownunsat
430515496qf_shid_entl/lsleftright_12.sb.smt28318572SPEN22607qf_shidlia326474complete0.0067660.008904030.0starexec-unknownunsat
430515619qf_shid_entl/lsleftright_13.sb.smt28318695SPEN22607qf_shidlia326474complete0.0066960.008365910.0starexec-unknownunsat
430515429qf_shid_entl/lsleftright_14.sb.smt28318505SPEN22607qf_shidlia326474complete0.0067260.008326960.0starexec-unknownunsat
430515392qf_shid_entl/lsleftright_15.sb.smt28318468SPEN22607qf_shidlia326474complete0.0067770.008869970.0starexec-unknownunsat
430515498qf_shid_entl/lsleftright_16.sb.smt28318574SPEN22607qf_shidlia326474complete0.0074130.009254940.0starexec-unknownunsat
430515621qf_shid_entl/lsleftright_17.sb.smt28318697SPEN22607qf_shidlia326474complete0.0073060.009270890.0starexec-unknownunsat
430515440qf_shid_entl/lsleftright_18.sb.smt28318516SPEN22607qf_shidlia326474complete0.0071420.009476010.0starexec-unknownunsat
430515386qf_shid_entl/lsleftright_19.sb.smt28318462SPEN22607qf_shidlia326474complete0.0067040.009080990.0starexec-unknownunsat
430515536qf_shid_entl/lsleftright_20.sb.smt28318612SPEN22607qf_shidlia326474complete0.0067290.008856030.0starexec-unknownunsat
430515369qf_shid_entl/lss-vc01.smt28318445SPEN22607qf_shidlia326474complete0.0068310.008931120.0starexec-unknownunsat
430515484qf_shid_entl/lss-vc02.smt28318560SPEN22607qf_shidlia326474complete0.0071830.009633950.0starexec-unknownunsat
430515597qf_shid_entl/lss-vc03.smt28318673SPEN22607qf_shidlia326474complete0.0068340.009569910.0starexec-unknownunsat
430515551qf_shid_entl/ls_entail_ls2_02.sb.smt28318627SPEN22607qf_shidlia326474complete0.0069110.009836030.0starexec-unknownunsat
430515458qf_shid_entl/ls_entail_ls2_04.sb.smt28318534SPEN22607qf_shidlia326474complete0.0068090.009317920.0starexec-unknownunsat
430515337qf_shid_entl/ls_entail_ls2_05.sb.smt28318413SPEN22607qf_shidlia326474complete0.0068580.00902510.0starexec-unknownunsat
430515548qf_shid_entl/ls_entail_ls2_06.sb.smt28318624SPEN22607qf_shidlia326474complete0.0068490.008111090.0starexec-unknownunsat
430515586qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt28318662SPEN22607qf_shidlia326474complete0.0073420.009656120.0starexec-unknownunsat
430515460qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt28318536SPEN22607qf_shidlia326474complete0.0072560.009037970.0starexec-unknownunsat
430515343qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt28318419SPEN22607qf_shidlia326474complete0.0069520.009318010.0starexec-unknownunsat
430515546qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt28318622SPEN22607qf_shidlia326474complete0.0069050.009923940.0starexec-unknownunsat
430515584qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt28318660SPEN22607qf_shidlia326474complete0.0071030.009837110.0starexec-unknownunsat
430515459qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt28318535SPEN22607qf_shidlia326474complete0.0072590.009184120.0starexec-unknownunsat
430515338qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt28318414SPEN22607qf_shidlia326474complete0.0071470.009507990.0starexec-unknownunsat
430515552qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt28318628SPEN22607qf_shidlia326474complete0.0070520.009501920.0starexec-unknownunsat
430515581qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt28318657SPEN22607qf_shidlia326474complete0.0068640.009350050.0starexec-unknownunsat
430515598qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt28318674SPEN22607qf_shidlia326474complete0.0066950.008997950.0starexec-unknownunsat
430515489qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt28318565SPEN22607qf_shidlia326474complete0.0067380.008936980.0starexec-unknownunsat
430515350qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt28318426SPEN22607qf_shidlia326474complete0.0068720.008448070.0starexec-unknownunsat
430515398qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt28318474SPEN22607qf_shidlia326474complete0.0066970.008690040.0starexec-unknownunsat
430515603qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt28318679SPEN22607qf_shidlia326474complete0.0069320.009090960.0starexec-unknownunsat
430515491qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt28318567SPEN22607qf_shidlia326474complete0.006940.009470020.0starexec-unknownunsat
430515355qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt28318431SPEN22607qf_shidlia326474complete0.0068740.008935910.0starexec-unknownunsat
430515573qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt28318649SPEN22607qf_shidlia326474complete0.0071160.008724960.0starexec-unknownunsat
430515435qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt28318511SPEN22607qf_shidlia326474complete0.0067830.009307970.0starexec-unknownunsat
430515322qf_shid_entl/ls_even_entails_ls.sb.smt28318398SPEN22607qf_shidlia326474complete0.0070340.009940880.0starexec-unknownunsat
430515524qf_shid_entl/ls_even_join_entails_ls.sb.smt28318600SPEN22607qf_shidlia326474complete0.0068670.009517120.0starexec-unknownunsat
430515330qf_shid_entl/ls_even_join_entails_ls_even.sb.smt28318406SPEN22607qf_shidlia326474complete0.0069210.009656950.0starexec-unknownunsat
430515582qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt28318658SPEN22607qf_shidlia326474complete0.0069470.008410880.0starexec-unknownunsat
430515425qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt28318501SPEN22607qf_shidlia326474complete0.0069290.009002070.0starexec-unknownunsat
430515520qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt28318596SPEN22607qf_shidlia326474complete0.0071060.009498020.0starexec-unknownunsat
430515494qf_shid_entl/ls_join_entails_ls.sb.smt28318570SPEN22607qf_shidlia326474complete0.0071250.009252020.0starexec-unknownunsat
430515332qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt28318408SPEN22607qf_shidlia326474complete0.0071490.009401930.0starexec-unknownunsat
430515530qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt28318606SPEN22607qf_shidlia326474complete0.0068160.009175990.0starexec-unknownunsat
430515560qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt28318636SPEN22607qf_shidlia326474complete0.0068980.009781910.0starexec-unknownunsat
430515453qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt28318529SPEN22607qf_shidlia326474complete0.0071310.008805980.0starexec-unknownunsat
430515424qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt28318500SPEN22607qf_shidlia326474complete0.006990.008472930.0starexec-unknownunsat
430515614qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt28318690SPEN22607qf_shidlia326474complete0.0068420.01066690.0starexec-unknownunsat
430515493qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt28318569SPEN22607qf_shidlia326474complete0.0073080.009698980.0starexec-unknownunsat
430515393qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt28318469SPEN22607qf_shidlia326474complete0.0065820.009087070.0starexec-unknownunsat
430515450qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt28318526SPEN22607qf_shidlia326474complete0.007180.0109810.0starexec-unknownunsat
430515563qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt28318639SPEN22607qf_shidlia326474complete0.0067450.008950.0starexec-unknownunsat
430515525qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt28318601SPEN22607qf_shidlia326474complete0.0067670.008811880.0starexec-unknownunsat
430515334qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt28318410SPEN22607qf_shidlia326474complete0.0070550.009772950.0starexec-unknownunsat
430515449qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt28318525SPEN22607qf_shidlia326474complete0.0068480.00888090.0starexec-unknownunsat
430515562qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt28318638SPEN22607qf_shidlia326474complete0.0069760.009661980.0starexec-unknownunsat
430515522qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt28318598SPEN22607qf_shidlia326474complete0.0069260.008784030.0starexec-unknownunsat
430515326qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt28318402SPEN22607qf_shidlia326474complete0.0071240.009528110.0starexec-unknownunsat
430515452qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt28318528SPEN22607qf_shidlia326474complete0.0069980.009369880.0starexec-unknownunsat
430515434qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt28318510SPEN22607qf_shidlia326474complete0.0070370.00877310.0starexec-unknownunsat
430515382qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt28318458SPEN22607qf_shidlia326474complete0.00670.009353950.0starexec-unknownunsat
430515504qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt28318580SPEN22607qf_shidlia326474complete0.0071740.008494920.0starexec-unknownunsat
430515611qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt28318687SPEN22607qf_shidlia326474complete0.0069810.009631050.0starexec-unknownunsat
430515436qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt28318512SPEN22607qf_shidlia326474complete0.0069320.009400030.0starexec-unknownunsat
430515385qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt28318461SPEN22607qf_shidlia326474complete0.0066750.009190030.0starexec-unknownunsat
430515506qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt28318582SPEN22607qf_shidlia326474complete0.006770.01443490.0starexec-unknownunsat
430515608qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt28318684SPEN22607qf_shidlia326474complete0.00710.009419980.0starexec-unknownunsat
430515482qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt28318558SPEN22607qf_shidlia326474complete0.0068060.008826980.0starexec-unknownunsat
430515624qf_shid_entl/ls_odd_entails_ls.sb.smt28318700SPEN22607qf_shidlia326474complete0.0071790.008342010.0starexec-unknownunsat
430515613qf_shid_entl/ls_odd_join_entails_ls.sb.smt28318689SPEN22607qf_shidlia326474complete0.0069320.009546920.0starexec-unknownunsat
430515376qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt28318452SPEN22607qf_shidlia326474complete0.006630.009161030.0starexec-unknownunsat
430515469qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt28318545SPEN22607qf_shidlia326474complete0.0070940.009419080.0starexec-unknownunsat
430515471qf_shid_entl/nll-vc01.smt28318547SPEN22607qf_shidlia326474complete0.0334210.0321309113176.0unsatunsat
430515353qf_shid_entl/nll-vc02.smt28318429SPEN22607qf_shidlia326474complete0.0346660.0334409113176.0unsatunsat
430515397qf_shid_entl/nll-vc03.smt28318473SPEN22607qf_shidlia326474complete0.033940.032629113176.0unsatunsat
430515618qf_shid_entl/nll-vc04.smt28318694SPEN22607qf_shidlia326474complete0.035060.0338011113176.0unsatunsat
430515501qf_shid_entl/nll-vc05.smt28318577SPEN22607qf_shidlia326474complete0.0357960.034529113176.0unsatunsat
430515377qf_shid_entl/nll-vc06.smt28318453SPEN22607qf_shidlia326474complete0.0343190.033049113176.0satsat
430515422qf_shid_entl/nll-vc07.smt28318498SPEN22607qf_shidlia326474complete0.0335840.032295113176.0unsatunsat
430515564qf_shid_entl/nll-vc08.smt28318640SPEN22607qf_shidlia326474complete0.0355770.034358113176.0unsatunsat
430515532qf_shid_entl/nll-vc09.smt28318608SPEN22607qf_shidlia326474complete0.0355070.0342749113176.0unsatunsat
430515561qf_shid_entl/nll-vc10.smt28318637SPEN22607qf_shidlia326474complete0.0350930.033871113176.0unsatunsat
430515527qf_shid_entl/nll-vc11.smt28318603SPEN22607qf_shidlia326474complete0.0359020.0346199113176.0unsatunsat
430515319qf_shid_entl/nll-vc12.smt28318395SPEN22607qf_shidlia326474complete0.0348550.033573113176.0unsatunsat
430515442qf_shid_entl/nll-vc13.smt28318518SPEN22607qf_shidlia326474complete0.0334640.0321639113176.0satsat
430515577qf_shid_entl/nll-vc14.smt28318653SPEN22607qf_shidlia326474complete0.0368630.0355479113176.0satsat
430515542qf_shid_entl/nll-vc15.smt28318618SPEN22607qf_shidlia326474complete0.0332220.031953113176.0satsat
430515339qf_shid_entl/nll-vc16.smt28318415SPEN22607qf_shidlia326474complete0.0346470.0333641113176.0satsat
430515462qf_shid_entl/nll-vc17.smt28318538SPEN22607qf_shidlia326474complete0.038240.036991113176.0unsatsat
430515601qf_shid_entl/nll-vc18.smt28318677SPEN22607qf_shidlia326474complete0.0375950.036314113176.0satsat
430515488qf_shid_entl/nll-vc19.smt28318564SPEN22607qf_shidlia326474complete0.0381010.0368301113176.0satsat
430515419qf_shid_entl/node-dll-rev-dll-entails-dll.smt28318495SPEN22607qf_shidlia326474complete0.0067370.009786040.0starexec-unknownunsat
430515412qf_shid_entl/node-node-dll-entails-dll.smt28318488SPEN22607qf_shidlia326474complete0.0066470.009674010.0starexec-unknownunsat
430515533qf_shid_entl/node-tll-tll-entails-tll.smt28318609SPEN22607qf_shidlia326474complete0.0068330.009245030.0starexec-unknownunsat
430515421qf_shid_entl/odd-lseg3_slk-1.smt28318497SPEN22607qf_shidlia326474complete0.007260.009605050.0starexec-unknownsat
430515616qf_shid_entl/odd-lseg3_slk-2.smt28318692SPEN22607qf_shidlia326474complete0.0069820.008891030.0starexec-unknownunsat
430515503qf_shid_entl/odd-lseg3_slk-3.smt28318579SPEN22607qf_shidlia326474complete0.0071040.009761930.0starexec-unknownunsat
430515356qf_shid_entl/odd-lseg3_slk-4.smt28318432SPEN22607qf_shidlia326474complete0.0067020.009145040.0starexec-unknownsat
430515395qf_shid_entl/odd-lseg3_slk-5.smt28318471SPEN22607qf_shidlia326474complete0.0066910.009026940.0starexec-unknownunsat
430515587qf_shid_entl/odd-lseg3_slk-6.smt28318663SPEN22607qf_shidlia326474complete0.0072330.00919710.0starexec-unknownsat
430515473qf_shid_entl/odd-lseg3_slk-7.smt28318549SPEN22607qf_shidlia326474complete0.0070960.008912080.0starexec-unknownunsat
430515417qf_shid_entl/skl2-vc01.smt28318493SPEN22607qf_shidlia326474complete0.0332820.0319999113176.0unsatunsat
430515620qf_shid_entl/skl2-vc02.smt28318696SPEN22607qf_shidlia326474complete0.0349770.0337329113176.0unsatunsat
430515507qf_shid_entl/skl2-vc03.smt28318583SPEN22607qf_shidlia326474complete0.0354370.0341751113176.0unsatunsat
430515352qf_shid_entl/skl2-vc04.smt28318428SPEN22607qf_shidlia326474complete0.0354560.0341849113176.0unsatunsat
430515394qf_shid_entl/skl2-vc05.smt28318470SPEN22607qf_shidlia326474complete0.0390370.037746113176.0starexec-unknownsat
430515591qf_shid_entl/skl2-vc06.smt28318667SPEN22607qf_shidlia326474complete0.0370370.035827113176.0starexec-unknownsat
430515478qf_shid_entl/skl2-vc07.smt28318554SPEN22607qf_shidlia326474complete0.0390090.0377311113176.0starexec-unknownsat
430515433qf_shid_entl/skl3-vc01.smt28318509SPEN22607qf_shidlia326474complete0.0326740.0313509113176.0unsatunsat
430515630qf_shid_entl/skl3-vc02.smt28318706SPEN22607qf_shidlia326474complete0.0346080.0333659113176.0satsat
430515516qf_shid_entl/skl3-vc03.smt28318592SPEN22607qf_shidlia326474complete0.0352060.0339569113176.0unsatunsat
430515361qf_shid_entl/skl3-vc04.smt28318437SPEN22607qf_shidlia326474complete0.0607790.059527113176.0unsatunsat
430515408qf_shid_entl/skl3-vc05.smt28318484SPEN22607qf_shidlia326474complete0.062540.0612989113176.0unsatunsat
430515602qf_shid_entl/skl3-vc06.smt28318678SPEN22607qf_shidlia326474complete0.0601730.05894113176.0unsatunsat
430515485qf_shid_entl/skl3-vc07.smt28318561SPEN22607qf_shidlia326474complete0.0531160.0519141113176.0unsatunsat
430515340qf_shid_entl/skl3-vc08.smt28318416SPEN22607qf_shidlia326474complete0.0531130.0518831113176.0unsatunsat
430515461qf_shid_entl/skl3-vc09.smt28318537SPEN22607qf_shidlia326474complete0.0537660.0525261113176.0unsatunsat
430515346qf_shid_entl/skl3-vc10.smt28318422SPEN22607qf_shidlia326474complete0.0365090.0353129113176.0unsatunsat
430515470qf_shid_entl/skl3-vc11.smt28318546SPEN22607qf_shidlia326474complete0.0878550.0865889113176.0starexec-unknownsat
430515585qf_shid_entl/skl3-vc12.smt28318661SPEN22607qf_shidlia326474complete0.1168610.115603113176.0satsat
430515463qf_shid_entl/sll-vc01.smt28318539SPEN22607qf_shidlia326474complete0.1825710.181249113176.0unsatsat
430515574qf_shid_entl/sll-vc02.smt28318650SPEN22607qf_shidlia326474complete0.164610.163496113176.0satsat
430515364qf_shid_entl/tll-pp-entails-tll-pp-rev.smt28318440SPEN22607qf_shidlia326474complete0.0070340.009641930.0starexec-unknownunsat
430515568qf_shid_entl/tll-pp-rev-entails-tll-pp.smt28318644SPEN22607qf_shidlia326474complete0.0065320.009085990.0starexec-unknownunsat
430515477qf_shid_entl/tll-ravioli.smt28318553SPEN22607qf_shidlia326474complete0.0066510.008941880.0starexec-unknownunsat
430515609qf_shid_entl/tll_slk-1.smt28318685SPEN22607qf_shidlia326474complete0.0049490.01713290.0starexec-unknownunsat
430515321qf_shid_entl/tll_slk-10.smt28318397SPEN22607qf_shidlia326474complete0.0050770.009495880.0starexec-unknownunsat
430515443qf_shid_entl/tll_slk-11.smt28318519SPEN22607qf_shidlia326474complete0.0050920.009435040.0starexec-unknownunsat
430515554qf_shid_entl/tll_slk-12.smt28318630SPEN22607qf_shidlia326474complete0.0051820.009411070.0starexec-unknownunsat
430515521qf_shid_entl/tll_slk-13.smt28318597SPEN22607qf_shidlia326474complete0.0055510.01606790.0starexec-unknownunsat
430515414qf_shid_entl/tll_slk-2.smt28318490SPEN22607qf_shidlia326474complete0.0051950.00933810.0starexec-unknownunsat
430515373qf_shid_entl/tll_slk-3.smt28318449SPEN22607qf_shidlia326474complete0.0052370.00961910.0starexec-unknownunsat
430515481qf_shid_entl/tll_slk-4.smt28318557SPEN22607qf_shidlia326474complete0.0049840.00966210.0starexec-unknownunsat
430515594qf_shid_entl/tll_slk-5.smt28318670SPEN22607qf_shidlia326474complete0.0049750.0106220.0starexec-unknownunsat
430515403qf_shid_entl/tll_slk-6.smt28318479SPEN22607qf_shidlia326474complete0.0050160.009448080.0starexec-unknownunsat
430515360qf_shid_entl/tll_slk-7.smt28318436SPEN22607qf_shidlia326474complete0.0050770.0090260.0starexec-unknownunsat
430515547qf_shid_entl/tll_slk-8.smt28318623SPEN22607qf_shidlia326474complete0.0050740.008861030.0starexec-unknownunsat
430515580qf_shid_entl/tll_slk-9.smt28318656SPEN22607qf_shidlia326474complete0.0049170.009073980.0starexec-unknownunsat
430515626qf_shid_entl/tree-pp-entails-tree-pp-rev.smt28318702SPEN22607qf_shidlia326474complete0.0069050.008564880.0starexec-unknownunsat
430515466qf_shid_entl/tree-pp-rev-entails-tree-pp.smt28318542SPEN22607qf_shidlia326474complete0.0070390.008974880.0starexec-unknownunsat
430515472qf_shid_entl/tseg_join_2.sb.smt28318548SPEN22607qf_shidlia326474complete0.0052030.009411010.0starexec-unknownunsat
430515402qf_shid_entl/tseg_join_2_entail_tree.sb.smt28318478SPEN22607qf_shidlia326474complete0.0050270.009217090.0starexec-unknownunsat
430515327qf_shid_entl/tseg_join_tree.sb.smt28318403SPEN22607qf_shidlia326474complete0.0051520.009632970.0starexec-unknownunsat
430515583qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt28318659SPEN22607qf_shidlia326474complete0.0052330.009500980.0starexec-unknownunsat