pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430512152qf_shls_entl/bolognesa-10-e01.tptp.smt28317378SPEN22607qf_shls326476complete0.0558540.0544889113176.0satsat
430512143qf_shls_entl/bolognesa-10-e02.tptp.smt28317369SPEN22607qf_shls326476complete0.0422720.040993113176.0unsatunsat
430512133qf_shls_entl/bolognesa-10-e03.tptp.smt28317359SPEN22607qf_shls326476complete0.0530740.0518979113176.0unsatunsat
430512115qf_shls_entl/bolognesa-10-e04.tptp.smt28317341SPEN22607qf_shls326476complete0.0533790.0521001113176.0satsat
430512110qf_shls_entl/bolognesa-10-e05.tptp.smt28317336SPEN22607qf_shls326476complete0.0457980.0444911113176.0satsat
430512101qf_shls_entl/bolognesa-10-e06.tptp.smt28317327SPEN22607qf_shls326476complete0.0424480.041178113176.0satsat
430512090qf_shls_entl/bolognesa-10-e07.tptp.smt28317316SPEN22607qf_shls326476complete0.0496730.0483811113176.0satsat
430512211qf_shls_entl/bolognesa-10-e08.tptp.smt28317437SPEN22607qf_shls326476complete0.0464160.0450869113176.0satsat
430512219qf_shls_entl/bolognesa-10-e09.tptp.smt28317445SPEN22607qf_shls326476complete0.0548180.053514113176.0satsat
430512036qf_shls_entl/bolognesa-10-e10.tptp.smt28317262SPEN22607qf_shls326476complete0.0534020.052249113176.0unsatunsat
430512025qf_shls_entl/bolognesa-11-e01.tptp.smt28317251SPEN22607qf_shls326476complete0.0540370.052724113176.0unsatunsat
430512055qf_shls_entl/bolognesa-11-e02.tptp.smt28317281SPEN22607qf_shls326476complete0.0465750.0453011113176.0unsatunsat
430512044qf_shls_entl/bolognesa-11-e03.tptp.smt28317270SPEN22607qf_shls326476complete0.0653630.0641479113176.0unsatunsat
430512063qf_shls_entl/bolognesa-11-e04.tptp.smt28317289SPEN22607qf_shls326476complete0.058720.057509113176.0unsatunsat
430512058qf_shls_entl/bolognesa-11-e05.tptp.smt28317284SPEN22607qf_shls326476complete0.054280.0530201113176.0satsat
430512083qf_shls_entl/bolognesa-11-e06.tptp.smt28317309SPEN22607qf_shls326476complete0.0558660.05451113176.0satsat
430512072qf_shls_entl/bolognesa-11-e07.tptp.smt28317298SPEN22607qf_shls326476complete0.0522720.051055113176.0unsatunsat
430511933qf_shls_entl/bolognesa-11-e08.tptp.smt28317159SPEN22607qf_shls326476complete0.0448520.0435461113176.0unsatunsat
430511943qf_shls_entl/bolognesa-11-e09.tptp.smt28317169SPEN22607qf_shls326476complete0.0491610.048004113176.0unsatunsat
430512125qf_shls_entl/bolognesa-11-e10.tptp.smt28317351SPEN22607qf_shls326476complete0.0566670.0554259113176.0satsat
430512167qf_shls_entl/bolognesa-12-e01.tptp.smt28317393SPEN22607qf_shls326476complete0.0554040.0543241113176.0unsatunsat
430512189qf_shls_entl/bolognesa-12-e02.tptp.smt28317415SPEN22607qf_shls326476complete0.0582330.0569901113176.0satsat
430512181qf_shls_entl/bolognesa-12-e03.tptp.smt28317407SPEN22607qf_shls326476complete0.0704720.0692611113176.0satsat
430512200qf_shls_entl/bolognesa-12-e04.tptp.smt28317426SPEN22607qf_shls326476complete0.0683140.0671121113176.0satsat
430512191qf_shls_entl/bolognesa-12-e05.tptp.smt28317417SPEN22607qf_shls326476complete0.0528420.0515939113176.0unsatunsat
430512222qf_shls_entl/bolognesa-12-e06.tptp.smt28317448SPEN22607qf_shls326476complete0.0443230.0430599113176.0unsatunsat
430512213qf_shls_entl/bolognesa-12-e07.tptp.smt28317439SPEN22607qf_shls326476complete0.0512680.049987113176.0satsat
430512092qf_shls_entl/bolognesa-12-e08.tptp.smt28317318SPEN22607qf_shls326476complete0.0583510.0572141113176.0unsatunsat
430512102qf_shls_entl/bolognesa-12-e09.tptp.smt28317328SPEN22607qf_shls326476complete0.0552820.054023113176.0unsatunsat
430511976qf_shls_entl/bolognesa-12-e10.tptp.smt28317202SPEN22607qf_shls326476complete0.0551360.0539171113176.0unsatunsat
430512005qf_shls_entl/bolognesa-13-e01.tptp.smt28317231SPEN22607qf_shls326476complete0.0744550.073191113176.0unsatunsat
430511991qf_shls_entl/bolognesa-13-e02.tptp.smt28317217SPEN22607qf_shls326476complete0.0737760.083185113176.0satsat
430511980qf_shls_entl/bolognesa-13-e03.tptp.smt28317206SPEN22607qf_shls326476complete0.0561530.0549429113176.0unsatunsat
430511962qf_shls_entl/bolognesa-13-e04.tptp.smt28317188SPEN22607qf_shls326476complete0.0647510.063467113176.0satsat
430511955qf_shls_entl/bolognesa-13-e05.tptp.smt28317181SPEN22607qf_shls326476complete0.0663560.0651219113176.0satsat
430511948qf_shls_entl/bolognesa-13-e06.tptp.smt28317174SPEN22607qf_shls326476complete0.0589770.057751113176.0satsat
430511935qf_shls_entl/bolognesa-13-e07.tptp.smt28317161SPEN22607qf_shls326476complete0.0802780.0790231113176.0unsatunsat
430512074qf_shls_entl/bolognesa-13-e08.tptp.smt28317300SPEN22607qf_shls326476complete0.0514070.050189113176.0unsatunsat
430512084qf_shls_entl/bolognesa-13-e09.tptp.smt28317310SPEN22607qf_shls326476complete0.0530220.0517751113176.0satsat
430512177qf_shls_entl/bolognesa-13-e10.tptp.smt28317403SPEN22607qf_shls326476complete0.0788380.0775911113176.0satsat
430512039qf_shls_entl/bolognesa-14-e01.tptp.smt28317265SPEN22607qf_shls326476complete0.0527880.0515261113176.0unsatunsat
430512031qf_shls_entl/bolognesa-14-e02.tptp.smt28317257SPEN22607qf_shls326476complete0.0600360.0587881113176.0unsatunsat
430512016qf_shls_entl/bolognesa-14-e03.tptp.smt28317242SPEN22607qf_shls326476complete0.0716680.070438113176.0unsatunsat
430512085qf_shls_entl/bolognesa-14-e04.tptp.smt28317311SPEN22607qf_shls326476complete0.0622180.061015113176.0unsatunsat
430512078qf_shls_entl/bolognesa-14-e05.tptp.smt28317304SPEN22607qf_shls326476complete0.0944810.0932621113176.0satsat
430512070qf_shls_entl/bolognesa-14-e06.tptp.smt28317296SPEN22607qf_shls326476complete0.0671640.065951113176.0unsatunsat
430512060qf_shls_entl/bolognesa-14-e07.tptp.smt28317286SPEN22607qf_shls326476complete0.0716020.0703241113176.0unsatunsat
430511960qf_shls_entl/bolognesa-14-e08.tptp.smt28317186SPEN22607qf_shls326476complete0.0754730.0741561113176.0unsatunsat
430511966qf_shls_entl/bolognesa-14-e09.tptp.smt28317192SPEN22607qf_shls326476complete0.0823690.081038113176.0unsatunsat
430512149qf_shls_entl/bolognesa-14-e10.tptp.smt28317375SPEN22607qf_shls326476complete0.0935880.092363113176.0satsat
430512130qf_shls_entl/bolognesa-15-e01.tptp.smt28317356SPEN22607qf_shls326476complete0.0713180.0700371113176.0unsatunsat
430512156qf_shls_entl/bolognesa-15-e02.tptp.smt28317382SPEN22607qf_shls326476complete0.1280510.126675113176.0unsatunsat
430512145qf_shls_entl/bolognesa-15-e03.tptp.smt28317371SPEN22607qf_shls326476complete0.0886320.0873451113176.0satsat
430512104qf_shls_entl/bolognesa-15-e04.tptp.smt28317330SPEN22607qf_shls326476complete0.0821330.080791113176.0unsatunsat
430512096qf_shls_entl/bolognesa-15-e05.tptp.smt28317322SPEN22607qf_shls326476complete0.0995580.0984301113176.0unsatunsat
430512123qf_shls_entl/bolognesa-15-e06.tptp.smt28317349SPEN22607qf_shls326476complete0.123520.122242113176.0unsatunsat
430512111qf_shls_entl/bolognesa-15-e07.tptp.smt28317337SPEN22607qf_shls326476complete0.0825870.081302113176.0unsatunsat
430512198qf_shls_entl/bolognesa-15-e08.tptp.smt28317424SPEN22607qf_shls326476complete0.089010.0880869113176.0satsat
430512203qf_shls_entl/bolognesa-15-e09.tptp.smt28317429SPEN22607qf_shls326476complete0.1595040.158289113176.0satsat
430512020qf_shls_entl/bolognesa-15-e10.tptp.smt28317246SPEN22607qf_shls326476complete0.0833790.082034113176.0unsatunsat
430511978qf_shls_entl/bolognesa-16-e01.tptp.smt28317204SPEN22607qf_shls326476complete0.0940540.092712113176.0unsatunsat
430512008qf_shls_entl/bolognesa-16-e02.tptp.smt28317234SPEN22607qf_shls326476complete0.1111410.10998113176.0satsat
430511995qf_shls_entl/bolognesa-16-e03.tptp.smt28317221SPEN22607qf_shls326476complete0.1183480.117091113176.0satsat
430511949qf_shls_entl/bolognesa-16-e04.tptp.smt28317175SPEN22607qf_shls326476complete0.1018850.121513113176.0satsat
430511937qf_shls_entl/bolognesa-16-e05.tptp.smt28317163SPEN22607qf_shls326476complete0.0798130.078588113176.0unsatunsat
430511972qf_shls_entl/bolognesa-16-e06.tptp.smt28317198SPEN22607qf_shls326476complete0.0827480.0815131113176.0satsat
430511961qf_shls_entl/bolognesa-16-e07.tptp.smt28317187SPEN22607qf_shls326476complete0.0915270.0902759113176.0unsatunsat
430512062qf_shls_entl/bolognesa-16-e08.tptp.smt28317288SPEN22607qf_shls326476complete0.092730.091494113176.0unsatunsat
430512071qf_shls_entl/bolognesa-16-e09.tptp.smt28317297SPEN22607qf_shls326476complete0.0769370.0758279113176.0unsatunsat
430512166qf_shls_entl/bolognesa-16-e10.tptp.smt28317392SPEN22607qf_shls326476complete0.1335230.132319113176.0satsat
430512180qf_shls_entl/bolognesa-17-e01.tptp.smt28317406SPEN22607qf_shls326476complete0.1260350.124731113176.0unsatunsat
430512169qf_shls_entl/bolognesa-17-e02.tptp.smt28317395SPEN22607qf_shls326476complete0.1372590.136103113176.0satsat
430512160qf_shls_entl/bolognesa-17-e03.tptp.smt28317386SPEN22607qf_shls326476complete0.0959210.0947269113176.0satsat
430512224qf_shls_entl/bolognesa-17-e04.tptp.smt28317450SPEN22607qf_shls326476complete0.1323560.131093113176.0unsatunsat
430512216qf_shls_entl/bolognesa-17-e05.tptp.smt28317442SPEN22607qf_shls326476complete0.0769030.0756749113176.0unsatunsat
430512208qf_shls_entl/bolognesa-17-e06.tptp.smt28317434SPEN22607qf_shls326476complete0.1267180.125742113176.0unsatunsat
430512199qf_shls_entl/bolognesa-17-e07.tptp.smt28317425SPEN22607qf_shls326476complete0.0897190.088438113176.0unsatunsat
430512114qf_shls_entl/bolognesa-17-e08.tptp.smt28317340SPEN22607qf_shls326476complete0.1035870.102388113176.0satsat
430512124qf_shls_entl/bolognesa-17-e09.tptp.smt28317350SPEN22607qf_shls326476complete0.1429550.141765113176.0unsatunsat
430512003qf_shls_entl/bolognesa-17-e10.tptp.smt28317229SPEN22607qf_shls326476complete0.1203450.119108113176.0unsatunsat
430512209qf_shls_entl/bolognesa-18-e01.tptp.smt28317435SPEN22607qf_shls326476complete0.1195340.118333113176.0unsatunsat
430512215qf_shls_entl/bolognesa-18-e02.tptp.smt28317441SPEN22607qf_shls326476complete0.1246380.123364113176.0satsat
430512223qf_shls_entl/bolognesa-18-e03.tptp.smt28317449SPEN22607qf_shls326476complete0.1858180.184651113176.0satsat
430512161qf_shls_entl/bolognesa-18-e04.tptp.smt28317387SPEN22607qf_shls326476complete0.1220160.120767113176.0satsat
430512170qf_shls_entl/bolognesa-18-e05.tptp.smt28317396SPEN22607qf_shls326476complete0.1364780.135187113176.0satsat
430512179qf_shls_entl/bolognesa-18-e06.tptp.smt28317405SPEN22607qf_shls326476complete0.1308680.129528113176.0satsat
430512187qf_shls_entl/bolognesa-18-e07.tptp.smt28317413SPEN22607qf_shls326476complete0.1189540.117288113176.0satsat
430512140qf_shls_entl/bolognesa-18-e08.tptp.smt28317366SPEN22607qf_shls326476complete0.1967770.195463113176.0satsat
430512131qf_shls_entl/bolognesa-18-e09.tptp.smt28317357SPEN22607qf_shls326476complete0.1640060.162776113176.0satsat
430511945qf_shls_entl/bolognesa-18-e10.tptp.smt28317171SPEN22607qf_shls326476complete0.1136190.112405113176.0unsatunsat
430511971qf_shls_entl/bolognesa-19-e01.tptp.smt28317197SPEN22607qf_shls326476complete0.1385330.137307113176.0satsat
430511938qf_shls_entl/bolognesa-19-e02.tptp.smt28317164SPEN22607qf_shls326476complete0.1730870.172224113176.0satsat
430511950qf_shls_entl/bolognesa-19-e03.tptp.smt28317176SPEN22607qf_shls326476complete0.1442810.143024113176.0satsat
430511994qf_shls_entl/bolognesa-19-e04.tptp.smt28317220SPEN22607qf_shls326476complete0.1007040.099452113176.0satsat
430512007qf_shls_entl/bolognesa-19-e05.tptp.smt28317233SPEN22607qf_shls326476complete0.1176430.116321113176.0unsatunsat
430511979qf_shls_entl/bolognesa-19-e06.tptp.smt28317205SPEN22607qf_shls326476complete0.1401360.13887113176.0unsatunsat
430511988qf_shls_entl/bolognesa-19-e07.tptp.smt28317214SPEN22607qf_shls326476complete0.1841420.182919113176.0satsat
430512051qf_shls_entl/bolognesa-19-e08.tptp.smt28317277SPEN22607qf_shls326476complete0.1592720.158025113176.0unsatunsat
430512042qf_shls_entl/bolognesa-19-e09.tptp.smt28317268SPEN22607qf_shls326476complete0.1780240.17678113176.0satsat
430512220qf_shls_entl/bolognesa-19-e10.tptp.smt28317446SPEN22607qf_shls326476complete0.1877510.186563113176.0unsatunsat
430511940qf_shls_entl/bolognesa-20-e01.tptp.smt28317166SPEN22607qf_shls326476complete0.2271430.22588113176.0satsat
430511968qf_shls_entl/bolognesa-20-e02.tptp.smt28317194SPEN22607qf_shls326476complete0.1164530.115242113176.0satsat
430511959qf_shls_entl/bolognesa-20-e03.tptp.smt28317185SPEN22607qf_shls326476complete0.1386440.137384113176.0satsat
430511987qf_shls_entl/bolognesa-20-e04.tptp.smt28317213SPEN22607qf_shls326476complete0.1331190.131921113176.0satsat
430511974qf_shls_entl/bolognesa-20-e05.tptp.smt28317200SPEN22607qf_shls326476complete0.2152140.213912113176.0satsat
430512009qf_shls_entl/bolognesa-20-e06.tptp.smt28317235SPEN22607qf_shls326476complete0.1734110.172146113176.0unsatunsat
430511997qf_shls_entl/bolognesa-20-e07.tptp.smt28317223SPEN22607qf_shls326476complete0.1105580.109288113176.0unsatunsat
430512017qf_shls_entl/bolognesa-20-e08.tptp.smt28317243SPEN22607qf_shls326476complete0.2515180.250435113176.0unsatunsat
430512030qf_shls_entl/bolognesa-20-e09.tptp.smt28317256SPEN22607qf_shls326476complete0.1325740.13132113176.0satsat
430512192qf_shls_entl/bolognesa-20-e10.tptp.smt28317418SPEN22607qf_shls326476complete0.1311730.129908113176.0unsatunsat
430511946qf_shls_entl/clones-01-e01.tptp.smt28317172SPEN22607qf_shls326476complete0.0322450.0309849113176.0unsatunsat
430511954qf_shls_entl/clones-01-e02.tptp.smt28317180SPEN22607qf_shls326476complete0.0321960.030955113176.0unsatunsat
430511963qf_shls_entl/clones-01-e03.tptp.smt28317189SPEN22607qf_shls326476complete0.0326960.0313869113176.0unsatunsat
430511981qf_shls_entl/clones-01-e04.tptp.smt28317207SPEN22607qf_shls326476complete0.0343140.03311113176.0unsatunsat
430511990qf_shls_entl/clones-01-e05.tptp.smt28317216SPEN22607qf_shls326476complete0.033040.0318339113176.0unsatunsat
430512004qf_shls_entl/clones-01-e06.tptp.smt28317230SPEN22607qf_shls326476complete0.034240.0329941113176.0unsatunsat
430512014qf_shls_entl/clones-01-e07.tptp.smt28317240SPEN22607qf_shls326476complete0.0327350.0314979113176.0satsat
430512035qf_shls_entl/clones-01-e08.tptp.smt28317261SPEN22607qf_shls326476complete0.0328990.0316049113176.0satsat
430512027qf_shls_entl/clones-01-e09.tptp.smt28317253SPEN22607qf_shls326476complete0.0331460.031848113176.0satsat
430512207qf_shls_entl/clones-01-e10.tptp.smt28317433SPEN22607qf_shls326476complete0.0327940.0315949127512.0satsat
430512099qf_shls_entl/clones-02-e01.tptp.smt28317325SPEN22607qf_shls326476complete0.0325860.031305113176.0unsatunsat
430512107qf_shls_entl/clones-02-e02.tptp.smt28317333SPEN22607qf_shls326476complete0.0325680.0313271113176.0unsatunsat
430512118qf_shls_entl/clones-02-e03.tptp.smt28317344SPEN22607qf_shls326476complete0.0344080.0331849113176.0unsatunsat
430512135qf_shls_entl/clones-02-e04.tptp.smt28317361SPEN22607qf_shls326476complete0.0325130.031231113176.0unsatunsat
430512141qf_shls_entl/clones-02-e05.tptp.smt28317367SPEN22607qf_shls326476complete0.0328940.0316639113176.0unsatunsat
430512150qf_shls_entl/clones-02-e06.tptp.smt28317376SPEN22607qf_shls326476complete0.0338090.032513113176.0unsatunsat
430512158qf_shls_entl/clones-02-e07.tptp.smt28317384SPEN22607qf_shls326476complete0.0354480.0341981113176.0satsat
430512172qf_shls_entl/clones-02-e08.tptp.smt28317398SPEN22607qf_shls326476complete0.0367840.035497113176.0satsat
430512165qf_shls_entl/clones-02-e09.tptp.smt28317391SPEN22607qf_shls326476complete0.0366660.0353701113176.0satsat
430512068qf_shls_entl/clones-02-e10.tptp.smt28317294SPEN22607qf_shls326476complete0.0341440.032867113176.0satsat
430512080qf_shls_entl/clones-03-e01.tptp.smt28317306SPEN22607qf_shls326476complete0.0333370.0321719113176.0unsatunsat
430512057qf_shls_entl/clones-03-e02.tptp.smt28317283SPEN22607qf_shls326476complete0.0348540.033618113176.0unsatunsat
430512065qf_shls_entl/clones-03-e03.tptp.smt28317291SPEN22607qf_shls326476complete0.0326560.031373113176.0unsatunsat
430512045qf_shls_entl/clones-03-e04.tptp.smt28317271SPEN22607qf_shls326476complete0.0342430.032922113176.0unsatunsat
430512052qf_shls_entl/clones-03-e05.tptp.smt28317278SPEN22607qf_shls326476complete0.0340560.032797113176.0unsatunsat
430512022qf_shls_entl/clones-03-e06.tptp.smt28317248SPEN22607qf_shls326476complete0.0317380.0305419113176.0unsatunsat
430512034qf_shls_entl/clones-03-e07.tptp.smt28317260SPEN22607qf_shls326476complete0.0351780.033957113176.0satsat
430512012qf_shls_entl/clones-03-e08.tptp.smt28317238SPEN22607qf_shls326476complete0.0405640.0392889113176.0satsat
430512002qf_shls_entl/clones-03-e09.tptp.smt28317228SPEN22607qf_shls326476complete0.0386230.0373671113176.0satsat
430512122qf_shls_entl/clones-03-e10.tptp.smt28317348SPEN22607qf_shls326476complete0.0362360.0349219113176.0satsat
430511970qf_shls_entl/clones-04-e01.tptp.smt28317196SPEN22607qf_shls326476complete0.0347070.0334749113176.0unsatunsat
430511936qf_shls_entl/clones-04-e02.tptp.smt28317162SPEN22607qf_shls326476complete0.0330670.031849113176.0unsatunsat
430511951qf_shls_entl/clones-04-e03.tptp.smt28317177SPEN22607qf_shls326476complete0.0337270.032459113176.0unsatunsat
430511996qf_shls_entl/clones-04-e04.tptp.smt28317222SPEN22607qf_shls326476complete0.0338890.0326181113176.0unsatunsat
430512006qf_shls_entl/clones-04-e05.tptp.smt28317232SPEN22607qf_shls326476complete0.0372760.0359279113176.0unsatunsat
430511977qf_shls_entl/clones-04-e06.tptp.smt28317203SPEN22607qf_shls326476complete0.0321040.0308279113176.0unsatunsat
430511989qf_shls_entl/clones-04-e07.tptp.smt28317215SPEN22607qf_shls326476complete0.0412980.0400319113176.0satsat
430512050qf_shls_entl/clones-04-e08.tptp.smt28317276SPEN22607qf_shls326476complete0.0518160.0504939113176.0satsat
430512043qf_shls_entl/clones-04-e09.tptp.smt28317269SPEN22607qf_shls326476complete0.0490390.0477121113176.0satsat
430512221qf_shls_entl/clones-04-e10.tptp.smt28317447SPEN22607qf_shls326476complete0.0395720.0383671113176.0satsat
430512206qf_shls_entl/clones-05-e01.tptp.smt28317432SPEN22607qf_shls326476complete0.0330620.031915113176.0unsatunsat
430512214qf_shls_entl/clones-05-e02.tptp.smt28317440SPEN22607qf_shls326476complete0.036340.035162113176.0unsatunsat
430512225qf_shls_entl/clones-05-e03.tptp.smt28317451SPEN22607qf_shls326476complete0.0365140.035281113176.0unsatunsat
430512162qf_shls_entl/clones-05-e04.tptp.smt28317388SPEN22607qf_shls326476complete0.0321120.0308029113176.0unsatunsat
430512168qf_shls_entl/clones-05-e05.tptp.smt28317394SPEN22607qf_shls326476complete0.0398120.0385511113176.0unsatunsat
430512178qf_shls_entl/clones-05-e06.tptp.smt28317404SPEN22607qf_shls326476complete0.0329980.0316849113176.0unsatunsat
430512188qf_shls_entl/clones-05-e07.tptp.smt28317414SPEN22607qf_shls326476complete0.0485140.04724113176.0satsat
430512139qf_shls_entl/clones-05-e08.tptp.smt28317365SPEN22607qf_shls326476complete0.0754870.0741871113176.0satsat
430512132qf_shls_entl/clones-05-e09.tptp.smt28317358SPEN22607qf_shls326476complete0.0663470.0650461113176.0satsat
430511947qf_shls_entl/clones-05-e10.tptp.smt28317173SPEN22607qf_shls326476complete0.0492560.048008113176.0satsat
430512066qf_shls_entl/clones-06-e01.tptp.smt28317292SPEN22607qf_shls326476complete0.0336760.032455113176.0unsatunsat
430512076qf_shls_entl/clones-06-e02.tptp.smt28317302SPEN22607qf_shls326476complete0.03750.036224113176.0unsatunsat
430512089qf_shls_entl/clones-06-e03.tptp.smt28317315SPEN22607qf_shls326476complete0.0392930.0380209113176.0unsatunsat
430512018qf_shls_entl/clones-06-e04.tptp.smt28317244SPEN22607qf_shls326476complete0.0317420.03049113176.0unsatunsat
430512028qf_shls_entl/clones-06-e05.tptp.smt28317254SPEN22607qf_shls326476complete0.0459010.044667113176.0unsatunsat
430512038qf_shls_entl/clones-06-e06.tptp.smt28317264SPEN22607qf_shls326476complete0.0329440.031647113176.0unsatunsat
430512049qf_shls_entl/clones-06-e07.tptp.smt28317275SPEN22607qf_shls326476complete0.0616940.0604749113176.0satsat
430511985qf_shls_entl/clones-06-e08.tptp.smt28317211SPEN22607qf_shls326476complete0.1132660.112113176.0satsat
430511975qf_shls_entl/clones-06-e09.tptp.smt28317201SPEN22607qf_shls326476complete0.0962630.095039113176.0satsat
430512100qf_shls_entl/clones-06-e10.tptp.smt28317326SPEN22607qf_shls326476complete0.0633570.062065113176.0satsat
430512120qf_shls_entl/clones-07-e01.tptp.smt28317346SPEN22607qf_shls326476complete0.0340220.0321781113176.0unsatunsat
430512094qf_shls_entl/clones-07-e02.tptp.smt28317320SPEN22607qf_shls326476complete0.0415230.040287113176.0unsatunsat
430512105qf_shls_entl/clones-07-e03.tptp.smt28317331SPEN22607qf_shls326476complete0.0421170.0408409113176.0unsatunsat
430512147qf_shls_entl/clones-07-e04.tptp.smt28317373SPEN22607qf_shls326476complete0.0326090.0313999113176.0unsatunsat
430512155qf_shls_entl/clones-07-e05.tptp.smt28317381SPEN22607qf_shls326476complete0.054530.0533029113176.0unsatunsat
430512127qf_shls_entl/clones-07-e06.tptp.smt28317353SPEN22607qf_shls326476complete0.0323210.0310919113176.0unsatunsat
430512137qf_shls_entl/clones-07-e07.tptp.smt28317363SPEN22607qf_shls326476complete0.0841820.0828919113176.0satsat
430512184qf_shls_entl/clones-07-e08.tptp.smt28317410SPEN22607qf_shls326476complete0.17630.174971113176.0satsat
430512175qf_shls_entl/clones-07-e09.tptp.smt28317401SPEN22607qf_shls326476complete0.1465840.145552113176.0satsat
430512082qf_shls_entl/clones-07-e10.tptp.smt28317308SPEN22607qf_shls326476complete0.0856740.0843779113176.0satsat
430512128qf_shls_entl/clones-08-e01.tptp.smt28317354SPEN22607qf_shls326476complete0.0347580.033517113176.0unsatunsat
430512154qf_shls_entl/clones-08-e02.tptp.smt28317380SPEN22607qf_shls326476complete0.048330.047674113176.0unsatunsat
430512146qf_shls_entl/clones-08-e03.tptp.smt28317372SPEN22607qf_shls326476complete0.0477710.04653113176.0unsatunsat
430512106qf_shls_entl/clones-08-e04.tptp.smt28317332SPEN22607qf_shls326476complete0.0329360.032205127512.0unsatunsat
430512095qf_shls_entl/clones-08-e05.tptp.smt28317321SPEN22607qf_shls326476complete0.0644630.0632389113176.0unsatunsat
430512119qf_shls_entl/clones-08-e06.tptp.smt28317345SPEN22607qf_shls326476complete0.0330670.0318269113176.0unsatunsat
430512113qf_shls_entl/clones-08-e07.tptp.smt28317339SPEN22607qf_shls326476complete0.1146140.113372113176.0satsat
430512195qf_shls_entl/clones-08-e08.tptp.smt28317421SPEN22607qf_shls326476complete0.2622490.260983113176.0satsat
430512204qf_shls_entl/clones-08-e09.tptp.smt28317430SPEN22607qf_shls326476complete0.2216840.2204113176.0satsat
430512024qf_shls_entl/clones-08-e10.tptp.smt28317250SPEN22607qf_shls326476complete0.115870.114709113176.0satsat
430512037qf_shls_entl/clones-09-e01.tptp.smt28317263SPEN22607qf_shls326476complete0.0365810.0352791113176.0unsatunsat
430512029qf_shls_entl/clones-09-e02.tptp.smt28317255SPEN22607qf_shls326476complete0.0555460.0543579113176.0unsatunsat
430512019qf_shls_entl/clones-09-e03.tptp.smt28317245SPEN22607qf_shls326476complete0.0572760.0560321113176.0unsatunsat
430512088qf_shls_entl/clones-09-e04.tptp.smt28317314SPEN22607qf_shls326476complete0.0334970.0322591113176.0unsatunsat
430512075qf_shls_entl/clones-09-e05.tptp.smt28317301SPEN22607qf_shls326476complete0.0811850.079886113176.0unsatunsat
430512067qf_shls_entl/clones-09-e06.tptp.smt28317293SPEN22607qf_shls326476complete0.0317860.0305679113176.0unsatunsat
430512061qf_shls_entl/clones-09-e07.tptp.smt28317287SPEN22607qf_shls326476complete0.1590160.157723113176.0satsat
430511957qf_shls_entl/clones-09-e08.tptp.smt28317183SPEN22607qf_shls326476complete0.3882270.386909113176.0satsat
430511969qf_shls_entl/clones-09-e09.tptp.smt28317195SPEN22607qf_shls326476complete0.3291190.327827113176.0satsat
430512151qf_shls_entl/clones-09-e10.tptp.smt28317377SPEN22607qf_shls326476complete0.1624530.161178113176.0satsat
430511964qf_shls_entl/clones-10-e01.tptp.smt28317190SPEN22607qf_shls326476complete0.0357560.0344721113176.0unsatunsat
430511932qf_shls_entl/clones-10-e02.tptp.smt28317158SPEN22607qf_shls326476complete0.0669540.065899113176.0unsatunsat
430511944qf_shls_entl/clones-10-e03.tptp.smt28317170SPEN22607qf_shls326476complete0.0674610.0756389113176.0unsatunsat
430512001qf_shls_entl/clones-10-e04.tptp.smt28317227SPEN22607qf_shls326476complete0.0328590.0315501113176.0unsatunsat
430512011qf_shls_entl/clones-10-e05.tptp.smt28317237SPEN22607qf_shls326476complete0.1039490.102661113176.0unsatunsat
430511982qf_shls_entl/clones-10-e06.tptp.smt28317208SPEN22607qf_shls326476complete0.032380.0311661113176.0unsatunsat
430511993qf_shls_entl/clones-10-e07.tptp.smt28317219SPEN22607qf_shls326476complete0.2223510.221079113176.0satsat
430512054qf_shls_entl/clones-10-e08.tptp.smt28317280SPEN22607qf_shls326476complete0.560630.637315258444.0satsat
430512047qf_shls_entl/clones-10-e09.tptp.smt28317273SPEN22607qf_shls326476complete0.4828580.481591113176.0satsat
430512227qf_shls_entl/clones-10-e10.tptp.smt28317453SPEN22607qf_shls326476complete0.2210930.219952113176.0satsat
430512210qf_shls_entl/ls-vc01.smt28317436SPEN22607qf_shls326476complete0.0342630.032948113176.0satsat
430512041qf_shls_entl/ls-vc02.smt28317267SPEN22607qf_shls326476complete0.0326140.031398113176.0satsat
430511999qf_shls_entl/ls-vc03.smt28317225SPEN22607qf_shls326476complete0.0362850.0349711113176.0satsat
430512093qf_shls_entl/ls-vc04.smt28317319SPEN22607qf_shls326476complete0.0329240.0316119113176.0satsat
430512197qf_shls_entl/ls-vc05.smt28317423SPEN22607qf_shls326476complete0.0351780.0339181113176.0unsatunsat
430512026qf_shls_entl/ls-vc06.smt28317252SPEN22607qf_shls326476complete0.0331620.0318831113176.0satsat
430511984qf_shls_entl/ls-vc07.smt28317210SPEN22607qf_shls326476complete0.0333790.0321591113176.0unsatsat
430512153qf_shls_entl/ls-vc08.smt28317379SPEN22607qf_shls326476complete0.0348560.033858113176.0unsatunsat
430512185qf_shls_entl/ls-vc09.smt28317411SPEN22607qf_shls326476complete0.034280.033141113176.0unsatunsat
430512015qf_shls_entl/smallfoot-vc01.tptp.smt28317241SPEN22607qf_shls326476complete0.0352430.034018113176.0unsatunsat
430512048qf_shls_entl/smallfoot-vc02.tptp.smt28317274SPEN22607qf_shls326476complete0.0335410.0322389113176.0unsatunsat
430512040qf_shls_entl/smallfoot-vc03.tptp.smt28317266SPEN22607qf_shls326476complete0.0324650.0311451113176.0unsatunsat
430512069qf_shls_entl/smallfoot-vc04.tptp.smt28317295SPEN22607qf_shls326476complete0.0326340.0313059113176.0unsatunsat
430512059qf_shls_entl/smallfoot-vc05.tptp.smt28317285SPEN22607qf_shls326476complete0.0336120.0323239113176.0unsatunsat
430512086qf_shls_entl/smallfoot-vc06.tptp.smt28317312SPEN22607qf_shls326476complete0.0338910.0326249113176.0unsatunsat
430512079qf_shls_entl/smallfoot-vc07.tptp.smt28317305SPEN22607qf_shls326476complete0.0337060.0324269113176.0unsatunsat
430511939qf_shls_entl/smallfoot-vc08.tptp.smt28317165SPEN22607qf_shls326476complete0.0346030.0333441113176.0unsatunsat
430511953qf_shls_entl/smallfoot-vc09.tptp.smt28317179SPEN22607qf_shls326476complete0.0334780.032194113176.0unsatunsat
430512134qf_shls_entl/smallfoot-vc10.tptp.smt28317360SPEN22607qf_shls326476complete0.0326820.031443113176.0unsatunsat
430512142qf_shls_entl/smallfoot-vc11.tptp.smt28317368SPEN22607qf_shls326476complete0.0331450.0318921113176.0unsatunsat
430512148qf_shls_entl/smallfoot-vc12.tptp.smt28317374SPEN22607qf_shls326476complete0.0339870.0331141113176.0unsatunsat
430512159qf_shls_entl/smallfoot-vc13.tptp.smt28317385SPEN22607qf_shls326476complete0.033510.032315113176.0unsatunsat
430512091qf_shls_entl/smallfoot-vc14.tptp.smt28317317SPEN22607qf_shls326476complete0.0358230.0364839113176.0unsatunsat
430512098qf_shls_entl/smallfoot-vc15.tptp.smt28317324SPEN22607qf_shls326476complete0.0345630.0332809113176.0unsatunsat
430512108qf_shls_entl/smallfoot-vc16.tptp.smt28317334SPEN22607qf_shls326476complete0.0356640.0344761113176.0unsatunsat
430512117qf_shls_entl/smallfoot-vc17.tptp.smt28317343SPEN22607qf_shls326476complete0.0322310.0310571113176.0unsatunsat
430512201qf_shls_entl/smallfoot-vc18.tptp.smt28317427SPEN22607qf_shls326476complete0.0345820.0333919113176.0unsatunsat
430512194qf_shls_entl/smallfoot-vc19.tptp.smt28317420SPEN22607qf_shls326476complete0.0328460.0315309113176.0unsatunsat
430511934qf_shls_entl/smallfoot-vc20.tptp.smt28317160SPEN22607qf_shls326476complete0.0327150.031502113176.0unsatunsat
430511942qf_shls_entl/smallfoot-vc21.tptp.smt28317168SPEN22607qf_shls326476complete0.0351620.0339329113176.0unsatunsat
430511956qf_shls_entl/smallfoot-vc22.tptp.smt28317182SPEN22607qf_shls326476complete0.0344660.0322319113176.0satsat
430511965qf_shls_entl/smallfoot-vc23.tptp.smt28317191SPEN22607qf_shls326476complete0.0335360.0322759113176.0satsat
430511983qf_shls_entl/smallfoot-vc24.tptp.smt28317209SPEN22607qf_shls326476complete0.0346230.0333481113176.0unsatunsat
430511992qf_shls_entl/smallfoot-vc25.tptp.smt28317218SPEN22607qf_shls326476complete0.0329790.0317789113176.0unsatunsat
430512000qf_shls_entl/smallfoot-vc26.tptp.smt28317226SPEN22607qf_shls326476complete0.0330140.031686113176.0unsatunsat
430512013qf_shls_entl/smallfoot-vc27.tptp.smt28317239SPEN22607qf_shls326476complete0.0327970.0315149113176.0unsatunsat
430512032qf_shls_entl/smallfoot-vc28.tptp.smt28317258SPEN22607qf_shls326476complete0.0341010.032795113176.0unsatunsat
430512023qf_shls_entl/smallfoot-vc29.tptp.smt28317249SPEN22607qf_shls326476complete0.0355060.034171113176.0satsat
430512205qf_shls_entl/smallfoot-vc30.tptp.smt28317431SPEN22607qf_shls326476complete0.036290.0350621113176.0satsat
430512196qf_shls_entl/smallfoot-vc31.tptp.smt28317422SPEN22607qf_shls326476complete0.0336140.0323771113176.0satsat
430512226qf_shls_entl/smallfoot-vc32.tptp.smt28317452SPEN22607qf_shls326476complete0.0342880.033083113176.0satsat
430512217qf_shls_entl/smallfoot-vc33.tptp.smt28317443SPEN22607qf_shls326476complete0.0333240.0320339113176.0satsat
430512171qf_shls_entl/smallfoot-vc34.tptp.smt28317397SPEN22607qf_shls326476complete0.0358530.0346561113176.0unsatunsat
430512163qf_shls_entl/smallfoot-vc35.tptp.smt28317389SPEN22607qf_shls326476complete0.034770.0334529113176.0satsat
430512183qf_shls_entl/smallfoot-vc36.tptp.smt28317409SPEN22607qf_shls326476complete0.0354020.0341249113176.0unsatunsat
430512176qf_shls_entl/smallfoot-vc37.tptp.smt28317402SPEN22607qf_shls326476complete0.0326070.031358113176.0satsat
430512126qf_shls_entl/smallfoot-vc38.tptp.smt28317352SPEN22607qf_shls326476complete0.0330780.0318019113176.0unsatunsat
430512138qf_shls_entl/smallfoot-vc39.tptp.smt28317364SPEN22607qf_shls326476complete0.0351020.0340751113176.0satsat
430512190qf_shls_entl/smallfoot-vc40.tptp.smt28317416SPEN22607qf_shls326476complete0.0345550.0332461113176.0satsat
430512182qf_shls_entl/smallfoot-vc41.tptp.smt28317408SPEN22607qf_shls326476complete0.0348790.0335421113176.0unsatunsat
430512173qf_shls_entl/smallfoot-vc42.tptp.smt28317399SPEN22607qf_shls326476complete0.0360140.034666113176.0unsatunsat
430512164qf_shls_entl/smallfoot-vc43.tptp.smt28317390SPEN22607qf_shls326476complete0.0328870.031648113176.0satsat
430512218qf_shls_entl/smallfoot-vc44.tptp.smt28317444SPEN22607qf_shls326476complete0.0330180.031751113176.0unsatunsat
430512212qf_shls_entl/smallfoot-vc45.tptp.smt28317438SPEN22607qf_shls326476complete0.0340190.0327321113176.0unsatunsat
430512202qf_shls_entl/smallfoot-vc46.tptp.smt28317428SPEN22607qf_shls326476complete0.0354320.0341819113176.0unsatunsat
430512193qf_shls_entl/smallfoot-vc47.tptp.smt28317419SPEN22607qf_shls326476complete0.0342250.033014113176.0unsatunsat
430512109qf_shls_entl/smallfoot-vc48.tptp.smt28317335SPEN22607qf_shls326476complete0.0347550.033561113176.0unsatunsat
430512116qf_shls_entl/smallfoot-vc49.tptp.smt28317342SPEN22607qf_shls326476complete0.0323520.031104113176.0satsat
430511998qf_shls_entl/smallfoot-vc50.tptp.smt28317224SPEN22607qf_shls326476complete0.0350720.033772113176.0unsatunsat
430512010qf_shls_entl/smallfoot-vc51.tptp.smt28317236SPEN22607qf_shls326476complete0.0344810.033136113176.0unsatunsat
430511973qf_shls_entl/smallfoot-vc52.tptp.smt28317199SPEN22607qf_shls326476complete0.0339030.03261113176.0unsatunsat
430511986qf_shls_entl/smallfoot-vc53.tptp.smt28317212SPEN22607qf_shls326476complete0.0326870.0314809113176.0unsatunsat
430511958qf_shls_entl/smallfoot-vc54.tptp.smt28317184SPEN22607qf_shls326476complete0.0331610.031932113176.0satsat
430511967qf_shls_entl/smallfoot-vc55.tptp.smt28317193SPEN22607qf_shls326476complete0.0340590.0328681113176.0unsatunsat
430511941qf_shls_entl/smallfoot-vc56.tptp.smt28317167SPEN22607qf_shls326476complete0.0342840.032943113176.0satsat
430511952qf_shls_entl/smallfoot-vc57.tptp.smt28317178SPEN22607qf_shls326476complete0.0344610.0331751113176.0satsat
430512087qf_shls_entl/smallfoot-vc58.tptp.smt28317313SPEN22607qf_shls326476complete0.0328310.031576113176.0unsatunsat
430512077qf_shls_entl/smallfoot-vc59.tptp.smt28317303SPEN22607qf_shls326476complete0.0334170.032187113176.0unsatunsat
430512112qf_shls_entl/smallfoot-vc60.tptp.smt28317338SPEN22607qf_shls326476complete0.0350540.033777113176.0unsatunsat
430512121qf_shls_entl/smallfoot-vc61.tptp.smt28317347SPEN22607qf_shls326476complete0.0345350.0333711113176.0satsat
430512097qf_shls_entl/smallfoot-vc62.tptp.smt28317323SPEN22607qf_shls326476complete0.0321870.0309629113176.0unsatunsat
430512103qf_shls_entl/smallfoot-vc63.tptp.smt28317329SPEN22607qf_shls326476complete0.0357830.0344659113176.0unsatunsat
430512144qf_shls_entl/smallfoot-vc64.tptp.smt28317370SPEN22607qf_shls326476complete0.0338810.0325931113176.0unsatunsat
430512157qf_shls_entl/smallfoot-vc65.tptp.smt28317383SPEN22607qf_shls326476complete0.0328270.031554113176.0unsatunsat
430512129qf_shls_entl/smallfoot-vc66.tptp.smt28317355SPEN22607qf_shls326476complete0.0334440.032102113176.0unsatunsat
430512136qf_shls_entl/smallfoot-vc67.tptp.smt28317362SPEN22607qf_shls326476complete0.0331350.0318401113176.0unsatunsat
430512186qf_shls_entl/smallfoot-vc68.tptp.smt28317412SPEN22607qf_shls326476complete0.0330780.0318581113176.0satsat
430512174qf_shls_entl/smallfoot-vc69.tptp.smt28317400SPEN22607qf_shls326476complete0.0335940.032286113176.0satsat
430512081qf_shls_entl/smallfoot-vc70.tptp.smt28317307SPEN22607qf_shls326476complete0.0339990.0327549113176.0satsat
430512073qf_shls_entl/smallfoot-vc71.tptp.smt28317299SPEN22607qf_shls326476complete0.0344850.0331511113176.0unsatunsat
430512064qf_shls_entl/smallfoot-vc72.tptp.smt28317290SPEN22607qf_shls326476complete0.032630.0313709113176.0satsat
430512056qf_shls_entl/smallfoot-vc73.tptp.smt28317282SPEN22607qf_shls326476complete0.0325280.0312469113176.0satsat
430512053qf_shls_entl/smallfoot-vc74.tptp.smt28317279SPEN22607qf_shls326476complete0.0337130.0324339113176.0unsatunsat
430512046qf_shls_entl/smallfoot-vc75.tptp.smt28317272SPEN22607qf_shls326476complete0.0344990.0332009113176.0unsatunsat
430512033qf_shls_entl/smallfoot-vc76.tptp.smt28317259SPEN22607qf_shls326476complete0.0344560.033176113176.0satsat
430512021qf_shls_entl/smallfoot-vc77.tptp.smt28317247SPEN22607qf_shls326476complete0.034170.032913113176.0unsatunsat