430515590 | qf_shid_entl/01.tst.smt2 | 8318666 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007346 | 0.00942406 | 0.0 | starexec-unknown | unsat |
430515341 | qf_shid_entl/02.tst.smt2 | 8318417 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007082 | 0.00930007 | 0.0 | starexec-unknown | unsat |
430515401 | qf_shid_entl/03.tst.smt2 | 8318477 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006932 | 0.00963109 | 0.0 | starexec-unknown | unsat |
430515457 | qf_shid_entl/04.tst.smt2 | 8318533 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007347 | 0.00878699 | 0.0 | starexec-unknown | unsat |
430515388 | qf_shid_entl/05.tst.smt2 | 8318464 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006713 | 0.00951699 | 0.0 | starexec-unknown | unsat |
430515567 | qf_shid_entl/06.tst.smt2 | 8318643 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006882 | 0.00854291 | 0.0 | starexec-unknown | unsat |
430515513 | qf_shid_entl/07.tst.smt2 | 8318589 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006632 | 0.00911094 | 0.0 | starexec-unknown | unsat |
430515510 | qf_shid_entl/08.tst.smt2 | 8318586 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006984 | 0.0123631 | 0.0 | starexec-unknown | unsat |
430515569 | qf_shid_entl/09.tst.smt2 | 8318645 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034392 | 0.03315 | 113176.0 | sat | unsat |
430515550 | qf_shid_entl/10.tst.smt2 | 8318626 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004876 | 0.00872397 | 0.0 | starexec-unknown | unsat |
430515596 | qf_shid_entl/11.tst.smt2 | 8318672 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005904 | 0.00914095 | 0.0 | starexec-unknown | unsat |
430515345 | qf_shid_entl/12.tst.smt2 | 8318421 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005218 | 0.00932208 | 0.0 | starexec-unknown | unsat |
430515413 | qf_shid_entl/13.tst.smt2 | 8318489 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005202 | 0.00940697 | 0.0 | starexec-unknown | unsat |
430515445 | qf_shid_entl/14.tst.smt2 | 8318521 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00518 | 0.00927599 | 0.0 | starexec-unknown | unsat |
430515375 | qf_shid_entl/15.tst.smt2 | 8318451 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006612 | 0.00897799 | 0.0 | starexec-unknown | unsat |
430515555 | qf_shid_entl/16.tst.smt2 | 8318631 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006769 | 0.00981402 | 0.0 | starexec-unknown | unsat |
430515499 | qf_shid_entl/17.tst.smt2 | 8318575 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005359 | 0.0117561 | 0.0 | starexec-unknown | unsat |
430515500 | qf_shid_entl/18.tst.smt2 | 8318576 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004885 | 0.00928294 | 0.0 | starexec-unknown | unsat |
430515553 | qf_shid_entl/19.tst.smt2 | 8318629 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03341 | 0.0321011 | 113176.0 | unsat | unsat |
430515523 | qf_shid_entl/20.tst.smt2 | 8318599 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033387 | 0.0321471 | 113176.0 | unsat | unsat |
430515612 | qf_shid_entl/21.tst.smt2 | 8318688 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005087 | 0.00902899 | 0.0 | starexec-unknown | unsat |
430515325 | qf_shid_entl/22.tst.smt2 | 8318401 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033476 | 0.0322341 | 113176.0 | unsat | unsat |
430515599 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007269 | 0.00984792 | 0.0 | starexec-unknown | unsat |
430515592 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00696 | 0.00896803 | 0.0 | starexec-unknown | unsat |
430515475 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006906 | 0.00885391 | 0.0 | starexec-unknown | unsat |
430515348 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007158 | 0.00962595 | 0.0 | starexec-unknown | unsat |
430515406 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006947 | 0.00906307 | 0.0 | starexec-unknown | unsat |
430515365 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006981 | 0.009512 | 0.0 | starexec-unknown | unsat |
430515518 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00716 | 0.00899189 | 0.0 | starexec-unknown | unsat |
430515628 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00677 | 0.00865996 | 0.0 | starexec-unknown | unsat |
430515432 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006711 | 0.00963097 | 0.0 | starexec-unknown | unsat |
430515390 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007093 | 0.0096281 | 0.0 | starexec-unknown | unsat |
430515526 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007004 | 0.0089331 | 0.0 | starexec-unknown | unsat |
430515559 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006831 | 0.00911106 | 0.0 | starexec-unknown | unsat |
430515595 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00684 | 0.00913189 | 0.0 | starexec-unknown | unsat |
430515474 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006895 | 0.0086509 | 0.0 | starexec-unknown | unsat |
430515588 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006972 | 0.00912211 | 0.0 | starexec-unknown | unsat |
430515396 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007029 | 0.00849 | 0.0 | starexec-unknown | unsat |
430515357 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006931 | 0.0105931 | 0.0 | starexec-unknown | unsat |
430515502 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00692 | 0.00968298 | 0.0 | starexec-unknown | unsat |
430515615 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007262 | 0.0117531 | 0.0 | starexec-unknown | sat |
430515420 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006975 | 0.00891306 | 0.0 | starexec-unknown | unsat |
430515378 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006788 | 0.00895603 | 0.0 | starexec-unknown | unsat |
430515531 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006839 | 0.00897801 | 0.0 | starexec-unknown | unsat |
430515404 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007064 | 0.010583 | 0.0 | starexec-unknown | unsat |
430515359 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006986 | 0.010157 | 0.0 | starexec-unknown | unsat |
430515495 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006861 | 0.00957101 | 0.0 | starexec-unknown | unsat |
430515610 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006836 | 0.00888496 | 0.0 | starexec-unknown | unsat |
430515416 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007383 | 0.00908793 | 0.0 | starexec-unknown | sat |
430515372 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006885 | 0.00948311 | 0.0 | starexec-unknown | unsat |
430515535 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007183 | 0.009597 | 0.0 | starexec-unknown | unsat |
430515571 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006846 | 0.00849189 | 0.0 | starexec-unknown | unsat |
430515371 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004925 | 0.00879495 | 0.0 | starexec-unknown | unsat |
430515490 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004866 | 0.00876694 | 0.0 | starexec-unknown | unsat |
430515606 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005177 | 0.00900011 | 0.0 | starexec-unknown | unsat |
430515428 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004857 | 0.00833888 | 0.0 | starexec-unknown | unsat |
430515387 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00482 | 0.00835889 | 0.0 | starexec-unknown | unsat |
430515509 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005149 | 0.0103761 | 0.0 | starexec-unknown | unsat |
430515623 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005012 | 0.00933288 | 0.0 | starexec-unknown | unsat |
430515447 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004874 | 0.00906988 | 0.0 | starexec-unknown | unsat |
430515342 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004732 | 0.00902691 | 0.0 | starexec-unknown | unsat |
430515541 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004778 | 0.00881493 | 0.0 | starexec-unknown | unsat |
430515576 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005083 | 0.010987 | 0.0 | starexec-unknown | unsat |
430515444 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004844 | 0.00878807 | 0.0 | starexec-unknown | unsat |
430515320 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004708 | 0.00922802 | 0.0 | starexec-unknown | unsat |
430515519 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004793 | 0.00904399 | 0.0 | starexec-unknown | unsat |
430515557 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004793 | 0.00889397 | 0.0 | starexec-unknown | unsat |
430515437 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004893 | 0.00874704 | 0.0 | starexec-unknown | unsat |
430515537 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006486 | 0.00897411 | 0.0 | starexec-unknown | unsat |
430515379 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006948 | 0.00944611 | 0.0 | starexec-unknown | unsat |
430515508 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006677 | 0.0137899 | 0.0 | starexec-unknown | unsat |
430515438 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006543 | 0.0103299 | 0.0 | starexec-unknown | unsat |
430515545 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006861 | 0.011039 | 0.0 | starexec-unknown | unsat |
430515511 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006768 | 0.00961492 | 0.0 | starexec-unknown | unsat |
430515335 | qf_shid_entl/dll-vc01.smt2 | 8318411 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033924 | 0.0326871 | 113176.0 | starexec-unknown | unsat |
430515534 | qf_shid_entl/dll-vc02.smt2 | 8318610 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.036773 | 0.0355081 | 113176.0 | starexec-unknown | unsat |
430515572 | qf_shid_entl/dll-vc03.smt2 | 8318648 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035324 | 0.03404 | 113176.0 | starexec-unknown | unsat |
430515468 | qf_shid_entl/dll-vc04.smt2 | 8318544 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03441 | 0.0331649 | 113176.0 | starexec-unknown | sat |
430515344 | qf_shid_entl/dll-vc05.smt2 | 8318420 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.02687 | 0.025755 | 113176.0 | unsat | unsat |
430515549 | qf_shid_entl/dll-vc06.smt2 | 8318625 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035829 | 0.0346131 | 113176.0 | starexec-unknown | sat |
430515579 | qf_shid_entl/dll-vc07.smt2 | 8318655 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035745 | 0.034411 | 113176.0 | starexec-unknown | unsat |
430515405 | qf_shid_entl/dll-vc08.smt2 | 8318481 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03601 | 0.0347141 | 113176.0 | starexec-unknown | sat |
430515358 | qf_shid_entl/dll-vc09.smt2 | 8318434 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.036776 | 0.0355141 | 113176.0 | starexec-unknown | unsat |
430515411 | qf_shid_entl/dll-vc10.smt2 | 8318487 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035525 | 0.034265 | 113176.0 | sat | sat |
430515370 | qf_shid_entl/dll-vc11.smt2 | 8318446 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.028257 | 0.0271981 | 113176.0 | unsat | unsat |
430515492 | qf_shid_entl/dll-vc12.smt2 | 8318568 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03636 | 0.0350299 | 113176.0 | starexec-unknown | sat |
430515607 | qf_shid_entl/dll-vc13.smt2 | 8318683 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03546 | 0.034222 | 113176.0 | starexec-unknown | sat |
430515423 | qf_shid_entl/dll-vc14.smt2 | 8318499 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.032532 | 0.0313059 | 113176.0 | sat | sat |
430515384 | qf_shid_entl/dll-vc15.smt2 | 8318460 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035879 | 0.0345979 | 113176.0 | starexec-unknown | unsat |
430515512 | qf_shid_entl/dll-vc16.smt2 | 8318588 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.039481 | 0.038233 | 113176.0 | starexec-unknown | sat |
430515625 | qf_shid_entl/dll-vc17.smt2 | 8318701 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03438 | 0.033065 | 113176.0 | starexec-unknown | unsat |
430515399 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006711 | 0.012359 | 0.0 | starexec-unknown | unsat |
430515409 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007283 | 0.0094559 | 0.0 | starexec-unknown | unsat |
430515465 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007034 | 0.00876998 | 0.0 | starexec-unknown | unsat |
430515456 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006576 | 0.00936911 | 0.0 | starexec-unknown | unsat |
430515544 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006442 | 0.0089549 | 0.0 | starexec-unknown | unsat |
430515323 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00637 | 0.00893205 | 0.0 | starexec-unknown | unsat |
430515351 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006516 | 0.00909811 | 0.0 | starexec-unknown | unsat |
430515362 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006475 | 0.00875009 | 0.0 | starexec-unknown | unsat |
430515464 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007132 | 0.00966703 | 0.0 | starexec-unknown | unsat |
430515383 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006993 | 0.0113201 | 0.0 | starexec-unknown | unsat |
430515336 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006358 | 0.00873196 | 0.0 | starexec-unknown | unsat |
430515400 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006348 | 0.00925909 | 0.0 | starexec-unknown | unsat |
430515381 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006641 | 0.010239 | 0.0 | starexec-unknown | unsat |
430515565 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007309 | 0.0126831 | 0.0 | starexec-unknown | unsat |
430515604 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007347 | 0.009325 | 0.0 | starexec-unknown | unsat |
430515410 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006852 | 0.00944802 | 0.0 | starexec-unknown | unsat |
430515539 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006432 | 0.00897297 | 0.0 | starexec-unknown | unsat |
430515629 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007085 | 0.008548 | 0.0 | starexec-unknown | unsat |
430515324 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007244 | 0.00939096 | 0.0 | starexec-unknown | unsat |
430515439 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006933 | 0.0132001 | 0.0 | starexec-unknown | unsat |
430515451 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006648 | 0.00915612 | 0.0 | starexec-unknown | unsat |
430515331 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006342 | 0.00883598 | 0.0 | starexec-unknown | unsat |
430515368 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006661 | 0.0093601 | 0.0 | starexec-unknown | unsat |
430515589 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006836 | 0.00979996 | 0.0 | starexec-unknown | unsat |
430515354 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006977 | 0.00940593 | 0.0 | starexec-unknown | unsat |
430515517 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006839 | 0.00899012 | 0.0 | starexec-unknown | unsat |
430515389 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007137 | 0.00955694 | 0.0 | starexec-unknown | unsat |
430515431 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007328 | 0.00923907 | 0.0 | starexec-unknown | sat |
430515600 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006976 | 0.00949608 | 0.0 | starexec-unknown | sat |
430515487 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006841 | 0.00920993 | 0.0 | starexec-unknown | unsat |
430515366 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006814 | 0.00858307 | 0.0 | starexec-unknown | unsat |
430515407 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006986 | 0.00931393 | 0.0 | starexec-unknown | unsat |
430515578 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007038 | 0.00877406 | 0.0 | starexec-unknown | unsat |
430515543 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006977 | 0.00960498 | 0.0 | starexec-unknown | unsat |
430515426 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006813 | 0.00896594 | 0.0 | starexec-unknown | unsat |
430515617 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007132 | 0.0099461 | 0.0 | starexec-unknown | unsat |
430515430 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006713 | 0.0089399 | 0.0 | starexec-unknown | unsat |
430515622 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006765 | 0.00874612 | 0.0 | starexec-unknown | unsat |
430515497 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006688 | 0.0087471 | 0.0 | starexec-unknown | unsat |
430515441 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007179 | 0.00863396 | 0.0 | starexec-unknown | unsat |
430515529 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006785 | 0.00911907 | 0.0 | starexec-unknown | unsat |
430515328 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00669 | 0.00904301 | 0.0 | starexec-unknown | unsat |
430515486 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006779 | 0.00903092 | 0.0 | starexec-unknown | unsat |
430515605 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006736 | 0.00912801 | 0.0 | starexec-unknown | unsat |
430515349 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007041 | 0.00919511 | 0.0 | starexec-unknown | unsat |
430515476 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007238 | 0.00926007 | 0.0 | starexec-unknown | sat |
430515593 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00715 | 0.00936796 | 0.0 | starexec-unknown | unsat |
430515418 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006746 | 0.0084011 | 0.0 | starexec-unknown | unsat |
430515374 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.0071 | 0.00944601 | 0.0 | starexec-unknown | unsat |
430515505 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006874 | 0.00905508 | 0.0 | starexec-unknown | unsat |
430515514 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007151 | 0.0110929 | 0.0 | starexec-unknown | unsat |
430515380 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006683 | 0.008888 | 0.0 | starexec-unknown | unsat |
430515415 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006744 | 0.00908691 | 0.0 | starexec-unknown | unsat |
430515627 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007378 | 0.00909698 | 0.0 | starexec-unknown | unsat |
430515515 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007176 | 0.00963797 | 0.0 | starexec-unknown | unsat |
430515566 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007096 | 0.00919903 | 0.0 | starexec-unknown | unsat |
430515538 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006818 | 0.00851492 | 0.0 | starexec-unknown | unsat |
430515570 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00688 | 0.00922712 | 0.0 | starexec-unknown | unsat |
430515446 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007167 | 0.00950694 | 0.0 | starexec-unknown | unsat |
430515480 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006787 | 0.0115799 | 0.0 | starexec-unknown | unsat |
430515363 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.0071 | 0.00940005 | 0.0 | starexec-unknown | unsat |
430515483 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006611 | 0.0090781 | 0.0 | starexec-unknown | unsat |
430515367 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007018 | 0.00922492 | 0.0 | starexec-unknown | unsat |
430515479 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006758 | 0.00892202 | 0.0 | starexec-unknown | unsat |
430515347 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006751 | 0.008376 | 0.0 | starexec-unknown | unsat |
430515540 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006738 | 0.0102481 | 0.0 | starexec-unknown | unsat |
430515575 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006572 | 0.00920892 | 0.0 | starexec-unknown | unsat |
430515467 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006979 | 0.00837011 | 0.0 | starexec-unknown | unsat |
430515455 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006924 | 0.00894701 | 0.0 | starexec-unknown | unsat |
430515558 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006992 | 0.00876299 | 0.0 | starexec-unknown | unsat |
430515329 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007146 | 0.00953594 | 0.0 | starexec-unknown | unsat |
430515454 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006593 | 0.0089591 | 0.0 | starexec-unknown | unsat |
430515556 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006809 | 0.017739 | 0.0 | starexec-unknown | unsat |
430515528 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007086 | 0.00958604 | 0.0 | starexec-unknown | unsat |
430515333 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006898 | 0.00908809 | 0.0 | starexec-unknown | unsat |
430515448 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006697 | 0.00869397 | 0.0 | starexec-unknown | unsat |
430515427 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00715 | 0.00934111 | 0.0 | starexec-unknown | unsat |
430515391 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00703 | 0.0088331 | 0.0 | starexec-unknown | unsat |
430515496 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006766 | 0.00890403 | 0.0 | starexec-unknown | unsat |
430515619 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006696 | 0.00836591 | 0.0 | starexec-unknown | unsat |
430515429 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006726 | 0.00832696 | 0.0 | starexec-unknown | unsat |
430515392 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006777 | 0.00886997 | 0.0 | starexec-unknown | unsat |
430515498 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007413 | 0.00925494 | 0.0 | starexec-unknown | unsat |
430515621 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007306 | 0.00927089 | 0.0 | starexec-unknown | unsat |
430515440 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007142 | 0.00947601 | 0.0 | starexec-unknown | unsat |
430515386 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006704 | 0.00908099 | 0.0 | starexec-unknown | unsat |
430515536 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006729 | 0.00885603 | 0.0 | starexec-unknown | unsat |
430515369 | qf_shid_entl/lss-vc01.smt2 | 8318445 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006831 | 0.00893112 | 0.0 | starexec-unknown | unsat |
430515484 | qf_shid_entl/lss-vc02.smt2 | 8318560 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007183 | 0.00963395 | 0.0 | starexec-unknown | unsat |
430515597 | qf_shid_entl/lss-vc03.smt2 | 8318673 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006834 | 0.00956991 | 0.0 | starexec-unknown | unsat |
430515551 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006911 | 0.00983603 | 0.0 | starexec-unknown | unsat |
430515458 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006809 | 0.00931792 | 0.0 | starexec-unknown | unsat |
430515337 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006858 | 0.0090251 | 0.0 | starexec-unknown | unsat |
430515548 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006849 | 0.00811109 | 0.0 | starexec-unknown | unsat |
430515586 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007342 | 0.00965612 | 0.0 | starexec-unknown | unsat |
430515460 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007256 | 0.00903797 | 0.0 | starexec-unknown | unsat |
430515343 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006952 | 0.00931801 | 0.0 | starexec-unknown | unsat |
430515546 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006905 | 0.00992394 | 0.0 | starexec-unknown | unsat |
430515584 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007103 | 0.00983711 | 0.0 | starexec-unknown | unsat |
430515459 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007259 | 0.00918412 | 0.0 | starexec-unknown | unsat |
430515338 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007147 | 0.00950799 | 0.0 | starexec-unknown | unsat |
430515552 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007052 | 0.00950192 | 0.0 | starexec-unknown | unsat |
430515581 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006864 | 0.00935005 | 0.0 | starexec-unknown | unsat |
430515598 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006695 | 0.00899795 | 0.0 | starexec-unknown | unsat |
430515489 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006738 | 0.00893698 | 0.0 | starexec-unknown | unsat |
430515350 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006872 | 0.00844807 | 0.0 | starexec-unknown | unsat |
430515398 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006697 | 0.00869004 | 0.0 | starexec-unknown | unsat |
430515603 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006932 | 0.00909096 | 0.0 | starexec-unknown | unsat |
430515491 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00694 | 0.00947002 | 0.0 | starexec-unknown | unsat |
430515355 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006874 | 0.00893591 | 0.0 | starexec-unknown | unsat |
430515573 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007116 | 0.00872496 | 0.0 | starexec-unknown | unsat |
430515435 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006783 | 0.00930797 | 0.0 | starexec-unknown | unsat |
430515322 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007034 | 0.00994088 | 0.0 | starexec-unknown | unsat |
430515524 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006867 | 0.00951712 | 0.0 | starexec-unknown | unsat |
430515330 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006921 | 0.00965695 | 0.0 | starexec-unknown | unsat |
430515582 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006947 | 0.00841088 | 0.0 | starexec-unknown | unsat |
430515425 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006929 | 0.00900207 | 0.0 | starexec-unknown | unsat |
430515520 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007106 | 0.00949802 | 0.0 | starexec-unknown | unsat |
430515494 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007125 | 0.00925202 | 0.0 | starexec-unknown | unsat |
430515332 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007149 | 0.00940193 | 0.0 | starexec-unknown | unsat |
430515530 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006816 | 0.00917599 | 0.0 | starexec-unknown | unsat |
430515560 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006898 | 0.00978191 | 0.0 | starexec-unknown | unsat |
430515453 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007131 | 0.00880598 | 0.0 | starexec-unknown | unsat |
430515424 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00699 | 0.00847293 | 0.0 | starexec-unknown | unsat |
430515614 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006842 | 0.0106669 | 0.0 | starexec-unknown | unsat |
430515493 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007308 | 0.00969898 | 0.0 | starexec-unknown | unsat |
430515393 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006582 | 0.00908707 | 0.0 | starexec-unknown | unsat |
430515450 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00718 | 0.010981 | 0.0 | starexec-unknown | unsat |
430515563 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006745 | 0.00895 | 0.0 | starexec-unknown | unsat |
430515525 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006767 | 0.00881188 | 0.0 | starexec-unknown | unsat |
430515334 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007055 | 0.00977295 | 0.0 | starexec-unknown | unsat |
430515449 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006848 | 0.0088809 | 0.0 | starexec-unknown | unsat |
430515562 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006976 | 0.00966198 | 0.0 | starexec-unknown | unsat |
430515522 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006926 | 0.00878403 | 0.0 | starexec-unknown | unsat |
430515326 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007124 | 0.00952811 | 0.0 | starexec-unknown | unsat |
430515452 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006998 | 0.00936988 | 0.0 | starexec-unknown | unsat |
430515434 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007037 | 0.0087731 | 0.0 | starexec-unknown | unsat |
430515382 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.0067 | 0.00935395 | 0.0 | starexec-unknown | unsat |
430515504 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007174 | 0.00849492 | 0.0 | starexec-unknown | unsat |
430515611 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006981 | 0.00963105 | 0.0 | starexec-unknown | unsat |
430515436 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006932 | 0.00940003 | 0.0 | starexec-unknown | unsat |
430515385 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006675 | 0.00919003 | 0.0 | starexec-unknown | unsat |
430515506 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00677 | 0.0144349 | 0.0 | starexec-unknown | unsat |
430515608 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.0071 | 0.00941998 | 0.0 | starexec-unknown | unsat |
430515482 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006806 | 0.00882698 | 0.0 | starexec-unknown | unsat |
430515624 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007179 | 0.00834201 | 0.0 | starexec-unknown | unsat |
430515613 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006932 | 0.00954692 | 0.0 | starexec-unknown | unsat |
430515376 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00663 | 0.00916103 | 0.0 | starexec-unknown | unsat |
430515469 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007094 | 0.00941908 | 0.0 | starexec-unknown | unsat |
430515471 | qf_shid_entl/nll-vc01.smt2 | 8318547 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033421 | 0.0321309 | 113176.0 | unsat | unsat |
430515353 | qf_shid_entl/nll-vc02.smt2 | 8318429 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034666 | 0.0334409 | 113176.0 | unsat | unsat |
430515397 | qf_shid_entl/nll-vc03.smt2 | 8318473 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03394 | 0.032629 | 113176.0 | unsat | unsat |
430515618 | qf_shid_entl/nll-vc04.smt2 | 8318694 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03506 | 0.0338011 | 113176.0 | unsat | unsat |
430515501 | qf_shid_entl/nll-vc05.smt2 | 8318577 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035796 | 0.034529 | 113176.0 | unsat | unsat |
430515377 | qf_shid_entl/nll-vc06.smt2 | 8318453 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034319 | 0.033049 | 113176.0 | sat | sat |
430515422 | qf_shid_entl/nll-vc07.smt2 | 8318498 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033584 | 0.032295 | 113176.0 | unsat | unsat |
430515564 | qf_shid_entl/nll-vc08.smt2 | 8318640 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035577 | 0.034358 | 113176.0 | unsat | unsat |
430515532 | qf_shid_entl/nll-vc09.smt2 | 8318608 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035507 | 0.0342749 | 113176.0 | unsat | unsat |
430515561 | qf_shid_entl/nll-vc10.smt2 | 8318637 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035093 | 0.033871 | 113176.0 | unsat | unsat |
430515527 | qf_shid_entl/nll-vc11.smt2 | 8318603 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035902 | 0.0346199 | 113176.0 | unsat | unsat |
430515319 | qf_shid_entl/nll-vc12.smt2 | 8318395 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034855 | 0.033573 | 113176.0 | unsat | unsat |
430515442 | qf_shid_entl/nll-vc13.smt2 | 8318518 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033464 | 0.0321639 | 113176.0 | sat | sat |
430515577 | qf_shid_entl/nll-vc14.smt2 | 8318653 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.036863 | 0.0355479 | 113176.0 | sat | sat |
430515542 | qf_shid_entl/nll-vc15.smt2 | 8318618 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033222 | 0.031953 | 113176.0 | sat | sat |
430515339 | qf_shid_entl/nll-vc16.smt2 | 8318415 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034647 | 0.0333641 | 113176.0 | sat | sat |
430515462 | qf_shid_entl/nll-vc17.smt2 | 8318538 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.03824 | 0.036991 | 113176.0 | unsat | sat |
430515601 | qf_shid_entl/nll-vc18.smt2 | 8318677 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.037595 | 0.036314 | 113176.0 | sat | sat |
430515488 | qf_shid_entl/nll-vc19.smt2 | 8318564 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.038101 | 0.0368301 | 113176.0 | sat | sat |
430515419 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006737 | 0.00978604 | 0.0 | starexec-unknown | unsat |
430515412 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006647 | 0.00967401 | 0.0 | starexec-unknown | unsat |
430515533 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006833 | 0.00924503 | 0.0 | starexec-unknown | unsat |
430515421 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.00726 | 0.00960505 | 0.0 | starexec-unknown | sat |
430515616 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006982 | 0.00889103 | 0.0 | starexec-unknown | unsat |
430515503 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007104 | 0.00976193 | 0.0 | starexec-unknown | unsat |
430515356 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006702 | 0.00914504 | 0.0 | starexec-unknown | sat |
430515395 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006691 | 0.00902694 | 0.0 | starexec-unknown | unsat |
430515587 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007233 | 0.0091971 | 0.0 | starexec-unknown | sat |
430515473 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007096 | 0.00891208 | 0.0 | starexec-unknown | unsat |
430515417 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.033282 | 0.0319999 | 113176.0 | unsat | unsat |
430515620 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034977 | 0.0337329 | 113176.0 | unsat | unsat |
430515507 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035437 | 0.0341751 | 113176.0 | unsat | unsat |
430515352 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035456 | 0.0341849 | 113176.0 | unsat | unsat |
430515394 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.039037 | 0.037746 | 113176.0 | starexec-unknown | sat |
430515591 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.037037 | 0.035827 | 113176.0 | starexec-unknown | sat |
430515478 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.039009 | 0.0377311 | 113176.0 | starexec-unknown | sat |
430515433 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.032674 | 0.0313509 | 113176.0 | unsat | unsat |
430515630 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.034608 | 0.0333659 | 113176.0 | sat | sat |
430515516 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.035206 | 0.0339569 | 113176.0 | unsat | unsat |
430515361 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.060779 | 0.059527 | 113176.0 | unsat | unsat |
430515408 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.06254 | 0.0612989 | 113176.0 | unsat | unsat |
430515602 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.060173 | 0.05894 | 113176.0 | unsat | unsat |
430515485 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.053116 | 0.0519141 | 113176.0 | unsat | unsat |
430515340 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.053113 | 0.0518831 | 113176.0 | unsat | unsat |
430515461 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.053766 | 0.0525261 | 113176.0 | unsat | unsat |
430515346 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.036509 | 0.0353129 | 113176.0 | unsat | unsat |
430515470 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.087855 | 0.0865889 | 113176.0 | starexec-unknown | sat |
430515585 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.116861 | 0.115603 | 113176.0 | sat | sat |
430515463 | qf_shid_entl/sll-vc01.smt2 | 8318539 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.182571 | 0.181249 | 113176.0 | unsat | sat |
430515574 | qf_shid_entl/sll-vc02.smt2 | 8318650 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.16461 | 0.163496 | 113176.0 | sat | sat |
430515364 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007034 | 0.00964193 | 0.0 | starexec-unknown | unsat |
430515568 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006532 | 0.00908599 | 0.0 | starexec-unknown | unsat |
430515477 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006651 | 0.00894188 | 0.0 | starexec-unknown | unsat |
430515609 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004949 | 0.0171329 | 0.0 | starexec-unknown | unsat |
430515321 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005077 | 0.00949588 | 0.0 | starexec-unknown | unsat |
430515443 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005092 | 0.00943504 | 0.0 | starexec-unknown | unsat |
430515554 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005182 | 0.00941107 | 0.0 | starexec-unknown | unsat |
430515521 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005551 | 0.0160679 | 0.0 | starexec-unknown | unsat |
430515414 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005195 | 0.0093381 | 0.0 | starexec-unknown | unsat |
430515373 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005237 | 0.0096191 | 0.0 | starexec-unknown | unsat |
430515481 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004984 | 0.0096621 | 0.0 | starexec-unknown | unsat |
430515594 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004975 | 0.010622 | 0.0 | starexec-unknown | unsat |
430515403 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005016 | 0.00944808 | 0.0 | starexec-unknown | unsat |
430515360 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005077 | 0.009026 | 0.0 | starexec-unknown | unsat |
430515547 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005074 | 0.00886103 | 0.0 | starexec-unknown | unsat |
430515580 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.004917 | 0.00907398 | 0.0 | starexec-unknown | unsat |
430515626 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.006905 | 0.00856488 | 0.0 | starexec-unknown | unsat |
430515466 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.007039 | 0.00897488 | 0.0 | starexec-unknown | unsat |
430515472 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005203 | 0.00941101 | 0.0 | starexec-unknown | unsat |
430515402 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005027 | 0.00921709 | 0.0 | starexec-unknown | unsat |
430515327 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005152 | 0.00963297 | 0.0 | starexec-unknown | unsat |
430515583 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | SPEN | 22607 | qf_shidlia | 326474 | complete | 0.005233 | 0.00950098 | 0.0 | starexec-unknown | unsat |