pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430513128qf_shid_sat/abduced00.defs.smt28318320Songbird v220617songbird.sh304292complete0.0267790.081136113176.0satsat
430513124qf_shid_sat/abduced01.defs.smt28318316Songbird v220617songbird.sh304292complete0.0256230.078929113176.0satsat
430513121qf_shid_sat/abduced02.defs.smt28318313Songbird v220617songbird.sh304292complete0.0235090.0784909113176.0satsat
430513120qf_shid_sat/abduced03.defs.smt28318312Songbird v220617songbird.sh304292complete0.0301920.0844359113176.0satsat
430513116qf_shid_sat/abduced04.defs.smt28318308Songbird v220617songbird.sh304292complete0.0287860.082463113176.0satsat
430513108qf_shid_sat/abduced05.defs.smt28318300Songbird v220617songbird.sh304292complete0.0326520.0868039113176.0satsat
430513106qf_shid_sat/abduced06.defs.smt28318298Songbird v220617songbird.sh304292complete0.0328650.0870959113176.0satsat
430513105qf_shid_sat/abduced07.defs.smt28318297Songbird v220617songbird.sh304292complete0.0355370.0897431113176.0satsat
430513142qf_shid_sat/abduced08.defs.smt28318334Songbird v220617songbird.sh304292complete0.0329440.0871131113176.0satsat
430513147qf_shid_sat/abduced09.defs.smt28318339Songbird v220617songbird.sh304292complete0.0321990.0864259113176.0satsat
430513183qf_shid_sat/abduced10.defs.smt28318375Songbird v220617songbird.sh304292complete0.0321420.08646113176.0satsat
430513185qf_shid_sat/abduced11.defs.smt28318377Songbird v220617songbird.sh304292complete0.0326730.087448113176.0satsat
430513174qf_shid_sat/abduced12.defs.smt28318366Songbird v220617songbird.sh304292complete0.0323580.0872599113176.0satsat
430513177qf_shid_sat/abduced13.defs.smt28318369Songbird v220617songbird.sh304292complete0.0313850.0856101113176.0satsat
430513198qf_shid_sat/abduced14.defs.smt28318390Songbird v220617songbird.sh304292complete0.0314580.0855949113176.0satsat
430513202qf_shid_sat/abduced15.defs.smt28318394Songbird v220617songbird.sh304292complete0.0326230.08675113176.0satsat
430513192qf_shid_sat/abduced16.defs.smt28318384Songbird v220617songbird.sh304292complete0.0302520.0846499113176.0satsat
430513195qf_shid_sat/abduced17.defs.smt28318387Songbird v220617songbird.sh304292complete0.0290910.0841299113176.0satsat
430513158qf_shid_sat/abduced18.defs.smt28318350Songbird v220617songbird.sh304292complete0.0285810.08227113176.0satsat
430513156qf_shid_sat/abduced19.defs.smt28318348Songbird v220617songbird.sh304292complete0.0293250.083723113176.0satsat
430513146qf_shid_sat/atll-01.smt28318338Songbird v220617songbird.sh304292complete0.023870.177439113176.0satsat
430513188qf_shid_sat/atll-02.smt28318380Songbird v220617songbird.sh304292complete241.42241.516430816.0starexec-unknownunsat
430513169qf_shid_sat/atll-03.smt28318361Songbird v220617songbird.sh304292complete0.0221390.17448113176.0unsatunsat
430513140qf_shid_sat/dll-01.smt28318332Songbird v220617songbird.sh304292complete10.2610.2999217576.0unsatunsat
430513179qf_shid_sat/dll-02.smt28318371Songbird v220617songbird.sh304292complete14.6214.6978280072.0unsatunsat
430513161qf_shid_sat/dll-03.smt28318353Songbird v220617songbird.sh304292complete0.0372850.0579789113176.0satsat
430513113qf_shid_sat/dll-04.smt28318305Songbird v220617songbird.sh304292complete258.74258.763242696.0starexec-unknownunsat
430513148qf_shid_sat/dll-05.smt28318340Songbird v220617songbird.sh304292complete312.23312.308253780.0starexec-unknownsat
430513189qf_shid_sat/dll-06.smt28318381Songbird v220617songbird.sh304292complete219.18219.275763168.0starexec-unknownunsat
430513155qf_shid_sat/dltree-01.smt28318347Songbird v220617songbird.sh304292complete0.0279230.0549929113176.0satsat
430513178qf_shid_sat/inconsistent-ls-of-ls.defs.smt28318370Songbird v220617songbird.sh304292complete10.6410.6581218100.0unsatunsat
430513166qf_shid_sat/lasso-01.smt28318358Songbird v220617songbird.sh304292complete10.4710.558211108.0satsat
430513112qf_shid_sat/lasso-02.smt28318304Songbird v220617songbird.sh304292complete0.0111520.0237299113176.0unsatunsat
430513143qf_shid_sat/lasso-03.smt28318335Songbird v220617songbird.sh304292complete0.0123770.025847113176.0unsatunsat
430513173qf_shid_sat/lasso-04.smt28318365Songbird v220617songbird.sh304292complete0.017540.0305601113176.0unsatunsat
430513159qf_shid_sat/lasso-05.smt28318351Songbird v220617songbird.sh304292complete28.1728.1983337660.0satsat
430513186qf_shid_sat/lss-03-01.smt28318378Songbird v220617songbird.sh304292complete35.8435.9197295492.0unsatunsat
430513149qf_shid_sat/lss-03-02.smt28318341Songbird v220617songbird.sh304292complete10.4910.588210676.0unsatunsat
430513114qf_shid_sat/lss-03-03.smt28318306Songbird v220617songbird.sh304292complete10.1910.2747252740.0unsatunsat
430513144qf_shid_sat/lss-04-01.smt28318336Songbird v220617songbird.sh304292complete0.0174580.026765113176.0satsat
430513184qf_shid_sat/lss-04-02.smt28318376Songbird v220617songbird.sh304292complete0.0203180.030076113176.0satsat
430513167qf_shid_sat/lss-04-03.smt28318359Songbird v220617songbird.sh304292complete91.191.1312324620.0unsatunsat
430513109qf_shid_sat/lss-05-01.smt28318301Songbird v220617songbird.sh304292complete180.54180.551378680.0starexec-unknownsat
430513163qf_shid_sat/lss-05-02.smt28318355Songbird v220617songbird.sh304292complete181.31181.341409568.0starexec-unknownsat
430513182qf_shid_sat/lss-05-03.smt28318374Songbird v220617songbird.sh304292complete180.04180.091388700.0starexec-unknownsat
430513134qf_shid_sat/ncll-01.smt28318326Songbird v220617songbird.sh304292complete0.0121180.024642113176.0satsat
430513123qf_shid_sat/nll-01.smt28318315Songbird v220617songbird.sh304292complete0.0115940.024738113176.0satsat
430513139qf_shid_sat/sll2h-01.smt28318331Songbird v220617songbird.sh304292complete0.0126740.025682113176.0satsat
430513197qf_shid_sat/succ-circuit01.defs.smt28318389Songbird v220617songbird.sh304292complete0.0192040.102146113176.0satsat
430513194qf_shid_sat/succ-circuit02.defs.smt28318386Songbird v220617songbird.sh304292complete0.0834370.179824113176.0satsat
430513193qf_shid_sat/succ-circuit03.defs.smt28318385Songbird v220617songbird.sh304292complete34.5334.538616940.0satsat
430513187qf_shid_sat/succ-circuit04.defs.smt28318379Songbird v220617songbird.sh304292complete189.69189.5022252580.0starexec-unknownsat
430513181qf_shid_sat/succ-circuit05.defs.smt28318373Songbird v220617songbird.sh304292complete182.52182.3833341564.0starexec-unknownsat
430513176qf_shid_sat/succ-circuit06.defs.smt28318368Songbird v220617songbird.sh304292complete184.39184.2783815036.0starexec-unknownsat
430513175qf_shid_sat/succ-circuit07.defs.smt28318367Songbird v220617songbird.sh304292complete182.97182.8893814620.0starexec-unknownsat
430513164qf_shid_sat/succ-circuit08.defs.smt28318356Songbird v220617songbird.sh304292complete185.1185.0823341156.0starexec-unknownsat
430513170qf_shid_sat/succ-circuit09.defs.smt28318362Songbird v220617songbird.sh304292complete188.67188.7043341156.0starexec-unknownsat
430513110qf_shid_sat/succ-circuit10.defs.smt28318302Songbird v220617songbird.sh304292complete194.31194.3062251912.0starexec-unknownsat
430513115qf_shid_sat/succ-circuit11.defs.smt28318307Songbird v220617songbird.sh304292complete755.33755.453616256.0starexec-unknownsat
430513104qf_shid_sat/succ-circuit12.defs.smt28318296Songbird v220617songbird.sh304292timeout (wallclock)2399.682400.04616356.0starexec-unknownsat
430513107qf_shid_sat/succ-circuit13.defs.smt28318299Songbird v220617songbird.sh304292timeout (wallclock)2399.952400.09558188.0starexec-unknownsat
430513126qf_shid_sat/succ-circuit14.defs.smt28318318Songbird v220617songbird.sh304292timeout (wallclock)2399.732400.03463608.0starexec-unknownsat
430513127qf_shid_sat/succ-circuit15.defs.smt28318319Songbird v220617songbird.sh304292timeout (wallclock)2399.982400.04391080.0starexec-unknownsat
430513119qf_shid_sat/succ-circuit16.defs.smt28318311Songbird v220617songbird.sh304292timeout (wallclock)2399.952400.02362180.0starexec-unknownsat
430513122qf_shid_sat/succ-circuit17.defs.smt28318314Songbird v220617songbird.sh304292timeout (wallclock)2399.832400.03362220.0starexec-unknownsat
430513137qf_shid_sat/succ-circuit18.defs.smt28318329Songbird v220617songbird.sh304292timeout (wallclock)2399.862400.11337088.0starexec-unknownsat
430513135qf_shid_sat/succ-circuit19.defs.smt28318327Songbird v220617songbird.sh304292timeout (wallclock)2399.952400.02315260.0starexec-unknownsat
430513168qf_shid_sat/succ-circuit20.defs.smt28318360Songbird v220617songbird.sh304292timeout (wallclock)2399.852400.03337176.0starexec-unknownsat
430513171qf_shid_sat/succ-rec01.defs.smt28318363Songbird v220617songbird.sh304292complete0.0190820.10356113176.0satsat
430513160qf_shid_sat/succ-rec02.defs.smt28318352Songbird v220617songbird.sh304292complete0.0360920.125033113176.0satsat
430513162qf_shid_sat/succ-rec03.defs.smt28318354Songbird v220617songbird.sh304292complete0.1533280.252551113176.0satsat
430513154qf_shid_sat/succ-rec04.defs.smt28318346Songbird v220617songbird.sh304292complete0.760.858139186000.0satsat
430513157qf_shid_sat/succ-rec05.defs.smt28318349Songbird v220617songbird.sh304292complete4.34.37746241120.0satsat
430513151qf_shid_sat/succ-rec06.defs.smt28318343Songbird v220617songbird.sh304292complete180.65180.4411542296.0starexec-unknownsat
430513153qf_shid_sat/succ-rec07.defs.smt28318345Songbird v220617songbird.sh304292complete181.01180.831542456.0starexec-unknownsat
430513200qf_shid_sat/succ-rec08.defs.smt28318392Songbird v220617songbird.sh304292complete181.43181.2481747312.0starexec-unknownsat
430513196qf_shid_sat/succ-rec09.defs.smt28318388Songbird v220617songbird.sh304292complete181.32181.1741747256.0starexec-unknownsat
430513136qf_shid_sat/succ-rec10.defs.smt28318328Songbird v220617songbird.sh304292complete180.44180.3341368444.0starexec-unknownsat
430513132qf_shid_sat/succ-rec11.defs.smt28318324Songbird v220617songbird.sh304292complete748.78748.806391120.0starexec-unknownsat
430513131qf_shid_sat/succ-rec12.defs.smt28318323Songbird v220617songbird.sh304292timeout (wallclock)2399.952400.03391152.0starexec-unknownsat
430513130qf_shid_sat/succ-rec13.defs.smt28318322Songbird v220617songbird.sh304292timeout (wallclock)2399.952400.03391156.0starexec-unknownsat
430513150qf_shid_sat/succ-rec14.defs.smt28318342Songbird v220617songbird.sh304292timeout (wallclock)2399.932400.03405528.0starexec-unknownsat
430513145qf_shid_sat/succ-rec15.defs.smt28318337Songbird v220617songbird.sh304292timeout (wallclock)2399.942400.02424420.0starexec-unknownsat
430513141qf_shid_sat/succ-rec16.defs.smt28318333Songbird v220617songbird.sh304292timeout (wallclock)2399.842400.04424428.0starexec-unknownsat
430513138qf_shid_sat/succ-rec17.defs.smt28318330Songbird v220617songbird.sh304292timeout (wallclock)2399.952400.02424444.0starexec-unknownsat
430513111qf_shid_sat/succ-rec18.defs.smt28318303Songbird v220617songbird.sh304292timeout (wallclock)2399.792400.03424480.0starexec-unknownsat
430513117qf_shid_sat/succ-rec19.defs.smt28318309Songbird v220617songbird.sh304292timeout (wallclock)2399.812400.04424488.0starexec-unknownsat
430513201qf_shid_sat/succ-rec20.defs.smt28318393Songbird v220617songbird.sh304292timeout (wallclock)2399.92400.09424552.0starexec-unknownsat
430513199qf_shid_sat/tll-01.smt28318391Songbird v220617songbird.sh304292complete0.0138880.0279151113176.0satsat
430513133qf_shid_sat/tll-02.smt28318325Songbird v220617songbird.sh304292complete30.293230.3676295724.0unsatunsat
430513125qf_shid_sat/tll-03.smt28318317Songbird v220617songbird.sh304292complete0.0132080.027434113176.0satsat
430513152qf_shid_sat/tll-04.smt28318344Songbird v220617songbird.sh304292complete0.0217650.0360749113176.0satsat
430513191qf_shid_sat/tll-05.smt28318383Songbird v220617songbird.sh304292complete0.026190.041666113176.0satsat
430513129qf_shid_sat/tll-06.smt28318321Songbird v220617songbird.sh304292complete0.012560.025927113176.0unsatunsat
430513118qf_shid_sat/tll-07.smt28318310Songbird v220617songbird.sh304292complete0.0531040.0714861113176.0satsat
430513172qf_shid_sat/tll-08.smt28318364Songbird v220617songbird.sh304292complete0.0137580.027959113176.0unsatunsat
430513190qf_shid_sat/tll-09.smt28318382Songbird v220617songbird.sh304292complete0.0168230.0308001113176.0unsatunsat
430513165qf_shid_sat/tll-10.smt28318357Songbird v220617songbird.sh304292complete2.734582.80438204364.0satsat
430513180qf_shid_sat/tree-01.smt28318372Songbird v220617songbird.sh304292complete0.0124570.0252781113176.0satsat