pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430495834qf_shls_entl/bolognesa-10-e01.tptp.smt28317378Songbird v220617songbird.sh304292complete0.1834790.285658113176.0satsat
430495825qf_shls_entl/bolognesa-10-e02.tptp.smt28317369Songbird v220617songbird.sh304292complete1.841.89376191808.0unsatunsat
430495815qf_shls_entl/bolognesa-10-e03.tptp.smt28317359Songbird v220617songbird.sh304292complete5.365.40034241252.0unsatunsat
430495797qf_shls_entl/bolognesa-10-e04.tptp.smt28317341Songbird v220617songbird.sh304292complete0.120440.177672113176.0satsat
430495792qf_shls_entl/bolognesa-10-e05.tptp.smt28317336Songbird v220617songbird.sh304292complete0.1053480.150284113176.0satsat
430495783qf_shls_entl/bolognesa-10-e06.tptp.smt28317327Songbird v220617songbird.sh304292complete0.0674410.103817113176.0satsat
430495772qf_shls_entl/bolognesa-10-e07.tptp.smt28317316Songbird v220617songbird.sh304292complete0.1400850.222014113176.0satsat
430495893qf_shls_entl/bolognesa-10-e08.tptp.smt28317437Songbird v220617songbird.sh304292complete0.0874660.163324113176.0satsat
430495901qf_shls_entl/bolognesa-10-e09.tptp.smt28317445Songbird v220617songbird.sh304292complete0.1558180.25297113176.0satsat
430495718qf_shls_entl/bolognesa-10-e10.tptp.smt28317262Songbird v220617songbird.sh304292complete5.325.29773252028.0unsatunsat
430495707qf_shls_entl/bolognesa-11-e01.tptp.smt28317251Songbird v220617songbird.sh304292complete5.285.29923241236.0unsatunsat
430495737qf_shls_entl/bolognesa-11-e02.tptp.smt28317281Songbird v220617songbird.sh304292complete5.295.32199231804.0unsatunsat
430495726qf_shls_entl/bolognesa-11-e03.tptp.smt28317270Songbird v220617songbird.sh304292complete5.465.45621252044.0unsatunsat
430495745qf_shls_entl/bolognesa-11-e04.tptp.smt28317289Songbird v220617songbird.sh304292complete4.694.68265252008.0unsatunsat
430495740qf_shls_entl/bolognesa-11-e05.tptp.smt28317284Songbird v220617songbird.sh304292complete0.1003110.171255113176.0satsat
430495765qf_shls_entl/bolognesa-11-e06.tptp.smt28317309Songbird v220617songbird.sh304292complete0.1495930.214734113176.0satsat
430495754qf_shls_entl/bolognesa-11-e07.tptp.smt28317298Songbird v220617songbird.sh304292complete3.643.62521216008.0unsatunsat
430495615qf_shls_entl/bolognesa-11-e08.tptp.smt28317159Songbird v220617songbird.sh304292complete5.345.31752223308.0unsatunsat
430495625qf_shls_entl/bolognesa-11-e09.tptp.smt28317169Songbird v220617songbird.sh304292complete2.942.95666209796.0unsatunsat
430495807qf_shls_entl/bolognesa-11-e10.tptp.smt28317351Songbird v220617songbird.sh304292complete0.1603090.237825113176.0satsat
430495849qf_shls_entl/bolognesa-12-e01.tptp.smt28317393Songbird v220617songbird.sh304292complete5.585.57426252024.0unsatunsat
430495871qf_shls_entl/bolognesa-12-e02.tptp.smt28317415Songbird v220617songbird.sh304292complete0.163240.251911113176.0satsat
430495863qf_shls_entl/bolognesa-12-e03.tptp.smt28317407Songbird v220617songbird.sh304292complete0.2062420.25742113176.0satsat
430495882qf_shls_entl/bolognesa-12-e04.tptp.smt28317426Songbird v220617songbird.sh304292complete0.1771740.286178113176.0satsat
430495873qf_shls_entl/bolognesa-12-e05.tptp.smt28317417Songbird v220617songbird.sh304292complete3.463.48162216028.0unsatunsat
430495904qf_shls_entl/bolognesa-12-e06.tptp.smt28317448Songbird v220617songbird.sh304292complete2.462.51062195508.0unsatunsat
430495895qf_shls_entl/bolognesa-12-e07.tptp.smt28317439Songbird v220617songbird.sh304292complete0.1169920.178487113176.0satsat
430495774qf_shls_entl/bolognesa-12-e08.tptp.smt28317318Songbird v220617songbird.sh304292complete5.635.64036231684.0unsatunsat
430495784qf_shls_entl/bolognesa-12-e09.tptp.smt28317328Songbird v220617songbird.sh304292complete6.256.25221225488.0unsatunsat
430495658qf_shls_entl/bolognesa-12-e10.tptp.smt28317202Songbird v220617songbird.sh304292complete5.45.38569231776.0unsatunsat
430495687qf_shls_entl/bolognesa-13-e01.tptp.smt28317231Songbird v220617songbird.sh304292complete5.835.7934241148.0unsatunsat
430495673qf_shls_entl/bolognesa-13-e02.tptp.smt28317217Songbird v220617songbird.sh304292complete0.2387640.385689113176.0satsat
430495662qf_shls_entl/bolognesa-13-e03.tptp.smt28317206Songbird v220617songbird.sh304292complete5.685.688231804.0unsatunsat
430495644qf_shls_entl/bolognesa-13-e04.tptp.smt28317188Songbird v220617songbird.sh304292complete0.1729320.275163113176.0satsat
430495637qf_shls_entl/bolognesa-13-e05.tptp.smt28317181Songbird v220617songbird.sh304292complete0.2033230.319045113176.0satsat
430495630qf_shls_entl/bolognesa-13-e06.tptp.smt28317174Songbird v220617songbird.sh304292complete0.1681750.257401113176.0satsat
430495617qf_shls_entl/bolognesa-13-e07.tptp.smt28317161Songbird v220617songbird.sh304292complete5.555.5977252024.0unsatunsat
430495756qf_shls_entl/bolognesa-13-e08.tptp.smt28317300Songbird v220617songbird.sh304292complete5.475.50703223328.0unsatunsat
430495766qf_shls_entl/bolognesa-13-e09.tptp.smt28317310Songbird v220617songbird.sh304292complete0.141110.240056113176.0satsat
430495859qf_shls_entl/bolognesa-13-e10.tptp.smt28317403Songbird v220617songbird.sh304292complete0.2233760.26681113176.0satsat
430495721qf_shls_entl/bolognesa-14-e01.tptp.smt28317265Songbird v220617songbird.sh304292complete6.356.3339218348.0unsatunsat
430495713qf_shls_entl/bolognesa-14-e02.tptp.smt28317257Songbird v220617songbird.sh304292complete5.535.57178223296.0unsatunsat
430495698qf_shls_entl/bolognesa-14-e03.tptp.smt28317242Songbird v220617songbird.sh304292complete5.835.84823252144.0unsatunsat
430495767qf_shls_entl/bolognesa-14-e04.tptp.smt28317311Songbird v220617songbird.sh304292complete5.735.74633241252.0unsatunsat
430495760qf_shls_entl/bolognesa-14-e05.tptp.smt28317304Songbird v220617songbird.sh304292complete0.2848680.400449113176.0satsat
430495752qf_shls_entl/bolognesa-14-e06.tptp.smt28317296Songbird v220617songbird.sh304292complete5.985.9875252152.0unsatunsat
430495742qf_shls_entl/bolognesa-14-e07.tptp.smt28317286Songbird v220617songbird.sh304292complete5.825.81883241248.0unsatunsat
430495642qf_shls_entl/bolognesa-14-e08.tptp.smt28317186Songbird v220617songbird.sh304292complete7.157.17779266792.0unsatunsat
430495648qf_shls_entl/bolognesa-14-e09.tptp.smt28317192Songbird v220617songbird.sh304292complete6.036.04922252120.0unsatunsat
430495831qf_shls_entl/bolognesa-14-e10.tptp.smt28317375Songbird v220617songbird.sh304292complete0.3377480.449748113176.0satsat
430495812qf_shls_entl/bolognesa-15-e01.tptp.smt28317356Songbird v220617songbird.sh304292complete5.955.9311241240.0unsatunsat
430495838qf_shls_entl/bolognesa-15-e02.tptp.smt28317382Songbird v220617songbird.sh304292complete9.584845.9107264644.0unsatunsat
430495827qf_shls_entl/bolognesa-15-e03.tptp.smt28317371Songbird v220617songbird.sh304292complete0.2644950.366732113176.0satsat
430495786qf_shls_entl/bolognesa-15-e04.tptp.smt28317330Songbird v220617songbird.sh304292complete15.7115.7228270360.0unsatunsat
430495778qf_shls_entl/bolognesa-15-e05.tptp.smt28317322Songbird v220617songbird.sh304292complete6.856.82492266784.0unsatunsat
430495805qf_shls_entl/bolognesa-15-e06.tptp.smt28317349Songbird v220617songbird.sh304292complete9.969.93924282472.0unsatunsat
430495793qf_shls_entl/bolognesa-15-e07.tptp.smt28317337Songbird v220617songbird.sh304292complete6.786.78932243412.0unsatunsat
430495880qf_shls_entl/bolognesa-15-e08.tptp.smt28317424Songbird v220617songbird.sh304292complete0.2784680.362719113176.0satsat
430495885qf_shls_entl/bolognesa-15-e09.tptp.smt28317429Songbird v220617songbird.sh304292complete0.830.861332195272.0satsat
430495702qf_shls_entl/bolognesa-15-e10.tptp.smt28317246Songbird v220617songbird.sh304292complete6.576.54601243484.0unsatunsat
430495660qf_shls_entl/bolognesa-16-e01.tptp.smt28317204Songbird v220617songbird.sh304292complete6.096.11927252136.0unsatunsat
430495690qf_shls_entl/bolognesa-16-e02.tptp.smt28317234Songbird v220617songbird.sh304292complete0.840.864158185912.0satsat
430495677qf_shls_entl/bolognesa-16-e03.tptp.smt28317221Songbird v220617songbird.sh304292complete0.780.81792185916.0satsat
430495631qf_shls_entl/bolognesa-16-e04.tptp.smt28317175Songbird v220617songbird.sh304292complete0.3291670.529804113176.0satsat
430495619qf_shls_entl/bolognesa-16-e05.tptp.smt28317163Songbird v220617songbird.sh304292complete6.956.92342252132.0unsatunsat
430495654qf_shls_entl/bolognesa-16-e06.tptp.smt28317198Songbird v220617songbird.sh304292complete0.2797730.429016113176.0satsat
430495643qf_shls_entl/bolognesa-16-e07.tptp.smt28317187Songbird v220617songbird.sh304292complete9.849.79553268044.0unsatunsat
430495744qf_shls_entl/bolognesa-16-e08.tptp.smt28317288Songbird v220617songbird.sh304292complete23.3723.3309287340.0unsatunsat
430495753qf_shls_entl/bolognesa-16-e09.tptp.smt28317297Songbird v220617songbird.sh304292complete6.056.07794231800.0unsatunsat
430495848qf_shls_entl/bolognesa-16-e10.tptp.smt28317392Songbird v220617songbird.sh304292complete0.610.620305183572.0satsat
430495862qf_shls_entl/bolognesa-17-e01.tptp.smt28317406Songbird v220617songbird.sh304292complete6.796.78286279088.0unsatunsat
430495851qf_shls_entl/bolognesa-17-e02.tptp.smt28317395Songbird v220617songbird.sh304292complete0.610.704941183572.0satsat
430495842qf_shls_entl/bolognesa-17-e03.tptp.smt28317386Songbird v220617songbird.sh304292complete0.2681340.385086113176.0satsat
430495906qf_shls_entl/bolognesa-17-e04.tptp.smt28317450Songbird v220617songbird.sh304292complete8.858.89802281892.0unsatunsat
430495898qf_shls_entl/bolognesa-17-e05.tptp.smt28317442Songbird v220617songbird.sh304292complete6.166.20255241260.0unsatunsat
430495890qf_shls_entl/bolognesa-17-e06.tptp.smt28317434Songbird v220617songbird.sh304292complete6.736.72594264732.0unsatunsat
430495881qf_shls_entl/bolognesa-17-e07.tptp.smt28317425Songbird v220617songbird.sh304292complete7.247.26939254204.0unsatunsat
430495796qf_shls_entl/bolognesa-17-e08.tptp.smt28317340Songbird v220617songbird.sh304292complete0.810.827832185916.0satsat
430495806qf_shls_entl/bolognesa-17-e09.tptp.smt28317350Songbird v220617songbird.sh304292complete6.146.15136252136.0unsatunsat
430495685qf_shls_entl/bolognesa-17-e10.tptp.smt28317229Songbird v220617songbird.sh304292complete6.166.19091264676.0unsatunsat
430495891qf_shls_entl/bolognesa-18-e01.tptp.smt28317435Songbird v220617songbird.sh304292complete7.017.01218254264.0unsatunsat
430495897qf_shls_entl/bolognesa-18-e02.tptp.smt28317441Songbird v220617songbird.sh304292complete0.610.662903183700.0satsat
430495905qf_shls_entl/bolognesa-18-e03.tptp.smt28317449Songbird v220617songbird.sh304292complete0.90.951139195404.0satsat
430495843qf_shls_entl/bolognesa-18-e04.tptp.smt28317387Songbird v220617songbird.sh304292complete0.750.75699185916.0satsat
430495852qf_shls_entl/bolognesa-18-e05.tptp.smt28317396Songbird v220617songbird.sh304292complete0.60.688015186048.0satsat
430495861qf_shls_entl/bolognesa-18-e06.tptp.smt28317405Songbird v220617songbird.sh304292complete0.730.767841183696.0satsat
430495869qf_shls_entl/bolognesa-18-e07.tptp.smt28317413Songbird v220617songbird.sh304292complete0.830.873493188744.0satsat
430495822qf_shls_entl/bolognesa-18-e08.tptp.smt28317366Songbird v220617songbird.sh304292complete0.910.968125195404.0satsat
430495813qf_shls_entl/bolognesa-18-e09.tptp.smt28317357Songbird v220617songbird.sh304292complete0.670.767855186032.0satsat
430495627qf_shls_entl/bolognesa-18-e10.tptp.smt28317171Songbird v220617songbird.sh304292complete6.416.43387264624.0unsatunsat
430495653qf_shls_entl/bolognesa-19-e01.tptp.smt28317197Songbird v220617songbird.sh304292complete0.870.888178188744.0satsat
430495620qf_shls_entl/bolognesa-19-e02.tptp.smt28317164Songbird v220617songbird.sh304292complete1.111.1923195280.0satsat
430495632qf_shls_entl/bolognesa-19-e03.tptp.smt28317176Songbird v220617songbird.sh304292complete0.810.880917191828.0satsat
430495676qf_shls_entl/bolognesa-19-e04.tptp.smt28317220Songbird v220617songbird.sh304292complete0.670.730191183688.0satsat
430495689qf_shls_entl/bolognesa-19-e05.tptp.smt28317233Songbird v220617songbird.sh304292complete8.284618.29319254744.0unsatunsat
430495661qf_shls_entl/bolognesa-19-e06.tptp.smt28317205Songbird v220617songbird.sh304292complete6.656.67279264752.0unsatunsat
430495670qf_shls_entl/bolognesa-19-e07.tptp.smt28317214Songbird v220617songbird.sh304292complete0.760.841534191836.0satsat
430495733qf_shls_entl/bolognesa-19-e08.tptp.smt28317277Songbird v220617songbird.sh304292complete32.4132.3751347420.0unsatunsat
430495724qf_shls_entl/bolognesa-19-e09.tptp.smt28317268Songbird v220617songbird.sh304292complete1.081.10351204408.0satsat
430495902qf_shls_entl/bolognesa-19-e10.tptp.smt28317446Songbird v220617songbird.sh304292complete7.457.44322295680.0unsatunsat
430495622qf_shls_entl/bolognesa-20-e01.tptp.smt28317166Songbird v220617songbird.sh304292complete1.711.76452209804.0satsat
430495650qf_shls_entl/bolognesa-20-e02.tptp.smt28317194Songbird v220617songbird.sh304292complete0.760.839102183684.0satsat
430495641qf_shls_entl/bolognesa-20-e03.tptp.smt28317185Songbird v220617songbird.sh304292complete0.760.805558186032.0satsat
430495669qf_shls_entl/bolognesa-20-e04.tptp.smt28317213Songbird v220617songbird.sh304292complete0.710.776135186024.0satsat
430495656qf_shls_entl/bolognesa-20-e05.tptp.smt28317200Songbird v220617songbird.sh304292complete1.221.25559204376.0satsat
430495691qf_shls_entl/bolognesa-20-e06.tptp.smt28317235Songbird v220617songbird.sh304292complete6.636.61025279108.0unsatunsat
430495679qf_shls_entl/bolognesa-20-e07.tptp.smt28317223Songbird v220617songbird.sh304292complete7.797.78568266676.0unsatunsat
430495699qf_shls_entl/bolognesa-20-e08.tptp.smt28317243Songbird v220617songbird.sh304292complete8.268.28108337172.0unsatunsat
430495712qf_shls_entl/bolognesa-20-e09.tptp.smt28317256Songbird v220617songbird.sh304292complete0.770.802694188720.0satsat
430495874qf_shls_entl/bolognesa-20-e10.tptp.smt28317418Songbird v220617songbird.sh304292complete6.956.91526264756.0unsatunsat
430495628qf_shls_entl/clones-01-e01.tptp.smt28317172Songbird v220617songbird.sh304292complete0.010350.023026113176.0unsatunsat
430495636qf_shls_entl/clones-01-e02.tptp.smt28317180Songbird v220617songbird.sh304292complete0.0110430.0238491113176.0unsatunsat
430495645qf_shls_entl/clones-01-e03.tptp.smt28317189Songbird v220617songbird.sh304292complete0.0110090.02388113176.0unsatunsat
430495663qf_shls_entl/clones-01-e04.tptp.smt28317207Songbird v220617songbird.sh304292complete0.0106210.0233719113176.0unsatunsat
430495672qf_shls_entl/clones-01-e05.tptp.smt28317216Songbird v220617songbird.sh304292complete0.0112430.024411113176.0unsatunsat
430495686qf_shls_entl/clones-01-e06.tptp.smt28317230Songbird v220617songbird.sh304292complete0.0115180.024275113176.0unsatunsat
430495696qf_shls_entl/clones-01-e07.tptp.smt28317240Songbird v220617songbird.sh304292complete0.0124360.027424113176.0satsat
430495717qf_shls_entl/clones-01-e08.tptp.smt28317261Songbird v220617songbird.sh304292complete0.0137490.030085113176.0satsat
430495709qf_shls_entl/clones-01-e09.tptp.smt28317253Songbird v220617songbird.sh304292complete0.0151830.032189113176.0satsat
430495889qf_shls_entl/clones-01-e10.tptp.smt28317433Songbird v220617songbird.sh304292complete0.0138320.0287411113176.0satsat
430495781qf_shls_entl/clones-02-e01.tptp.smt28317325Songbird v220617songbird.sh304292complete0.0101740.0230491113176.0unsatunsat
430495789qf_shls_entl/clones-02-e02.tptp.smt28317333Songbird v220617songbird.sh304292complete0.0123570.0253411113176.0unsatunsat
430495800qf_shls_entl/clones-02-e03.tptp.smt28317344Songbird v220617songbird.sh304292complete0.0112660.0243859113176.0unsatunsat
430495817qf_shls_entl/clones-02-e04.tptp.smt28317361Songbird v220617songbird.sh304292complete0.0118330.0257631113176.0unsatunsat
430495823qf_shls_entl/clones-02-e05.tptp.smt28317367Songbird v220617songbird.sh304292complete0.0119890.0266869113176.0unsatunsat
430495832qf_shls_entl/clones-02-e06.tptp.smt28317376Songbird v220617songbird.sh304292complete0.0107480.023392113176.0unsatunsat
430495840qf_shls_entl/clones-02-e07.tptp.smt28317384Songbird v220617songbird.sh304292complete0.0198780.039448113176.0satsat
430495854qf_shls_entl/clones-02-e08.tptp.smt28317398Songbird v220617songbird.sh304292complete0.02520.047243113176.0satsat
430495847qf_shls_entl/clones-02-e09.tptp.smt28317391Songbird v220617songbird.sh304292complete0.027620.053977113176.0satsat
430495750qf_shls_entl/clones-02-e10.tptp.smt28317294Songbird v220617songbird.sh304292complete0.0193850.0384371113176.0satsat
430495762qf_shls_entl/clones-03-e01.tptp.smt28317306Songbird v220617songbird.sh304292complete0.0111660.0247451113176.0unsatunsat
430495739qf_shls_entl/clones-03-e02.tptp.smt28317283Songbird v220617songbird.sh304292complete0.011880.0249091113176.0unsatunsat
430495747qf_shls_entl/clones-03-e03.tptp.smt28317291Songbird v220617songbird.sh304292complete0.0125870.0260181113176.0unsatunsat
430495727qf_shls_entl/clones-03-e04.tptp.smt28317271Songbird v220617songbird.sh304292complete0.0106350.023296113176.0unsatunsat
430495734qf_shls_entl/clones-03-e05.tptp.smt28317278Songbird v220617songbird.sh304292complete0.013440.027277113176.0unsatunsat
430495704qf_shls_entl/clones-03-e06.tptp.smt28317248Songbird v220617songbird.sh304292complete0.0103180.0235021113176.0unsatunsat
430495716qf_shls_entl/clones-03-e07.tptp.smt28317260Songbird v220617songbird.sh304292complete0.0324270.062239113176.0satsat
430495694qf_shls_entl/clones-03-e08.tptp.smt28317238Songbird v220617songbird.sh304292complete0.0629240.100391113176.0satsat
430495684qf_shls_entl/clones-03-e09.tptp.smt28317228Songbird v220617songbird.sh304292complete0.0529440.102079113176.0satsat
430495804qf_shls_entl/clones-03-e10.tptp.smt28317348Songbird v220617songbird.sh304292complete0.0330920.0597071113176.0satsat
430495652qf_shls_entl/clones-04-e01.tptp.smt28317196Songbird v220617songbird.sh304292complete0.0119070.0253101113176.0unsatunsat
430495618qf_shls_entl/clones-04-e02.tptp.smt28317162Songbird v220617songbird.sh304292complete0.0122280.025232113176.0unsatunsat
430495633qf_shls_entl/clones-04-e03.tptp.smt28317177Songbird v220617songbird.sh304292complete0.0113710.0243731113176.0unsatunsat
430495678qf_shls_entl/clones-04-e04.tptp.smt28317222Songbird v220617songbird.sh304292complete0.014840.028022113176.0unsatunsat
430495688qf_shls_entl/clones-04-e05.tptp.smt28317232Songbird v220617songbird.sh304292complete0.0159410.029957113176.0unsatunsat
430495659qf_shls_entl/clones-04-e06.tptp.smt28317203Songbird v220617songbird.sh304292complete0.0107590.0237831113176.0unsatunsat
430495671qf_shls_entl/clones-04-e07.tptp.smt28317215Songbird v220617songbird.sh304292complete0.0612740.102371113176.0satsat
430495732qf_shls_entl/clones-04-e08.tptp.smt28317276Songbird v220617songbird.sh304292complete0.1257930.186956113176.0satsat
430495725qf_shls_entl/clones-04-e09.tptp.smt28317269Songbird v220617songbird.sh304292complete0.106770.194039113176.0satsat
430495903qf_shls_entl/clones-04-e10.tptp.smt28317447Songbird v220617songbird.sh304292complete0.0609210.101158113176.0satsat
430495888qf_shls_entl/clones-05-e01.tptp.smt28317432Songbird v220617songbird.sh304292complete0.0119060.0254591113176.0unsatunsat
430495896qf_shls_entl/clones-05-e02.tptp.smt28317440Songbird v220617songbird.sh304292complete0.0115630.0247131113176.0unsatunsat
430495907qf_shls_entl/clones-05-e03.tptp.smt28317451Songbird v220617songbird.sh304292complete0.0114570.025392113176.0unsatunsat
430495844qf_shls_entl/clones-05-e04.tptp.smt28317388Songbird v220617songbird.sh304292complete0.0113730.0243781113176.0unsatunsat
430495850qf_shls_entl/clones-05-e05.tptp.smt28317394Songbird v220617songbird.sh304292complete0.0144940.0287371113176.0unsatunsat
430495860qf_shls_entl/clones-05-e06.tptp.smt28317404Songbird v220617songbird.sh304292complete0.0108690.0236329113176.0unsatunsat
430495870qf_shls_entl/clones-05-e07.tptp.smt28317414Songbird v220617songbird.sh304292complete0.1162940.181473113176.0satsat
430495821qf_shls_entl/clones-05-e08.tptp.smt28317365Songbird v220617songbird.sh304292complete0.2410590.34399113176.0satsat
430495814qf_shls_entl/clones-05-e09.tptp.smt28317358Songbird v220617songbird.sh304292complete0.2258460.367525113176.0satsat
430495629qf_shls_entl/clones-05-e10.tptp.smt28317173Songbird v220617songbird.sh304292complete0.1175830.181827113176.0satsat
430495748qf_shls_entl/clones-06-e01.tptp.smt28317292Songbird v220617songbird.sh304292complete0.0112390.0240471113176.0unsatunsat
430495758qf_shls_entl/clones-06-e02.tptp.smt28317302Songbird v220617songbird.sh304292complete0.0128960.0260769113176.0unsatunsat
430495771qf_shls_entl/clones-06-e03.tptp.smt28317315Songbird v220617songbird.sh304292complete0.0147560.0284681113176.0unsatunsat
430495700qf_shls_entl/clones-06-e04.tptp.smt28317244Songbird v220617songbird.sh304292complete0.0103680.0232379113176.0unsatunsat
430495710qf_shls_entl/clones-06-e05.tptp.smt28317254Songbird v220617songbird.sh304292complete0.0153990.030383113176.0unsatunsat
430495720qf_shls_entl/clones-06-e06.tptp.smt28317264Songbird v220617songbird.sh304292complete0.0109150.0237891113176.0unsatunsat
430495731qf_shls_entl/clones-06-e07.tptp.smt28317275Songbird v220617songbird.sh304292complete0.220280.323236113176.0satsat
430495667qf_shls_entl/clones-06-e08.tptp.smt28317211Songbird v220617songbird.sh304292complete0.60.654116183572.0satsat
430495657qf_shls_entl/clones-06-e09.tptp.smt28317201Songbird v220617songbird.sh304292complete0.610.630016179740.0satsat
430495782qf_shls_entl/clones-06-e10.tptp.smt28317326Songbird v220617songbird.sh304292complete0.2245690.329152113176.0satsat
430495802qf_shls_entl/clones-07-e01.tptp.smt28317346Songbird v220617songbird.sh304292complete0.0106510.0236109113176.0unsatunsat
430495776qf_shls_entl/clones-07-e02.tptp.smt28317320Songbird v220617songbird.sh304292complete0.0113560.0246061113176.0unsatunsat
430495787qf_shls_entl/clones-07-e03.tptp.smt28317331Songbird v220617songbird.sh304292complete0.0139330.027577113176.0unsatunsat
430495829qf_shls_entl/clones-07-e04.tptp.smt28317373Songbird v220617songbird.sh304292complete0.010340.0231939113176.0unsatunsat
430495837qf_shls_entl/clones-07-e05.tptp.smt28317381Songbird v220617songbird.sh304292complete0.0186960.034212113176.0unsatunsat
430495809qf_shls_entl/clones-07-e06.tptp.smt28317353Songbird v220617songbird.sh304292complete0.0113870.024343113176.0unsatunsat
430495819qf_shls_entl/clones-07-e07.tptp.smt28317363Songbird v220617songbird.sh304292complete0.510.557519181524.0satsat
430495866qf_shls_entl/clones-07-e08.tptp.smt28317410Songbird v220617songbird.sh304292complete1.171.19976199688.0satsat
430495857qf_shls_entl/clones-07-e09.tptp.smt28317401Songbird v220617songbird.sh304292complete1.01.02796185916.0satsat
430495764qf_shls_entl/clones-07-e10.tptp.smt28317308Songbird v220617songbird.sh304292complete0.530.558915183564.0satsat
430495810qf_shls_entl/clones-08-e01.tptp.smt28317354Songbird v220617songbird.sh304292complete0.0116590.0250489113176.0unsatunsat
430495836qf_shls_entl/clones-08-e02.tptp.smt28317380Songbird v220617songbird.sh304292complete0.01350.0268859113176.0unsatunsat
430495828qf_shls_entl/clones-08-e03.tptp.smt28317372Songbird v220617songbird.sh304292complete0.011660.0249091113176.0unsatunsat
430495788qf_shls_entl/clones-08-e04.tptp.smt28317332Songbird v220617songbird.sh304292complete0.0103710.023279113176.0unsatunsat
430495777qf_shls_entl/clones-08-e05.tptp.smt28317321Songbird v220617songbird.sh304292complete0.0230850.0394769113176.0unsatunsat
430495801qf_shls_entl/clones-08-e06.tptp.smt28317345Songbird v220617songbird.sh304292complete0.0109450.024089113176.0unsatunsat
430495795qf_shls_entl/clones-08-e07.tptp.smt28317339Songbird v220617songbird.sh304292complete0.8932490.924498191712.0satsat
430495877qf_shls_entl/clones-08-e08.tptp.smt28317421Songbird v220617songbird.sh304292complete2.072.10543223320.0satsat
430495886qf_shls_entl/clones-08-e09.tptp.smt28317430Songbird v220617songbird.sh304292complete1.551.64872199696.0satsat
430495706qf_shls_entl/clones-08-e10.tptp.smt28317250Songbird v220617songbird.sh304292complete0.90.920639191712.0satsat
430495719qf_shls_entl/clones-09-e01.tptp.smt28317263Songbird v220617songbird.sh304292complete0.0138880.0277431113176.0unsatunsat
430495711qf_shls_entl/clones-09-e02.tptp.smt28317255Songbird v220617songbird.sh304292complete0.0126310.026388113176.0unsatunsat
430495701qf_shls_entl/clones-09-e03.tptp.smt28317245Songbird v220617songbird.sh304292complete0.0132830.0303219113176.0unsatunsat
430495770qf_shls_entl/clones-09-e04.tptp.smt28317314Songbird v220617songbird.sh304292complete0.0122360.024943113176.0unsatunsat
430495757qf_shls_entl/clones-09-e05.tptp.smt28317301Songbird v220617songbird.sh304292complete0.0270420.044503113176.0unsatunsat
430495749qf_shls_entl/clones-09-e06.tptp.smt28317293Songbird v220617songbird.sh304292complete0.0106840.0233799113176.0unsatunsat
430495743qf_shls_entl/clones-09-e07.tptp.smt28317287Songbird v220617songbird.sh304292complete1.481.49075209824.0satsat
430495639qf_shls_entl/clones-09-e08.tptp.smt28317183Songbird v220617songbird.sh304292complete3.413.48768252276.0satsat
430495651qf_shls_entl/clones-09-e09.tptp.smt28317195Songbird v220617songbird.sh304292complete2.412.48834216036.0satsat
430495833qf_shls_entl/clones-09-e10.tptp.smt28317377Songbird v220617songbird.sh304292complete1.471.49238209824.0satsat
430495646qf_shls_entl/clones-10-e01.tptp.smt28317190Songbird v220617songbird.sh304292complete0.0119970.0249811113176.0unsatunsat
430495614qf_shls_entl/clones-10-e02.tptp.smt28317158Songbird v220617songbird.sh304292complete0.0124360.0260469113176.0unsatunsat
430495626qf_shls_entl/clones-10-e03.tptp.smt28317170Songbird v220617songbird.sh304292complete0.012630.026439113176.0unsatunsat
430495683qf_shls_entl/clones-10-e04.tptp.smt28317227Songbird v220617songbird.sh304292complete0.0100410.0227331113176.0unsatunsat
430495693qf_shls_entl/clones-10-e05.tptp.smt28317237Songbird v220617songbird.sh304292complete0.0333090.0525819113176.0unsatunsat
430495664qf_shls_entl/clones-10-e06.tptp.smt28317208Songbird v220617songbird.sh304292complete0.010450.0235741113176.0unsatunsat
430495675qf_shls_entl/clones-10-e07.tptp.smt28317219Songbird v220617songbird.sh304292complete2.212.22349231780.0satsat
430495736qf_shls_entl/clones-10-e08.tptp.smt28317280Songbird v220617songbird.sh304292complete5.275.33839279388.0satsat
430495729qf_shls_entl/clones-10-e09.tptp.smt28317273Songbird v220617songbird.sh304292complete3.643.67157241300.0satsat
430495909qf_shls_entl/clones-10-e10.tptp.smt28317453Songbird v220617songbird.sh304292complete2.22.2512231780.0satsat
430495892qf_shls_entl/ls-vc01.smt28317436Songbird v220617songbird.sh304292complete0.013790.031604113176.0satsat
430495723qf_shls_entl/ls-vc02.smt28317267Songbird v220617songbird.sh304292complete0.0151290.0336289113176.0satsat
430495681qf_shls_entl/ls-vc03.smt28317225Songbird v220617songbird.sh304292complete0.0354450.0648113176.0satsat
430495775qf_shls_entl/ls-vc04.smt28317319Songbird v220617songbird.sh304292complete0.0121970.0274289113176.0satsat
430495879qf_shls_entl/ls-vc05.smt28317423Songbird v220617songbird.sh304292complete0.0498680.121737113176.0unsatunsat
430495708qf_shls_entl/ls-vc06.smt28317252Songbird v220617songbird.sh304292complete0.100260.240558113176.0satsat
430495666qf_shls_entl/ls-vc07.smt28317210Songbird v220617songbird.sh304292complete2.752.7397195452.0satsat
430495835qf_shls_entl/ls-vc08.smt28317379Songbird v220617songbird.sh304292complete0.570.581287176868.0unsatunsat
430495867qf_shls_entl/ls-vc09.smt28317411Songbird v220617songbird.sh304292complete0.950.980441181532.0unsatunsat
430495697qf_shls_entl/smallfoot-vc01.tptp.smt28317241Songbird v220617songbird.sh304292complete0.0104340.0229231113176.0unsatunsat
430495730qf_shls_entl/smallfoot-vc02.tptp.smt28317274Songbird v220617songbird.sh304292complete0.0099930.0226999113176.0unsatunsat
430495722qf_shls_entl/smallfoot-vc03.tptp.smt28317266Songbird v220617songbird.sh304292complete0.0112460.024078113176.0unsatunsat
430495751qf_shls_entl/smallfoot-vc04.tptp.smt28317295Songbird v220617songbird.sh304292complete0.0133410.0268259113176.0unsatunsat
430495741qf_shls_entl/smallfoot-vc05.tptp.smt28317285Songbird v220617songbird.sh304292complete0.0119080.024812113176.0unsatunsat
430495768qf_shls_entl/smallfoot-vc06.tptp.smt28317312Songbird v220617songbird.sh304292complete0.0115740.0245749113176.0unsatunsat
430495761qf_shls_entl/smallfoot-vc07.tptp.smt28317305Songbird v220617songbird.sh304292complete0.0105430.023351113176.0unsatunsat
430495621qf_shls_entl/smallfoot-vc08.tptp.smt28317165Songbird v220617songbird.sh304292complete0.010620.0232431113176.0unsatunsat
430495635qf_shls_entl/smallfoot-vc09.tptp.smt28317179Songbird v220617songbird.sh304292complete0.860.898651179756.0unsatunsat
430495816qf_shls_entl/smallfoot-vc10.tptp.smt28317360Songbird v220617songbird.sh304292complete0.0813220.1363113176.0unsatunsat
430495824qf_shls_entl/smallfoot-vc11.tptp.smt28317368Songbird v220617songbird.sh304292complete0.0562630.104628113176.0unsatunsat
430495830qf_shls_entl/smallfoot-vc12.tptp.smt28317374Songbird v220617songbird.sh304292complete0.0419320.0819739113176.0unsatunsat
430495841qf_shls_entl/smallfoot-vc13.tptp.smt28317385Songbird v220617songbird.sh304292complete0.062060.113315113176.0unsatunsat
430495773qf_shls_entl/smallfoot-vc14.tptp.smt28317317Songbird v220617songbird.sh304292complete0.0118440.025068113176.0unsatunsat
430495780qf_shls_entl/smallfoot-vc15.tptp.smt28317324Songbird v220617songbird.sh304292complete0.010860.023766113176.0unsatunsat
430495790qf_shls_entl/smallfoot-vc16.tptp.smt28317334Songbird v220617songbird.sh304292complete0.0507880.107736113176.0unsatunsat
430495799qf_shls_entl/smallfoot-vc17.tptp.smt28317343Songbird v220617songbird.sh304292complete0.0119060.025362113176.0unsatunsat
430495883qf_shls_entl/smallfoot-vc18.tptp.smt28317427Songbird v220617songbird.sh304292complete0.0546460.120637113176.0unsatunsat
430495876qf_shls_entl/smallfoot-vc19.tptp.smt28317420Songbird v220617songbird.sh304292complete0.010130.0230409113176.0unsatunsat
430495616qf_shls_entl/smallfoot-vc20.tptp.smt28317160Songbird v220617songbird.sh304292complete0.0119040.025946113176.0unsatunsat
430495624qf_shls_entl/smallfoot-vc21.tptp.smt28317168Songbird v220617songbird.sh304292complete0.0420460.0820659113176.0unsatunsat
430495638qf_shls_entl/smallfoot-vc22.tptp.smt28317182Songbird v220617songbird.sh304292complete0.0131190.027727113176.0satsat
430495647qf_shls_entl/smallfoot-vc23.tptp.smt28317191Songbird v220617songbird.sh304292complete0.0111630.024366113176.0satsat
430495665qf_shls_entl/smallfoot-vc24.tptp.smt28317209Songbird v220617songbird.sh304292complete0.0161280.031387113176.0unsatunsat
430495674qf_shls_entl/smallfoot-vc25.tptp.smt28317218Songbird v220617songbird.sh304292complete0.0129780.0272001113176.0unsatunsat
430495682qf_shls_entl/smallfoot-vc26.tptp.smt28317226Songbird v220617songbird.sh304292complete0.0121060.0258209113176.0unsatunsat
430495695qf_shls_entl/smallfoot-vc27.tptp.smt28317239Songbird v220617songbird.sh304292complete0.0113820.0249261113176.0unsatunsat
430495714qf_shls_entl/smallfoot-vc28.tptp.smt28317258Songbird v220617songbird.sh304292complete0.0666930.120415113176.0unsatunsat
430495705qf_shls_entl/smallfoot-vc29.tptp.smt28317249Songbird v220617songbird.sh304292complete0.0128850.0276919113176.0satsat
430495887qf_shls_entl/smallfoot-vc30.tptp.smt28317431Songbird v220617songbird.sh304292complete0.0187110.0373029113176.0satsat
430495878qf_shls_entl/smallfoot-vc31.tptp.smt28317422Songbird v220617songbird.sh304292complete0.0190060.0392879113176.0satsat
430495908qf_shls_entl/smallfoot-vc32.tptp.smt28317452Songbird v220617songbird.sh304292complete0.0150910.03239113176.0satsat
430495899qf_shls_entl/smallfoot-vc33.tptp.smt28317443Songbird v220617songbird.sh304292complete0.0148750.0329231113176.0satsat
430495853qf_shls_entl/smallfoot-vc34.tptp.smt28317397Songbird v220617songbird.sh304292complete1.41.43893181644.0unsatunsat
430495845qf_shls_entl/smallfoot-vc35.tptp.smt28317389Songbird v220617songbird.sh304292complete0.0148060.0313659113176.0satsat
430495865qf_shls_entl/smallfoot-vc36.tptp.smt28317409Songbird v220617songbird.sh304292complete0.0629940.135714113176.0unsatunsat
430495858qf_shls_entl/smallfoot-vc37.tptp.smt28317402Songbird v220617songbird.sh304292complete0.0156270.031764113176.0satsat
430495808qf_shls_entl/smallfoot-vc38.tptp.smt28317352Songbird v220617songbird.sh304292complete1.381.41065183752.0unsatunsat
430495820qf_shls_entl/smallfoot-vc39.tptp.smt28317364Songbird v220617songbird.sh304292complete0.0132140.029053113176.0satsat
430495872qf_shls_entl/smallfoot-vc40.tptp.smt28317416Songbird v220617songbird.sh304292complete0.0207630.0409691113176.0satsat
430495864qf_shls_entl/smallfoot-vc41.tptp.smt28317408Songbird v220617songbird.sh304292complete0.70.749813178212.0unsatunsat
430495855qf_shls_entl/smallfoot-vc42.tptp.smt28317399Songbird v220617songbird.sh304292complete1.241.25301186084.0unsatunsat
430495846qf_shls_entl/smallfoot-vc43.tptp.smt28317390Songbird v220617songbird.sh304292complete0.019670.039841113176.0satsat
430495900qf_shls_entl/smallfoot-vc44.tptp.smt28317444Songbird v220617songbird.sh304292complete2.992.98427204400.0unsatunsat
430495894qf_shls_entl/smallfoot-vc45.tptp.smt28317438Songbird v220617songbird.sh304292complete2.201422.29642175604.0unsatunsat
430495884qf_shls_entl/smallfoot-vc46.tptp.smt28317428Songbird v220617songbird.sh304292complete2.282.29773175476.0unsatunsat
430495875qf_shls_entl/smallfoot-vc47.tptp.smt28317419Songbird v220617songbird.sh304292complete0.0103480.023318113176.0unsatunsat
430495791qf_shls_entl/smallfoot-vc48.tptp.smt28317335Songbird v220617songbird.sh304292complete0.710.743832178208.0unsatunsat
430495798qf_shls_entl/smallfoot-vc49.tptp.smt28317342Songbird v220617songbird.sh304292complete0.0157990.031834113176.0satsat
430495680qf_shls_entl/smallfoot-vc50.tptp.smt28317224Songbird v220617songbird.sh304292complete0.0552140.105504113176.0unsatunsat
430495692qf_shls_entl/smallfoot-vc51.tptp.smt28317236Songbird v220617songbird.sh304292complete0.0502720.1051113176.0unsatunsat
430495655qf_shls_entl/smallfoot-vc52.tptp.smt28317199Songbird v220617songbird.sh304292complete0.920.980481179756.0unsatunsat
430495668qf_shls_entl/smallfoot-vc53.tptp.smt28317212Songbird v220617songbird.sh304292complete0.0454960.0878099113176.0unsatunsat
430495640qf_shls_entl/smallfoot-vc54.tptp.smt28317184Songbird v220617songbird.sh304292complete0.0128020.0274351113176.0satsat
430495649qf_shls_entl/smallfoot-vc55.tptp.smt28317193Songbird v220617songbird.sh304292complete0.0537250.10348113176.0unsatunsat
430495623qf_shls_entl/smallfoot-vc56.tptp.smt28317167Songbird v220617songbird.sh304292complete0.0130460.0274701113176.0satsat
430495634qf_shls_entl/smallfoot-vc57.tptp.smt28317178Songbird v220617songbird.sh304292complete0.0185750.0387229113176.0satsat
430495769qf_shls_entl/smallfoot-vc58.tptp.smt28317313Songbird v220617songbird.sh304292complete1.161.14655179756.0unsatunsat
430495759qf_shls_entl/smallfoot-vc59.tptp.smt28317303Songbird v220617songbird.sh304292complete0.0473980.0919109113176.0unsatunsat
430495794qf_shls_entl/smallfoot-vc60.tptp.smt28317338Songbird v220617songbird.sh304292complete0.0598360.118629113176.0unsatunsat
430495803qf_shls_entl/smallfoot-vc61.tptp.smt28317347Songbird v220617songbird.sh304292complete0.0128080.027776113176.0satsat
430495779qf_shls_entl/smallfoot-vc62.tptp.smt28317323Songbird v220617songbird.sh304292complete0.0129170.0257601113176.0unsatunsat
430495785qf_shls_entl/smallfoot-vc63.tptp.smt28317329Songbird v220617songbird.sh304292complete2.392.42225175612.0unsatunsat
430495826qf_shls_entl/smallfoot-vc64.tptp.smt28317370Songbird v220617songbird.sh304292complete0.0128260.0262409113176.0unsatunsat
430495839qf_shls_entl/smallfoot-vc65.tptp.smt28317383Songbird v220617songbird.sh304292complete0.690.728983173984.0unsatunsat
430495811qf_shls_entl/smallfoot-vc66.tptp.smt28317355Songbird v220617songbird.sh304292complete0.048020.104332113176.0unsatunsat
430495818qf_shls_entl/smallfoot-vc67.tptp.smt28317362Songbird v220617songbird.sh304292complete0.0560650.106002113176.0unsatunsat
430495868qf_shls_entl/smallfoot-vc68.tptp.smt28317412Songbird v220617songbird.sh304292complete0.013090.028155113176.0satsat
430495856qf_shls_entl/smallfoot-vc69.tptp.smt28317400Songbird v220617songbird.sh304292complete0.0127710.027267113176.0satsat
430495763qf_shls_entl/smallfoot-vc70.tptp.smt28317307Songbird v220617songbird.sh304292complete0.0176550.035749113176.0satsat
430495755qf_shls_entl/smallfoot-vc71.tptp.smt28317299Songbird v220617songbird.sh304292complete0.076280.181298113176.0unsatunsat
430495746qf_shls_entl/smallfoot-vc72.tptp.smt28317290Songbird v220617songbird.sh304292complete0.0140240.0293841113176.0satsat
430495738qf_shls_entl/smallfoot-vc73.tptp.smt28317282Songbird v220617songbird.sh304292complete0.0132560.027802113176.0satsat
430495735qf_shls_entl/smallfoot-vc74.tptp.smt28317279Songbird v220617songbird.sh304292complete1.091.14476181704.0unsatunsat
430495728qf_shls_entl/smallfoot-vc75.tptp.smt28317272Songbird v220617songbird.sh304292complete0.0118720.025746113176.0unsatunsat
430495715qf_shls_entl/smallfoot-vc76.tptp.smt28317259Songbird v220617songbird.sh304292complete0.0135730.0291579113176.0satsat
430495703qf_shls_entl/smallfoot-vc77.tptp.smt28317247Songbird v220617songbird.sh304292complete0.0109290.02379113176.0unsatunsat