pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430512630qf_shlid_entl/dll-vc01.smt28318278Songbird v220617songbird.sh304292complete0.024070.0513941113176.0unsatunsat
430512588qf_shlid_entl/dll-vc02.smt28318236Songbird v220617songbird.sh304292complete0.0244660.0514549113176.0unsatunsat
430512612qf_shlid_entl/dll-vc03.smt28318260Songbird v220617songbird.sh304292complete0.033030.067673113176.0unsatunsat
430512636qf_shlid_entl/dll-vc04.smt28318284Songbird v220617songbird.sh304292complete0.0161120.0332169113176.0satsat
430512632qf_shlid_entl/dll-vc05.smt28318280Songbird v220617songbird.sh304292complete19.7919.7751196956.0unsatunsat
430512593qf_shlid_entl/dll-vc06.smt28318241Songbird v220617songbird.sh304292complete0.031350.0687113176.0satsat
430512617qf_shlid_entl/dll-vc07.smt28318265Songbird v220617songbird.sh304292complete4.554.57222175800.0unsatunsat
430512641qf_shlid_entl/dll-vc08.smt28318289Songbird v220617songbird.sh304292complete0.0320690.0613919113176.0satsat
430512623qf_shlid_entl/dll-vc09.smt28318271Songbird v220617songbird.sh304292complete0.0558270.116147113176.0unsatunsat
430512639qf_shlid_entl/dll-vc10.smt28318287Songbird v220617songbird.sh304292complete0.0298770.0547899113176.0satsat
430512620qf_shlid_entl/dll-vc11.smt28318268Songbird v220617songbird.sh304292complete181.93181.811365652.0starexec-unknownunsat
430512595qf_shlid_entl/dll-vc12.smt28318243Songbird v220617songbird.sh304292complete0.02660.0583309113176.0satsat
430512603qf_shlid_entl/dll-vc13.smt28318251Songbird v220617songbird.sh304292complete0.0187190.0392509113176.0satsat
430512645qf_shlid_entl/dll-vc14.smt28318293Songbird v220617songbird.sh304292complete0.0190680.042178113176.0satsat
430512627qf_shlid_entl/dll-vc15.smt28318275Songbird v220617songbird.sh304292complete0.019940.0414701113176.0unsatunsat
430512600qf_shlid_entl/dll-vc16.smt28318248Songbird v220617songbird.sh304292complete0.0360330.067472113176.0satsat
430512609qf_shlid_entl/dll-vc17.smt28318257Songbird v220617songbird.sh304292complete183.09183.114268688.0starexec-unknownunsat
430512621qf_shlid_entl/lss-vc01.smt28318269Songbird v220617songbird.sh304292complete0.0161720.0329239113176.0unsatunsat
430512597qf_shlid_entl/lss-vc02.smt28318245Songbird v220617songbird.sh304292complete0.0221420.0431971113176.0unsatunsat
430512606qf_shlid_entl/lss-vc03.smt28318254Songbird v220617songbird.sh304292complete0.1145920.210482113176.0unsatunsat
430512598qf_shlid_entl/nll-vc01.smt28318246Songbird v220617songbird.sh304292complete0.0699070.10858113176.0unsatunsat
430512625qf_shlid_entl/nll-vc02.smt28318273Songbird v220617songbird.sh304292complete0.0698950.109092113176.0unsatunsat
430512642qf_shlid_entl/nll-vc03.smt28318290Songbird v220617songbird.sh304292complete0.680.726479175812.0unsatunsat
430512610qf_shlid_entl/nll-vc04.smt28318258Songbird v220617songbird.sh304292complete5.195.19227232144.0unsatunsat
430512602qf_shlid_entl/nll-vc05.smt28318250Songbird v220617songbird.sh304292complete5.115.08129231676.0unsatunsat
430512629qf_shlid_entl/nll-vc06.smt28318277Songbird v220617songbird.sh304292complete0.024950.048972113176.0satsat
430512646qf_shlid_entl/nll-vc07.smt28318294Songbird v220617songbird.sh304292complete7.37.30271252596.0unsatunsat
430512614qf_shlid_entl/nll-vc08.smt28318262Songbird v220617songbird.sh304292complete13.8313.7206315748.0unsatunsat
430512590qf_shlid_entl/nll-vc09.smt28318238Songbird v220617songbird.sh304292complete6.216.19238241604.0unsatunsat
430512615qf_shlid_entl/nll-vc10.smt28318263Songbird v220617songbird.sh304292complete6.956.90511252512.0unsatunsat
430512591qf_shlid_entl/nll-vc11.smt28318239Songbird v220617songbird.sh304292complete5.025.08965231812.0unsatunsat
430512631qf_shlid_entl/nll-vc12.smt28318279Songbird v220617songbird.sh304292complete3.423.47165216172.0unsatunsat
430512635qf_shlid_entl/nll-vc13.smt28318283Songbird v220617songbird.sh304292complete0.0218470.041109113176.0satsat
430512618qf_shlid_entl/nll-vc14.smt28318266Songbird v220617songbird.sh304292complete0.0397420.0704301113176.0satsat
430512594qf_shlid_entl/nll-vc15.smt28318242Songbird v220617songbird.sh304292complete0.0215710.038837113176.0satsat
430512633qf_shlid_entl/nll-vc16.smt28318281Songbird v220617songbird.sh304292complete0.0231250.0429029113176.0satsat
430512638qf_shlid_entl/nll-vc17.smt28318286Songbird v220617songbird.sh304292complete212.47211.643304812.0starexec-unknownsat
430512604qf_shlid_entl/nll-vc18.smt28318252Songbird v220617songbird.sh304292complete0.055040.0836171113176.0satsat
430512596qf_shlid_entl/nll-vc19.smt28318244Songbird v220617songbird.sh304292complete0.0686040.0995761113176.0satsat
430512607qf_shlid_entl/skl2-vc01.smt28318255Songbird v220617songbird.sh304292complete0.0206970.0378629113176.0unsatunsat
430512643qf_shlid_entl/skl2-vc02.smt28318291Songbird v220617songbird.sh304292complete0.0292610.0488441113176.0unsatunsat
430512624qf_shlid_entl/skl2-vc03.smt28318272Songbird v220617songbird.sh304292complete6.036.02822243552.0unsatunsat
430512601qf_shlid_entl/skl2-vc04.smt28318249Songbird v220617songbird.sh304292complete0.191210.308409113176.0unsatunsat
430512611qf_shlid_entl/skl2-vc05.smt28318259Songbird v220617songbird.sh304292complete191.37191.158325692.0starexec-unknownsat
430512647qf_shlid_entl/skl2-vc06.smt28318295Songbird v220617songbird.sh304292complete0.0609370.098421113176.0satsat
430512628qf_shlid_entl/skl2-vc07.smt28318276Songbird v220617songbird.sh304292complete0.0698770.107762113176.0satsat
430512605qf_shlid_entl/skl3-vc01.smt28318253Songbird v220617songbird.sh304292complete0.0370650.0562711113176.0unsatunsat
430512640qf_shlid_entl/skl3-vc02.smt28318288Songbird v220617songbird.sh304292complete284.47283.9083055104.0starexec-unknownsat
430512622qf_shlid_entl/skl3-vc03.smt28318270Songbird v220617songbird.sh304292complete6.516.48559241336.0unsatunsat
430512599qf_shlid_entl/skl3-vc04.smt28318247Songbird v220617songbird.sh304292complete373.99373.0092684772.0starexec-unknownunsat
430512608qf_shlid_entl/skl3-vc05.smt28318256Songbird v220617songbird.sh304292complete375.27374.5752693008.0starexec-unknownunsat
430512644qf_shlid_entl/skl3-vc06.smt28318292Songbird v220617songbird.sh304292complete373.1372.3032684768.0starexec-unknownunsat
430512626qf_shlid_entl/skl3-vc07.smt28318274Songbird v220617songbird.sh304292complete5.565.59681279196.0unsatunsat
430512592qf_shlid_entl/skl3-vc08.smt28318240Songbird v220617songbird.sh304292complete5.569935.64272264796.0unsatunsat
430512616qf_shlid_entl/skl3-vc09.smt28318264Songbird v220617songbird.sh304292complete5.585.60788264796.0unsatunsat
430512589qf_shlid_entl/skl3-vc10.smt28318237Songbird v220617songbird.sh304292complete5.325.31297252268.0unsatunsat
430512613qf_shlid_entl/skl3-vc11.smt28318261Songbird v220617songbird.sh304292complete478.71477.92373800.0starexec-unknownsat
430512634qf_shlid_entl/skl3-vc12.smt28318282Songbird v220617songbird.sh304292complete0.3899320.465415113176.0satsat
430512637qf_shlid_entl/sll-vc01.smt28318285Songbird v220617songbird.sh304292complete207.88206.8287654580.0starexec-unknownsat
430512619qf_shlid_entl/sll-vc02.smt28318267Songbird v220617songbird.sh304292complete1.921.93413204484.0satsat