pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430495219qf_shls_entl/bolognesa-10-e01.tptp.smt28317378SLEEK20564default304221complete0.0712650.0665791113176.0satsat
430495210qf_shls_entl/bolognesa-10-e02.tptp.smt28317369SLEEK20564default304221complete0.0716850.067094113176.0unsatunsat
430495200qf_shls_entl/bolognesa-10-e03.tptp.smt28317359SLEEK20564default304221complete0.0702220.065646113176.0unsatunsat
430495182qf_shls_entl/bolognesa-10-e04.tptp.smt28317341SLEEK20564default304221complete0.0711330.066578113176.0satsat
430495177qf_shls_entl/bolognesa-10-e05.tptp.smt28317336SLEEK20564default304221complete0.0739520.0828219113176.0satsat
430495168qf_shls_entl/bolognesa-10-e06.tptp.smt28317327SLEEK20564default304221complete0.0701910.06568113176.0satsat
430495157qf_shls_entl/bolognesa-10-e07.tptp.smt28317316SLEEK20564default304221complete0.0696870.0652661113176.0satsat
430495278qf_shls_entl/bolognesa-10-e08.tptp.smt28317437SLEEK20564default304221complete0.0681730.0637011113176.0satsat
430495286qf_shls_entl/bolognesa-10-e09.tptp.smt28317445SLEEK20564default304221complete0.070120.0655539113176.0satsat
430495103qf_shls_entl/bolognesa-10-e10.tptp.smt28317262SLEEK20564default304221complete0.0696480.065065113176.0unsatunsat
430495092qf_shls_entl/bolognesa-11-e01.tptp.smt28317251SLEEK20564default304221complete0.0683750.063922113176.0unsatunsat
430495122qf_shls_entl/bolognesa-11-e02.tptp.smt28317281SLEEK20564default304221complete0.0702460.0656761113176.0unsatunsat
430495111qf_shls_entl/bolognesa-11-e03.tptp.smt28317270SLEEK20564default304221complete0.0723630.068255113176.0unsatunsat
430495130qf_shls_entl/bolognesa-11-e04.tptp.smt28317289SLEEK20564default304221complete0.0700410.0660669113176.0unsatunsat
430495125qf_shls_entl/bolognesa-11-e05.tptp.smt28317284SLEEK20564default304221complete0.0718420.0672271113176.0satsat
430495150qf_shls_entl/bolognesa-11-e06.tptp.smt28317309SLEEK20564default304221complete0.0736810.0691211113176.0satsat
430495139qf_shls_entl/bolognesa-11-e07.tptp.smt28317298SLEEK20564default304221complete0.067660.063299113176.0unsatunsat
430495000qf_shls_entl/bolognesa-11-e08.tptp.smt28317159SLEEK20564default304221complete0.0676620.0632481113176.0unsatunsat
430495010qf_shls_entl/bolognesa-11-e09.tptp.smt28317169SLEEK20564default304221complete0.0689340.064354113176.0unsatunsat
430495192qf_shls_entl/bolognesa-11-e10.tptp.smt28317351SLEEK20564default304221complete0.0709490.0663721113176.0satsat
430495234qf_shls_entl/bolognesa-12-e01.tptp.smt28317393SLEEK20564default304221complete0.0710010.0666251113176.0unsatunsat
430495256qf_shls_entl/bolognesa-12-e02.tptp.smt28317415SLEEK20564default304221complete0.0721360.067522113176.0satsat
430495248qf_shls_entl/bolognesa-12-e03.tptp.smt28317407SLEEK20564default304221complete0.0735720.068846113176.0satsat
430495267qf_shls_entl/bolognesa-12-e04.tptp.smt28317426SLEEK20564default304221complete0.0709870.06641113176.0satsat
430495258qf_shls_entl/bolognesa-12-e05.tptp.smt28317417SLEEK20564default304221complete0.0689170.064527113176.0unsatunsat
430495289qf_shls_entl/bolognesa-12-e06.tptp.smt28317448SLEEK20564default304221complete0.0700620.0655549113176.0unsatunsat
430495280qf_shls_entl/bolognesa-12-e07.tptp.smt28317439SLEEK20564default304221complete0.0733340.068786113176.0satsat
430495159qf_shls_entl/bolognesa-12-e08.tptp.smt28317318SLEEK20564default304221complete0.0729710.0682759113176.0unsatunsat
430495169qf_shls_entl/bolognesa-12-e09.tptp.smt28317328SLEEK20564default304221complete0.0761480.07138113176.0unsatunsat
430495043qf_shls_entl/bolognesa-12-e10.tptp.smt28317202SLEEK20564default304221complete0.0737320.069056113176.0unsatunsat
430495072qf_shls_entl/bolognesa-13-e01.tptp.smt28317231SLEEK20564default304221complete0.0736930.069142113176.0unsatunsat
430495058qf_shls_entl/bolognesa-13-e02.tptp.smt28317217SLEEK20564default304221complete0.0739440.069273113176.0satsat
430495047qf_shls_entl/bolognesa-13-e03.tptp.smt28317206SLEEK20564default304221complete0.0747630.0699591113176.0unsatunsat
430495029qf_shls_entl/bolognesa-13-e04.tptp.smt28317188SLEEK20564default304221complete0.0727820.068079113176.0satsat
430495022qf_shls_entl/bolognesa-13-e05.tptp.smt28317181SLEEK20564default304221complete0.0718010.067205113176.0satsat
430495015qf_shls_entl/bolognesa-13-e06.tptp.smt28317174SLEEK20564default304221complete0.0731810.0684621113176.0satsat
430495002qf_shls_entl/bolognesa-13-e07.tptp.smt28317161SLEEK20564default304221complete0.0746540.0699491113176.0unsatunsat
430495141qf_shls_entl/bolognesa-13-e08.tptp.smt28317300SLEEK20564default304221complete0.0714710.067004113176.0unsatunsat
430495151qf_shls_entl/bolognesa-13-e09.tptp.smt28317310SLEEK20564default304221complete0.0685310.064016113176.0satsat
430495244qf_shls_entl/bolognesa-13-e10.tptp.smt28317403SLEEK20564default304221complete0.0744850.069702113176.0satsat
430495106qf_shls_entl/bolognesa-14-e01.tptp.smt28317265SLEEK20564default304221complete0.0760320.0711469113176.0unsatunsat
430495098qf_shls_entl/bolognesa-14-e02.tptp.smt28317257SLEEK20564default304221complete0.0703170.0657529113176.0unsatunsat
430495083qf_shls_entl/bolognesa-14-e03.tptp.smt28317242SLEEK20564default304221complete0.078160.0739039113176.0unsatunsat
430495152qf_shls_entl/bolognesa-14-e04.tptp.smt28317311SLEEK20564default304221complete0.0705010.066113176.0unsatunsat
430495145qf_shls_entl/bolognesa-14-e05.tptp.smt28317304SLEEK20564default304221complete0.0761820.071413113176.0satsat
430495137qf_shls_entl/bolognesa-14-e06.tptp.smt28317296SLEEK20564default304221complete0.069250.064788113176.0unsatunsat
430495127qf_shls_entl/bolognesa-14-e07.tptp.smt28317286SLEEK20564default304221complete0.070750.0662269113176.0unsatunsat
430495027qf_shls_entl/bolognesa-14-e08.tptp.smt28317186SLEEK20564default304221complete0.0765290.0721571113176.0unsatunsat
430495033qf_shls_entl/bolognesa-14-e09.tptp.smt28317192SLEEK20564default304221complete0.0725390.0679001113176.0unsatunsat
430495216qf_shls_entl/bolognesa-14-e10.tptp.smt28317375SLEEK20564default304221complete0.0781720.0733781113176.0satsat
430495197qf_shls_entl/bolognesa-15-e01.tptp.smt28317356SLEEK20564default304221complete0.0725510.0679629113176.0unsatunsat
430495223qf_shls_entl/bolognesa-15-e02.tptp.smt28317382SLEEK20564default304221complete0.0749410.070308113176.0unsatunsat
430495212qf_shls_entl/bolognesa-15-e03.tptp.smt28317371SLEEK20564default304221complete0.0762960.0720271113176.0satsat
430495171qf_shls_entl/bolognesa-15-e04.tptp.smt28317330SLEEK20564default304221complete0.0736610.0690081113176.0unsatunsat
430495163qf_shls_entl/bolognesa-15-e05.tptp.smt28317322SLEEK20564default304221complete0.0737390.0691071113176.0unsatunsat
430495190qf_shls_entl/bolognesa-15-e06.tptp.smt28317349SLEEK20564default304221complete0.0783380.073479113176.0unsatunsat
430495178qf_shls_entl/bolognesa-15-e07.tptp.smt28317337SLEEK20564default304221complete0.0735140.0688499113176.0unsatunsat
430495265qf_shls_entl/bolognesa-15-e08.tptp.smt28317424SLEEK20564default304221complete0.0750530.070181113176.0satsat
430495270qf_shls_entl/bolognesa-15-e09.tptp.smt28317429SLEEK20564default304221complete0.0780760.073791113176.0satsat
430495087qf_shls_entl/bolognesa-15-e10.tptp.smt28317246SLEEK20564default304221complete0.0724130.0678891113176.0unsatunsat
430495045qf_shls_entl/bolognesa-16-e01.tptp.smt28317204SLEEK20564default304221complete0.0775070.0726259113176.0unsatunsat
430495075qf_shls_entl/bolognesa-16-e02.tptp.smt28317234SLEEK20564default304221complete0.073040.0685511113176.0satsat
430495062qf_shls_entl/bolognesa-16-e03.tptp.smt28317221SLEEK20564default304221complete0.0743150.0697171113176.0satsat
430495016qf_shls_entl/bolognesa-16-e04.tptp.smt28317175SLEEK20564default304221complete0.0753260.0705831113176.0satsat
430495004qf_shls_entl/bolognesa-16-e05.tptp.smt28317163SLEEK20564default304221complete0.0762760.0714749113176.0unsatunsat
430495039qf_shls_entl/bolognesa-16-e06.tptp.smt28317198SLEEK20564default304221complete0.0741120.069396113176.0satsat
430495028qf_shls_entl/bolognesa-16-e07.tptp.smt28317187SLEEK20564default304221complete0.0741290.0694113176.0unsatunsat
430495129qf_shls_entl/bolognesa-16-e08.tptp.smt28317288SLEEK20564default304221complete0.0755820.0709361113176.0unsatunsat
430495138qf_shls_entl/bolognesa-16-e09.tptp.smt28317297SLEEK20564default304221complete0.0746750.070447113176.0unsatunsat
430495233qf_shls_entl/bolognesa-16-e10.tptp.smt28317392SLEEK20564default304221complete0.0748650.070121113176.0satsat
430495247qf_shls_entl/bolognesa-17-e01.tptp.smt28317406SLEEK20564default304221complete0.0732850.0688601113176.0unsatunsat
430495236qf_shls_entl/bolognesa-17-e02.tptp.smt28317395SLEEK20564default304221complete0.0769630.072243113176.0satsat
430495227qf_shls_entl/bolognesa-17-e03.tptp.smt28317386SLEEK20564default304221complete0.0752940.070593113176.0satsat
430495291qf_shls_entl/bolognesa-17-e04.tptp.smt28317450SLEEK20564default304221complete0.0767670.0724981113176.0unsatunsat
430495283qf_shls_entl/bolognesa-17-e05.tptp.smt28317442SLEEK20564default304221complete0.0742050.0695411113176.0unsatunsat
430495275qf_shls_entl/bolognesa-17-e06.tptp.smt28317434SLEEK20564default304221complete0.0746840.0700089113176.0unsatunsat
430495266qf_shls_entl/bolognesa-17-e07.tptp.smt28317425SLEEK20564default304221complete0.0723090.067805113176.0unsatunsat
430495181qf_shls_entl/bolognesa-17-e08.tptp.smt28317340SLEEK20564default304221complete0.0747590.0701001113176.0satsat
430495191qf_shls_entl/bolognesa-17-e09.tptp.smt28317350SLEEK20564default304221complete0.0780160.073186113176.0unsatunsat
430495070qf_shls_entl/bolognesa-17-e10.tptp.smt28317229SLEEK20564default304221complete0.0738860.0693791113176.0unsatunsat
430495276qf_shls_entl/bolognesa-18-e01.tptp.smt28317435SLEEK20564default304221complete0.0751880.070626113176.0unsatunsat
430495282qf_shls_entl/bolognesa-18-e02.tptp.smt28317441SLEEK20564default304221complete0.07540.070907113176.0satsat
430495290qf_shls_entl/bolognesa-18-e03.tptp.smt28317449SLEEK20564default304221complete0.0791850.0748211113176.0satsat
430495228qf_shls_entl/bolognesa-18-e04.tptp.smt28317387SLEEK20564default304221complete0.0740950.0694741113176.0satsat
430495237qf_shls_entl/bolognesa-18-e05.tptp.smt28317396SLEEK20564default304221complete0.0801010.075418113176.0satsat
430495246qf_shls_entl/bolognesa-18-e06.tptp.smt28317405SLEEK20564default304221complete0.0729480.0682901113176.0satsat
430495254qf_shls_entl/bolognesa-18-e07.tptp.smt28317413SLEEK20564default304221complete0.075530.0707569113176.0satsat
430495207qf_shls_entl/bolognesa-18-e08.tptp.smt28317366SLEEK20564default304221complete0.0797150.0748269113176.0satsat
430495198qf_shls_entl/bolognesa-18-e09.tptp.smt28317357SLEEK20564default304221complete0.0764560.071795113176.0satsat
430495012qf_shls_entl/bolognesa-18-e10.tptp.smt28317171SLEEK20564default304221complete0.0734620.068736113176.0unsatunsat
430495038qf_shls_entl/bolognesa-19-e01.tptp.smt28317197SLEEK20564default304221complete0.0787760.074029113176.0satsat
430495005qf_shls_entl/bolognesa-19-e02.tptp.smt28317164SLEEK20564default304221complete0.0759330.071371113176.0satsat
430495017qf_shls_entl/bolognesa-19-e03.tptp.smt28317176SLEEK20564default304221complete0.0797570.074833113176.0satsat
430495061qf_shls_entl/bolognesa-19-e04.tptp.smt28317220SLEEK20564default304221complete0.0716470.0671581113176.0satsat
430495074qf_shls_entl/bolognesa-19-e05.tptp.smt28317233SLEEK20564default304221complete0.0760470.0713841113176.0unsatunsat
430495046qf_shls_entl/bolognesa-19-e06.tptp.smt28317205SLEEK20564default304221complete0.0758080.070968113176.0unsatunsat
430495055qf_shls_entl/bolognesa-19-e07.tptp.smt28317214SLEEK20564default304221complete0.0790920.074241113176.0satsat
430495118qf_shls_entl/bolognesa-19-e08.tptp.smt28317277SLEEK20564default304221complete0.0806920.075647113176.0unsatunsat
430495109qf_shls_entl/bolognesa-19-e09.tptp.smt28317268SLEEK20564default304221complete0.0772310.0724289113176.0satsat
430495287qf_shls_entl/bolognesa-19-e10.tptp.smt28317446SLEEK20564default304221complete0.0743060.0697321113176.0unsatunsat
430495007qf_shls_entl/bolognesa-20-e01.tptp.smt28317166SLEEK20564default304221complete0.0796040.0748529113176.0satsat
430495035qf_shls_entl/bolognesa-20-e02.tptp.smt28317194SLEEK20564default304221complete0.0752970.0706301113176.0satsat
430495026qf_shls_entl/bolognesa-20-e03.tptp.smt28317185SLEEK20564default304221complete0.0797960.0749721113176.0satsat
430495054qf_shls_entl/bolognesa-20-e04.tptp.smt28317213SLEEK20564default304221complete0.0786110.073599113176.0satsat
430495041qf_shls_entl/bolognesa-20-e05.tptp.smt28317200SLEEK20564default304221complete0.0768850.0723019113176.0satsat
430495076qf_shls_entl/bolognesa-20-e06.tptp.smt28317235SLEEK20564default304221complete0.0767620.0721399113176.0unsatunsat
430495064qf_shls_entl/bolognesa-20-e07.tptp.smt28317223SLEEK20564default304221complete0.07280.0681189113176.0unsatunsat
430495084qf_shls_entl/bolognesa-20-e08.tptp.smt28317243SLEEK20564default304221complete0.0795650.0753431113176.0unsatunsat
430495097qf_shls_entl/bolognesa-20-e09.tptp.smt28317256SLEEK20564default304221complete0.0788750.0739759113176.0satsat
430495259qf_shls_entl/bolognesa-20-e10.tptp.smt28317418SLEEK20564default304221complete0.0740790.0694259113176.0unsatunsat
430495013qf_shls_entl/clones-01-e01.tptp.smt28317172SLEEK20564default304221complete0.0667930.062335113176.0unsatunsat
430495021qf_shls_entl/clones-01-e02.tptp.smt28317180SLEEK20564default304221complete0.0668060.0626739113176.0unsatunsat
430495030qf_shls_entl/clones-01-e03.tptp.smt28317189SLEEK20564default304221complete0.0659160.061928113176.0unsatunsat
430495048qf_shls_entl/clones-01-e04.tptp.smt28317207SLEEK20564default304221complete0.0673070.062817113176.0unsatunsat
430495057qf_shls_entl/clones-01-e05.tptp.smt28317216SLEEK20564default304221complete0.0701290.065699113176.0unsatunsat
430495071qf_shls_entl/clones-01-e06.tptp.smt28317230SLEEK20564default304221complete0.066380.0620581113176.0unsatunsat
430495081qf_shls_entl/clones-01-e07.tptp.smt28317240SLEEK20564default304221complete0.0874920.0826509113176.0satsat
430495102qf_shls_entl/clones-01-e08.tptp.smt28317261SLEEK20564default304221complete0.0748940.0700161113176.0satsat
430495094qf_shls_entl/clones-01-e09.tptp.smt28317253SLEEK20564default304221complete0.0858030.0807439113176.0satsat
430495274qf_shls_entl/clones-01-e10.tptp.smt28317433SLEEK20564default304221complete0.0809880.0763629113176.0satsat
430495166qf_shls_entl/clones-02-e01.tptp.smt28317325SLEEK20564default304221complete0.0676190.0635881113176.0unsatunsat
430495174qf_shls_entl/clones-02-e02.tptp.smt28317333SLEEK20564default304221complete0.0668760.062994113176.0unsatunsat
430495185qf_shls_entl/clones-02-e03.tptp.smt28317344SLEEK20564default304221complete0.0700530.0659781113176.0unsatunsat
430495202qf_shls_entl/clones-02-e04.tptp.smt28317361SLEEK20564default304221complete0.0669150.0629689113176.0unsatunsat
430495208qf_shls_entl/clones-02-e05.tptp.smt28317367SLEEK20564default304221complete0.0670830.062643113176.0unsatunsat
430495217qf_shls_entl/clones-02-e06.tptp.smt28317376SLEEK20564default304221complete0.0653550.0610061113176.0unsatunsat
430495225qf_shls_entl/clones-02-e07.tptp.smt28317384SLEEK20564default304221complete0.070620.0672789113176.0satsat
430495239qf_shls_entl/clones-02-e08.tptp.smt28317398SLEEK20564default304221complete0.0693430.064735113176.0satsat
430495232qf_shls_entl/clones-02-e09.tptp.smt28317391SLEEK20564default304221complete0.0695250.0651809113176.0satsat
430495135qf_shls_entl/clones-02-e10.tptp.smt28317294SLEEK20564default304221complete0.0676030.0634881113176.0satsat
430495147qf_shls_entl/clones-03-e01.tptp.smt28317306SLEEK20564default304221complete0.0672340.063133113176.0unsatunsat
430495124qf_shls_entl/clones-03-e02.tptp.smt28317283SLEEK20564default304221complete0.0670030.063007113176.0unsatunsat
430495132qf_shls_entl/clones-03-e03.tptp.smt28317291SLEEK20564default304221complete0.068840.0647891113176.0unsatunsat
430495112qf_shls_entl/clones-03-e04.tptp.smt28317271SLEEK20564default304221complete0.0676680.063809113176.0unsatunsat
430495119qf_shls_entl/clones-03-e05.tptp.smt28317278SLEEK20564default304221complete0.0674140.063523113176.0unsatunsat
430495089qf_shls_entl/clones-03-e06.tptp.smt28317248SLEEK20564default304221complete0.0669710.062508113176.0unsatunsat
430495101qf_shls_entl/clones-03-e07.tptp.smt28317260SLEEK20564default304221complete0.07080.066144113176.0satsat
430495079qf_shls_entl/clones-03-e08.tptp.smt28317238SLEEK20564default304221complete0.0737270.069583113176.0satsat
430495069qf_shls_entl/clones-03-e09.tptp.smt28317228SLEEK20564default304221complete0.072780.0680481113176.0satsat
430495189qf_shls_entl/clones-03-e10.tptp.smt28317348SLEEK20564default304221complete0.0706950.066122113176.0satsat
430495037qf_shls_entl/clones-04-e01.tptp.smt28317196SLEEK20564default304221complete0.070330.0664799113176.0unsatunsat
430495003qf_shls_entl/clones-04-e02.tptp.smt28317162SLEEK20564default304221complete0.0682820.064244113176.0unsatunsat
430495018qf_shls_entl/clones-04-e03.tptp.smt28317177SLEEK20564default304221complete0.067570.063622113176.0unsatunsat
430495063qf_shls_entl/clones-04-e04.tptp.smt28317222SLEEK20564default304221complete0.066870.0627859113176.0unsatunsat
430495073qf_shls_entl/clones-04-e05.tptp.smt28317232SLEEK20564default304221complete0.0690250.0648849113176.0unsatunsat
430495044qf_shls_entl/clones-04-e06.tptp.smt28317203SLEEK20564default304221complete0.0670590.062978113176.0unsatunsat
430495056qf_shls_entl/clones-04-e07.tptp.smt28317215SLEEK20564default304221complete0.071810.067155113176.0satsat
430495117qf_shls_entl/clones-04-e08.tptp.smt28317276SLEEK20564default304221complete0.0777060.072896113176.0satsat
430495110qf_shls_entl/clones-04-e09.tptp.smt28317269SLEEK20564default304221complete0.076610.0720041113176.0satsat
430495288qf_shls_entl/clones-04-e10.tptp.smt28317447SLEEK20564default304221complete0.0759050.071089113176.0satsat
430495273qf_shls_entl/clones-05-e01.tptp.smt28317432SLEEK20564default304221complete0.0712770.0669601113176.0unsatunsat
430495281qf_shls_entl/clones-05-e02.tptp.smt28317440SLEEK20564default304221complete0.0717140.067539113176.0unsatunsat
430495292qf_shls_entl/clones-05-e03.tptp.smt28317451SLEEK20564default304221complete0.0690740.0655881113176.0unsatunsat
430495229qf_shls_entl/clones-05-e04.tptp.smt28317388SLEEK20564default304221complete0.0674020.0633291113176.0unsatunsat
430495235qf_shls_entl/clones-05-e05.tptp.smt28317394SLEEK20564default304221complete0.0719230.0673271113176.0unsatunsat
430495245qf_shls_entl/clones-05-e06.tptp.smt28317404SLEEK20564default304221complete0.0660760.061791113176.0unsatunsat
430495255qf_shls_entl/clones-05-e07.tptp.smt28317414SLEEK20564default304221complete0.0749380.0701769113176.0satsat
430495206qf_shls_entl/clones-05-e08.tptp.smt28317365SLEEK20564default304221complete0.0832730.0782539113176.0satsat
430495199qf_shls_entl/clones-05-e09.tptp.smt28317358SLEEK20564default304221complete0.0813620.0763819113176.0satsat
430495014qf_shls_entl/clones-05-e10.tptp.smt28317173SLEEK20564default304221complete0.0739690.0692369113176.0satsat
430495133qf_shls_entl/clones-06-e01.tptp.smt28317292SLEEK20564default304221complete0.0664930.062563113176.0unsatunsat
430495143qf_shls_entl/clones-06-e02.tptp.smt28317302SLEEK20564default304221complete0.0696340.065118113176.0unsatunsat
430495156qf_shls_entl/clones-06-e03.tptp.smt28317315SLEEK20564default304221complete0.0688610.064344113176.0unsatunsat
430495085qf_shls_entl/clones-06-e04.tptp.smt28317244SLEEK20564default304221complete0.0665790.0626181113176.0unsatunsat
430495095qf_shls_entl/clones-06-e05.tptp.smt28317254SLEEK20564default304221complete0.0722850.0677819113176.0unsatunsat
430495105qf_shls_entl/clones-06-e06.tptp.smt28317264SLEEK20564default304221complete0.066850.0629549113176.0unsatunsat
430495116qf_shls_entl/clones-06-e07.tptp.smt28317275SLEEK20564default304221complete0.0778470.072971113176.0satsat
430495052qf_shls_entl/clones-06-e08.tptp.smt28317211SLEEK20564default304221complete0.0941290.0887651113176.0satsat
430495042qf_shls_entl/clones-06-e09.tptp.smt28317201SLEEK20564default304221complete0.0888770.0835969113176.0satsat
430495167qf_shls_entl/clones-06-e10.tptp.smt28317326SLEEK20564default304221complete0.0813530.076457113176.0satsat
430495187qf_shls_entl/clones-07-e01.tptp.smt28317346SLEEK20564default304221complete0.0675880.0635649113176.0unsatunsat
430495161qf_shls_entl/clones-07-e02.tptp.smt28317320SLEEK20564default304221complete0.0696390.065132113176.0unsatunsat
430495172qf_shls_entl/clones-07-e03.tptp.smt28317331SLEEK20564default304221complete0.0731650.0686409113176.0unsatunsat
430495214qf_shls_entl/clones-07-e04.tptp.smt28317373SLEEK20564default304221complete0.0649450.060619113176.0unsatunsat
430495222qf_shls_entl/clones-07-e05.tptp.smt28317381SLEEK20564default304221complete0.0731310.06859113176.0unsatunsat
430495194qf_shls_entl/clones-07-e06.tptp.smt28317353SLEEK20564default304221complete0.0658580.0619099113176.0unsatunsat
430495204qf_shls_entl/clones-07-e07.tptp.smt28317363SLEEK20564default304221complete0.0810190.0761011113176.0satsat
430495251qf_shls_entl/clones-07-e08.tptp.smt28317410SLEEK20564default304221complete0.101090.0961131113176.0satsat
430495242qf_shls_entl/clones-07-e09.tptp.smt28317401SLEEK20564default304221complete0.0966260.0911801113176.0satsat
430495149qf_shls_entl/clones-07-e10.tptp.smt28317308SLEEK20564default304221complete0.0805650.0757141113176.0satsat
430495195qf_shls_entl/clones-08-e01.tptp.smt28317354SLEEK20564default304221complete0.0671820.0631129113176.0unsatunsat
430495221qf_shls_entl/clones-08-e02.tptp.smt28317380SLEEK20564default304221complete0.0681850.063716113176.0unsatunsat
430495213qf_shls_entl/clones-08-e03.tptp.smt28317372SLEEK20564default304221complete0.0691530.06484113176.0unsatunsat
430495173qf_shls_entl/clones-08-e04.tptp.smt28317332SLEEK20564default304221complete0.0699560.065379113176.0unsatunsat
430495162qf_shls_entl/clones-08-e05.tptp.smt28317321SLEEK20564default304221complete0.0756120.0710901113176.0unsatunsat
430495186qf_shls_entl/clones-08-e06.tptp.smt28317345SLEEK20564default304221complete0.0657210.061371113176.0unsatunsat
430495180qf_shls_entl/clones-08-e07.tptp.smt28317339SLEEK20564default304221complete0.0836340.078596113176.0satsat
430495262qf_shls_entl/clones-08-e08.tptp.smt28317421SLEEK20564default304221complete0.1102840.104979113176.0satsat
430495271qf_shls_entl/clones-08-e09.tptp.smt28317430SLEEK20564default304221complete0.1044690.0987931113176.0satsat
430495091qf_shls_entl/clones-08-e10.tptp.smt28317250SLEEK20564default304221complete0.0846560.0797129113176.0satsat
430495104qf_shls_entl/clones-09-e01.tptp.smt28317263SLEEK20564default304221complete0.0679230.0637081113176.0unsatunsat
430495096qf_shls_entl/clones-09-e02.tptp.smt28317255SLEEK20564default304221complete0.0704610.065984113176.0unsatunsat
430495086qf_shls_entl/clones-09-e03.tptp.smt28317245SLEEK20564default304221complete0.0698110.0652331113176.0unsatunsat
430495155qf_shls_entl/clones-09-e04.tptp.smt28317314SLEEK20564default304221complete0.065070.0612871113176.0unsatunsat
430495142qf_shls_entl/clones-09-e05.tptp.smt28317301SLEEK20564default304221complete0.0786110.074196113176.0unsatunsat
430495134qf_shls_entl/clones-09-e06.tptp.smt28317293SLEEK20564default304221complete0.067810.063874113176.0unsatunsat
430495128qf_shls_entl/clones-09-e07.tptp.smt28317287SLEEK20564default304221complete0.0878660.0828091113176.0satsat
430495024qf_shls_entl/clones-09-e08.tptp.smt28317183SLEEK20564default304221complete0.1210070.115027113176.0satsat
430495036qf_shls_entl/clones-09-e09.tptp.smt28317195SLEEK20564default304221complete0.1170350.111072113176.0satsat
430495218qf_shls_entl/clones-09-e10.tptp.smt28317377SLEEK20564default304221complete0.0886780.0836619113176.0satsat
430495031qf_shls_entl/clones-10-e01.tptp.smt28317190SLEEK20564default304221complete0.068030.0636119113176.0unsatunsat
430494999qf_shls_entl/clones-10-e02.tptp.smt28317158SLEEK20564default304221complete0.0694640.0649491113176.0unsatunsat
430495011qf_shls_entl/clones-10-e03.tptp.smt28317170SLEEK20564default304221complete0.0712990.067158113176.0unsatunsat
430495068qf_shls_entl/clones-10-e04.tptp.smt28317227SLEEK20564default304221complete0.0677490.063688113176.0unsatunsat
430495078qf_shls_entl/clones-10-e05.tptp.smt28317237SLEEK20564default304221complete0.08440.079812113176.0unsatunsat
430495049qf_shls_entl/clones-10-e06.tptp.smt28317208SLEEK20564default304221complete0.070870.066863113176.0unsatunsat
430495060qf_shls_entl/clones-10-e07.tptp.smt28317219SLEEK20564default304221complete0.0935160.0882071113176.0satsat
430495121qf_shls_entl/clones-10-e08.tptp.smt28317280SLEEK20564default304221complete0.1344080.128643113176.0satsat
430495114qf_shls_entl/clones-10-e09.tptp.smt28317273SLEEK20564default304221complete0.1293290.123749113176.0satsat
430495294qf_shls_entl/clones-10-e10.tptp.smt28317453SLEEK20564default304221complete0.0930190.0878431113176.0satsat
430495277qf_shls_entl/ls-vc01.smt28317436SLEEK20564default304221complete0.0910350.0855119113176.0satsat
430495108qf_shls_entl/ls-vc02.smt28317267SLEEK20564default304221complete0.138730.132057113176.0satsat
430495066qf_shls_entl/ls-vc03.smt28317225SLEEK20564default304221complete0.3668130.353962113176.0satsat
430495160qf_shls_entl/ls-vc04.smt28317319SLEEK20564default304221complete0.0761120.071632113176.0satsat
430495264qf_shls_entl/ls-vc05.smt28317423SLEEK20564default304221complete0.0651040.0611539113176.0unsatunsat
430495093qf_shls_entl/ls-vc06.smt28317252SLEEK20564default304221complete0.1153730.109125113176.0satsat
430495051qf_shls_entl/ls-vc07.smt28317210SLEEK20564default304221complete0.0655150.0617091113176.0satsat
430495220qf_shls_entl/ls-vc08.smt28317379SLEEK20564default304221complete0.1165920.110401113176.0satunsat
430495252qf_shls_entl/ls-vc09.smt28317411SLEEK20564default304221complete0.1175250.110571113176.0satunsat
430495082qf_shls_entl/smallfoot-vc01.tptp.smt28317241SLEEK20564default304221complete0.0668750.0623389113176.0unsatunsat
430495115qf_shls_entl/smallfoot-vc02.tptp.smt28317274SLEEK20564default304221complete0.0657090.0618789113176.0unsatunsat
430495107qf_shls_entl/smallfoot-vc03.tptp.smt28317266SLEEK20564default304221complete0.0658210.061926113176.0unsatunsat
430495136qf_shls_entl/smallfoot-vc04.tptp.smt28317295SLEEK20564default304221complete0.0662570.062366113176.0unsatunsat
430495126qf_shls_entl/smallfoot-vc05.tptp.smt28317285SLEEK20564default304221complete0.0661220.0617781113176.0unsatunsat
430495153qf_shls_entl/smallfoot-vc06.tptp.smt28317312SLEEK20564default304221complete0.0693860.065249113176.0unsatunsat
430495146qf_shls_entl/smallfoot-vc07.tptp.smt28317305SLEEK20564default304221complete0.0668430.0628641113176.0unsatunsat
430495006qf_shls_entl/smallfoot-vc08.tptp.smt28317165SLEEK20564default304221complete0.0670320.0629771113176.0unsatunsat
430495020qf_shls_entl/smallfoot-vc09.tptp.smt28317179SLEEK20564default304221complete0.0710980.066991113176.0unsatunsat
430495201qf_shls_entl/smallfoot-vc10.tptp.smt28317360SLEEK20564default304221complete0.1015160.095891113176.0unsatunsat
430495209qf_shls_entl/smallfoot-vc11.tptp.smt28317368SLEEK20564default304221complete0.0855910.080356113176.0unsatunsat
430495215qf_shls_entl/smallfoot-vc12.tptp.smt28317374SLEEK20564default304221complete0.0680270.063981113176.0unsatunsat
430495226qf_shls_entl/smallfoot-vc13.tptp.smt28317385SLEEK20564default304221complete0.0660630.062091113176.0unsatunsat
430495158qf_shls_entl/smallfoot-vc14.tptp.smt28317317SLEEK20564default304221complete0.0659610.0614731113176.0unsatunsat
430495165qf_shls_entl/smallfoot-vc15.tptp.smt28317324SLEEK20564default304221complete0.0664150.0624471113176.0unsatunsat
430495175qf_shls_entl/smallfoot-vc16.tptp.smt28317334SLEEK20564default304221complete0.0683720.0637621113176.0unsatunsat
430495184qf_shls_entl/smallfoot-vc17.tptp.smt28317343SLEEK20564default304221complete0.0659860.061583113176.0unsatunsat
430495268qf_shls_entl/smallfoot-vc18.tptp.smt28317427SLEEK20564default304221complete0.0685350.0643889113176.0unsatunsat
430495261qf_shls_entl/smallfoot-vc19.tptp.smt28317420SLEEK20564default304221complete0.0679730.0633441113176.0unsatunsat
430495001qf_shls_entl/smallfoot-vc20.tptp.smt28317160SLEEK20564default304221complete0.0681450.0642311113176.0unsatunsat
430495009qf_shls_entl/smallfoot-vc21.tptp.smt28317168SLEEK20564default304221complete0.0673870.06322113176.0unsatunsat
430495023qf_shls_entl/smallfoot-vc22.tptp.smt28317182SLEEK20564default304221complete0.0728150.068519113176.0unsatsat
430495032qf_shls_entl/smallfoot-vc23.tptp.smt28317191SLEEK20564default304221complete0.0659060.061471113176.0unsatsat
430495050qf_shls_entl/smallfoot-vc24.tptp.smt28317209SLEEK20564default304221complete0.0748380.070519113176.0unsatunsat
430495059qf_shls_entl/smallfoot-vc25.tptp.smt28317218SLEEK20564default304221complete0.0737660.069536113176.0unsatunsat
430495067qf_shls_entl/smallfoot-vc26.tptp.smt28317226SLEEK20564default304221complete0.0682840.064193113176.0unsatunsat
430495080qf_shls_entl/smallfoot-vc27.tptp.smt28317239SLEEK20564default304221complete0.0669190.0628211113176.0unsatunsat
430495099qf_shls_entl/smallfoot-vc28.tptp.smt28317258SLEEK20564default304221complete0.0946680.0895451113176.0satunsat
430495090qf_shls_entl/smallfoot-vc29.tptp.smt28317249SLEEK20564default304221complete0.0797870.0750009113176.0satsat
430495272qf_shls_entl/smallfoot-vc30.tptp.smt28317431SLEEK20564default304221complete0.0893630.083783113176.0satsat
430495263qf_shls_entl/smallfoot-vc31.tptp.smt28317422SLEEK20564default304221complete0.0850650.080175113176.0satsat
430495293qf_shls_entl/smallfoot-vc32.tptp.smt28317452SLEEK20564default304221complete0.0895250.084444113176.0satsat
430495284qf_shls_entl/smallfoot-vc33.tptp.smt28317443SLEEK20564default304221complete0.080250.075516113176.0satsat
430495238qf_shls_entl/smallfoot-vc34.tptp.smt28317397SLEEK20564default304221complete0.4626030.447222113176.0unsatunsat
430495230qf_shls_entl/smallfoot-vc35.tptp.smt28317389SLEEK20564default304221complete0.090960.0857461113176.0satsat
430495250qf_shls_entl/smallfoot-vc36.tptp.smt28317409SLEEK20564default304221complete0.0947370.0888451113176.0unsatunsat
430495243qf_shls_entl/smallfoot-vc37.tptp.smt28317402SLEEK20564default304221complete0.0750070.0708109113176.0satsat
430495193qf_shls_entl/smallfoot-vc38.tptp.smt28317352SLEEK20564default304221complete0.7438480.720928253188.0unsatunsat
430495205qf_shls_entl/smallfoot-vc39.tptp.smt28317364SLEEK20564default304221complete0.0682210.0636881113176.0unsatsat
430495257qf_shls_entl/smallfoot-vc40.tptp.smt28317416SLEEK20564default304221complete0.0696490.0656529113176.0unsatsat
430495249qf_shls_entl/smallfoot-vc41.tptp.smt28317408SLEEK20564default304221complete0.0691360.064991113176.0unsatunsat
430495240qf_shls_entl/smallfoot-vc42.tptp.smt28317399SLEEK20564default304221complete0.069590.0654691113176.0unsatunsat
430495231qf_shls_entl/smallfoot-vc43.tptp.smt28317390SLEEK20564default304221complete0.0713770.0673709113176.0unsatsat
430495285qf_shls_entl/smallfoot-vc44.tptp.smt28317444SLEEK20564default304221complete0.0707570.066154113176.0unsatunsat
430495279qf_shls_entl/smallfoot-vc45.tptp.smt28317438SLEEK20564default304221complete0.073640.069557113176.0unsatunsat
430495269qf_shls_entl/smallfoot-vc46.tptp.smt28317428SLEEK20564default304221complete0.0701660.0661599113176.0unsatunsat
430495260qf_shls_entl/smallfoot-vc47.tptp.smt28317419SLEEK20564default304221complete0.0670640.0628941113176.0unsatunsat
430495176qf_shls_entl/smallfoot-vc48.tptp.smt28317335SLEEK20564default304221complete0.071250.0671699113176.0unsatunsat
430495183qf_shls_entl/smallfoot-vc49.tptp.smt28317342SLEEK20564default304221complete0.0705010.0657851113176.0unsatsat
430495065qf_shls_entl/smallfoot-vc50.tptp.smt28317224SLEEK20564default304221complete0.0678590.063786113176.0unsatunsat
430495077qf_shls_entl/smallfoot-vc51.tptp.smt28317236SLEEK20564default304221complete0.0677770.0636769113176.0unsatunsat
430495040qf_shls_entl/smallfoot-vc52.tptp.smt28317199SLEEK20564default304221complete0.0699170.0659191113176.0unsatunsat
430495053qf_shls_entl/smallfoot-vc53.tptp.smt28317212SLEEK20564default304221complete0.0685430.0646071113176.0unsatunsat
430495025qf_shls_entl/smallfoot-vc54.tptp.smt28317184SLEEK20564default304221complete0.0710740.066827113176.0unsatsat
430495034qf_shls_entl/smallfoot-vc55.tptp.smt28317193SLEEK20564default304221complete0.0673720.0628961113176.0unsatunsat
430495008qf_shls_entl/smallfoot-vc56.tptp.smt28317167SLEEK20564default304221complete0.0712890.0672129113176.0unsatsat
430495019qf_shls_entl/smallfoot-vc57.tptp.smt28317178SLEEK20564default304221complete0.0751140.07078113176.0unsatsat
430495154qf_shls_entl/smallfoot-vc58.tptp.smt28317313SLEEK20564default304221complete0.0690280.064884113176.0unsatunsat
430495144qf_shls_entl/smallfoot-vc59.tptp.smt28317303SLEEK20564default304221complete0.0665860.062682113176.0unsatunsat
430495179qf_shls_entl/smallfoot-vc60.tptp.smt28317338SLEEK20564default304221complete0.0689460.0649849113176.0unsatunsat
430495188qf_shls_entl/smallfoot-vc61.tptp.smt28317347SLEEK20564default304221complete0.069040.0650031113176.0unsatsat
430495164qf_shls_entl/smallfoot-vc62.tptp.smt28317323SLEEK20564default304221complete0.0664580.062429113176.0unsatunsat
430495170qf_shls_entl/smallfoot-vc63.tptp.smt28317329SLEEK20564default304221complete0.0711390.0666011164844.0unsatunsat
430495211qf_shls_entl/smallfoot-vc64.tptp.smt28317370SLEEK20564default304221complete0.0680710.064059113176.0unsatunsat
430495224qf_shls_entl/smallfoot-vc65.tptp.smt28317383SLEEK20564default304221complete0.0678760.0639399113176.0unsatunsat
430495196qf_shls_entl/smallfoot-vc66.tptp.smt28317355SLEEK20564default304221complete0.0724570.0684729113176.0unsatunsat
430495203qf_shls_entl/smallfoot-vc67.tptp.smt28317362SLEEK20564default304221complete0.0676150.063608113176.0unsatunsat
430495253qf_shls_entl/smallfoot-vc68.tptp.smt28317412SLEEK20564default304221complete0.0673450.063209113176.0unsatsat
430495241qf_shls_entl/smallfoot-vc69.tptp.smt28317400SLEEK20564default304221complete0.0716320.067291113176.0unsatsat
430495148qf_shls_entl/smallfoot-vc70.tptp.smt28317307SLEEK20564default304221complete0.148060.140849113176.0unsatsat
430495140qf_shls_entl/smallfoot-vc71.tptp.smt28317299SLEEK20564default304221complete0.0889170.084149113176.0unsatunsat
430495131qf_shls_entl/smallfoot-vc72.tptp.smt28317290SLEEK20564default304221complete0.0699670.0659231113176.0unsatsat
430495123qf_shls_entl/smallfoot-vc73.tptp.smt28317282SLEEK20564default304221complete0.0685290.0645041113176.0unsatsat
430495120qf_shls_entl/smallfoot-vc74.tptp.smt28317279SLEEK20564default304221complete0.0699020.0652619113176.0unsatunsat
430495113qf_shls_entl/smallfoot-vc75.tptp.smt28317272SLEEK20564default304221complete0.0710020.0663289113176.0unsatunsat
430495100qf_shls_entl/smallfoot-vc76.tptp.smt28317259SLEEK20564default304221complete0.068660.0645671113176.0unsatsat
430495088qf_shls_entl/smallfoot-vc77.tptp.smt28317247SLEEK20564default304221complete0.0670720.0630679113176.0unsatunsat