pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433163155qf_shid_sat/abduced00.defs.smt28318320SLEEK20564default304221complete0.2556290.24729113176.0satsat
433163151qf_shid_sat/abduced01.defs.smt28318316SLEEK20564default304221complete0.2680980.259904113176.0satsat
433163148qf_shid_sat/abduced02.defs.smt28318313SLEEK20564default304221complete0.2747550.266389113176.0satsat
433163147qf_shid_sat/abduced03.defs.smt28318312SLEEK20564default304221complete0.3048460.296384113176.0satsat
433163143qf_shid_sat/abduced04.defs.smt28318308SLEEK20564default304221complete0.3000170.291659113176.0satsat
433163135qf_shid_sat/abduced05.defs.smt28318300SLEEK20564default304221complete0.4119440.401216113176.0satsat
433163133qf_shid_sat/abduced06.defs.smt28318298SLEEK20564default304221complete0.3755540.365721113176.0satsat
433163132qf_shid_sat/abduced07.defs.smt28318297SLEEK20564default304221complete0.3141150.304623113176.0satsat
433163169qf_shid_sat/abduced08.defs.smt28318334SLEEK20564default304221complete0.3362620.327266113176.0satsat
433163174qf_shid_sat/abduced09.defs.smt28318339SLEEK20564default304221complete0.3182680.309505113176.0satsat
433163210qf_shid_sat/abduced10.defs.smt28318375SLEEK20564default304221complete0.3639060.353892113176.0satsat
433163212qf_shid_sat/abduced11.defs.smt28318377SLEEK20564default304221complete0.3365860.327127113176.0satsat
433163201qf_shid_sat/abduced12.defs.smt28318366SLEEK20564default304221complete0.3348350.325148113176.0satsat
433163204qf_shid_sat/abduced13.defs.smt28318369SLEEK20564default304221complete0.3777490.368322113176.0satsat
433163225qf_shid_sat/abduced14.defs.smt28318390SLEEK20564default304221complete0.3102970.301501113176.0satsat
433163229qf_shid_sat/abduced15.defs.smt28318394SLEEK20564default304221complete0.2274260.219838113176.0satsat
433163219qf_shid_sat/abduced16.defs.smt28318384SLEEK20564default304221complete0.2217050.213989113176.0satsat
433163222qf_shid_sat/abduced17.defs.smt28318387SLEEK20564default304221complete0.254330.24585113176.0satsat
433163185qf_shid_sat/abduced18.defs.smt28318350SLEEK20564default304221complete0.2906320.281504113176.0satsat
433163183qf_shid_sat/abduced19.defs.smt28318348SLEEK20564default304221complete0.2305190.22258113176.0satsat
433163173qf_shid_sat/atll-01.smt28318338SLEEK20564default304221complete0.1371830.13253113176.0satsat
433163215qf_shid_sat/atll-02.smt28318380SLEEK20564default304221complete0.127660.123091113176.0satunsat
433163196qf_shid_sat/atll-03.smt28318361SLEEK20564default304221complete0.1161410.111614113176.0satunsat
433163167qf_shid_sat/dll-01.smt28318332SLEEK20564default304221complete0.1212030.116621113176.0satunsat
433163206qf_shid_sat/dll-02.smt28318371SLEEK20564default304221complete0.1067570.102227113176.0satunsat
433163188qf_shid_sat/dll-03.smt28318353SLEEK20564default304221complete0.119860.114722113176.0satsat
433163140qf_shid_sat/dll-04.smt28318305SLEEK20564default304221complete0.1202130.115262113176.0satunsat
433163175qf_shid_sat/dll-05.smt28318340SLEEK20564default304221complete0.1391540.134218113176.0satsat
433163216qf_shid_sat/dll-06.smt28318381SLEEK20564default304221complete3.273473.26601285144.0satunsat
433163182qf_shid_sat/dltree-01.smt28318347SLEEK20564default304221complete0.062180.057799113176.0satsat
433163205qf_shid_sat/inconsistent-ls-of-ls.defs.smt28318370SLEEK20564default304221complete0.0671630.0623909113176.0unsatunsat
433163193qf_shid_sat/lasso-01.smt28318358SLEEK20564default304221complete0.0767140.0725801113176.0satsat
433163139qf_shid_sat/lasso-02.smt28318304SLEEK20564default304221complete0.0775290.0732199113176.0unsatunsat
433163170qf_shid_sat/lasso-03.smt28318335SLEEK20564default304221complete0.0849590.080139113176.0unsatunsat
433163200qf_shid_sat/lasso-04.smt28318365SLEEK20564default304221complete0.1875020.180536113176.0unsatunsat
433163186qf_shid_sat/lasso-05.smt28318351SLEEK20564default304221complete0.0813910.0764199113176.0satsat
433163213qf_shid_sat/lss-03-01.smt28318378SLEEK20564default304221complete0.0833690.078754113176.0unsatunsat
433163176qf_shid_sat/lss-03-02.smt28318341SLEEK20564default304221complete0.0958150.0903731113176.0unsatunsat
433163141qf_shid_sat/lss-03-03.smt28318306SLEEK20564default304221complete0.09070.0859159113176.0satunsat
433163171qf_shid_sat/lss-04-01.smt28318336SLEEK20564default304221complete0.1148450.108895113176.0satsat
433163211qf_shid_sat/lss-04-02.smt28318376SLEEK20564default304221complete0.1174040.111484113176.0satsat
433163194qf_shid_sat/lss-04-03.smt28318359SLEEK20564default304221complete0.1130690.107184113176.0satunsat
433163136qf_shid_sat/lss-05-01.smt28318301SLEEK20564default304221complete0.1306980.124987113176.0satsat
433163190qf_shid_sat/lss-05-02.smt28318355SLEEK20564default304221complete0.1353730.129432113176.0satsat
433163209qf_shid_sat/lss-05-03.smt28318374SLEEK20564default304221complete0.1282070.122535113176.0satsat
433163161qf_shid_sat/ncll-01.smt28318326SLEEK20564default304221complete0.0654580.061274113176.0satsat
433163150qf_shid_sat/nll-01.smt28318315SLEEK20564default304221complete0.0783240.073362113176.0satsat
433163166qf_shid_sat/sll2h-01.smt28318331SLEEK20564default304221complete0.0225310.0216759113176.0satsat
433163224qf_shid_sat/succ-circuit01.defs.smt28318389SLEEK20564default304221complete0.3254150.319983113176.0satsat
433163221qf_shid_sat/succ-circuit02.defs.smt28318386SLEEK20564default304221complete0.4156470.413113176.0satsat
433163220qf_shid_sat/succ-circuit03.defs.smt28318385SLEEK20564default304221complete72.644172.51852683884.0satsat
433163214qf_shid_sat/succ-circuit04.defs.smt28318379SLEEK20564default304221timeout (cpu)2400.022400.022948828.0starexec-unknownsat
433163208qf_shid_sat/succ-circuit05.defs.smt28318373SLEEK20564default304221timeout (cpu)2400.012399.997174116.0starexec-unknownsat
433163203qf_shid_sat/succ-circuit06.defs.smt28318368SLEEK20564default304221memout29.1929.24981.0638684E7starexec-unknownsat
433163202qf_shid_sat/succ-circuit07.defs.smt28318367SLEEK20564default304221complete10.751110.74495976136.0satsat
433163191qf_shid_sat/succ-circuit08.defs.smt28318356SLEEK20564default304221complete10.824210.81765982752.0satsat
433163197qf_shid_sat/succ-circuit09.defs.smt28318362SLEEK20564default304221complete10.921910.91576011480.0satsat
433163137qf_shid_sat/succ-circuit10.defs.smt28318302SLEEK20564default304221complete11.040611.03456004100.0satsat
433163142qf_shid_sat/succ-circuit11.defs.smt28318307SLEEK20564default304221complete11.222811.22115974124.0satsat
433163131qf_shid_sat/succ-circuit12.defs.smt28318296SLEEK20564default304221complete11.432811.42486012808.0satsat
433163134qf_shid_sat/succ-circuit13.defs.smt28318299SLEEK20564default304221complete11.73511.7285993268.0satsat
433163153qf_shid_sat/succ-circuit14.defs.smt28318318SLEEK20564default304221complete12.117312.10846005640.0satsat
433163154qf_shid_sat/succ-circuit15.defs.smt28318319SLEEK20564default304221complete12.592312.58386005412.0satsat
433163146qf_shid_sat/succ-circuit16.defs.smt28318311SLEEK20564default304221complete13.216913.20776008088.0satsat
433163149qf_shid_sat/succ-circuit17.defs.smt28318314SLEEK20564default304221complete14.002213.9946022560.0satsat
433163164qf_shid_sat/succ-circuit18.defs.smt28318329SLEEK20564default304221complete14.97514.96486017112.0satsat
433163162qf_shid_sat/succ-circuit19.defs.smt28318327SLEEK20564default304221complete16.082516.07155975180.0satsat
433163195qf_shid_sat/succ-circuit20.defs.smt28318360SLEEK20564default304221complete17.581817.5696016492.0satsat
433163198qf_shid_sat/succ-rec01.defs.smt28318363SLEEK20564default304221complete0.0663520.062249113176.0satsat
433163187qf_shid_sat/succ-rec02.defs.smt28318352SLEEK20564default304221complete0.1242270.118964113176.0satsat
433163189qf_shid_sat/succ-rec03.defs.smt28318354SLEEK20564default304221complete1.231181.22953262008.0satsat
433163181qf_shid_sat/succ-rec04.defs.smt28318346SLEEK20564default304221complete1.964611.95882273600.0satsat
433163184qf_shid_sat/succ-rec05.defs.smt28318349SLEEK20564default304221complete10.715910.7066316716.0satsat
433163178qf_shid_sat/succ-rec06.defs.smt28318343SLEEK20564default304221complete19.750419.7419319476.0satsat
433163180qf_shid_sat/succ-rec07.defs.smt28318345SLEEK20564default304221complete19.683819.676318436.0satsat
433163227qf_shid_sat/succ-rec08.defs.smt28318392SLEEK20564default304221complete19.721119.7134319636.0satsat
433163223qf_shid_sat/succ-rec09.defs.smt28318388SLEEK20564default304221complete19.772419.7648321316.0satsat
433163163qf_shid_sat/succ-rec10.defs.smt28318328SLEEK20564default304221complete19.705819.6981318292.0satsat
433163159qf_shid_sat/succ-rec11.defs.smt28318324SLEEK20564default304221complete19.721619.7151318132.0satsat
433163158qf_shid_sat/succ-rec12.defs.smt28318323SLEEK20564default304221complete19.761319.7531319476.0satsat
433163157qf_shid_sat/succ-rec13.defs.smt28318322SLEEK20564default304221complete19.756419.7485321216.0satsat
433163177qf_shid_sat/succ-rec14.defs.smt28318342SLEEK20564default304221complete19.706919.6997319672.0satsat
433163172qf_shid_sat/succ-rec15.defs.smt28318337SLEEK20564default304221complete19.753719.7455321216.0satsat
433163168qf_shid_sat/succ-rec16.defs.smt28318333SLEEK20564default304221complete19.765819.7655321220.0satsat
433163165qf_shid_sat/succ-rec17.defs.smt28318330SLEEK20564default304221complete19.760819.7539320128.0satsat
433163138qf_shid_sat/succ-rec18.defs.smt28318303SLEEK20564default304221complete19.767419.7597321212.0satsat
433163144qf_shid_sat/succ-rec19.defs.smt28318309SLEEK20564default304221complete19.781819.7746320128.0satsat
433163228qf_shid_sat/succ-rec20.defs.smt28318393SLEEK20564default304221complete19.791719.7899321216.0satsat
433163226qf_shid_sat/tll-01.smt28318391SLEEK20564default304221complete0.0602980.055768113176.0satsat
433163160qf_shid_sat/tll-02.smt28318325SLEEK20564default304221complete0.0602220.0559091113176.0satunsat
433163152qf_shid_sat/tll-03.smt28318317SLEEK20564default304221complete0.0600580.055782113176.0satsat
433163179qf_shid_sat/tll-04.smt28318344SLEEK20564default304221complete0.071830.0671719113176.0satsat
433163218qf_shid_sat/tll-05.smt28318383SLEEK20564default304221complete0.0681320.0636691113176.0satsat
433163156qf_shid_sat/tll-06.smt28318321SLEEK20564default304221complete0.0649880.0606121113176.0unsatunsat
433163145qf_shid_sat/tll-07.smt28318310SLEEK20564default304221complete0.0755250.070675113176.0satsat
433163199qf_shid_sat/tll-08.smt28318364SLEEK20564default304221complete0.0703810.0658469113176.0unsatunsat
433163217qf_shid_sat/tll-09.smt28318382SLEEK20564default304221complete0.64370.638503280612.0unsatunsat
433163192qf_shid_sat/tll-10.smt28318357SLEEK20564default304221complete308.479308.521779852.0satsat
433163207qf_shid_sat/tree-01.smt28318372SLEEK20564default304221complete0.0539830.0501829113176.0satsat