pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430497762qf_shidlia_entl/dll-entl-01.smt28318769s2s.0.3.322440default326050complete0.1243670.122007113176.0unsatunsat
430497737qf_shidlia_entl/dll-entl-02.smt28318744s2s.0.3.322440default326050complete0.2060490.200061113176.0satsat
430497717qf_shidlia_entl/dll-entl-03.smt28318724s2s.0.3.322440default326050complete0.2284160.22429113176.0unsatunsat
430497752qf_shidlia_entl/dll-entl-04.smt28318759s2s.0.3.322440default326050complete0.2143580.21324113176.0unsatunsat
430497760qf_shidlia_entl/dll-entl-05.smt28318767s2s.0.3.322440default326050complete0.2015490.195152113176.0satsat
430497734qf_shidlia_entl/dll-entl-06.smt28318741s2s.0.3.322440default326050complete0.2063010.199724113176.0satsat
430497714qf_shidlia_entl/dll-entl-07.smt28318721s2s.0.3.322440default326050complete0.1186580.132736113176.0unsatunsat
430497748qf_shidlia_entl/dll-entl-08.smt28318755s2s.0.3.322440default326050complete0.125840.123547113176.0satsat
430497771qf_shidlia_entl/dll-entl-09.smt28318778s2s.0.3.322440default326050complete0.1197670.118625113176.0unsatunsat
430497747qf_shidlia_entl/dll-entl-10.smt28318754s2s.0.3.322440default326050complete0.1257160.133436113176.0unsatunsat
430497767qf_shidlia_entl/dll-entl-11.smt28318774s2s.0.3.322440default326050complete0.1356240.133128113176.0satsat
430497731qf_shidlia_entl/dll-entl-12.smt28318738s2s.0.3.322440default326050complete0.1180730.116438113176.0unsatunsat
430497723qf_shidlia_entl/dll-entl-13.smt28318730s2s.0.3.322440default326050complete0.206360.19963113176.0satsat
430497743qf_shidlia_entl/dll-entl-14.smt28318750s2s.0.3.322440default326050complete0.2070360.20032113176.0satsat
430497764qf_shidlia_entl/dll-entl-15.smt28318771s2s.0.3.322440default326050complete0.2049810.198368113176.0satsat
430497742qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len.sb.smt28318749s2s.0.3.322440default326050complete0.1705250.16691113176.0unsatunsat
430497729qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-1.sb.smt28318736s2s.0.3.322440default326050complete0.172120.168522113176.0unsatunsat
430497766qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-2.sb.smt28318773s2s.0.3.322440default326050complete0.1703720.16629113176.0unsatunsat
430497744qf_shidlia_entl/dll_len_append_dllnull_len_entails_dllnull_len_num-3.sb.smt28318751s2s.0.3.322440default326050complete0.1700570.168779113176.0unsatunsat
430497724qf_shidlia_entl/dll_len_append_tail_entails_dllnull.sb.smt28318731s2s.0.3.322440default326050complete0.1745470.17028113176.0unsatunsat
430497721qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-1.sb.smt28318728s2s.0.3.322440default326050complete0.1704410.16657113176.0unsatunsat
430497741qf_shidlia_entl/dll_len_append_tail_entails_dllnull_num-2.sb.smt28318748s2s.0.3.322440default326050complete0.1705910.168077113176.0unsatunsat
430497745qf_shidlia_entl/dll_len_entails_lspre_len.sb.smt28318752s2s.0.3.322440default326050complete0.1777030.175305113176.0unsatunsat
430497754qf_shidlia_entl/dll_len_entails_lspre_len_num-1.sb.smt28318761s2s.0.3.322440default326050complete0.1774450.173982113176.0unsatunsat
430497711qf_shidlia_entl/dll_len_entails_lspre_len_num-2.sb.smt28318718s2s.0.3.322440default326050complete0.1777440.174268113176.0unsatunsat
430497722qf_shidlia_entl/dll_len_entails_lsrev_len.sb.smt28318729s2s.0.3.322440default326050complete0.1653250.163162113176.0unsatunsat
430497725qf_shidlia_entl/dll_len_entails_lsrev_len_num-1.sb.smt28318732s2s.0.3.322440default326050complete0.1703530.166939113176.0unsatunsat
430497749qf_shidlia_entl/dll_len_entails_lsrev_len_num-2.sb.smt28318756s2s.0.3.322440default326050complete0.1710660.16756113176.0unsatunsat
430497739qf_shidlia_entl/dll_len_entails_ls_len.sb.smt28318746s2s.0.3.322440default326050complete0.1801480.1766113176.0unsatunsat
430497720qf_shidlia_entl/dll_len_entails_ls_len_num-1.sb.smt28318727s2s.0.3.322440default326050complete0.1791080.175701113176.0unsatunsat
430497756qf_shidlia_entl/dll_len_entails_ls_len_num-2.sb.smt28318763s2s.0.3.322440default326050complete0.1777050.175756113176.0unsatunsat
430497735qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len.sb.smt28318742s2s.0.3.322440default326050complete0.1682410.164765113176.0unsatunsat
430497758qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-1.sb.smt28318765s2s.0.3.322440default326050complete0.1693760.166794113176.0unsatunsat
430497716qf_shidlia_entl/dll_len_nil_tl_entails_dllnull_len_num-2.sb.smt28318723s2s.0.3.322440default326050complete0.1711690.167539113176.0unsatunsat
430497755qf_shidlia_entl/ls-entl-01.smt28318762s2s.0.3.322440default326050complete0.0122340.012308113176.0unsatunsat
430497715qf_shidlia_entl/ls-entl-02.smt28318722s2s.0.3.322440default326050complete0.1199690.117873113176.0satsat
430497736qf_shidlia_entl/ls-entl-03.smt28318743s2s.0.3.322440default326050complete0.1037850.102659113176.0unsatunsat
430497761qf_shidlia_entl/ls-entl-04.smt28318768s2s.0.3.322440default326050complete0.1273160.124463113176.0satsat
430497753qf_shidlia_entl/ls-entl-05.smt28318760s2s.0.3.322440default326050complete0.1007060.099188113176.0unsatunsat
430497713qf_shidlia_entl/ls-entl-06.smt28318720s2s.0.3.322440default326050complete0.1046080.103122113176.0satsat
430497733qf_shidlia_entl/ls-entl-07.smt28318740s2s.0.3.322440default326050complete0.1851390.18109113176.0unsatunsat
430497718qf_shidlia_entl/ls_append_node.sb.smt28318725s2s.0.3.322440default326050complete0.1001760.114674113176.0unsatunsat
430497770qf_shidlia_entl/ls_combine_ls.sb.smt28318777s2s.0.3.322440default326050complete0.0998490.0986811113176.0unsatunsat
430497732qf_shidlia_entl/sls_join_2.sb.smt28318739s2s.0.3.322440default326050complete0.0882650.0864729113176.0unsatunsat
430497728qf_shidlia_entl/sls_join_2_known_bnd.sb.smt28318735s2s.0.3.322440default326050complete0.0983320.0961659113176.0unsatunsat
430497768qf_shidlia_entl/sls_join_2_no_cond.sb.smt28318775s2s.0.3.322440default326050complete0.0926160.090781113176.0unsatunsat
430497726qf_shidlia_entl/sls_join_2_unk_lower_bnd.sb.smt28318733s2s.0.3.322440default326050complete0.0928440.0908649113176.0unsatunsat
430497712qf_shidlia_entl/sls_join_2_unk_upper_bnd.sb.smt28318719s2s.0.3.322440default326050complete0.0912580.0892919113176.0unsatunsat
430497727qf_shidlia_entl/sls_join_3.sb.smt28318734s2s.0.3.322440default326050complete0.1042190.102295113176.0unsatunsat
430497750qf_shidlia_entl/sls_join_3_2_cond.sb.smt28318757s2s.0.3.322440default326050complete0.1080980.106073113176.0unsatunsat
430497763qf_shidlia_entl/sls_join_3_no_cond.sb.smt28318770s2s.0.3.322440default326050complete0.1123720.109483113176.0unsatunsat
430497738qf_shidlia_entl/sls_join_3_unk_lower_bnd.sb.smt28318745s2s.0.3.322440default326050complete0.1108170.108654113176.0unsatunsat
430497730qf_shidlia_entl/sls_join_3_unk_upper_bnd.sb.smt28318737s2s.0.3.322440default326050complete0.1075330.105103113176.0unsatunsat
430497740qf_shidlia_entl/sls_join_4_1_cond_unk_both.sb.smt28318747s2s.0.3.322440default326050complete0.1386840.134887113176.0unsatunsat
430497751qf_shidlia_entl/sls_join_4_1_cond_unk_lower_bnd.sb.smt28318758s2s.0.3.322440default326050complete0.1518190.147574113176.0unsatunsat
430497746qf_shidlia_entl/sls_join_4_1_cond_unk_upper_bnd.sb.smt28318753s2s.0.3.322440default326050complete0.1514620.147084113176.0unsatunsat
430497769qf_shidlia_entl/sls_join_4_2_cond_unk_lower_bnd.sb.smt28318776s2s.0.3.322440default326050complete0.140050.136193113176.0unsatunsat
430497759qf_shidlia_entl/sls_join_4_2_cond_unk_upper_bnd.sb.smt28318766s2s.0.3.322440default326050complete0.1410350.137166113176.0unsatunsat
430497757qf_shidlia_entl/sls_join_4_3_cond.sb.smt28318764s2s.0.3.322440default326050complete0.1344830.131002113176.0unsatunsat
430497719qf_shidlia_entl/sls_join_4_no_cond.sb.smt28318726s2s.0.3.322440default326050complete0.1605670.155823113176.0unsatunsat
430497765qf_shidlia_entl/tseg_size_join_tree_size_entail_tree.sb.smt28318772s2s.0.3.322440default326050complete0.2248130.221709113176.0unsatunsat