430514342 | qf_shid_entl/01.tst.smt2 | 8318666 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015502 | 0.0155699 | 113176.0 | unsat | unsat |
430514093 | qf_shid_entl/02.tst.smt2 | 8318417 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014449 | 0.014488 | 113176.0 | unsat | unsat |
430514153 | qf_shid_entl/03.tst.smt2 | 8318477 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011602 | 0.011658 | 113176.0 | unsat | unsat |
430514209 | qf_shid_entl/04.tst.smt2 | 8318533 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012416 | 0.012462 | 113176.0 | unsat | unsat |
430514140 | qf_shid_entl/05.tst.smt2 | 8318464 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011748 | 0.011777 | 113176.0 | unsat | unsat |
430514319 | qf_shid_entl/06.tst.smt2 | 8318643 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012414 | 0.0127329 | 0.0 | unsat | unsat |
430514265 | qf_shid_entl/07.tst.smt2 | 8318589 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01308 | 0.0131129 | 113176.0 | unsat | unsat |
430514262 | qf_shid_entl/08.tst.smt2 | 8318586 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014173 | 0.0142291 | 113176.0 | unsat | unsat |
430514321 | qf_shid_entl/09.tst.smt2 | 8318645 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012696 | 0.0127659 | 113176.0 | unsat | unsat |
430514302 | qf_shid_entl/10.tst.smt2 | 8318626 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016439 | 0.0165221 | 113176.0 | unsat | unsat |
430514348 | qf_shid_entl/11.tst.smt2 | 8318672 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01616 | 0.018441 | 0.0 | unsat | unsat |
430514097 | qf_shid_entl/12.tst.smt2 | 8318421 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014689 | 0.0147681 | 113176.0 | unsat | unsat |
430514165 | qf_shid_entl/13.tst.smt2 | 8318489 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013795 | 0.013816 | 113176.0 | unsat | unsat |
430514197 | qf_shid_entl/14.tst.smt2 | 8318521 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01333 | 0.013405 | 113176.0 | unsat | unsat |
430514127 | qf_shid_entl/15.tst.smt2 | 8318451 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017625 | 0.0177139 | 113176.0 | unsat | unsat |
430514307 | qf_shid_entl/16.tst.smt2 | 8318631 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015063 | 0.015153 | 113176.0 | unsat | unsat |
430514251 | qf_shid_entl/17.tst.smt2 | 8318575 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024658 | 0.0247349 | 113176.0 | unsat | unsat |
430514252 | qf_shid_entl/18.tst.smt2 | 8318576 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01535 | 0.0154191 | 113176.0 | unsat | unsat |
430514305 | qf_shid_entl/19.tst.smt2 | 8318629 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012451 | 0.012465 | 113176.0 | unsat | unsat |
430514275 | qf_shid_entl/20.tst.smt2 | 8318599 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011421 | 0.0114531 | 113176.0 | unsat | unsat |
430514364 | qf_shid_entl/21.tst.smt2 | 8318688 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014503 | 0.0145631 | 113176.0 | unsat | unsat |
430514077 | qf_shid_entl/22.tst.smt2 | 8318401 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011916 | 0.0119459 | 113176.0 | unsat | unsat |
430514351 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014841 | 0.0148989 | 113176.0 | unsat | unsat |
430514344 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017558 | 0.0176949 | 113176.0 | unsat | unsat |
430514227 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014703 | 0.014736 | 113176.0 | unsat | unsat |
430514100 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015496 | 0.0155171 | 113176.0 | unsat | unsat |
430514158 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013653 | 0.013685 | 113176.0 | unsat | unsat |
430514117 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015599 | 0.01562 | 113176.0 | unsat | unsat |
430514270 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014313 | 0.01435 | 113176.0 | unsat | unsat |
430514380 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013776 | 0.0138151 | 113176.0 | unsat | unsat |
430514184 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013983 | 0.0140401 | 113176.0 | unsat | unsat |
430514142 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016372 | 0.0164071 | 113176.0 | unsat | unsat |
430514278 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015224 | 0.015431 | 113176.0 | unsat | unsat |
430514311 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.069436 | 0.0695209 | 113176.0 | unsat | unsat |
430514347 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014355 | 0.0143959 | 113176.0 | unsat | unsat |
430514226 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013831 | 0.013893 | 113176.0 | unsat | unsat |
430514340 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013971 | 0.014509 | 0.0 | unsat | unsat |
430514148 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014338 | 0.014392 | 113176.0 | unsat | unsat |
430514109 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014358 | 0.0143989 | 113176.0 | unsat | unsat |
430514254 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013914 | 0.013942 | 113176.0 | unsat | unsat |
430514367 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013965 | 0.0156269 | 0.0 | sat | sat |
430514172 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014997 | 0.0150529 | 113176.0 | unsat | unsat |
430514130 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014485 | 0.0145341 | 113176.0 | unsat | unsat |
430514283 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014731 | 0.01477 | 113176.0 | unsat | unsat |
430514156 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013818 | 0.0138471 | 113176.0 | unsat | unsat |
430514111 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013691 | 0.013747 | 113176.0 | unsat | unsat |
430514247 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013797 | 0.0138409 | 113176.0 | unsat | unsat |
430514362 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013748 | 0.01379 | 113176.0 | unsat | unsat |
430514168 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013528 | 0.0135559 | 113176.0 | sat | sat |
430514124 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014019 | 0.014066 | 113176.0 | unsat | unsat |
430514287 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015063 | 0.015088 | 113176.0 | unsat | unsat |
430514323 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014188 | 0.014234 | 113176.0 | unsat | unsat |
430514123 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013997 | 0.0140301 | 113176.0 | unsat | unsat |
430514242 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014747 | 0.014851 | 113176.0 | unsat | unsat |
430514358 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01327 | 0.0133569 | 113176.0 | unsat | unsat |
430514180 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015287 | 0.015389 | 113176.0 | unsat | unsat |
430514139 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013343 | 0.0133829 | 113176.0 | unsat | unsat |
430514261 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013716 | 0.013749 | 113176.0 | unsat | unsat |
430514375 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014179 | 0.0142141 | 113176.0 | unsat | unsat |
430514199 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013976 | 0.01401 | 113176.0 | unsat | unsat |
430514094 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014313 | 0.0143809 | 113176.0 | unsat | unsat |
430514293 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012681 | 0.0127581 | 113176.0 | unsat | unsat |
430514328 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01328 | 0.0240541 | 0.0 | unsat | unsat |
430514196 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013587 | 0.0136299 | 113176.0 | unsat | unsat |
430514072 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012496 | 0.012544 | 113176.0 | unsat | unsat |
430514271 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01377 | 0.0138331 | 113176.0 | unsat | unsat |
430514309 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012827 | 0.0128969 | 113176.0 | unsat | unsat |
430514189 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012798 | 0.012837 | 113176.0 | unsat | unsat |
430514289 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019721 | 0.0197619 | 113176.0 | unsat | unsat |
430514131 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018723 | 0.0187401 | 113176.0 | unsat | unsat |
430514260 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.055512 | 0.055574 | 113176.0 | unsat | unsat |
430514190 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.05503 | 0.0550779 | 113176.0 | unsat | unsat |
430514297 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020092 | 0.0221339 | 0.0 | unsat | unsat |
430514263 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.047836 | 0.0480091 | 113176.0 | unsat | unsat |
430514087 | qf_shid_entl/dll-vc01.smt2 | 8318411 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012101 | 0.0121339 | 113176.0 | unsat | unsat |
430514286 | qf_shid_entl/dll-vc02.smt2 | 8318610 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012099 | 0.012116 | 113176.0 | unsat | unsat |
430514324 | qf_shid_entl/dll-vc03.smt2 | 8318648 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013311 | 0.0133461 | 113176.0 | unsat | unsat |
430514220 | qf_shid_entl/dll-vc04.smt2 | 8318544 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013921 | 0.017014 | 0.0 | sat | sat |
430514096 | qf_shid_entl/dll-vc05.smt2 | 8318420 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012511 | 0.012575 | 113176.0 | unsat | unsat |
430514301 | qf_shid_entl/dll-vc06.smt2 | 8318625 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013203 | 0.0132541 | 113176.0 | sat | sat |
430514331 | qf_shid_entl/dll-vc07.smt2 | 8318655 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012931 | 0.0130161 | 113176.0 | unsat | unsat |
430514157 | qf_shid_entl/dll-vc08.smt2 | 8318481 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012707 | 0.0127869 | 113176.0 | sat | sat |
430514110 | qf_shid_entl/dll-vc09.smt2 | 8318434 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012657 | 0.0127161 | 113176.0 | unsat | unsat |
430514163 | qf_shid_entl/dll-vc10.smt2 | 8318487 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012401 | 0.0124411 | 113176.0 | sat | sat |
430514122 | qf_shid_entl/dll-vc11.smt2 | 8318446 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013474 | 0.0135369 | 113176.0 | unsat | unsat |
430514244 | qf_shid_entl/dll-vc12.smt2 | 8318568 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012985 | 0.013126 | 0.0 | sat | sat |
430514359 | qf_shid_entl/dll-vc13.smt2 | 8318683 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013398 | 0.013459 | 113176.0 | sat | sat |
430514175 | qf_shid_entl/dll-vc14.smt2 | 8318499 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012347 | 0.012384 | 113176.0 | sat | sat |
430514136 | qf_shid_entl/dll-vc15.smt2 | 8318460 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012351 | 0.0124229 | 113176.0 | unsat | unsat |
430514264 | qf_shid_entl/dll-vc16.smt2 | 8318588 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014553 | 0.014621 | 113176.0 | sat | sat |
430514377 | qf_shid_entl/dll-vc17.smt2 | 8318701 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012936 | 0.012966 | 113176.0 | unsat | unsat |
430514151 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.11566 | 0.115748 | 113176.0 | unsat | unsat |
430514161 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.114185 | 0.114228 | 113176.0 | unsat | unsat |
430514217 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.69614 | 0.696363 | 139596.0 | unsat | unsat |
430514208 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.052425 | 0.0531649 | 113176.0 | unsat | unsat |
430514296 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.050742 | 0.050767 | 113176.0 | unsat | unsat |
430514075 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.05107 | 0.051143 | 113176.0 | unsat | unsat |
430514103 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.051787 | 0.0518241 | 113176.0 | unsat | unsat |
430514114 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018848 | 0.0189031 | 113176.0 | unsat | unsat |
430514216 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014522 | 0.014562 | 113176.0 | unsat | unsat |
430514135 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01796 | 0.018036 | 113176.0 | unsat | unsat |
430514088 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.028966 | 0.0290069 | 113176.0 | unsat | unsat |
430514152 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.028824 | 0.0288589 | 113176.0 | unsat | unsat |
430514133 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018813 | 0.0188861 | 113176.0 | unsat | unsat |
430514317 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018074 | 0.0181121 | 113176.0 | unsat | unsat |
430514356 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014601 | 0.014609 | 113176.0 | unsat | unsat |
430514162 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014811 | 0.014887 | 113176.0 | unsat | unsat |
430514291 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015235 | 0.0152719 | 113176.0 | unsat | unsat |
430514381 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014244 | 0.0142749 | 113176.0 | unsat | unsat |
430514076 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017688 | 0.0177201 | 113176.0 | unsat | unsat |
430514191 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.029641 | 0.0296961 | 113176.0 | unsat | unsat |
430514203 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018794 | 0.018821 | 113176.0 | unsat | unsat |
430514083 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014903 | 0.014942 | 113176.0 | unsat | unsat |
430514120 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014287 | 0.0143221 | 113176.0 | unsat | unsat |
430514341 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015498 | 0.0155869 | 113176.0 | unsat | unsat |
430514106 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014452 | 0.014482 | 113176.0 | unsat | unsat |
430514269 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014395 | 0.0144711 | 113176.0 | unsat | unsat |
430514141 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013455 | 0.0135381 | 113176.0 | unsat | unsat |
430514183 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013352 | 0.0134201 | 113176.0 | sat | sat |
430514352 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013828 | 0.013871 | 113176.0 | sat | sat |
430514239 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015251 | 0.015297 | 113176.0 | unsat | unsat |
430514118 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01466 | 0.015237 | 0.0 | unsat | unsat |
430514159 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017964 | 0.0180061 | 113176.0 | unsat | unsat |
430514330 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014431 | 0.014485 | 113176.0 | unsat | unsat |
430514295 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01822 | 0.0183001 | 113176.0 | unsat | unsat |
430514178 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016587 | 0.0166391 | 113176.0 | unsat | unsat |
430514369 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018897 | 0.0189741 | 113176.0 | unsat | unsat |
430514182 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021803 | 0.0218921 | 113176.0 | unsat | unsat |
430514374 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.026197 | 0.0265769 | 113176.0 | unsat | unsat |
430514249 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.033673 | 0.033737 | 113176.0 | unsat | unsat |
430514193 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.021275 | 0.021366 | 113176.0 | unsat | unsat |
430514281 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022418 | 0.0224659 | 113176.0 | unsat | unsat |
430514080 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02129 | 0.02135 | 113176.0 | unsat | unsat |
430514238 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014045 | 0.014122 | 113176.0 | unsat | unsat |
430514357 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017129 | 0.0172331 | 113176.0 | unsat | unsat |
430514101 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013775 | 0.0137999 | 113176.0 | unsat | unsat |
430514228 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013703 | 0.0137791 | 113176.0 | sat | sat |
430514345 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015197 | 0.0152209 | 113176.0 | unsat | unsat |
430514170 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01581 | 0.0158501 | 113176.0 | unsat | unsat |
430514126 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013913 | 0.0140049 | 113176.0 | unsat | unsat |
430514257 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014044 | 0.0141229 | 113176.0 | unsat | unsat |
430514266 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014751 | 0.0148029 | 113176.0 | unsat | unsat |
430514132 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014905 | 0.0149399 | 113176.0 | unsat | unsat |
430514167 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015492 | 0.0155879 | 113176.0 | unsat | unsat |
430514379 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015084 | 0.015131 | 113176.0 | unsat | unsat |
430514267 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01505 | 0.0150861 | 113176.0 | unsat | unsat |
430514318 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015953 | 0.0159851 | 113176.0 | unsat | unsat |
430514290 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015667 | 0.015768 | 113176.0 | unsat | unsat |
430514322 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016202 | 0.0162589 | 113176.0 | unsat | unsat |
430514198 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015262 | 0.0152899 | 113176.0 | unsat | unsat |
430514232 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020705 | 0.020826 | 113176.0 | unsat | unsat |
430514115 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017453 | 0.0175359 | 113176.0 | unsat | unsat |
430514235 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.029786 | 0.0298151 | 113176.0 | unsat | unsat |
430514119 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.038109 | 0.0381719 | 113176.0 | unsat | unsat |
430514231 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015849 | 0.0159219 | 113176.0 | unsat | unsat |
430514099 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019752 | 0.019782 | 113176.0 | unsat | unsat |
430514292 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017309 | 0.0173891 | 113176.0 | unsat | unsat |
430514327 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01727 | 0.0172941 | 113176.0 | unsat | unsat |
430514219 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017347 | 0.017382 | 113176.0 | unsat | unsat |
430514207 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027088 | 0.027104 | 113176.0 | unsat | unsat |
430514310 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017155 | 0.0172591 | 113176.0 | unsat | unsat |
430514081 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015813 | 0.0158401 | 113176.0 | unsat | unsat |
430514206 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015293 | 0.0153679 | 113176.0 | unsat | unsat |
430514308 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014739 | 0.0147711 | 113176.0 | unsat | unsat |
430514280 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014945 | 0.0159241 | 0.0 | unsat | unsat |
430514085 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013412 | 0.01345 | 113176.0 | unsat | unsat |
430514200 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015227 | 0.0152589 | 113176.0 | unsat | unsat |
430514179 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015034 | 0.0150929 | 113176.0 | unsat | unsat |
430514143 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016227 | 0.016291 | 113176.0 | unsat | unsat |
430514248 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017092 | 0.0172731 | 113176.0 | unsat | unsat |
430514371 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.028077 | 0.0281599 | 113176.0 | unsat | unsat |
430514181 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027809 | 0.0278741 | 113176.0 | unsat | unsat |
430514144 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.027001 | 0.027037 | 113176.0 | unsat | unsat |
430514250 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.026487 | 0.0265679 | 113176.0 | unsat | unsat |
430514373 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016047 | 0.016073 | 113176.0 | unsat | unsat |
430514192 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015907 | 0.015953 | 113176.0 | unsat | unsat |
430514138 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015783 | 0.015879 | 113176.0 | unsat | unsat |
430514288 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016101 | 0.016168 | 113176.0 | unsat | unsat |
430514121 | qf_shid_entl/lss-vc01.smt2 | 8318445 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011972 | 0.0119979 | 113176.0 | unsat | unsat |
430514236 | qf_shid_entl/lss-vc02.smt2 | 8318560 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011859 | 0.0119019 | 113176.0 | unsat | unsat |
430514349 | qf_shid_entl/lss-vc03.smt2 | 8318673 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011772 | 0.0128941 | 0.0 | unsat | unsat |
430514303 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016684 | 0.0167241 | 113176.0 | unsat | unsat |
430514210 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01613 | 0.016152 | 113176.0 | unsat | unsat |
430514089 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015765 | 0.0157921 | 113176.0 | unsat | unsat |
430514300 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01651 | 0.016596 | 113176.0 | unsat | unsat |
430514338 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014645 | 0.0146781 | 113176.0 | unsat | unsat |
430514212 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014476 | 0.0145479 | 113176.0 | unsat | unsat |
430514095 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01458 | 0.0146329 | 113176.0 | unsat | unsat |
430514298 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017263 | 0.0173149 | 113176.0 | unsat | unsat |
430514336 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016764 | 0.0168239 | 113176.0 | unsat | unsat |
430514211 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015012 | 0.015066 | 113176.0 | unsat | unsat |
430514090 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020287 | 0.020317 | 113176.0 | unsat | unsat |
430514304 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017895 | 0.0179259 | 113176.0 | unsat | unsat |
430514333 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020257 | 0.0203281 | 113176.0 | unsat | unsat |
430514350 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017495 | 0.017572 | 113176.0 | unsat | unsat |
430514241 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035765 | 0.035792 | 113176.0 | unsat | unsat |
430514102 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.058441 | 0.0584799 | 113176.0 | unsat | unsat |
430514150 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.139717 | 0.139777 | 113176.0 | unsat | unsat |
430514355 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.470431 | 0.470516 | 113176.0 | unsat | unsat |
430514243 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | s2s.0.3.3 | 22440 | default | 326050 | complete | 2.24584 | 2.24608 | 161372.0 | unsat | unsat |
430514107 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | s2s.0.3.3 | 22440 | default | 326050 | complete | 14.6932 | 14.6933 | 189488.0 | unsat | unsat |
430514325 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014404 | 0.01444 | 113176.0 | unsat | unsat |
430514187 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015185 | 0.0152821 | 113176.0 | unsat | unsat |
430514074 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014305 | 0.014332 | 113176.0 | unsat | unsat |
430514276 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015407 | 0.0166229 | 0.0 | unsat | unsat |
430514082 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014508 | 0.0145791 | 113176.0 | unsat | unsat |
430514334 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014555 | 0.0146341 | 113176.0 | unsat | unsat |
430514177 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015057 | 0.0151341 | 113176.0 | unsat | unsat |
430514272 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016544 | 0.0216119 | 0.0 | unsat | unsat |
430514246 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012428 | 0.012457 | 113176.0 | unsat | unsat |
430514084 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017056 | 0.017085 | 113176.0 | unsat | unsat |
430514282 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01651 | 0.0165371 | 113176.0 | unsat | unsat |
430514312 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017738 | 0.017757 | 113176.0 | unsat | unsat |
430514205 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017305 | 0.01737 | 113176.0 | unsat | unsat |
430514176 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014492 | 0.0145411 | 113176.0 | unsat | unsat |
430514366 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015081 | 0.015155 | 113176.0 | unsat | unsat |
430514245 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016543 | 0.016576 | 113176.0 | unsat | unsat |
430514145 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016843 | 0.016897 | 113176.0 | unsat | unsat |
430514202 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014473 | 0.0145091 | 113176.0 | unsat | unsat |
430514315 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014697 | 0.0147781 | 113176.0 | unsat | unsat |
430514277 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01697 | 0.017017 | 113176.0 | unsat | unsat |
430514086 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016721 | 0.0167661 | 113176.0 | unsat | unsat |
430514201 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016427 | 0.0164469 | 113176.0 | unsat | unsat |
430514314 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015278 | 0.015299 | 113176.0 | unsat | unsat |
430514274 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.020463 | 0.0205011 | 113176.0 | unsat | unsat |
430514078 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01779 | 0.0178379 | 113176.0 | unsat | unsat |
430514204 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018656 | 0.018701 | 113176.0 | unsat | unsat |
430514186 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018144 | 0.018181 | 113176.0 | unsat | unsat |
430514134 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017996 | 0.0180329 | 113176.0 | unsat | unsat |
430514256 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017832 | 0.017868 | 113176.0 | unsat | unsat |
430514363 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.035897 | 0.0359749 | 113176.0 | unsat | unsat |
430514188 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.058605 | 0.0586229 | 113176.0 | unsat | unsat |
430514137 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.13959 | 0.139663 | 113176.0 | unsat | unsat |
430514258 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.46566 | 0.465921 | 113176.0 | unsat | unsat |
430514360 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01579 | 0.0158541 | 113176.0 | unsat | unsat |
430514234 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014529 | 0.0145629 | 113176.0 | unsat | unsat |
430514376 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015001 | 0.015075 | 113176.0 | unsat | unsat |
430514365 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016427 | 0.0164729 | 113176.0 | unsat | unsat |
430514128 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017164 | 0.017197 | 113176.0 | unsat | unsat |
430514221 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015209 | 0.015237 | 113176.0 | unsat | unsat |
430514223 | qf_shid_entl/nll-vc01.smt2 | 8318547 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013615 | 0.0136501 | 113176.0 | unsat | unsat |
430514105 | qf_shid_entl/nll-vc02.smt2 | 8318429 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013372 | 0.013405 | 113176.0 | unsat | unsat |
430514149 | qf_shid_entl/nll-vc03.smt2 | 8318473 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01371 | 0.013751 | 113176.0 | unsat | unsat |
430514370 | qf_shid_entl/nll-vc04.smt2 | 8318694 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014723 | 0.01478 | 113176.0 | unsat | unsat |
430514253 | qf_shid_entl/nll-vc05.smt2 | 8318577 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01252 | 0.012555 | 113176.0 | unsat | unsat |
430514129 | qf_shid_entl/nll-vc06.smt2 | 8318453 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012774 | 0.0128129 | 113176.0 | sat | sat |
430514174 | qf_shid_entl/nll-vc07.smt2 | 8318498 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013652 | 0.013757 | 113176.0 | unsat | unsat |
430514316 | qf_shid_entl/nll-vc08.smt2 | 8318640 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013145 | 0.013183 | 113176.0 | unsat | unsat |
430514284 | qf_shid_entl/nll-vc09.smt2 | 8318608 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01278 | 0.0128429 | 113176.0 | unsat | unsat |
430514313 | qf_shid_entl/nll-vc10.smt2 | 8318637 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013673 | 0.0137051 | 113176.0 | unsat | unsat |
430514279 | qf_shid_entl/nll-vc11.smt2 | 8318603 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012787 | 0.0128451 | 113176.0 | unsat | unsat |
430514071 | qf_shid_entl/nll-vc12.smt2 | 8318395 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012669 | 0.012726 | 113176.0 | unsat | unsat |
430514194 | qf_shid_entl/nll-vc13.smt2 | 8318518 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015128 | 0.015164 | 113176.0 | sat | sat |
430514329 | qf_shid_entl/nll-vc14.smt2 | 8318653 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013709 | 0.0137789 | 113176.0 | sat | sat |
430514294 | qf_shid_entl/nll-vc15.smt2 | 8318618 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013374 | 0.0134411 | 113176.0 | sat | sat |
430514091 | qf_shid_entl/nll-vc16.smt2 | 8318415 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0134 | 0.0134799 | 113176.0 | sat | sat |
430514214 | qf_shid_entl/nll-vc17.smt2 | 8318538 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014294 | 0.0143479 | 113176.0 | sat | sat |
430514353 | qf_shid_entl/nll-vc18.smt2 | 8318677 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014816 | 0.0149579 | 113176.0 | sat | sat |
430514240 | qf_shid_entl/nll-vc19.smt2 | 8318564 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013531 | 0.013604 | 113176.0 | sat | sat |
430514171 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.032341 | 0.0323719 | 113176.0 | unsat | unsat |
430514164 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016276 | 0.0163811 | 113176.0 | unsat | unsat |
430514285 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014028 | 0.014068 | 113176.0 | unsat | unsat |
430514173 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012812 | 0.012888 | 113176.0 | sat | sat |
430514368 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012413 | 0.012447 | 113176.0 | unsat | unsat |
430514255 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012649 | 0.012687 | 113176.0 | unsat | unsat |
430514108 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014591 | 0.0146581 | 113176.0 | sat | sat |
430514147 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014555 | 0.0146311 | 113176.0 | unsat | unsat |
430514339 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014587 | 0.0146619 | 113176.0 | sat | sat |
430514225 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012652 | 0.0128061 | 0.0 | unsat | unsat |
430514169 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012497 | 0.012547 | 113176.0 | unsat | unsat |
430514372 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013121 | 0.013165 | 113176.0 | unsat | unsat |
430514259 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01971 | 0.0197569 | 113176.0 | unsat | unsat |
430514104 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012807 | 0.012878 | 113176.0 | unsat | unsat |
430514146 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013954 | 0.0140191 | 113176.0 | sat | sat |
430514343 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013268 | 0.0133339 | 113176.0 | sat | sat |
430514230 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014233 | 0.0142631 | 113176.0 | sat | sat |
430514185 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01384 | 0.0138701 | 113176.0 | unsat | unsat |
430514382 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012966 | 0.0130309 | 113176.0 | sat | sat |
430514268 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013219 | 0.013284 | 113176.0 | unsat | unsat |
430514113 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017223 | 0.017289 | 113176.0 | unsat | unsat |
430514160 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016169 | 0.016234 | 113176.0 | unsat | unsat |
430514354 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014668 | 0.0147429 | 113176.0 | unsat | unsat |
430514237 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016905 | 0.016974 | 113176.0 | unsat | unsat |
430514092 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015823 | 0.0158979 | 113176.0 | unsat | unsat |
430514213 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014827 | 0.014897 | 113176.0 | unsat | unsat |
430514098 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014226 | 0.0142999 | 113176.0 | unsat | unsat |
430514222 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017159 | 0.017243 | 113176.0 | sat | sat |
430514337 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019386 | 0.019454 | 113176.0 | sat | sat |
430514215 | qf_shid_entl/sll-vc01.smt2 | 8318539 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.060568 | 0.060652 | 113176.0 | sat | sat |
430514326 | qf_shid_entl/sll-vc02.smt2 | 8318650 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.042855 | 0.0428791 | 113176.0 | sat | sat |
430514116 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.528863 | 0.52894 | 140220.0 | unsat | unsat |
430514320 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.537443 | 0.537646 | 140220.0 | unsat | unsat |
430514229 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022938 | 0.0230091 | 113176.0 | unsat | unsat |
430514361 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.239123 | 0.2392 | 113176.0 | unsat | unsat |
430514073 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.233516 | 0.233565 | 113176.0 | unsat | unsat |
430514195 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.23426 | 0.234354 | 113176.0 | unsat | unsat |
430514306 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.236343 | 0.236424 | 113176.0 | unsat | unsat |
430514273 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | s2s.0.3.3 | 22440 | default | 326050 | complete | 27.7541 | 27.757 | 214164.0 | unsat | unsat |
430514166 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.23712 | 0.237243 | 113176.0 | unsat | unsat |
430514125 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.237447 | 0.237523 | 113176.0 | unsat | unsat |
430514233 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.236388 | 0.23648 | 113176.0 | unsat | unsat |
430514346 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.237039 | 0.238387 | 113176.0 | unsat | unsat |
430514155 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.233935 | 0.233981 | 113176.0 | unsat | unsat |
430514112 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.237271 | 0.237325 | 113176.0 | unsat | unsat |
430514299 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.236131 | 0.236194 | 113176.0 | unsat | unsat |
430514332 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.237965 | 0.238041 | 113176.0 | unsat | unsat |
430514378 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.214123 | 0.214162 | 113176.0 | unsat | unsat |
430514218 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.048365 | 0.048436 | 113176.0 | unsat | unsat |
430514224 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.024618 | 0.0246909 | 113176.0 | unsat | unsat |
430514154 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014802 | 0.0148539 | 113176.0 | unsat | unsat |
430514079 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017244 | 0.017322 | 113176.0 | unsat | unsat |
430514335 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02547 | 0.0255191 | 113176.0 | unsat | unsat |