pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433166798qf_shls_entl/bolognesa-10-e01.tptp.smt28317378SLEEK20564default304221complete0.0705730.06597113176.0satsat
433166789qf_shls_entl/bolognesa-10-e02.tptp.smt28317369SLEEK20564default304221complete0.0700130.0654251113176.0unsatunsat
433166779qf_shls_entl/bolognesa-10-e03.tptp.smt28317359SLEEK20564default304221complete0.0691560.0646579113176.0unsatunsat
433166761qf_shls_entl/bolognesa-10-e04.tptp.smt28317341SLEEK20564default304221complete0.0744110.0695911113176.0satsat
433166756qf_shls_entl/bolognesa-10-e05.tptp.smt28317336SLEEK20564default304221complete0.0708780.0662449113176.0satsat
433166747qf_shls_entl/bolognesa-10-e06.tptp.smt28317327SLEEK20564default304221complete0.0719770.067376113176.0satsat
433166736qf_shls_entl/bolognesa-10-e07.tptp.smt28317316SLEEK20564default304221complete0.0704350.06598113176.0satsat
433166857qf_shls_entl/bolognesa-10-e08.tptp.smt28317437SLEEK20564default304221complete0.0693110.065191113176.0satsat
433166865qf_shls_entl/bolognesa-10-e09.tptp.smt28317445SLEEK20564default304221complete0.0695070.0650369113176.0satsat
433166682qf_shls_entl/bolognesa-10-e10.tptp.smt28317262SLEEK20564default304221complete0.0714540.0667101113176.0unsatunsat
433166671qf_shls_entl/bolognesa-11-e01.tptp.smt28317251SLEEK20564default304221complete0.0735080.068819113176.0unsatunsat
433166701qf_shls_entl/bolognesa-11-e02.tptp.smt28317281SLEEK20564default304221complete0.0740710.0695499113176.0unsatunsat
433166690qf_shls_entl/bolognesa-11-e03.tptp.smt28317270SLEEK20564default304221complete0.0705340.0661359113176.0unsatunsat
433166709qf_shls_entl/bolognesa-11-e04.tptp.smt28317289SLEEK20564default304221complete0.0698040.065166113176.0unsatunsat
433166704qf_shls_entl/bolognesa-11-e05.tptp.smt28317284SLEEK20564default304221complete0.0731150.06844113176.0satsat
433166729qf_shls_entl/bolognesa-11-e06.tptp.smt28317309SLEEK20564default304221complete0.0705590.0659289113176.0satsat
433166718qf_shls_entl/bolognesa-11-e07.tptp.smt28317298SLEEK20564default304221complete0.0686950.0642541113176.0unsatunsat
433166579qf_shls_entl/bolognesa-11-e08.tptp.smt28317159SLEEK20564default304221complete0.0692590.0647029113176.0unsatunsat
433166589qf_shls_entl/bolognesa-11-e09.tptp.smt28317169SLEEK20564default304221complete0.0693590.0648361113176.0unsatunsat
433166771qf_shls_entl/bolognesa-11-e10.tptp.smt28317351SLEEK20564default304221complete0.0728050.0681629113176.0satsat
433166813qf_shls_entl/bolognesa-12-e01.tptp.smt28317393SLEEK20564default304221complete0.0703770.065947113176.0unsatunsat
433166835qf_shls_entl/bolognesa-12-e02.tptp.smt28317415SLEEK20564default304221complete0.0707320.066167113176.0satsat
433166827qf_shls_entl/bolognesa-12-e03.tptp.smt28317407SLEEK20564default304221complete0.0726970.067993113176.0satsat
433166846qf_shls_entl/bolognesa-12-e04.tptp.smt28317426SLEEK20564default304221complete0.0752820.0706911113176.0satsat
433166837qf_shls_entl/bolognesa-12-e05.tptp.smt28317417SLEEK20564default304221complete0.0692580.0648159113176.0unsatunsat
433166868qf_shls_entl/bolognesa-12-e06.tptp.smt28317448SLEEK20564default304221complete0.0721320.0673689113176.0unsatunsat
433166859qf_shls_entl/bolognesa-12-e07.tptp.smt28317439SLEEK20564default304221complete0.073960.069238113176.0satsat
433166738qf_shls_entl/bolognesa-12-e08.tptp.smt28317318SLEEK20564default304221complete0.0714120.0667941113176.0unsatunsat
433166748qf_shls_entl/bolognesa-12-e09.tptp.smt28317328SLEEK20564default304221complete0.0779940.073082113176.0unsatunsat
433166622qf_shls_entl/bolognesa-12-e10.tptp.smt28317202SLEEK20564default304221complete0.0722060.067665113176.0unsatunsat
433166651qf_shls_entl/bolognesa-13-e01.tptp.smt28317231SLEEK20564default304221complete0.0752450.0702809113176.0unsatunsat
433166637qf_shls_entl/bolognesa-13-e02.tptp.smt28317217SLEEK20564default304221complete0.073320.0692261113176.0satsat
433166626qf_shls_entl/bolognesa-13-e03.tptp.smt28317206SLEEK20564default304221complete0.0709270.066389113176.0unsatunsat
433166608qf_shls_entl/bolognesa-13-e04.tptp.smt28317188SLEEK20564default304221complete0.0727090.0680651113176.0satsat
433166601qf_shls_entl/bolognesa-13-e05.tptp.smt28317181SLEEK20564default304221complete0.0728850.0687619113176.0satsat
433166594qf_shls_entl/bolognesa-13-e06.tptp.smt28317174SLEEK20564default304221complete0.0709890.0721341113176.0satsat
433166581qf_shls_entl/bolognesa-13-e07.tptp.smt28317161SLEEK20564default304221complete0.0745960.0698811113176.0unsatunsat
433166720qf_shls_entl/bolognesa-13-e08.tptp.smt28317300SLEEK20564default304221complete0.0697080.0651759113176.0unsatunsat
433166730qf_shls_entl/bolognesa-13-e09.tptp.smt28317310SLEEK20564default304221complete0.0710530.066412113176.0satsat
433166823qf_shls_entl/bolognesa-13-e10.tptp.smt28317403SLEEK20564default304221complete0.0741820.069384113176.0satsat
433166685qf_shls_entl/bolognesa-14-e01.tptp.smt28317265SLEEK20564default304221complete0.0710350.066005113176.0unsatunsat
433166677qf_shls_entl/bolognesa-14-e02.tptp.smt28317257SLEEK20564default304221complete0.0713220.066175113176.0unsatunsat
433166662qf_shls_entl/bolognesa-14-e03.tptp.smt28317242SLEEK20564default304221complete0.0757380.0709841113176.0unsatunsat
433166731qf_shls_entl/bolognesa-14-e04.tptp.smt28317311SLEEK20564default304221complete0.0738220.0693131113176.0unsatunsat
433166724qf_shls_entl/bolognesa-14-e05.tptp.smt28317304SLEEK20564default304221complete0.0759790.071182113176.0satsat
433166716qf_shls_entl/bolognesa-14-e06.tptp.smt28317296SLEEK20564default304221complete0.0702970.0657859113176.0unsatunsat
433166706qf_shls_entl/bolognesa-14-e07.tptp.smt28317286SLEEK20564default304221complete0.0712020.0666251113176.0unsatunsat
433166606qf_shls_entl/bolognesa-14-e08.tptp.smt28317186SLEEK20564default304221complete0.0757530.0709529113176.0unsatunsat
433166612qf_shls_entl/bolognesa-14-e09.tptp.smt28317192SLEEK20564default304221complete0.0728480.068183113176.0unsatunsat
433166795qf_shls_entl/bolognesa-14-e10.tptp.smt28317375SLEEK20564default304221complete0.0807030.0756901113176.0satsat
433166776qf_shls_entl/bolognesa-15-e01.tptp.smt28317356SLEEK20564default304221complete0.0729980.0683289113176.0unsatunsat
433166802qf_shls_entl/bolognesa-15-e02.tptp.smt28317382SLEEK20564default304221complete0.0748520.0706011113176.0unsatunsat
433166791qf_shls_entl/bolognesa-15-e03.tptp.smt28317371SLEEK20564default304221complete0.0748630.070076113176.0satsat
433166750qf_shls_entl/bolognesa-15-e04.tptp.smt28317330SLEEK20564default304221complete0.074820.0699919113176.0unsatunsat
433166742qf_shls_entl/bolognesa-15-e05.tptp.smt28317322SLEEK20564default304221complete0.0746380.0700079113176.0unsatunsat
433166769qf_shls_entl/bolognesa-15-e06.tptp.smt28317349SLEEK20564default304221complete0.0812950.076247113176.0unsatunsat
433166757qf_shls_entl/bolognesa-15-e07.tptp.smt28317337SLEEK20564default304221complete0.0725570.0680429113176.0unsatunsat
433166844qf_shls_entl/bolognesa-15-e08.tptp.smt28317424SLEEK20564default304221complete0.075760.070945113176.0satsat
433166849qf_shls_entl/bolognesa-15-e09.tptp.smt28317429SLEEK20564default304221complete0.0787120.073908113176.0satsat
433166666qf_shls_entl/bolognesa-15-e10.tptp.smt28317246SLEEK20564default304221complete0.0731520.0689779113176.0unsatunsat
433166624qf_shls_entl/bolognesa-16-e01.tptp.smt28317204SLEEK20564default304221complete0.0732250.0686831113176.0unsatunsat
433166654qf_shls_entl/bolognesa-16-e02.tptp.smt28317234SLEEK20564default304221complete0.0740280.069585113176.0satsat
433166641qf_shls_entl/bolognesa-16-e03.tptp.smt28317221SLEEK20564default304221complete0.0741620.069581113176.0satsat
433166595qf_shls_entl/bolognesa-16-e04.tptp.smt28317175SLEEK20564default304221complete0.0718960.067329113176.0satsat
433166583qf_shls_entl/bolognesa-16-e05.tptp.smt28317163SLEEK20564default304221complete0.0747320.0699669113176.0unsatunsat
433166618qf_shls_entl/bolognesa-16-e06.tptp.smt28317198SLEEK20564default304221complete0.0725550.067888113176.0satsat
433166607qf_shls_entl/bolognesa-16-e07.tptp.smt28317187SLEEK20564default304221complete0.0759090.071322113176.0unsatunsat
433166708qf_shls_entl/bolognesa-16-e08.tptp.smt28317288SLEEK20564default304221complete0.0779350.0731041113176.0unsatunsat
433166717qf_shls_entl/bolognesa-16-e09.tptp.smt28317297SLEEK20564default304221complete0.073540.068993113176.0unsatunsat
433166812qf_shls_entl/bolognesa-16-e10.tptp.smt28317392SLEEK20564default304221complete0.0757910.071038113176.0satsat
433166826qf_shls_entl/bolognesa-17-e01.tptp.smt28317406SLEEK20564default304221complete0.0734070.068847113176.0unsatunsat
433166815qf_shls_entl/bolognesa-17-e02.tptp.smt28317395SLEEK20564default304221complete0.0756260.071061113176.0satsat
433166806qf_shls_entl/bolognesa-17-e03.tptp.smt28317386SLEEK20564default304221complete0.0767230.071929113176.0satsat
433166870qf_shls_entl/bolognesa-17-e04.tptp.smt28317450SLEEK20564default304221complete0.0766940.071911113176.0unsatunsat
433166862qf_shls_entl/bolognesa-17-e05.tptp.smt28317442SLEEK20564default304221complete0.0751250.07033113176.0unsatunsat
433166854qf_shls_entl/bolognesa-17-e06.tptp.smt28317434SLEEK20564default304221complete0.0785750.0738331113176.0unsatunsat
433166845qf_shls_entl/bolognesa-17-e07.tptp.smt28317425SLEEK20564default304221complete0.0758220.089843113176.0unsatunsat
433166760qf_shls_entl/bolognesa-17-e08.tptp.smt28317340SLEEK20564default304221complete0.072110.067497113176.0satsat
433166770qf_shls_entl/bolognesa-17-e09.tptp.smt28317350SLEEK20564default304221complete0.0748810.0703639113176.0unsatunsat
433166649qf_shls_entl/bolognesa-17-e10.tptp.smt28317229SLEEK20564default304221complete0.0758580.0716931113176.0unsatunsat
433166855qf_shls_entl/bolognesa-18-e01.tptp.smt28317435SLEEK20564default304221complete0.0753210.0705241113176.0unsatunsat
433166861qf_shls_entl/bolognesa-18-e02.tptp.smt28317441SLEEK20564default304221complete0.0760080.071372113176.0satsat
433166869qf_shls_entl/bolognesa-18-e03.tptp.smt28317449SLEEK20564default304221complete0.0787840.074028113176.0satsat
433166807qf_shls_entl/bolognesa-18-e04.tptp.smt28317387SLEEK20564default304221complete0.0741340.069464113176.0satsat
433166816qf_shls_entl/bolognesa-18-e05.tptp.smt28317396SLEEK20564default304221complete0.0789460.0742401113176.0satsat
433166825qf_shls_entl/bolognesa-18-e06.tptp.smt28317405SLEEK20564default304221complete0.0727090.0681609113176.0satsat
433166833qf_shls_entl/bolognesa-18-e07.tptp.smt28317413SLEEK20564default304221complete0.0742070.0696049113176.0satsat
433166786qf_shls_entl/bolognesa-18-e08.tptp.smt28317366SLEEK20564default304221complete0.0811260.0763329113176.0satsat
433166777qf_shls_entl/bolognesa-18-e09.tptp.smt28317357SLEEK20564default304221complete0.0769110.0721439113176.0satsat
433166591qf_shls_entl/bolognesa-18-e10.tptp.smt28317171SLEEK20564default304221complete0.07480.070052113176.0unsatunsat
433166617qf_shls_entl/bolognesa-19-e01.tptp.smt28317197SLEEK20564default304221complete0.0788440.074055113176.0satsat
433166584qf_shls_entl/bolognesa-19-e02.tptp.smt28317164SLEEK20564default304221complete0.0770320.072179113176.0satsat
433166596qf_shls_entl/bolognesa-19-e03.tptp.smt28317176SLEEK20564default304221complete0.0792690.0744239113176.0satsat
433166640qf_shls_entl/bolognesa-19-e04.tptp.smt28317220SLEEK20564default304221complete0.0726340.0680741113176.0satsat
433166653qf_shls_entl/bolognesa-19-e05.tptp.smt28317233SLEEK20564default304221complete0.0749420.0703031113176.0unsatunsat
433166625qf_shls_entl/bolognesa-19-e06.tptp.smt28317205SLEEK20564default304221complete0.0751930.070672113176.0unsatunsat
433166634qf_shls_entl/bolognesa-19-e07.tptp.smt28317214SLEEK20564default304221complete0.0803020.0754429113176.0satsat
433166697qf_shls_entl/bolognesa-19-e08.tptp.smt28317277SLEEK20564default304221complete0.0785060.073709113176.0unsatunsat
433166688qf_shls_entl/bolognesa-19-e09.tptp.smt28317268SLEEK20564default304221complete0.0783490.0735201113176.0satsat
433166866qf_shls_entl/bolognesa-19-e10.tptp.smt28317446SLEEK20564default304221complete0.0748940.070793113176.0unsatunsat
433166586qf_shls_entl/bolognesa-20-e01.tptp.smt28317166SLEEK20564default304221complete0.080450.0758081113176.0satsat
433166614qf_shls_entl/bolognesa-20-e02.tptp.smt28317194SLEEK20564default304221complete0.0757210.0710279113176.0satsat
433166605qf_shls_entl/bolognesa-20-e03.tptp.smt28317185SLEEK20564default304221complete0.0769650.0723819113176.0satsat
433166633qf_shls_entl/bolognesa-20-e04.tptp.smt28317213SLEEK20564default304221complete0.0751460.0705381113176.0satsat
433166620qf_shls_entl/bolognesa-20-e05.tptp.smt28317200SLEEK20564default304221complete0.0796930.0753451113176.0satsat
433166655qf_shls_entl/bolognesa-20-e06.tptp.smt28317235SLEEK20564default304221complete0.07410.069557113176.0unsatunsat
433166643qf_shls_entl/bolognesa-20-e07.tptp.smt28317223SLEEK20564default304221complete0.0723320.0678321113176.0unsatunsat
433166663qf_shls_entl/bolognesa-20-e08.tptp.smt28317243SLEEK20564default304221complete0.0785230.073727113176.0unsatunsat
433166676qf_shls_entl/bolognesa-20-e09.tptp.smt28317256SLEEK20564default304221complete0.0830360.0784419113176.0satsat
433166838qf_shls_entl/bolognesa-20-e10.tptp.smt28317418SLEEK20564default304221complete0.0743240.0695949113176.0unsatunsat
433166592qf_shls_entl/clones-01-e01.tptp.smt28317172SLEEK20564default304221complete0.0659310.062117113176.0unsatunsat
433166600qf_shls_entl/clones-01-e02.tptp.smt28317180SLEEK20564default304221complete0.0672960.0832139113176.0unsatunsat
433166609qf_shls_entl/clones-01-e03.tptp.smt28317189SLEEK20564default304221complete0.0682930.0638211113176.0unsatunsat
433166627qf_shls_entl/clones-01-e04.tptp.smt28317207SLEEK20564default304221complete0.0662750.0618819113176.0unsatunsat
433166636qf_shls_entl/clones-01-e05.tptp.smt28317216SLEEK20564default304221complete0.067370.063452113176.0unsatunsat
433166650qf_shls_entl/clones-01-e06.tptp.smt28317230SLEEK20564default304221complete0.0659130.0620439113176.0unsatunsat
433166660qf_shls_entl/clones-01-e07.tptp.smt28317240SLEEK20564default304221complete0.0816920.0768981113176.0satsat
433166681qf_shls_entl/clones-01-e08.tptp.smt28317261SLEEK20564default304221complete0.075810.071401113176.0satsat
433166673qf_shls_entl/clones-01-e09.tptp.smt28317253SLEEK20564default304221complete0.0859010.0809281113176.0satsat
433166853qf_shls_entl/clones-01-e10.tptp.smt28317433SLEEK20564default304221complete0.0810120.075875113176.0satsat
433166745qf_shls_entl/clones-02-e01.tptp.smt28317325SLEEK20564default304221complete0.0672380.0630949113176.0unsatunsat
433166753qf_shls_entl/clones-02-e02.tptp.smt28317333SLEEK20564default304221complete0.0674730.063454113176.0unsatunsat
433166764qf_shls_entl/clones-02-e03.tptp.smt28317344SLEEK20564default304221complete0.069340.0652611113176.0unsatunsat
433166781qf_shls_entl/clones-02-e04.tptp.smt28317361SLEEK20564default304221complete0.0664920.0625499113176.0unsatunsat
433166787qf_shls_entl/clones-02-e05.tptp.smt28317367SLEEK20564default304221complete0.0681390.0641019113176.0unsatunsat
433166796qf_shls_entl/clones-02-e06.tptp.smt28317376SLEEK20564default304221complete0.0707370.0661449113176.0unsatunsat
433166804qf_shls_entl/clones-02-e07.tptp.smt28317384SLEEK20564default304221complete0.0685380.064351113176.0satsat
433166818qf_shls_entl/clones-02-e08.tptp.smt28317398SLEEK20564default304221complete0.0709780.066223113176.0satsat
433166811qf_shls_entl/clones-02-e09.tptp.smt28317391SLEEK20564default304221complete0.0719640.0673949113176.0satsat
433166714qf_shls_entl/clones-02-e10.tptp.smt28317294SLEEK20564default304221complete0.0687990.0647281113176.0satsat
433166726qf_shls_entl/clones-03-e01.tptp.smt28317306SLEEK20564default304221complete0.0725840.068414113176.0unsatunsat
433166703qf_shls_entl/clones-03-e02.tptp.smt28317283SLEEK20564default304221complete0.0669490.0630059113176.0unsatunsat
433166711qf_shls_entl/clones-03-e03.tptp.smt28317291SLEEK20564default304221complete0.068010.0639041113176.0unsatunsat
433166691qf_shls_entl/clones-03-e04.tptp.smt28317271SLEEK20564default304221complete0.0659040.061957113176.0unsatunsat
433166698qf_shls_entl/clones-03-e05.tptp.smt28317278SLEEK20564default304221complete0.0678210.063818113176.0unsatunsat
433166668qf_shls_entl/clones-03-e06.tptp.smt28317248SLEEK20564default304221complete0.0674280.0634221113176.0unsatunsat
433166680qf_shls_entl/clones-03-e07.tptp.smt28317260SLEEK20564default304221complete0.0705950.066067113176.0satsat
433166658qf_shls_entl/clones-03-e08.tptp.smt28317238SLEEK20564default304221complete0.0770870.0721391113176.0satsat
433166648qf_shls_entl/clones-03-e09.tptp.smt28317228SLEEK20564default304221complete0.0787220.0737059113176.0satsat
433166768qf_shls_entl/clones-03-e10.tptp.smt28317348SLEEK20564default304221complete0.0711110.066494113176.0satsat
433166616qf_shls_entl/clones-04-e01.tptp.smt28317196SLEEK20564default304221complete0.0706630.066556113176.0unsatunsat
433166582qf_shls_entl/clones-04-e02.tptp.smt28317162SLEEK20564default304221complete0.0671310.06265113176.0unsatunsat
433166597qf_shls_entl/clones-04-e03.tptp.smt28317177SLEEK20564default304221complete0.0672050.0633811113176.0unsatunsat
433166642qf_shls_entl/clones-04-e04.tptp.smt28317222SLEEK20564default304221complete0.0660280.0620791113176.0unsatunsat
433166652qf_shls_entl/clones-04-e05.tptp.smt28317232SLEEK20564default304221complete0.0686860.064686113176.0unsatunsat
433166623qf_shls_entl/clones-04-e06.tptp.smt28317203SLEEK20564default304221complete0.066650.062583113176.0unsatunsat
433166635qf_shls_entl/clones-04-e07.tptp.smt28317215SLEEK20564default304221complete0.072770.0682219113176.0satsat
433166696qf_shls_entl/clones-04-e08.tptp.smt28317276SLEEK20564default304221complete0.0781610.07335113176.0satsat
433166689qf_shls_entl/clones-04-e09.tptp.smt28317269SLEEK20564default304221complete0.0774580.072505113176.0satsat
433166867qf_shls_entl/clones-04-e10.tptp.smt28317447SLEEK20564default304221complete0.0727950.068094113176.0satsat
433166852qf_shls_entl/clones-05-e01.tptp.smt28317432SLEEK20564default304221complete0.0665870.062619113176.0unsatunsat
433166860qf_shls_entl/clones-05-e02.tptp.smt28317440SLEEK20564default304221complete0.0721220.0680001113176.0unsatunsat
433166871qf_shls_entl/clones-05-e03.tptp.smt28317451SLEEK20564default304221complete0.0689530.0647871113176.0unsatunsat
433166808qf_shls_entl/clones-05-e04.tptp.smt28317388SLEEK20564default304221complete0.066710.0628339113176.0unsatunsat
433166814qf_shls_entl/clones-05-e05.tptp.smt28317394SLEEK20564default304221complete0.0703040.0659199113176.0unsatunsat
433166824qf_shls_entl/clones-05-e06.tptp.smt28317404SLEEK20564default304221complete0.0669510.0630221113176.0unsatunsat
433166834qf_shls_entl/clones-05-e07.tptp.smt28317414SLEEK20564default304221complete0.0742350.069632113176.0satsat
433166785qf_shls_entl/clones-05-e08.tptp.smt28317365SLEEK20564default304221complete0.0839160.0788799113176.0satsat
433166778qf_shls_entl/clones-05-e09.tptp.smt28317358SLEEK20564default304221complete0.0837620.078761113176.0satsat
433166593qf_shls_entl/clones-05-e10.tptp.smt28317173SLEEK20564default304221complete0.0751850.0703781113176.0satsat
433166712qf_shls_entl/clones-06-e01.tptp.smt28317292SLEEK20564default304221complete0.068250.0642131113176.0unsatunsat
433166722qf_shls_entl/clones-06-e02.tptp.smt28317302SLEEK20564default304221complete0.0693050.0647279113176.0unsatunsat
433166735qf_shls_entl/clones-06-e03.tptp.smt28317315SLEEK20564default304221complete0.0675510.0631391113176.0unsatunsat
433166664qf_shls_entl/clones-06-e04.tptp.smt28317244SLEEK20564default304221complete0.0670740.0630351113176.0unsatunsat
433166674qf_shls_entl/clones-06-e05.tptp.smt28317254SLEEK20564default304221complete0.0762350.071662113176.0unsatunsat
433166684qf_shls_entl/clones-06-e06.tptp.smt28317264SLEEK20564default304221complete0.0680220.0635591113176.0unsatunsat
433166695qf_shls_entl/clones-06-e07.tptp.smt28317275SLEEK20564default304221complete0.0784780.073576113176.0satsat
433166631qf_shls_entl/clones-06-e08.tptp.smt28317211SLEEK20564default304221complete0.0913820.0866431113176.0satsat
433166621qf_shls_entl/clones-06-e09.tptp.smt28317201SLEEK20564default304221complete0.0888370.083564113176.0satsat
433166746qf_shls_entl/clones-06-e10.tptp.smt28317326SLEEK20564default304221complete0.0786430.0738021113176.0satsat
433166766qf_shls_entl/clones-07-e01.tptp.smt28317346SLEEK20564default304221complete0.0675870.0635441113176.0unsatunsat
433166740qf_shls_entl/clones-07-e02.tptp.smt28317320SLEEK20564default304221complete0.070160.0657471113176.0unsatunsat
433166751qf_shls_entl/clones-07-e03.tptp.smt28317331SLEEK20564default304221complete0.0728820.0682719113176.0unsatunsat
433166793qf_shls_entl/clones-07-e04.tptp.smt28317373SLEEK20564default304221complete0.0673760.0628981113176.0unsatunsat
433166801qf_shls_entl/clones-07-e05.tptp.smt28317381SLEEK20564default304221complete0.0738170.069285113176.0unsatunsat
433166773qf_shls_entl/clones-07-e06.tptp.smt28317353SLEEK20564default304221complete0.0662080.062273113176.0unsatunsat
433166783qf_shls_entl/clones-07-e07.tptp.smt28317363SLEEK20564default304221complete0.0823610.0773341113176.0satsat
433166830qf_shls_entl/clones-07-e08.tptp.smt28317410SLEEK20564default304221complete0.0996690.094999113176.0satsat
433166821qf_shls_entl/clones-07-e09.tptp.smt28317401SLEEK20564default304221complete0.0964930.0909041113176.0satsat
433166728qf_shls_entl/clones-07-e10.tptp.smt28317308SLEEK20564default304221complete0.0820020.077694113176.0satsat
433166774qf_shls_entl/clones-08-e01.tptp.smt28317354SLEEK20564default304221complete0.0672470.062899113176.0unsatunsat
433166800qf_shls_entl/clones-08-e02.tptp.smt28317380SLEEK20564default304221complete0.0706880.066252113176.0unsatunsat
433166792qf_shls_entl/clones-08-e03.tptp.smt28317372SLEEK20564default304221complete0.0694830.064986113176.0unsatunsat
433166752qf_shls_entl/clones-08-e04.tptp.smt28317332SLEEK20564default304221complete0.065990.0619589113176.0unsatunsat
433166741qf_shls_entl/clones-08-e05.tptp.smt28317321SLEEK20564default304221complete0.0761240.0714869113176.0unsatunsat
433166765qf_shls_entl/clones-08-e06.tptp.smt28317345SLEEK20564default304221complete0.0671770.062778113176.0unsatunsat
433166759qf_shls_entl/clones-08-e07.tptp.smt28317339SLEEK20564default304221complete0.0848370.0798791113176.0satsat
433166841qf_shls_entl/clones-08-e08.tptp.smt28317421SLEEK20564default304221complete0.109950.104199113176.0satsat
433166850qf_shls_entl/clones-08-e09.tptp.smt28317430SLEEK20564default304221complete0.1040940.0984549113176.0satsat
433166670qf_shls_entl/clones-08-e10.tptp.smt28317250SLEEK20564default304221complete0.085070.0800089113176.0satsat
433166683qf_shls_entl/clones-09-e01.tptp.smt28317263SLEEK20564default304221complete0.0690210.0672151113176.0unsatunsat
433166675qf_shls_entl/clones-09-e02.tptp.smt28317255SLEEK20564default304221complete0.0717310.067179113176.0unsatunsat
433166665qf_shls_entl/clones-09-e03.tptp.smt28317245SLEEK20564default304221complete0.0723190.067753113176.0unsatunsat
433166734qf_shls_entl/clones-09-e04.tptp.smt28317314SLEEK20564default304221complete0.0653320.061516113176.0unsatunsat
433166721qf_shls_entl/clones-09-e05.tptp.smt28317301SLEEK20564default304221complete0.0794080.074819113176.0unsatunsat
433166713qf_shls_entl/clones-09-e06.tptp.smt28317293SLEEK20564default304221complete0.0657030.0613101113176.0unsatunsat
433166707qf_shls_entl/clones-09-e07.tptp.smt28317287SLEEK20564default304221complete0.0901540.0850171113176.0satsat
433166603qf_shls_entl/clones-09-e08.tptp.smt28317183SLEEK20564default304221complete0.1216430.116268113176.0satsat
433166615qf_shls_entl/clones-09-e09.tptp.smt28317195SLEEK20564default304221complete0.1157250.109776113176.0satsat
433166797qf_shls_entl/clones-09-e10.tptp.smt28317377SLEEK20564default304221complete0.0891060.083938113176.0satsat
433166610qf_shls_entl/clones-10-e01.tptp.smt28317190SLEEK20564default304221complete0.067470.063446113176.0unsatunsat
433166578qf_shls_entl/clones-10-e02.tptp.smt28317158SLEEK20564default304221complete0.0718390.067313113176.0unsatunsat
433166590qf_shls_entl/clones-10-e03.tptp.smt28317170SLEEK20564default304221complete0.0713070.066713113176.0unsatunsat
433166647qf_shls_entl/clones-10-e04.tptp.smt28317227SLEEK20564default304221complete0.0663390.0623549113176.0unsatunsat
433166657qf_shls_entl/clones-10-e05.tptp.smt28317237SLEEK20564default304221complete0.0826510.078187113176.0unsatunsat
433166628qf_shls_entl/clones-10-e06.tptp.smt28317208SLEEK20564default304221complete0.0659770.062077113176.0unsatunsat
433166639qf_shls_entl/clones-10-e07.tptp.smt28317219SLEEK20564default304221complete0.095620.0900579113176.0satsat
433166700qf_shls_entl/clones-10-e08.tptp.smt28317280SLEEK20564default304221complete0.1336560.127494113176.0satsat
433166693qf_shls_entl/clones-10-e09.tptp.smt28317273SLEEK20564default304221complete0.1268190.120563113176.0satsat
433166873qf_shls_entl/clones-10-e10.tptp.smt28317453SLEEK20564default304221complete0.0939610.0889001113176.0satsat
433166856qf_shls_entl/ls-vc01.smt28317436SLEEK20564default304221complete0.093330.088298113176.0satsat
433166687qf_shls_entl/ls-vc02.smt28317267SLEEK20564default304221complete0.1367880.129886113176.0satsat
433166645qf_shls_entl/ls-vc03.smt28317225SLEEK20564default304221complete0.3672550.354304113176.0satsat
433166739qf_shls_entl/ls-vc04.smt28317319SLEEK20564default304221complete0.0760760.071712113176.0satsat
433166843qf_shls_entl/ls-vc05.smt28317423SLEEK20564default304221complete0.0658510.061906113176.0unsatunsat
433166672qf_shls_entl/ls-vc06.smt28317252SLEEK20564default304221complete0.1153730.108909113176.0satsat
433166630qf_shls_entl/ls-vc07.smt28317210SLEEK20564default304221complete0.0659250.0619851113176.0satsat
433166799qf_shls_entl/ls-vc08.smt28317379SLEEK20564default304221complete0.1170660.110227113176.0satunsat
433166831qf_shls_entl/ls-vc09.smt28317411SLEEK20564default304221complete0.1197540.112826113176.0satunsat
433166661qf_shls_entl/smallfoot-vc01.tptp.smt28317241SLEEK20564default304221complete0.0661640.062129113176.0unsatunsat
433166694qf_shls_entl/smallfoot-vc02.tptp.smt28317274SLEEK20564default304221complete0.0657880.0614113176.0unsatunsat
433166686qf_shls_entl/smallfoot-vc03.tptp.smt28317266SLEEK20564default304221complete0.0701120.0660569113176.0unsatunsat
433166715qf_shls_entl/smallfoot-vc04.tptp.smt28317295SLEEK20564default304221complete0.0650930.0607561113176.0unsatunsat
433166705qf_shls_entl/smallfoot-vc05.tptp.smt28317285SLEEK20564default304221complete0.0694190.06544113176.0unsatunsat
433166732qf_shls_entl/smallfoot-vc06.tptp.smt28317312SLEEK20564default304221complete0.0670920.063142113176.0unsatunsat
433166725qf_shls_entl/smallfoot-vc07.tptp.smt28317305SLEEK20564default304221complete0.0673180.0628809113176.0unsatunsat
433166585qf_shls_entl/smallfoot-vc08.tptp.smt28317165SLEEK20564default304221complete0.06690.0628429113176.0unsatunsat
433166599qf_shls_entl/smallfoot-vc09.tptp.smt28317179SLEEK20564default304221complete0.0693130.0653809113176.0unsatunsat
433166780qf_shls_entl/smallfoot-vc10.tptp.smt28317360SLEEK20564default304221complete0.1011880.095204113176.0unsatunsat
433166788qf_shls_entl/smallfoot-vc11.tptp.smt28317368SLEEK20564default304221complete0.0850.0800831113176.0unsatunsat
433166794qf_shls_entl/smallfoot-vc12.tptp.smt28317374SLEEK20564default304221complete0.0728890.068739113176.0unsatunsat
433166805qf_shls_entl/smallfoot-vc13.tptp.smt28317385SLEEK20564default304221complete0.0669630.062932113176.0unsatunsat
433166737qf_shls_entl/smallfoot-vc14.tptp.smt28317317SLEEK20564default304221complete0.0667970.062378113176.0unsatunsat
433166744qf_shls_entl/smallfoot-vc15.tptp.smt28317324SLEEK20564default304221complete0.0686120.0644479113176.0unsatunsat
433166754qf_shls_entl/smallfoot-vc16.tptp.smt28317334SLEEK20564default304221complete0.0678430.0637609113176.0unsatunsat
433166763qf_shls_entl/smallfoot-vc17.tptp.smt28317343SLEEK20564default304221complete0.0683860.064361113176.0unsatunsat
433166847qf_shls_entl/smallfoot-vc18.tptp.smt28317427SLEEK20564default304221complete0.0687470.0646519113176.0unsatunsat
433166840qf_shls_entl/smallfoot-vc19.tptp.smt28317420SLEEK20564default304221complete0.0706310.0665219113176.0unsatunsat
433166580qf_shls_entl/smallfoot-vc20.tptp.smt28317160SLEEK20564default304221complete0.0666830.0621709113176.0unsatunsat
433166588qf_shls_entl/smallfoot-vc21.tptp.smt28317168SLEEK20564default304221complete0.0663190.0618289113176.0unsatunsat
433166602qf_shls_entl/smallfoot-vc22.tptp.smt28317182SLEEK20564default304221complete0.0700080.0659721113176.0unsatsat
433166611qf_shls_entl/smallfoot-vc23.tptp.smt28317191SLEEK20564default304221complete0.066560.0626261113176.0unsatsat
433166629qf_shls_entl/smallfoot-vc24.tptp.smt28317209SLEEK20564default304221complete0.0705340.0663651113176.0unsatunsat
433166638qf_shls_entl/smallfoot-vc25.tptp.smt28317218SLEEK20564default304221complete0.0713330.0670809113176.0unsatunsat
433166646qf_shls_entl/smallfoot-vc26.tptp.smt28317226SLEEK20564default304221complete0.0679160.0637729113176.0unsatunsat
433166659qf_shls_entl/smallfoot-vc27.tptp.smt28317239SLEEK20564default304221complete0.0664570.0622881113176.0unsatunsat
433166678qf_shls_entl/smallfoot-vc28.tptp.smt28317258SLEEK20564default304221complete0.0921530.0871001113176.0satunsat
433166669qf_shls_entl/smallfoot-vc29.tptp.smt28317249SLEEK20564default304221complete0.0807210.076068113176.0satsat
433166851qf_shls_entl/smallfoot-vc30.tptp.smt28317431SLEEK20564default304221complete0.0956690.0907879113176.0satsat
433166842qf_shls_entl/smallfoot-vc31.tptp.smt28317422SLEEK20564default304221complete0.0880030.082564113176.0satsat
433166872qf_shls_entl/smallfoot-vc32.tptp.smt28317452SLEEK20564default304221complete0.0874950.0820689113176.0satsat
433166863qf_shls_entl/smallfoot-vc33.tptp.smt28317443SLEEK20564default304221complete0.0806490.075911113176.0satsat
433166817qf_shls_entl/smallfoot-vc34.tptp.smt28317397SLEEK20564default304221complete0.4587730.443543113176.0unsatunsat
433166809qf_shls_entl/smallfoot-vc35.tptp.smt28317389SLEEK20564default304221complete0.0875450.0818909113176.0satsat
433166829qf_shls_entl/smallfoot-vc36.tptp.smt28317409SLEEK20564default304221complete0.0936540.0882681113176.0unsatunsat
433166822qf_shls_entl/smallfoot-vc37.tptp.smt28317402SLEEK20564default304221complete0.0763410.0719171113176.0satsat
433166772qf_shls_entl/smallfoot-vc38.tptp.smt28317352SLEEK20564default304221complete0.741510.718554253188.0unsatunsat
433166784qf_shls_entl/smallfoot-vc39.tptp.smt28317364SLEEK20564default304221complete0.069720.0655551113176.0unsatsat
433166836qf_shls_entl/smallfoot-vc40.tptp.smt28317416SLEEK20564default304221complete0.0700310.065958113176.0unsatsat
433166828qf_shls_entl/smallfoot-vc41.tptp.smt28317408SLEEK20564default304221complete0.0695790.0654519113176.0unsatunsat
433166819qf_shls_entl/smallfoot-vc42.tptp.smt28317399SLEEK20564default304221complete0.071550.067358113176.0unsatunsat
433166810qf_shls_entl/smallfoot-vc43.tptp.smt28317390SLEEK20564default304221complete0.069880.065909113176.0unsatsat
433166864qf_shls_entl/smallfoot-vc44.tptp.smt28317444SLEEK20564default304221complete0.0724750.0682421113176.0unsatunsat
433166858qf_shls_entl/smallfoot-vc45.tptp.smt28317438SLEEK20564default304221complete0.0690550.0648709113176.0unsatunsat
433166848qf_shls_entl/smallfoot-vc46.tptp.smt28317428SLEEK20564default304221complete0.0696970.0655629113176.0unsatunsat
433166839qf_shls_entl/smallfoot-vc47.tptp.smt28317419SLEEK20564default304221complete0.070750.0661351113176.0unsatunsat
433166755qf_shls_entl/smallfoot-vc48.tptp.smt28317335SLEEK20564default304221complete0.0695750.0655301113176.0unsatunsat
433166762qf_shls_entl/smallfoot-vc49.tptp.smt28317342SLEEK20564default304221complete0.0764530.0719729113176.0unsatsat
433166644qf_shls_entl/smallfoot-vc50.tptp.smt28317224SLEEK20564default304221complete0.0677630.0638449113176.0unsatunsat
433166656qf_shls_entl/smallfoot-vc51.tptp.smt28317236SLEEK20564default304221complete0.0681140.0641249113176.0unsatunsat
433166619qf_shls_entl/smallfoot-vc52.tptp.smt28317199SLEEK20564default304221complete0.0691180.0645041113176.0unsatunsat
433166632qf_shls_entl/smallfoot-vc53.tptp.smt28317212SLEEK20564default304221complete0.0670550.063134113176.0unsatunsat
433166604qf_shls_entl/smallfoot-vc54.tptp.smt28317184SLEEK20564default304221complete0.0711140.0665421113176.0unsatsat
433166613qf_shls_entl/smallfoot-vc55.tptp.smt28317193SLEEK20564default304221complete0.0680550.0639879113176.0unsatunsat
433166587qf_shls_entl/smallfoot-vc56.tptp.smt28317167SLEEK20564default304221complete0.0685730.064381113176.0unsatsat
433166598qf_shls_entl/smallfoot-vc57.tptp.smt28317178SLEEK20564default304221complete0.0729050.068556113176.0unsatsat
433166733qf_shls_entl/smallfoot-vc58.tptp.smt28317313SLEEK20564default304221complete0.069560.065486113176.0unsatunsat
433166723qf_shls_entl/smallfoot-vc59.tptp.smt28317303SLEEK20564default304221complete0.0675030.062977113176.0unsatunsat
433166758qf_shls_entl/smallfoot-vc60.tptp.smt28317338SLEEK20564default304221complete0.0733690.069178113176.0unsatunsat
433166767qf_shls_entl/smallfoot-vc61.tptp.smt28317347SLEEK20564default304221complete0.0684340.063937113176.0unsatsat
433166743qf_shls_entl/smallfoot-vc62.tptp.smt28317323SLEEK20564default304221complete0.0665610.0626819113176.0unsatunsat
433166749qf_shls_entl/smallfoot-vc63.tptp.smt28317329SLEEK20564default304221complete0.0733510.0691229113176.0unsatunsat
433166790qf_shls_entl/smallfoot-vc64.tptp.smt28317370SLEEK20564default304221complete0.0665610.0625399113176.0unsatunsat
433166803qf_shls_entl/smallfoot-vc65.tptp.smt28317383SLEEK20564default304221complete0.0690320.0644261113176.0unsatunsat
433166775qf_shls_entl/smallfoot-vc66.tptp.smt28317355SLEEK20564default304221complete0.0666840.0627699113176.0unsatunsat
433166782qf_shls_entl/smallfoot-vc67.tptp.smt28317362SLEEK20564default304221complete0.0681110.064053113176.0unsatunsat
433166832qf_shls_entl/smallfoot-vc68.tptp.smt28317412SLEEK20564default304221complete0.0677730.063789113176.0unsatsat
433166820qf_shls_entl/smallfoot-vc69.tptp.smt28317400SLEEK20564default304221complete0.0715070.0667419113176.0unsatsat
433166727qf_shls_entl/smallfoot-vc70.tptp.smt28317307SLEEK20564default304221complete0.155120.148031113176.0unsatsat
433166719qf_shls_entl/smallfoot-vc71.tptp.smt28317299SLEEK20564default304221complete0.0885380.0836709113176.0unsatunsat
433166710qf_shls_entl/smallfoot-vc72.tptp.smt28317290SLEEK20564default304221complete0.0691550.065131113176.0unsatsat
433166702qf_shls_entl/smallfoot-vc73.tptp.smt28317282SLEEK20564default304221complete0.0681980.063714113176.0unsatsat
433166699qf_shls_entl/smallfoot-vc74.tptp.smt28317279SLEEK20564default304221complete0.0710560.06681113176.0unsatunsat
433166692qf_shls_entl/smallfoot-vc75.tptp.smt28317272SLEEK20564default304221complete0.0682470.0641111113176.0unsatunsat
433166679qf_shls_entl/smallfoot-vc76.tptp.smt28317259SLEEK20564default304221complete0.0682320.063795113176.0unsatsat
433166667qf_shls_entl/smallfoot-vc77.tptp.smt28317247SLEEK20564default304221complete0.0673770.0632949113176.0unsatunsat