pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430494035qf_shls_entl/bolognesa-10-e01.tptp.smt28317378COMSPEN201922337qf_shls_sat325903complete3.27663.2768161064.0satsat
430494026qf_shls_entl/bolognesa-10-e02.tptp.smt28317369COMSPEN201922337qf_shls_sat325903complete2.984752.98607160988.0unsatunsat
430494016qf_shls_entl/bolognesa-10-e03.tptp.smt28317359COMSPEN201922337qf_shls_sat325903complete3.482883.48306161068.0unsatunsat
430493998qf_shls_entl/bolognesa-10-e04.tptp.smt28317341COMSPEN201922337qf_shls_sat325903complete3.567093.56719161160.0satsat
430493993qf_shls_entl/bolognesa-10-e05.tptp.smt28317336COMSPEN201922337qf_shls_sat325903complete3.226643.22707161168.0satsat
430493984qf_shls_entl/bolognesa-10-e06.tptp.smt28317327COMSPEN201922337qf_shls_sat325903complete3.017353.01751161112.0satsat
430493973qf_shls_entl/bolognesa-10-e07.tptp.smt28317316COMSPEN201922337qf_shls_sat325903complete3.003583.00379161044.0satsat
430494094qf_shls_entl/bolognesa-10-e08.tptp.smt28317437COMSPEN201922337qf_shls_sat325903complete3.165573.16606161044.0satsat
430494102qf_shls_entl/bolognesa-10-e09.tptp.smt28317445COMSPEN201922337qf_shls_sat325903complete3.571473.57191161072.0satsat
430493919qf_shls_entl/bolognesa-10-e10.tptp.smt28317262COMSPEN201922337qf_shls_sat325903complete3.50123.50145161080.0unsatunsat
430493908qf_shls_entl/bolognesa-11-e01.tptp.smt28317251COMSPEN201922337qf_shls_sat325903complete3.899623.90044161200.0unsatunsat
430493938qf_shls_entl/bolognesa-11-e02.tptp.smt28317281COMSPEN201922337qf_shls_sat325903complete3.776063.77661161192.0unsatunsat
430493927qf_shls_entl/bolognesa-11-e03.tptp.smt28317270COMSPEN201922337qf_shls_sat325903complete4.397254.39764161232.0unsatunsat
430493946qf_shls_entl/bolognesa-11-e04.tptp.smt28317289COMSPEN201922337qf_shls_sat325903complete4.026784.02703161200.0unsatunsat
430493941qf_shls_entl/bolognesa-11-e05.tptp.smt28317284COMSPEN201922337qf_shls_sat325903complete3.802013.8023161080.0satsat
430493966qf_shls_entl/bolognesa-11-e06.tptp.smt28317309COMSPEN201922337qf_shls_sat325903complete4.156824.15689161192.0satsat
430493955qf_shls_entl/bolognesa-11-e07.tptp.smt28317298COMSPEN201922337qf_shls_sat325903complete3.94293.94316161184.0unsatunsat
430493816qf_shls_entl/bolognesa-11-e08.tptp.smt28317159COMSPEN201922337qf_shls_sat325903complete3.652033.65221161184.0unsatunsat
430493826qf_shls_entl/bolognesa-11-e09.tptp.smt28317169COMSPEN201922337qf_shls_sat325903complete3.877313.87754161172.0unsatunsat
430494008qf_shls_entl/bolognesa-11-e10.tptp.smt28317351COMSPEN201922337qf_shls_sat325903complete4.022524.02258161148.0satsat
430494050qf_shls_entl/bolognesa-12-e01.tptp.smt28317393COMSPEN201922337qf_shls_sat325903complete4.60124.60205161208.0unsatunsat
430494072qf_shls_entl/bolognesa-12-e02.tptp.smt28317415COMSPEN201922337qf_shls_sat325903complete4.811534.81167161204.0satsat
430494064qf_shls_entl/bolognesa-12-e03.tptp.smt28317407COMSPEN201922337qf_shls_sat325903complete5.233015.2333161272.0satsat
430494083qf_shls_entl/bolognesa-12-e04.tptp.smt28317426COMSPEN201922337qf_shls_sat325903complete5.123045.12339161200.0satsat
430494074qf_shls_entl/bolognesa-12-e05.tptp.smt28317417COMSPEN201922337qf_shls_sat325903complete4.538184.5386161200.0unsatunsat
430494105qf_shls_entl/bolognesa-12-e06.tptp.smt28317448COMSPEN201922337qf_shls_sat325903complete4.051814.05232161168.0unsatunsat
430494096qf_shls_entl/bolognesa-12-e07.tptp.smt28317439COMSPEN201922337qf_shls_sat325903complete4.406884.40701161200.0satsat
430493975qf_shls_entl/bolognesa-12-e08.tptp.smt28317318COMSPEN201922337qf_shls_sat325903complete4.829094.82939161208.0unsatunsat
430493985qf_shls_entl/bolognesa-12-e09.tptp.smt28317328COMSPEN201922337qf_shls_sat325903complete4.695194.69531161224.0unsatunsat
430493859qf_shls_entl/bolognesa-12-e10.tptp.smt28317202COMSPEN201922337qf_shls_sat325903complete4.690614.69092161208.0unsatunsat
430493888qf_shls_entl/bolognesa-13-e01.tptp.smt28317231COMSPEN201922337qf_shls_sat325903complete5.950115.95095161256.0unsatunsat
430493874qf_shls_entl/bolognesa-13-e02.tptp.smt28317217COMSPEN201922337qf_shls_sat325903complete5.803035.80325161244.0satsat
430493863qf_shls_entl/bolognesa-13-e03.tptp.smt28317206COMSPEN201922337qf_shls_sat325903complete5.33365.33378161300.0unsatunsat
430493845qf_shls_entl/bolognesa-13-e04.tptp.smt28317188COMSPEN201922337qf_shls_sat325903complete5.551315.55161161252.0satsat
430493838qf_shls_entl/bolognesa-13-e05.tptp.smt28317181COMSPEN201922337qf_shls_sat325903complete5.645275.64529161244.0satsat
430493831qf_shls_entl/bolognesa-13-e06.tptp.smt28317174COMSPEN201922337qf_shls_sat325903complete5.415045.41532161260.0satsat
430493818qf_shls_entl/bolognesa-13-e07.tptp.smt28317161COMSPEN201922337qf_shls_sat325903complete6.025336.02548161292.0unsatunsat
430493957qf_shls_entl/bolognesa-13-e08.tptp.smt28317300COMSPEN201922337qf_shls_sat325903complete5.038065.03841161228.0unsatunsat
430493967qf_shls_entl/bolognesa-13-e09.tptp.smt28317310COMSPEN201922337qf_shls_sat325903complete5.222965.223161208.0satsat
430494060qf_shls_entl/bolognesa-13-e10.tptp.smt28317403COMSPEN201922337qf_shls_sat325903complete6.031816.03198161420.0satsat
430493922qf_shls_entl/bolognesa-14-e01.tptp.smt28317265COMSPEN201922337qf_shls_sat325903complete5.909195.90972161360.0unsatunsat
430493914qf_shls_entl/bolognesa-14-e02.tptp.smt28317257COMSPEN201922337qf_shls_sat325903complete6.074876.07819161236.0unsatunsat
430493899qf_shls_entl/bolognesa-14-e03.tptp.smt28317242COMSPEN201922337qf_shls_sat325903complete6.571726.57207161396.0unsatunsat
430493968qf_shls_entl/bolognesa-14-e04.tptp.smt28317311COMSPEN201922337qf_shls_sat325903complete6.131266.13149161332.0unsatunsat
430493961qf_shls_entl/bolognesa-14-e05.tptp.smt28317304COMSPEN201922337qf_shls_sat325903complete7.333227.33343161428.0satsat
430493953qf_shls_entl/bolognesa-14-e06.tptp.smt28317296COMSPEN201922337qf_shls_sat325903complete6.23786.23787161348.0unsatunsat
430493943qf_shls_entl/bolognesa-14-e07.tptp.smt28317286COMSPEN201922337qf_shls_sat325903complete6.604356.60634161404.0unsatunsat
430493843qf_shls_entl/bolognesa-14-e08.tptp.smt28317186COMSPEN201922337qf_shls_sat325903complete6.704786.70496161412.0unsatunsat
430493849qf_shls_entl/bolognesa-14-e09.tptp.smt28317192COMSPEN201922337qf_shls_sat325903complete13.98437.00455161400.0unsatunsat
430494032qf_shls_entl/bolognesa-14-e10.tptp.smt28317375COMSPEN201922337qf_shls_sat325903complete6.895146.89491161384.0satsat
430494013qf_shls_entl/bolognesa-15-e01.tptp.smt28317356COMSPEN201922337qf_shls_sat325903complete7.347387.34811161400.0unsatunsat
430494039qf_shls_entl/bolognesa-15-e02.tptp.smt28317382COMSPEN201922337qf_shls_sat325903complete12.113412.1184161556.0unsatunsat
430494028qf_shls_entl/bolognesa-15-e03.tptp.smt28317371COMSPEN201922337qf_shls_sat325903complete7.957497.95769161520.0satsat
430493987qf_shls_entl/bolognesa-15-e04.tptp.smt28317330COMSPEN201922337qf_shls_sat325903complete7.59967.60035161416.0unsatunsat
430493979qf_shls_entl/bolognesa-15-e05.tptp.smt28317322COMSPEN201922337qf_shls_sat325903complete8.049768.05044161524.0unsatunsat
430494006qf_shls_entl/bolognesa-15-e06.tptp.smt28317349COMSPEN201922337qf_shls_sat325903complete8.794088.79446161532.0unsatunsat
430493994qf_shls_entl/bolognesa-15-e07.tptp.smt28317337COMSPEN201922337qf_shls_sat325903complete7.541867.54224161420.0unsatunsat
430494081qf_shls_entl/bolognesa-15-e08.tptp.smt28317424COMSPEN201922337qf_shls_sat325903complete7.406937.4069161508.0satsat
430494086qf_shls_entl/bolognesa-15-e09.tptp.smt28317429COMSPEN201922337qf_shls_sat325903complete18.53399.30428161628.0satsat
430493903qf_shls_entl/bolognesa-15-e10.tptp.smt28317246COMSPEN201922337qf_shls_sat325903complete7.176797.17694161500.0unsatunsat
430493861qf_shls_entl/bolognesa-16-e01.tptp.smt28317204COMSPEN201922337qf_shls_sat325903complete8.67528.67569161544.0unsatunsat
430493891qf_shls_entl/bolognesa-16-e02.tptp.smt28317234COMSPEN201922337qf_shls_sat325903complete9.136459.13646161544.0satsat
430493878qf_shls_entl/bolognesa-16-e03.tptp.smt28317221COMSPEN201922337qf_shls_sat325903complete9.247529.24784161544.0satsat
430493832qf_shls_entl/bolognesa-16-e04.tptp.smt28317175COMSPEN201922337qf_shls_sat325903complete9.079429.07981161540.0satsat
430493820qf_shls_entl/bolognesa-16-e05.tptp.smt28317163COMSPEN201922337qf_shls_sat325903complete8.495718.49606161652.0unsatunsat
430493855qf_shls_entl/bolognesa-16-e06.tptp.smt28317198COMSPEN201922337qf_shls_sat325903complete8.561598.5617161524.0satsat
430493844qf_shls_entl/bolognesa-16-e07.tptp.smt28317187COMSPEN201922337qf_shls_sat325903complete8.779958.78049161652.0unsatunsat
430493945qf_shls_entl/bolognesa-16-e08.tptp.smt28317288COMSPEN201922337qf_shls_sat325903complete8.906098.90717161648.0unsatunsat
430493954qf_shls_entl/bolognesa-16-e09.tptp.smt28317297COMSPEN201922337qf_shls_sat325903complete8.429988.43102161624.0unsatunsat
430494049qf_shls_entl/bolognesa-16-e10.tptp.smt28317392COMSPEN201922337qf_shls_sat325903complete9.720339.72096161656.0satsat
430494063qf_shls_entl/bolognesa-17-e01.tptp.smt28317406COMSPEN201922337qf_shls_sat325903complete10.239210.2396161712.0unsatunsat
430494052qf_shls_entl/bolognesa-17-e02.tptp.smt28317395COMSPEN201922337qf_shls_sat325903complete10.823310.8238161688.0satsat
430494043qf_shls_entl/bolognesa-17-e03.tptp.smt28317386COMSPEN201922337qf_shls_sat325903complete9.995529.9961161660.0satsat
430494107qf_shls_entl/bolognesa-17-e04.tptp.smt28317450COMSPEN201922337qf_shls_sat325903complete10.782110.7833161816.0unsatunsat
430494099qf_shls_entl/bolognesa-17-e05.tptp.smt28317442COMSPEN201922337qf_shls_sat325903complete9.363679.36389161660.0unsatunsat
430494091qf_shls_entl/bolognesa-17-e06.tptp.smt28317434COMSPEN201922337qf_shls_sat325903complete10.515110.5157161692.0unsatunsat
430494082qf_shls_entl/bolognesa-17-e07.tptp.smt28317425COMSPEN201922337qf_shls_sat325903complete9.681549.68204161688.0unsatunsat
430493997qf_shls_entl/bolognesa-17-e08.tptp.smt28317340COMSPEN201922337qf_shls_sat325903complete9.928829.93044161672.0satsat
430494007qf_shls_entl/bolognesa-17-e09.tptp.smt28317350COMSPEN201922337qf_shls_sat325903complete10.666110.6666161696.0unsatunsat
430493886qf_shls_entl/bolognesa-17-e10.tptp.smt28317229COMSPEN201922337qf_shls_sat325903complete10.386910.3871161712.0unsatunsat
430494092qf_shls_entl/bolognesa-18-e01.tptp.smt28317435COMSPEN201922337qf_shls_sat325903complete11.615711.6156161748.0unsatunsat
430494098qf_shls_entl/bolognesa-18-e02.tptp.smt28317441COMSPEN201922337qf_shls_sat325903complete11.94311.9436161752.0satsat
430494106qf_shls_entl/bolognesa-18-e03.tptp.smt28317449COMSPEN201922337qf_shls_sat325903complete13.073313.0732161856.0satsat
430494044qf_shls_entl/bolognesa-18-e04.tptp.smt28317387COMSPEN201922337qf_shls_sat325903complete11.773111.773161748.0satsat
430494053qf_shls_entl/bolognesa-18-e05.tptp.smt28317396COMSPEN201922337qf_shls_sat325903complete12.210812.2121161820.0satsat
430494062qf_shls_entl/bolognesa-18-e06.tptp.smt28317405COMSPEN201922337qf_shls_sat325903complete11.679611.6802161748.0satsat
430494070qf_shls_entl/bolognesa-18-e07.tptp.smt28317413COMSPEN201922337qf_shls_sat325903complete11.011311.0202161696.0satsat
430494023qf_shls_entl/bolognesa-18-e08.tptp.smt28317366COMSPEN201922337qf_shls_sat325903complete13.418713.4192161832.0satsat
430494014qf_shls_entl/bolognesa-18-e09.tptp.smt28317357COMSPEN201922337qf_shls_sat325903complete12.488612.4885161768.0satsat
430493828qf_shls_entl/bolognesa-18-e10.tptp.smt28317171COMSPEN201922337qf_shls_sat325903complete11.416611.4169161716.0unsatunsat
430493854qf_shls_entl/bolognesa-19-e01.tptp.smt28317197COMSPEN201922337qf_shls_sat325903complete13.413913.416161940.0satsat
430493821qf_shls_entl/bolognesa-19-e02.tptp.smt28317164COMSPEN201922337qf_shls_sat325903complete13.844813.8447161944.0satsat
430493833qf_shls_entl/bolognesa-19-e03.tptp.smt28317176COMSPEN201922337qf_shls_sat325903complete13.920313.9235161936.0satsat
430493877qf_shls_entl/bolognesa-19-e04.tptp.smt28317220COMSPEN201922337qf_shls_sat325903complete12.467912.4683161912.0satsat
430493890qf_shls_entl/bolognesa-19-e05.tptp.smt28317233COMSPEN201922337qf_shls_sat325903complete12.721412.7263161936.0unsatunsat
430493862qf_shls_entl/bolognesa-19-e06.tptp.smt28317205COMSPEN201922337qf_shls_sat325903complete13.433313.4343161940.0unsatunsat
430493871qf_shls_entl/bolognesa-19-e07.tptp.smt28317214COMSPEN201922337qf_shls_sat325903complete14.559714.5601161972.0satsat
430493934qf_shls_entl/bolognesa-19-e08.tptp.smt28317277COMSPEN201922337qf_shls_sat325903complete14.126314.1271161992.0unsatunsat
430493925qf_shls_entl/bolognesa-19-e09.tptp.smt28317268COMSPEN201922337qf_shls_sat325903complete14.509714.5103162000.0satsat
430494103qf_shls_entl/bolognesa-19-e10.tptp.smt28317446COMSPEN201922337qf_shls_sat325903complete13.438313.4387161860.0unsatunsat
430493823qf_shls_entl/bolognesa-20-e01.tptp.smt28317166COMSPEN201922337qf_shls_sat325903complete15.414215.4161161856.0satsat
430493851qf_shls_entl/bolognesa-20-e02.tptp.smt28317194COMSPEN201922337qf_shls_sat325903complete28.521114.2846161976.0satsat
430493842qf_shls_entl/bolognesa-20-e03.tptp.smt28317185COMSPEN201922337qf_shls_sat325903complete14.836814.8367162000.0satsat
430493870qf_shls_entl/bolognesa-20-e04.tptp.smt28317213COMSPEN201922337qf_shls_sat325903complete14.521114.5225162016.0satsat
430493857qf_shls_entl/bolognesa-20-e05.tptp.smt28317200COMSPEN201922337qf_shls_sat325903complete16.373116.3739162072.0satsat
430493892qf_shls_entl/bolognesa-20-e06.tptp.smt28317235COMSPEN201922337qf_shls_sat325903complete15.08615.0898161988.0unsatunsat
430493880qf_shls_entl/bolognesa-20-e07.tptp.smt28317223COMSPEN201922337qf_shls_sat325903complete13.568613.5684161884.0unsatunsat
430493900qf_shls_entl/bolognesa-20-e08.tptp.smt28317243COMSPEN201922337qf_shls_sat325903complete16.628716.6313162032.0unsatunsat
430493913qf_shls_entl/bolognesa-20-e09.tptp.smt28317256COMSPEN201922337qf_shls_sat325903complete14.735314.7358161984.0satsat
430494075qf_shls_entl/bolognesa-20-e10.tptp.smt28317418COMSPEN201922337qf_shls_sat325903complete14.328914.3296161984.0unsatunsat
430493829qf_shls_entl/clones-01-e01.tptp.smt28317172COMSPEN201922337qf_shls_sat325903complete0.0469740.0470731113176.0unsatunsat
430493837qf_shls_entl/clones-01-e02.tptp.smt28317180COMSPEN201922337qf_shls_sat325903complete0.0491360.0492939113176.0unsatunsat
430493846qf_shls_entl/clones-01-e03.tptp.smt28317189COMSPEN201922337qf_shls_sat325903complete0.0482680.0483059113176.0unsatunsat
430493864qf_shls_entl/clones-01-e04.tptp.smt28317207COMSPEN201922337qf_shls_sat325903complete0.0470210.0471071113176.0unsatunsat
430493873qf_shls_entl/clones-01-e05.tptp.smt28317216COMSPEN201922337qf_shls_sat325903complete0.206710.206747113176.0unsatunsat
430493887qf_shls_entl/clones-01-e06.tptp.smt28317230COMSPEN201922337qf_shls_sat325903complete0.0463550.0464399113176.0unsatunsat
430493897qf_shls_entl/clones-01-e07.tptp.smt28317240COMSPEN201922337qf_shls_sat325903complete0.0532440.0533089113176.0satsat
430493918qf_shls_entl/clones-01-e08.tptp.smt28317261COMSPEN201922337qf_shls_sat325903complete0.0556890.0558629113176.0satsat
430493910qf_shls_entl/clones-01-e09.tptp.smt28317253COMSPEN201922337qf_shls_sat325903complete0.0538110.053868113176.0satsat
430494090qf_shls_entl/clones-01-e10.tptp.smt28317433COMSPEN201922337qf_shls_sat325903complete0.0540420.054071113176.0satsat
430493982qf_shls_entl/clones-02-e01.tptp.smt28317325COMSPEN201922337qf_shls_sat325903complete0.0473140.0473709113176.0unsatunsat
430493990qf_shls_entl/clones-02-e02.tptp.smt28317333COMSPEN201922337qf_shls_sat325903complete0.0492440.0492901113176.0unsatunsat
430494001qf_shls_entl/clones-02-e03.tptp.smt28317344COMSPEN201922337qf_shls_sat325903complete0.0491820.0492261113176.0unsatunsat
430494018qf_shls_entl/clones-02-e04.tptp.smt28317361COMSPEN201922337qf_shls_sat325903complete0.0467740.046947113176.0unsatunsat
430494024qf_shls_entl/clones-02-e05.tptp.smt28317367COMSPEN201922337qf_shls_sat325903complete0.4860370.486106113176.0unsatunsat
430494033qf_shls_entl/clones-02-e06.tptp.smt28317376COMSPEN201922337qf_shls_sat325903complete0.0463440.046413113176.0unsatunsat
430494041qf_shls_entl/clones-02-e07.tptp.smt28317384COMSPEN201922337qf_shls_sat325903complete0.0593590.0594089113176.0satsat
430494055qf_shls_entl/clones-02-e08.tptp.smt28317398COMSPEN201922337qf_shls_sat325903complete0.0663670.0664091113176.0satsat
430494048qf_shls_entl/clones-02-e09.tptp.smt28317391COMSPEN201922337qf_shls_sat325903complete0.0614960.0615639113176.0satsat
430493951qf_shls_entl/clones-02-e10.tptp.smt28317294COMSPEN201922337qf_shls_sat325903complete0.0580980.058187113176.0satsat
430493963qf_shls_entl/clones-03-e01.tptp.smt28317306COMSPEN201922337qf_shls_sat325903complete0.0484790.048584113176.0unsatunsat
430493940qf_shls_entl/clones-03-e02.tptp.smt28317283COMSPEN201922337qf_shls_sat325903complete0.0511020.051161113176.0unsatunsat
430493948qf_shls_entl/clones-03-e03.tptp.smt28317291COMSPEN201922337qf_shls_sat325903complete0.0517540.0518391113176.0unsatunsat
430493928qf_shls_entl/clones-03-e04.tptp.smt28317271COMSPEN201922337qf_shls_sat325903complete0.0463940.046512113176.0unsatunsat
430493935qf_shls_entl/clones-03-e05.tptp.smt28317278COMSPEN201922337qf_shls_sat325903complete0.9306940.930838158584.0unsatunsat
430493905qf_shls_entl/clones-03-e06.tptp.smt28317248COMSPEN201922337qf_shls_sat325903complete0.046250.046291113176.0unsatunsat
430493917qf_shls_entl/clones-03-e07.tptp.smt28317260COMSPEN201922337qf_shls_sat325903complete0.0652830.065338113176.0satsat
430493895qf_shls_entl/clones-03-e08.tptp.smt28317238COMSPEN201922337qf_shls_sat325903complete0.0804490.0805091113176.0satsat
430493885qf_shls_entl/clones-03-e09.tptp.smt28317228COMSPEN201922337qf_shls_sat325903complete0.0725360.0725831113176.0satsat
430494005qf_shls_entl/clones-03-e10.tptp.smt28317348COMSPEN201922337qf_shls_sat325903complete0.0655380.0656171113176.0satsat
430493853qf_shls_entl/clones-04-e01.tptp.smt28317196COMSPEN201922337qf_shls_sat325903complete0.048180.0482319113176.0unsatunsat
430493819qf_shls_entl/clones-04-e02.tptp.smt28317162COMSPEN201922337qf_shls_sat325903complete0.0525720.0526021113176.0unsatunsat
430493834qf_shls_entl/clones-04-e03.tptp.smt28317177COMSPEN201922337qf_shls_sat325903complete0.052430.0524821113176.0unsatunsat
430493879qf_shls_entl/clones-04-e04.tptp.smt28317222COMSPEN201922337qf_shls_sat325903complete0.0460280.0461211113176.0unsatunsat
430493889qf_shls_entl/clones-04-e05.tptp.smt28317232COMSPEN201922337qf_shls_sat325903complete1.49441.49504158608.0unsatunsat
430493860qf_shls_entl/clones-04-e06.tptp.smt28317203COMSPEN201922337qf_shls_sat325903complete0.045910.046113176.0unsatunsat
430493872qf_shls_entl/clones-04-e07.tptp.smt28317215COMSPEN201922337qf_shls_sat325903complete0.0756280.07569113176.0satsat
430493933qf_shls_entl/clones-04-e08.tptp.smt28317276COMSPEN201922337qf_shls_sat325903complete0.0980990.098331113176.0satsat
430493926qf_shls_entl/clones-04-e09.tptp.smt28317269COMSPEN201922337qf_shls_sat325903complete0.0861990.0862889113176.0satsat
430494104qf_shls_entl/clones-04-e10.tptp.smt28317447COMSPEN201922337qf_shls_sat325903complete0.075360.075454113176.0satsat
430494089qf_shls_entl/clones-05-e01.tptp.smt28317432COMSPEN201922337qf_shls_sat325903complete0.0490150.049079113176.0unsatunsat
430494097qf_shls_entl/clones-05-e02.tptp.smt28317440COMSPEN201922337qf_shls_sat325903complete0.0554930.055597113176.0unsatunsat
430494108qf_shls_entl/clones-05-e03.tptp.smt28317451COMSPEN201922337qf_shls_sat325903complete0.0560090.0561049113176.0unsatunsat
430494045qf_shls_entl/clones-05-e04.tptp.smt28317388COMSPEN201922337qf_shls_sat325903complete0.0460680.0461351113176.0unsatunsat
430494051qf_shls_entl/clones-05-e05.tptp.smt28317394COMSPEN201922337qf_shls_sat325903complete2.313632.31372158764.0unsatunsat
430494061qf_shls_entl/clones-05-e06.tptp.smt28317404COMSPEN201922337qf_shls_sat325903complete0.0467250.0468081113176.0unsatunsat
430494071qf_shls_entl/clones-05-e07.tptp.smt28317414COMSPEN201922337qf_shls_sat325903complete0.087340.0874181113176.0satsat
430494022qf_shls_entl/clones-05-e08.tptp.smt28317365COMSPEN201922337qf_shls_sat325903complete0.1196710.119714113176.0satsat
430494015qf_shls_entl/clones-05-e09.tptp.smt28317358COMSPEN201922337qf_shls_sat325903complete0.0997150.099779113176.0satsat
430493830qf_shls_entl/clones-05-e10.tptp.smt28317173COMSPEN201922337qf_shls_sat325903complete0.0866920.0867849113176.0satsat
430493949qf_shls_entl/clones-06-e01.tptp.smt28317292COMSPEN201922337qf_shls_sat325903complete0.0499970.0500529113176.0unsatunsat
430493959qf_shls_entl/clones-06-e02.tptp.smt28317302COMSPEN201922337qf_shls_sat325903complete0.0571370.057187113176.0unsatunsat
430493972qf_shls_entl/clones-06-e03.tptp.smt28317315COMSPEN201922337qf_shls_sat325903complete0.0567040.0567691113176.0unsatunsat
430493901qf_shls_entl/clones-06-e04.tptp.smt28317244COMSPEN201922337qf_shls_sat325903complete0.0459770.0460469113176.0unsatunsat
430493911qf_shls_entl/clones-06-e05.tptp.smt28317254COMSPEN201922337qf_shls_sat325903complete3.172173.17262158692.0unsatunsat
430493921qf_shls_entl/clones-06-e06.tptp.smt28317264COMSPEN201922337qf_shls_sat325903complete0.045920.0459739113176.0unsatunsat
430493932qf_shls_entl/clones-06-e07.tptp.smt28317275COMSPEN201922337qf_shls_sat325903complete0.0989820.0990391113176.0satsat
430493868qf_shls_entl/clones-06-e08.tptp.smt28317211COMSPEN201922337qf_shls_sat325903complete0.1480290.148104113176.0satsat
430493858qf_shls_entl/clones-06-e09.tptp.smt28317201COMSPEN201922337qf_shls_sat325903complete0.1183480.118433113176.0satsat
430493983qf_shls_entl/clones-06-e10.tptp.smt28317326COMSPEN201922337qf_shls_sat325903complete0.0992140.099253113176.0satsat
430494003qf_shls_entl/clones-07-e01.tptp.smt28317346COMSPEN201922337qf_shls_sat325903complete0.0510860.051149113176.0unsatunsat
430493977qf_shls_entl/clones-07-e02.tptp.smt28317320COMSPEN201922337qf_shls_sat325903complete0.0595990.059643113176.0unsatunsat
430493988qf_shls_entl/clones-07-e03.tptp.smt28317331COMSPEN201922337qf_shls_sat325903complete0.0593520.0594099113176.0unsatunsat
430494030qf_shls_entl/clones-07-e04.tptp.smt28317373COMSPEN201922337qf_shls_sat325903complete0.0467250.046889113176.0unsatunsat
430494038qf_shls_entl/clones-07-e05.tptp.smt28317381COMSPEN201922337qf_shls_sat325903complete4.383554.38452158784.0unsatunsat
430494010qf_shls_entl/clones-07-e06.tptp.smt28317353COMSPEN201922337qf_shls_sat325903complete0.0457050.0457689113176.0unsatunsat
430494020qf_shls_entl/clones-07-e07.tptp.smt28317363COMSPEN201922337qf_shls_sat325903complete0.1141560.114245113176.0satsat
430494067qf_shls_entl/clones-07-e08.tptp.smt28317410COMSPEN201922337qf_shls_sat325903complete0.1747660.174822113176.0satsat
430494058qf_shls_entl/clones-07-e09.tptp.smt28317401COMSPEN201922337qf_shls_sat325903complete0.1375890.137644113176.0satsat
430493965qf_shls_entl/clones-07-e10.tptp.smt28317308COMSPEN201922337qf_shls_sat325903complete0.1139690.114026113176.0satsat
430494011qf_shls_entl/clones-08-e01.tptp.smt28317354COMSPEN201922337qf_shls_sat325903complete0.0527350.0527901113176.0unsatunsat
430494037qf_shls_entl/clones-08-e02.tptp.smt28317380COMSPEN201922337qf_shls_sat325903complete0.0623770.0624361113176.0unsatunsat
430494029qf_shls_entl/clones-08-e03.tptp.smt28317372COMSPEN201922337qf_shls_sat325903complete0.0620870.0621699113176.0unsatunsat
430493989qf_shls_entl/clones-08-e04.tptp.smt28317332COMSPEN201922337qf_shls_sat325903complete0.0461040.0461419113176.0unsatunsat
430493978qf_shls_entl/clones-08-e05.tptp.smt28317321COMSPEN201922337qf_shls_sat325903complete5.7565.75681158832.0unsatunsat
430494002qf_shls_entl/clones-08-e06.tptp.smt28317345COMSPEN201922337qf_shls_sat325903complete0.0463080.0463851113176.0unsatunsat
430493996qf_shls_entl/clones-08-e07.tptp.smt28317339COMSPEN201922337qf_shls_sat325903complete0.1321140.132158113176.0satsat
430494078qf_shls_entl/clones-08-e08.tptp.smt28317421COMSPEN201922337qf_shls_sat325903complete0.2097480.209798113176.0satsat
430494087qf_shls_entl/clones-08-e09.tptp.smt28317430COMSPEN201922337qf_shls_sat325903complete0.1619470.162033113176.0satsat
430493907qf_shls_entl/clones-08-e10.tptp.smt28317250COMSPEN201922337qf_shls_sat325903complete0.1293740.129437113176.0satsat
430493920qf_shls_entl/clones-09-e01.tptp.smt28317263COMSPEN201922337qf_shls_sat325903complete0.0542910.054373113176.0unsatunsat
430493912qf_shls_entl/clones-09-e02.tptp.smt28317255COMSPEN201922337qf_shls_sat325903complete0.0650830.065163113176.0unsatunsat
430493902qf_shls_entl/clones-09-e03.tptp.smt28317245COMSPEN201922337qf_shls_sat325903complete0.0658750.0659289113176.0unsatunsat
430493971qf_shls_entl/clones-09-e04.tptp.smt28317314COMSPEN201922337qf_shls_sat325903complete0.046140.046188113176.0unsatunsat
430493958qf_shls_entl/clones-09-e05.tptp.smt28317301COMSPEN201922337qf_shls_sat325903complete7.492187.49252158852.0unsatunsat
430493950qf_shls_entl/clones-09-e06.tptp.smt28317293COMSPEN201922337qf_shls_sat325903complete0.0459080.0459621113176.0unsatunsat
430493944qf_shls_entl/clones-09-e07.tptp.smt28317287COMSPEN201922337qf_shls_sat325903complete0.1493210.149398113176.0satsat
430493840qf_shls_entl/clones-09-e08.tptp.smt28317183COMSPEN201922337qf_shls_sat325903complete0.24220.242292113176.0satsat
430493852qf_shls_entl/clones-09-e09.tptp.smt28317195COMSPEN201922337qf_shls_sat325903complete0.1868550.186904113176.0satsat
430494034qf_shls_entl/clones-09-e10.tptp.smt28317377COMSPEN201922337qf_shls_sat325903complete0.1536230.153698113176.0satsat
430493847qf_shls_entl/clones-10-e01.tptp.smt28317190COMSPEN201922337qf_shls_sat325903complete0.0539740.0540041113176.0unsatunsat
430493815qf_shls_entl/clones-10-e02.tptp.smt28317158COMSPEN201922337qf_shls_sat325903complete0.0682490.0683049113176.0unsatunsat
430493827qf_shls_entl/clones-10-e03.tptp.smt28317170COMSPEN201922337qf_shls_sat325903complete0.0670540.0671049113176.0unsatunsat
430493884qf_shls_entl/clones-10-e04.tptp.smt28317227COMSPEN201922337qf_shls_sat325903complete0.0463720.046421113176.0unsatunsat
430493894qf_shls_entl/clones-10-e05.tptp.smt28317237COMSPEN201922337qf_shls_sat325903complete9.307669.30845158920.0unsatunsat
430493865qf_shls_entl/clones-10-e06.tptp.smt28317208COMSPEN201922337qf_shls_sat325903complete0.0466910.0467759113176.0unsatunsat
430493876qf_shls_entl/clones-10-e07.tptp.smt28317219COMSPEN201922337qf_shls_sat325903complete0.1726880.172736113176.0satsat
430493937qf_shls_entl/clones-10-e08.tptp.smt28317280COMSPEN201922337qf_shls_sat325903complete0.2729630.273016113176.0satsat
430493930qf_shls_entl/clones-10-e09.tptp.smt28317273COMSPEN201922337qf_shls_sat325903complete0.2153840.215435113176.0satsat
430494110qf_shls_entl/clones-10-e10.tptp.smt28317453COMSPEN201922337qf_shls_sat325903complete0.1702860.170328113176.0satsat
430494093qf_shls_entl/ls-vc01.smt28317436COMSPEN201922337qf_shls_sat325903complete0.3139130.313991113176.0satsat
430493924qf_shls_entl/ls-vc02.smt28317267COMSPEN201922337qf_shls_sat325903complete0.4467420.446929113176.0satsat
430493882qf_shls_entl/ls-vc03.smt28317225COMSPEN201922337qf_shls_sat325903complete1.244531.24467158744.0satsat
430493976qf_shls_entl/ls-vc04.smt28317319COMSPEN201922337qf_shls_sat325903complete0.2246290.224701113176.0satsat
430494080qf_shls_entl/ls-vc05.smt28317423COMSPEN201922337qf_shls_sat325903complete0.2552970.255372113176.0unsatunsat
430493909qf_shls_entl/ls-vc06.smt28317252COMSPEN201922337qf_shls_sat325903complete0.3582630.35846113176.0satsat
430493867qf_shls_entl/ls-vc07.smt28317210COMSPEN201922337qf_shls_sat325903complete0.5467350.54693158588.0satsat
430494036qf_shls_entl/ls-vc08.smt28317379COMSPEN201922337qf_shls_sat325903complete0.3088960.308968113176.0unsatunsat
430494068qf_shls_entl/ls-vc09.smt28317411COMSPEN201922337qf_shls_sat325903complete0.4822830.48235113176.0unsatunsat
430493898qf_shls_entl/smallfoot-vc01.tptp.smt28317241COMSPEN201922337qf_shls_sat325903complete0.047860.047952113176.0unsatunsat
430493931qf_shls_entl/smallfoot-vc02.tptp.smt28317274COMSPEN201922337qf_shls_sat325903complete0.0483660.048428113176.0unsatunsat
430493923qf_shls_entl/smallfoot-vc03.tptp.smt28317266COMSPEN201922337qf_shls_sat325903complete0.0456530.0457139113176.0unsatunsat
430493952qf_shls_entl/smallfoot-vc04.tptp.smt28317295COMSPEN201922337qf_shls_sat325903complete0.0486660.0488011113176.0unsatunsat
430493942qf_shls_entl/smallfoot-vc05.tptp.smt28317285COMSPEN201922337qf_shls_sat325903complete0.0475890.0476729113176.0unsatunsat
430493969qf_shls_entl/smallfoot-vc06.tptp.smt28317312COMSPEN201922337qf_shls_sat325903complete0.0475890.0477491113176.0unsatunsat
430493962qf_shls_entl/smallfoot-vc07.tptp.smt28317305COMSPEN201922337qf_shls_sat325903complete0.0478160.0478901113176.0unsatunsat
430493822qf_shls_entl/smallfoot-vc08.tptp.smt28317165COMSPEN201922337qf_shls_sat325903complete0.0468430.0468991113176.0unsatunsat
430493836qf_shls_entl/smallfoot-vc09.tptp.smt28317179COMSPEN201922337qf_shls_sat325903complete0.2906640.290739113176.0unsatunsat
430494017qf_shls_entl/smallfoot-vc10.tptp.smt28317360COMSPEN201922337qf_shls_sat325903complete0.1985470.198636113176.0unsatunsat
430494025qf_shls_entl/smallfoot-vc11.tptp.smt28317368COMSPEN201922337qf_shls_sat325903complete0.1846370.184719113176.0unsatunsat
430494031qf_shls_entl/smallfoot-vc12.tptp.smt28317374COMSPEN201922337qf_shls_sat325903complete0.1713730.171535113176.0unsatunsat
430494042qf_shls_entl/smallfoot-vc13.tptp.smt28317385COMSPEN201922337qf_shls_sat325903complete0.1837720.183856113176.0unsatunsat
430493974qf_shls_entl/smallfoot-vc14.tptp.smt28317317COMSPEN201922337qf_shls_sat325903complete0.0468770.0469481113176.0unsatunsat
430493981qf_shls_entl/smallfoot-vc15.tptp.smt28317324COMSPEN201922337qf_shls_sat325903complete0.0483640.0484381113176.0unsatunsat
430493991qf_shls_entl/smallfoot-vc16.tptp.smt28317334COMSPEN201922337qf_shls_sat325903complete0.3187070.318729113176.0unsatunsat
430494000qf_shls_entl/smallfoot-vc17.tptp.smt28317343COMSPEN201922337qf_shls_sat325903complete0.0481140.048169113176.0unsatunsat
430494084qf_shls_entl/smallfoot-vc18.tptp.smt28317427COMSPEN201922337qf_shls_sat325903complete0.4291030.429184113176.0unsatunsat
430494077qf_shls_entl/smallfoot-vc19.tptp.smt28317420COMSPEN201922337qf_shls_sat325903complete0.0468920.046954113176.0unsatunsat
430493817qf_shls_entl/smallfoot-vc20.tptp.smt28317160COMSPEN201922337qf_shls_sat325903complete0.0468530.0469379113176.0unsatunsat
430493825qf_shls_entl/smallfoot-vc21.tptp.smt28317168COMSPEN201922337qf_shls_sat325903complete0.1691080.169166113176.0unsatunsat
430493839qf_shls_entl/smallfoot-vc22.tptp.smt28317182COMSPEN201922337qf_shls_sat325903complete0.0623290.0624199113176.0satsat
430493848qf_shls_entl/smallfoot-vc23.tptp.smt28317191COMSPEN201922337qf_shls_sat325903complete0.0482980.048351113176.0satsat
430493866qf_shls_entl/smallfoot-vc24.tptp.smt28317209COMSPEN201922337qf_shls_sat325903complete0.1591420.159421113176.0unsatunsat
430493875qf_shls_entl/smallfoot-vc25.tptp.smt28317218COMSPEN201922337qf_shls_sat325903complete0.1443380.144402113176.0unsatunsat
430493883qf_shls_entl/smallfoot-vc26.tptp.smt28317226COMSPEN201922337qf_shls_sat325903complete0.2056920.20574113176.0unsatunsat
430493896qf_shls_entl/smallfoot-vc27.tptp.smt28317239COMSPEN201922337qf_shls_sat325903complete0.0483260.0483899113176.0unsatunsat
430493915qf_shls_entl/smallfoot-vc28.tptp.smt28317258COMSPEN201922337qf_shls_sat325903complete0.2238720.224086113176.0unsatunsat
430493906qf_shls_entl/smallfoot-vc29.tptp.smt28317249COMSPEN201922337qf_shls_sat325903complete0.0537420.053902113176.0satsat
430494088qf_shls_entl/smallfoot-vc30.tptp.smt28317431COMSPEN201922337qf_shls_sat325903complete0.0578890.0579269113176.0satsat
430494079qf_shls_entl/smallfoot-vc31.tptp.smt28317422COMSPEN201922337qf_shls_sat325903complete0.0585010.0585571113176.0satsat
430494109qf_shls_entl/smallfoot-vc32.tptp.smt28317452COMSPEN201922337qf_shls_sat325903complete0.0549190.054995113176.0satsat
430494100qf_shls_entl/smallfoot-vc33.tptp.smt28317443COMSPEN201922337qf_shls_sat325903complete0.0548530.054923113176.0satsat
430494054qf_shls_entl/smallfoot-vc34.tptp.smt28317397COMSPEN201922337qf_shls_sat325903complete0.5069750.507047113176.0unsatunsat
430494046qf_shls_entl/smallfoot-vc35.tptp.smt28317389COMSPEN201922337qf_shls_sat325903complete0.0543920.054463113176.0satsat
430494066qf_shls_entl/smallfoot-vc36.tptp.smt28317409COMSPEN201922337qf_shls_sat325903complete0.3170340.317075113176.0unsatunsat
430494059qf_shls_entl/smallfoot-vc37.tptp.smt28317402COMSPEN201922337qf_shls_sat325903complete0.0558780.0559591113176.0satsat
430494009qf_shls_entl/smallfoot-vc38.tptp.smt28317352COMSPEN201922337qf_shls_sat325903complete0.5040450.50414113176.0unsatunsat
430494021qf_shls_entl/smallfoot-vc39.tptp.smt28317364COMSPEN201922337qf_shls_sat325903complete0.3097350.309778113176.0satsat
430494073qf_shls_entl/smallfoot-vc40.tptp.smt28317416COMSPEN201922337qf_shls_sat325903complete0.3687250.368804113176.0satsat
430494065qf_shls_entl/smallfoot-vc41.tptp.smt28317408COMSPEN201922337qf_shls_sat325903complete0.3225190.322609113176.0unsatunsat
430494056qf_shls_entl/smallfoot-vc42.tptp.smt28317399COMSPEN201922337qf_shls_sat325903complete0.3644880.364529113176.0unsatunsat
430494047qf_shls_entl/smallfoot-vc43.tptp.smt28317390COMSPEN201922337qf_shls_sat325903complete0.3669220.366995113176.0satsat
430494101qf_shls_entl/smallfoot-vc44.tptp.smt28317444COMSPEN201922337qf_shls_sat325903complete0.4807450.480811113176.0unsatunsat
430494095qf_shls_entl/smallfoot-vc45.tptp.smt28317438COMSPEN201922337qf_shls_sat325903complete0.4171950.417264113176.0unsatunsat
430494085qf_shls_entl/smallfoot-vc46.tptp.smt28317428COMSPEN201922337qf_shls_sat325903complete0.4188930.418968113176.0unsatunsat
430494076qf_shls_entl/smallfoot-vc47.tptp.smt28317419COMSPEN201922337qf_shls_sat325903complete0.0469560.047026113176.0unsatunsat
430493992qf_shls_entl/smallfoot-vc48.tptp.smt28317335COMSPEN201922337qf_shls_sat325903complete0.2887570.288796113176.0unsatunsat
430493999qf_shls_entl/smallfoot-vc49.tptp.smt28317342COMSPEN201922337qf_shls_sat325903complete0.2491460.249211113176.0satsat
430493881qf_shls_entl/smallfoot-vc50.tptp.smt28317224COMSPEN201922337qf_shls_sat325903complete0.2214250.221508113176.0unsatunsat
430493893qf_shls_entl/smallfoot-vc51.tptp.smt28317236COMSPEN201922337qf_shls_sat325903complete0.2342440.234322113176.0unsatunsat
430493856qf_shls_entl/smallfoot-vc52.tptp.smt28317199COMSPEN201922337qf_shls_sat325903complete0.4897370.48983113176.0unsatunsat
430493869qf_shls_entl/smallfoot-vc53.tptp.smt28317212COMSPEN201922337qf_shls_sat325903complete0.3170290.317081113176.0unsatunsat
430493841qf_shls_entl/smallfoot-vc54.tptp.smt28317184COMSPEN201922337qf_shls_sat325903complete0.0637840.064259113176.0satsat
430493850qf_shls_entl/smallfoot-vc55.tptp.smt28317193COMSPEN201922337qf_shls_sat325903complete0.2221070.222163113176.0unsatunsat
430493824qf_shls_entl/smallfoot-vc56.tptp.smt28317167COMSPEN201922337qf_shls_sat325903complete0.2199320.219976113176.0satsat
430493835qf_shls_entl/smallfoot-vc57.tptp.smt28317178COMSPEN201922337qf_shls_sat325903complete0.3380160.338091113176.0satsat
430493970qf_shls_entl/smallfoot-vc58.tptp.smt28317313COMSPEN201922337qf_shls_sat325903complete0.4890680.489133113176.0unsatunsat
430493960qf_shls_entl/smallfoot-vc59.tptp.smt28317303COMSPEN201922337qf_shls_sat325903complete0.4263350.426436113176.0unsatunsat
430493995qf_shls_entl/smallfoot-vc60.tptp.smt28317338COMSPEN201922337qf_shls_sat325903complete0.3064170.306499113176.0unsatunsat
430494004qf_shls_entl/smallfoot-vc61.tptp.smt28317347COMSPEN201922337qf_shls_sat325903complete0.3103360.310393113176.0satsat
430493980qf_shls_entl/smallfoot-vc62.tptp.smt28317323COMSPEN201922337qf_shls_sat325903complete0.0481130.0481769113176.0unsatunsat
430493986qf_shls_entl/smallfoot-vc63.tptp.smt28317329COMSPEN201922337qf_shls_sat325903complete0.306490.306594113176.0unsatunsat
430494027qf_shls_entl/smallfoot-vc64.tptp.smt28317370COMSPEN201922337qf_shls_sat325903complete0.0476080.0476699113176.0unsatunsat
430494040qf_shls_entl/smallfoot-vc65.tptp.smt28317383COMSPEN201922337qf_shls_sat325903complete0.3068620.306934113176.0unsatunsat
430494012qf_shls_entl/smallfoot-vc66.tptp.smt28317355COMSPEN201922337qf_shls_sat325903complete0.2330310.233106113176.0unsatunsat
430494019qf_shls_entl/smallfoot-vc67.tptp.smt28317362COMSPEN201922337qf_shls_sat325903complete0.2234920.223558113176.0unsatunsat
430494069qf_shls_entl/smallfoot-vc68.tptp.smt28317412COMSPEN201922337qf_shls_sat325903complete0.2197880.219829113176.0satsat
430494057qf_shls_entl/smallfoot-vc69.tptp.smt28317400COMSPEN201922337qf_shls_sat325903complete0.0510870.05112113176.0satsat
430493964qf_shls_entl/smallfoot-vc70.tptp.smt28317307COMSPEN201922337qf_shls_sat325903complete0.3548260.354911113176.0satsat
430493956qf_shls_entl/smallfoot-vc71.tptp.smt28317299COMSPEN201922337qf_shls_sat325903complete0.3314650.331555113176.0unsatunsat
430493947qf_shls_entl/smallfoot-vc72.tptp.smt28317290COMSPEN201922337qf_shls_sat325903complete0.3331640.333236113176.0satsat
430493939qf_shls_entl/smallfoot-vc73.tptp.smt28317282COMSPEN201922337qf_shls_sat325903complete0.3334040.333494113176.0satsat
430493936qf_shls_entl/smallfoot-vc74.tptp.smt28317279COMSPEN201922337qf_shls_sat325903complete0.3639430.364037113176.0unsatunsat
430493929qf_shls_entl/smallfoot-vc75.tptp.smt28317272COMSPEN201922337qf_shls_sat325903complete0.2888390.288922113176.0unsatunsat
430493916qf_shls_entl/smallfoot-vc76.tptp.smt28317259COMSPEN201922337qf_shls_sat325903complete0.3075180.307603113176.0satsat
430493904qf_shls_entl/smallfoot-vc77.tptp.smt28317247COMSPEN201922337qf_shls_sat325903complete0.0481120.048196113176.0unsatunsat