433162596 | qf_shid_entl/01.tst.smt2 | 8318666 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.112812 | 0.235059 | 113176.0 | unsat | unsat |
433162347 | qf_shid_entl/02.tst.smt2 | 8318417 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.76 | 1.80153 | 192284.0 | unsat | unsat |
433162407 | qf_shid_entl/03.tst.smt2 | 8318477 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.074617 | 0.274329 | 113176.0 | unsat | unsat |
433162463 | qf_shid_entl/04.tst.smt2 | 8318533 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.29048 | 181984.0 | unsat | unsat |
433162394 | qf_shid_entl/05.tst.smt2 | 8318464 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.082372 | 0.162438 | 113176.0 | unsat | unsat |
433162573 | qf_shid_entl/06.tst.smt2 | 8318643 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.02 | 1.08835 | 179756.0 | unsat | unsat |
433162519 | qf_shid_entl/07.tst.smt2 | 8318589 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.073894 | 0.152533 | 113176.0 | unsat | unsat |
433162516 | qf_shid_entl/08.tst.smt2 | 8318586 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.097721 | 0.152779 | 113176.0 | unsat | unsat |
433162575 | qf_shid_entl/09.tst.smt2 | 8318645 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.38 | 2.37188 | 188780.0 | unsat | unsat |
433162556 | qf_shid_entl/10.tst.smt2 | 8318626 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.19488 | 0.325609 | 113176.0 | unsat | unsat |
433162602 | qf_shid_entl/11.tst.smt2 | 8318672 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.155807 | 0.262278 | 113176.0 | unsat | unsat |
433162351 | qf_shid_entl/12.tst.smt2 | 8318421 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.148285 | 0.247216 | 113176.0 | unsat | unsat |
433162419 | qf_shid_entl/13.tst.smt2 | 8318489 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.037315 | 0.0662101 | 113176.0 | unsat | unsat |
433162451 | qf_shid_entl/14.tst.smt2 | 8318521 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.036697 | 0.065941 | 113176.0 | unsat | unsat |
433162381 | qf_shid_entl/15.tst.smt2 | 8318451 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.1 | 5.08384 | 241160.0 | unsat | unsat |
433162561 | qf_shid_entl/16.tst.smt2 | 8318631 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.36 | 1.37781 | 188616.0 | unsat | unsat |
433162505 | qf_shid_entl/17.tst.smt2 | 8318575 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.09 | 5.11273 | 278752.0 | unsat | unsat |
433162506 | qf_shid_entl/18.tst.smt2 | 8318576 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.06 | 5.08557 | 278752.0 | unsat | unsat |
433162559 | qf_shid_entl/19.tst.smt2 | 8318629 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.105642 | 0.235445 | 113176.0 | unsat | unsat |
433162529 | qf_shid_entl/20.tst.smt2 | 8318599 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.54 | 0.611233 | 175696.0 | unsat | unsat |
433162618 | qf_shid_entl/21.tst.smt2 | 8318688 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.060983 | 0.241397 | 113176.0 | unsat | unsat |
433162331 | qf_shid_entl/22.tst.smt2 | 8318401 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.3 | 1.36489 | 186092.0 | unsat | unsat |
433162605 | qf_shid_entl/append_dll_slk-1.smt2 | 8318675 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.95 | 1.03959 | 179752.0 | unsat | unsat |
433162598 | qf_shid_entl/append_dll_slk-10.smt2 | 8318668 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.075468 | 0.154633 | 113176.0 | unsat | unsat |
433162481 | qf_shid_entl/append_dll_slk-11.smt2 | 8318551 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015503 | 0.0527709 | 113176.0 | unsat | unsat |
433162354 | qf_shid_entl/append_dll_slk-12.smt2 | 8318424 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.051429 | 0.120029 | 113176.0 | unsat | unsat |
433162412 | qf_shid_entl/append_dll_slk-2.smt2 | 8318482 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.118029 | 0.238096 | 113176.0 | unsat | unsat |
433162371 | qf_shid_entl/append_dll_slk-3.smt2 | 8318441 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.17 | 1.20345 | 181688.0 | unsat | unsat |
433162524 | qf_shid_entl/append_dll_slk-4.smt2 | 8318594 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.181461 | 0.345083 | 113176.0 | unsat | unsat |
433162634 | qf_shid_entl/append_dll_slk-5.smt2 | 8318704 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.0156 | 0.0519309 | 113176.0 | unsat | unsat |
433162438 | qf_shid_entl/append_dll_slk-6.smt2 | 8318508 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.124141 | 0.245556 | 113176.0 | unsat | unsat |
433162396 | qf_shid_entl/append_dll_slk-7.smt2 | 8318466 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.133656 | 0.248141 | 113176.0 | unsat | unsat |
433162532 | qf_shid_entl/append_dll_slk-8.smt2 | 8318602 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.71 | 1.70815 | 186072.0 | unsat | unsat |
433162565 | qf_shid_entl/append_dll_slk-9.smt2 | 8318635 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.3 | 1.31888 | 181528.0 | unsat | unsat |
433162601 | qf_shid_entl/append_sll_cll_slk-1.smt2 | 8318671 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.034591 | 0.0956181 | 113176.0 | unsat | unsat |
433162480 | qf_shid_entl/append_sll_cll_slk-10.smt2 | 8318550 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033841 | 0.0959401 | 113176.0 | unsat | unsat |
433162594 | qf_shid_entl/append_sll_cll_slk-11.smt2 | 8318664 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016758 | 0.0589469 | 113176.0 | unsat | unsat |
433162402 | qf_shid_entl/append_sll_cll_slk-12.smt2 | 8318472 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.039406 | 0.105179 | 113176.0 | unsat | unsat |
433162363 | qf_shid_entl/append_sll_cll_slk-13.smt2 | 8318433 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054383 | 0.135197 | 113176.0 | unsat | unsat |
433162508 | qf_shid_entl/append_sll_cll_slk-14.smt2 | 8318578 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038093 | 0.105154 | 113176.0 | unsat | unsat |
433162621 | qf_shid_entl/append_sll_cll_slk-15.smt2 | 8318691 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.021509 | 0.06745 | 113176.0 | sat | sat |
433162426 | qf_shid_entl/append_sll_cll_slk-16.smt2 | 8318496 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015334 | 0.05803 | 113176.0 | unsat | unsat |
433162384 | qf_shid_entl/append_sll_cll_slk-17.smt2 | 8318454 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.045769 | 0.113295 | 113176.0 | unsat | unsat |
433162537 | qf_shid_entl/append_sll_cll_slk-18.smt2 | 8318607 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017362 | 0.06015 | 113176.0 | unsat | unsat |
433162410 | qf_shid_entl/append_sll_cll_slk-2.smt2 | 8318480 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016489 | 0.0582911 | 113176.0 | unsat | unsat |
433162365 | qf_shid_entl/append_sll_cll_slk-3.smt2 | 8318435 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038492 | 0.104887 | 113176.0 | unsat | unsat |
433162501 | qf_shid_entl/append_sll_cll_slk-4.smt2 | 8318571 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055496 | 0.136825 | 113176.0 | unsat | unsat |
433162616 | qf_shid_entl/append_sll_cll_slk-5.smt2 | 8318686 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.039306 | 0.106049 | 113176.0 | unsat | unsat |
433162422 | qf_shid_entl/append_sll_cll_slk-6.smt2 | 8318492 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018295 | 0.0647311 | 113176.0 | sat | sat |
433162378 | qf_shid_entl/append_sll_cll_slk-7.smt2 | 8318448 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015483 | 0.0575071 | 113176.0 | unsat | unsat |
433162541 | qf_shid_entl/append_sll_cll_slk-8.smt2 | 8318611 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.067614 | 0.160913 | 113176.0 | unsat | unsat |
433162577 | qf_shid_entl/append_sll_cll_slk-9.smt2 | 8318647 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019853 | 0.065237 | 113176.0 | unsat | unsat |
433162377 | qf_shid_entl/append_sll_ls_slk-1.smt2 | 8318447 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035016 | 0.096279 | 113176.0 | unsat | unsat |
433162496 | qf_shid_entl/append_sll_ls_slk-2.smt2 | 8318566 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015613 | 0.0591769 | 113176.0 | unsat | unsat |
433162612 | qf_shid_entl/append_sll_ls_slk-3.smt2 | 8318682 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.039163 | 0.105458 | 113176.0 | unsat | unsat |
433162434 | qf_shid_entl/append_sll_ls_slk-4.smt2 | 8318504 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055028 | 0.137038 | 113176.0 | unsat | unsat |
433162393 | qf_shid_entl/append_sll_ls_slk-5.smt2 | 8318463 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038388 | 0.104527 | 113176.0 | unsat | unsat |
433162515 | qf_shid_entl/append_sll_ls_slk-6.smt2 | 8318585 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.0166 | 0.063134 | 113176.0 | unsat | unsat |
433162629 | qf_shid_entl/append_sll_ls_slk-7.smt2 | 8318699 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069603 | 0.161612 | 113176.0 | unsat | unsat |
433162453 | qf_shid_entl/append_sll_ls_slk-8.smt2 | 8318523 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019873 | 0.0658181 | 113176.0 | unsat | unsat |
433162348 | qf_shid_entl/append_sll_slk-1.smt2 | 8318418 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.262072 | 0.525562 | 113176.0 | unsat | unsat |
433162547 | qf_shid_entl/append_sll_slk-2.smt2 | 8318617 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.093386 | 0.194841 | 113176.0 | unsat | unsat |
433162582 | qf_shid_entl/append_sll_slk-3.smt2 | 8318652 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.63 | 0.689858 | 175692.0 | unsat | unsat |
433162450 | qf_shid_entl/append_sll_slk-4.smt2 | 8318520 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.92 | 0.975365 | 178212.0 | unsat | unsat |
433162326 | qf_shid_entl/append_sll_slk-5.smt2 | 8318396 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.65 | 0.684478 | 175692.0 | unsat | unsat |
433162525 | qf_shid_entl/append_sll_slk-6.smt2 | 8318595 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.125847 | 0.250612 | 113176.0 | unsat | unsat |
433162563 | qf_shid_entl/append_sll_slk-7.smt2 | 8318633 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041004 | 0.104926 | 113176.0 | unsat | unsat |
433162443 | qf_shid_entl/append_sll_slk-8.smt2 | 8318513 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.146955 | 0.297255 | 113176.0 | unsat | unsat |
433162543 | qf_shid_entl/dll-entails-dll-rev.smt2 | 8318613 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.62 | 3.61374 | 206772.0 | unsat | unsat |
433162385 | qf_shid_entl/dll-entails-dll0+.smt2 | 8318455 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.058766 | 0.110276 | 113176.0 | unsat | unsat |
433162514 | qf_shid_entl/dll-mid-entails-dll-rev.smt2 | 8318584 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 27.64 | 27.3688 | 510024.0 | unsat | unsat |
433162444 | qf_shid_entl/dll-rev-entails-dll-mid.smt2 | 8318514 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.102041 | 0.207589 | 113176.0 | unsat | unsat |
433162551 | qf_shid_entl/dll-rev-entails-dll.smt2 | 8318621 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.53 | 3.52053 | 209964.0 | unsat | unsat |
433162517 | qf_shid_entl/dll-spaghetti.smt2 | 8318587 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.82 | 15.9057 | 337980.0 | unsat | unsat |
433162341 | qf_shid_entl/dll-vc01.smt2 | 8318411 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.02798 | 0.0558381 | 113176.0 | unsat | unsat |
433162540 | qf_shid_entl/dll-vc02.smt2 | 8318610 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.024458 | 0.0516071 | 113176.0 | unsat | unsat |
433162578 | qf_shid_entl/dll-vc03.smt2 | 8318648 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.031639 | 0.066676 | 113176.0 | unsat | unsat |
433162474 | qf_shid_entl/dll-vc04.smt2 | 8318544 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01546 | 0.033577 | 113176.0 | sat | sat |
433162350 | qf_shid_entl/dll-vc05.smt2 | 8318420 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 19.73 | 19.7221 | 196956.0 | unsat | unsat |
433162555 | qf_shid_entl/dll-vc06.smt2 | 8318625 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030629 | 0.0682199 | 113176.0 | sat | sat |
433162585 | qf_shid_entl/dll-vc07.smt2 | 8318655 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.46 | 4.55319 | 175668.0 | unsat | unsat |
433162411 | qf_shid_entl/dll-vc08.smt2 | 8318481 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033783 | 0.063387 | 113176.0 | sat | sat |
433162364 | qf_shid_entl/dll-vc09.smt2 | 8318434 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.061197 | 0.12224 | 113176.0 | unsat | unsat |
433162417 | qf_shid_entl/dll-vc10.smt2 | 8318487 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.031432 | 0.0571251 | 113176.0 | sat | sat |
433162376 | qf_shid_entl/dll-vc11.smt2 | 8318446 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 181.26 | 181.14 | 365976.0 | starexec-unknown | unsat |
433162498 | qf_shid_entl/dll-vc12.smt2 | 8318568 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026297 | 0.0573899 | 113176.0 | sat | sat |
433162613 | qf_shid_entl/dll-vc13.smt2 | 8318683 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017634 | 0.038402 | 113176.0 | sat | sat |
433162429 | qf_shid_entl/dll-vc14.smt2 | 8318499 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018624 | 0.0421419 | 113176.0 | sat | sat |
433162390 | qf_shid_entl/dll-vc15.smt2 | 8318460 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020361 | 0.0423049 | 113176.0 | unsat | unsat |
433162518 | qf_shid_entl/dll-vc16.smt2 | 8318588 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035276 | 0.067478 | 113176.0 | sat | sat |
433162631 | qf_shid_entl/dll-vc17.smt2 | 8318701 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 16.0 | 16.0142 | 184548.0 | unsat | unsat |
433162405 | qf_shid_entl/dll2-entails-dll2-rev.smt2 | 8318475 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.3361 | 0.447138 | 113176.0 | unsat | unsat |
433162415 | qf_shid_entl/dll2-rev-entails-dll2.smt2 | 8318485 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.539396 | 0.749785 | 113176.0 | unsat | unsat |
433162471 | qf_shid_entl/dll2-spaghetti.smt2 | 8318541 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 24.46 | 24.5345 | 392220.0 | unsat | unsat |
433162462 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dll.sb.smt2 | 8318532 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 31.88 | 31.5021 | 509540.0 | unsat | unsat |
433162550 | qf_shid_entl/dllrev_append_dllrev_dll_entails_dllrev.sb.smt2 | 8318620 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.07 | 5.11146 | 216180.0 | unsat | unsat |
433162329 | qf_shid_entl/dllrev_append_dll_dll_entails_dll.sb.smt2 | 8318399 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.11 | 5.09503 | 223316.0 | unsat | unsat |
433162357 | qf_shid_entl/dllrev_append_dll_dll_entails_dllrev.sb.smt2 | 8318427 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 22.98 | 22.7213 | 425508.0 | unsat | unsat |
433162368 | qf_shid_entl/dllrev_append_head_entails_dll.sb.smt2 | 8318438 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.077592 | 0.143019 | 113176.0 | unsat | unsat |
433162470 | qf_shid_entl/dllrev_append_head_entails_dllrev.sb.smt2 | 8318540 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059066 | 0.109416 | 113176.0 | unsat | unsat |
433162389 | qf_shid_entl/dllrev_concat.sb.smt2 | 8318459 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.25 | 1.25522 | 183716.0 | unsat | unsat |
433162342 | qf_shid_entl/dllrev_concat_dll_entails_dll.sb.smt2 | 8318412 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.34 | 1.33668 | 183560.0 | unsat | unsat |
433162406 | qf_shid_entl/dllrev_concat_dll_entails_dllrev.sb.smt2 | 8318476 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.39 | 1.38859 | 186056.0 | unsat | unsat |
433162387 | qf_shid_entl/dllrev_entails_dll.sb.smt2 | 8318457 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.075046 | 0.133076 | 113176.0 | unsat | unsat |
433162571 | qf_shid_entl/dll_append_dllnull_entails_dllnull.sb.smt2 | 8318641 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.194546 | 0.328163 | 113176.0 | unsat | unsat |
433162610 | qf_shid_entl/dll_append_tail_entails_dll.sb.smt2 | 8318680 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056517 | 0.101894 | 113176.0 | unsat | unsat |
433162416 | qf_shid_entl/dll_append_tail_entails_dllnull.sb.smt2 | 8318486 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.05472 | 0.0987581 | 113176.0 | unsat | unsat |
433162545 | qf_shid_entl/dll_append_tail_entails_dllnull_nil.sb.smt2 | 8318615 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.058921 | 0.10711 | 113176.0 | unsat | unsat |
433162635 | qf_shid_entl/dll_append_tail_entails_dllrev.sb.smt2 | 8318705 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057038 | 0.102534 | 113176.0 | unsat | unsat |
433162330 | qf_shid_entl/dll_concat.sb.smt2 | 8318400 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.12 | 1.18237 | 181524.0 | unsat | unsat |
433162445 | qf_shid_entl/dll_concat_dllrev.sb.smt2 | 8318515 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.15 | 1.15932 | 181864.0 | unsat | unsat |
433162457 | qf_shid_entl/dll_entails_dllrev.sb.smt2 | 8318527 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.050852 | 0.100411 | 113176.0 | unsat | unsat |
433162337 | qf_shid_entl/dll_entails_ls.sb.smt2 | 8318407 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.065246 | 0.133249 | 113176.0 | unsat | unsat |
433162374 | qf_shid_entl/dll_entails_lspre.sb.smt2 | 8318444 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069757 | 0.145815 | 113176.0 | unsat | unsat |
433162595 | qf_shid_entl/dll_entails_lsrev.sb.smt2 | 8318665 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.137952 | 0.206019 | 113176.0 | unsat | unsat |
433162360 | qf_shid_entl/dll_nil_tl_entails_dllnull.sb.smt2 | 8318430 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.042805 | 0.079881 | 113176.0 | unsat | unsat |
433162523 | qf_shid_entl/elseg4_slk-1.smt2 | 8318593 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.103295 | 0.177326 | 113176.0 | unsat | unsat |
433162395 | qf_shid_entl/elseg4_slk-2.smt2 | 8318465 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014634 | 0.0294851 | 113176.0 | unsat | unsat |
433162437 | qf_shid_entl/elseg4_slk-3.smt2 | 8318507 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013284 | 0.0273191 | 113176.0 | sat | sat |
433162606 | qf_shid_entl/elseg4_slk-4.smt2 | 8318676 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.022076 | 0.040337 | 0.0 | sat | sat |
433162493 | qf_shid_entl/elseg4_slk-5.smt2 | 8318563 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.6 | 1.67299 | 171752.0 | unsat | unsat |
433162372 | qf_shid_entl/elseg4_slk-6.smt2 | 8318442 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.153524 | 0.265005 | 113176.0 | unsat | unsat |
433162413 | qf_shid_entl/elseg4_slk-7.smt2 | 8318483 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.099628 | 0.1652 | 113176.0 | unsat | unsat |
433162584 | qf_shid_entl/elseg4_slk-8.smt2 | 8318654 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.05987 | 0.0987499 | 113176.0 | unsat | unsat |
433162549 | qf_shid_entl/elseg4_slk-9.smt2 | 8318619 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.061014 | 0.101235 | 113176.0 | unsat | unsat |
433162432 | qf_shid_entl/eolseg_01.sb.smt2 | 8318502 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.4 | 3.44291 | 195564.0 | unsat | unsat |
433162623 | qf_shid_entl/eolseg_02.sb.smt2 | 8318693 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.1 | 4.10855 | 199880.0 | unsat | unsat |
433162436 | qf_shid_entl/eolseg_05.sb.smt2 | 8318506 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.23 | 5.27452 | 204712.0 | unsat | unsat |
433162628 | qf_shid_entl/eolseg_06.sb.smt2 | 8318698 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.24 | 5.20399 | 204688.0 | unsat | unsat |
433162503 | qf_shid_entl/eolseg_07.sb.smt2 | 8318573 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 51.31 | 51.3587 | 316496.0 | unsat | unsat |
433162447 | qf_shid_entl/eolseg_09.sb.smt2 | 8318517 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.8 | 1.8035 | 181712.0 | unsat | unsat |
433162535 | qf_shid_entl/eolseg_12.sb.smt2 | 8318605 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.18 | 5.17621 | 210044.0 | unsat | unsat |
433162334 | qf_shid_entl/eolseg_15.sb.smt2 | 8318404 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.22 | 5.18737 | 210044.0 | unsat | unsat |
433162492 | qf_shid_entl/ls2_entail_ls_01.sb.smt2 | 8318562 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.15 | 2.16976 | 188744.0 | unsat | unsat |
433162611 | qf_shid_entl/ls2_entail_ls_04.sb.smt2 | 8318681 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.87 | 5.84934 | 216276.0 | unsat | unsat |
433162355 | qf_shid_entl/lsegex4_slk-1.smt2 | 8318425 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.752454 | 173924.0 | unsat | unsat |
433162482 | qf_shid_entl/lsegex4_slk-2.smt2 | 8318552 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012412 | 0.025259 | 113176.0 | sat | sat |
433162599 | qf_shid_entl/lsegex4_slk-3.smt2 | 8318669 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041126 | 0.0705281 | 113176.0 | unsat | unsat |
433162424 | qf_shid_entl/lsegex4_slk-4.smt2 | 8318494 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059042 | 0.100204 | 113176.0 | unsat | unsat |
433162380 | qf_shid_entl/lsegex4_slk-5.smt2 | 8318450 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.037554 | 0.0695991 | 113176.0 | unsat | unsat |
433162511 | qf_shid_entl/lsegex4_slk-6.smt2 | 8318581 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033399 | 0.061699 | 113176.0 | unsat | unsat |
433162520 | qf_shid_entl/lsevenodd_01.sb.smt2 | 8318590 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.075364 | 0.143415 | 113176.0 | unsat | unsat |
433162386 | qf_shid_entl/lsevenodd_02.sb.smt2 | 8318456 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.39 | 1.4125 | 181532.0 | unsat | unsat |
433162421 | qf_shid_entl/lsevenodd_03.sb.smt2 | 8318491 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.62 | 1.69029 | 183572.0 | unsat | unsat |
433162633 | qf_shid_entl/lsevenodd_04.sb.smt2 | 8318703 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.63 | 1.67527 | 183556.0 | unsat | unsat |
433162521 | qf_shid_entl/lsevenodd_09.sb.smt2 | 8318591 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.958535 | 176864.0 | unsat | unsat |
433162572 | qf_shid_entl/lsevenodd_11.sb.smt2 | 8318642 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.72 | 0.792053 | 174676.0 | unsat | unsat |
433162544 | qf_shid_entl/lsevenodd_14.sb.smt2 | 8318614 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.95 | 1.00056 | 176852.0 | unsat | unsat |
433162576 | qf_shid_entl/lsevenodd_15.sb.smt2 | 8318646 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.23 | 1.25686 | 178212.0 | unsat | unsat |
433162452 | qf_shid_entl/lsevenodd_16.sb.smt2 | 8318522 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.83 | 0.837367 | 175696.0 | unsat | unsat |
433162486 | qf_shid_entl/lsevenodd_ls2_01.sb.smt2 | 8318556 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.317081 | 0.53744 | 113176.0 | unsat | unsat |
433162369 | qf_shid_entl/lsevenodd_ls2_02.sb.smt2 | 8318439 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.316653 | 0.533749 | 113176.0 | unsat | unsat |
433162489 | qf_shid_entl/lsevenodd_ls2_05.sb.smt2 | 8318559 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.644956 | 176856.0 | unsat | unsat |
433162373 | qf_shid_entl/lsevenodd_ls2_06.sb.smt2 | 8318443 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.39 | 1.42565 | 186520.0 | unsat | unsat |
433162485 | qf_shid_entl/lsevenodd_ls2_09.sb.smt2 | 8318555 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.12707 | 216244.0 | unsat | unsat |
433162353 | qf_shid_entl/lsevenodd_ls2_13.sb.smt2 | 8318423 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.16259 | 210016.0 | unsat | unsat |
433162546 | qf_shid_entl/lsevenodd_ls2_14.sb.smt2 | 8318616 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.18 | 5.15822 | 216232.0 | unsat | unsat |
433162581 | qf_shid_entl/lsevenodd_ls2_15.sb.smt2 | 8318651 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.21 | 5.20859 | 210040.0 | unsat | unsat |
433162473 | qf_shid_entl/lsevenodd_ls2_16.sb.smt2 | 8318543 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.34 | 5.30676 | 216268.0 | unsat | unsat |
433162461 | qf_shid_entl/lsleftright_01.sb.smt2 | 8318531 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.32 | 2.32474 | 199632.0 | unsat | unsat |
433162564 | qf_shid_entl/lsleftright_02.sb.smt2 | 8318634 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.222525 | 0.402828 | 113176.0 | unsat | unsat |
433162335 | qf_shid_entl/lsleftright_04.sb.smt2 | 8318405 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.2143 | 0.3806 | 113176.0 | unsat | unsat |
433162460 | qf_shid_entl/lsleftright_05.sb.smt2 | 8318530 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.96 | 0.965104 | 181524.0 | unsat | unsat |
433162562 | qf_shid_entl/lsleftright_06.sb.smt2 | 8318632 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.827629 | 179748.0 | unsat | unsat |
433162534 | qf_shid_entl/lsleftright_07.sb.smt2 | 8318604 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.99 | 1.01932 | 183696.0 | unsat | unsat |
433162339 | qf_shid_entl/lsleftright_08.sb.smt2 | 8318409 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.72 | 0.738615 | 175688.0 | unsat | unsat |
433162454 | qf_shid_entl/lsleftright_09.sb.smt2 | 8318524 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.62 | 0.646518 | 173780.0 | unsat | unsat |
433162433 | qf_shid_entl/lsleftright_10.sb.smt2 | 8318503 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.738569 | 174676.0 | unsat | unsat |
433162397 | qf_shid_entl/lsleftright_11.sb.smt2 | 8318467 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.269531 | 0.475486 | 113176.0 | unsat | unsat |
433162502 | qf_shid_entl/lsleftright_12.sb.smt2 | 8318572 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.277897 | 0.48817 | 113176.0 | unsat | unsat |
433162625 | qf_shid_entl/lsleftright_13.sb.smt2 | 8318695 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.29 | 3.33688 | 216104.0 | unsat | unsat |
433162435 | qf_shid_entl/lsleftright_14.sb.smt2 | 8318505 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.11316 | 252236.0 | unsat | unsat |
433162398 | qf_shid_entl/lsleftright_15.sb.smt2 | 8318468 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.25 | 3.24527 | 215980.0 | unsat | unsat |
433162504 | qf_shid_entl/lsleftright_16.sb.smt2 | 8318574 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.233852 | 0.406248 | 113176.0 | unsat | unsat |
433162627 | qf_shid_entl/lsleftright_17.sb.smt2 | 8318697 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.07 | 5.0927 | 210020.0 | unsat | unsat |
433162446 | qf_shid_entl/lsleftright_18.sb.smt2 | 8318516 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.11 | 5.09359 | 241476.0 | unsat | unsat |
433162392 | qf_shid_entl/lsleftright_19.sb.smt2 | 8318462 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.83 | 0.859353 | 175692.0 | unsat | unsat |
433162542 | qf_shid_entl/lsleftright_20.sb.smt2 | 8318612 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.32 | 1.36477 | 188752.0 | unsat | unsat |
433162375 | qf_shid_entl/lss-vc01.smt2 | 8318445 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015803 | 0.0325361 | 113176.0 | unsat | unsat |
433162490 | qf_shid_entl/lss-vc02.smt2 | 8318560 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.022208 | 0.046767 | 113176.0 | unsat | unsat |
433162603 | qf_shid_entl/lss-vc03.smt2 | 8318673 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.110736 | 0.207636 | 113176.0 | unsat | unsat |
433162557 | qf_shid_entl/ls_entail_ls2_02.sb.smt2 | 8318627 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.1 | 5.10292 | 241348.0 | unsat | unsat |
433162464 | qf_shid_entl/ls_entail_ls2_04.sb.smt2 | 8318534 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.674858 | 176864.0 | unsat | unsat |
433162343 | qf_shid_entl/ls_entail_ls2_05.sb.smt2 | 8318413 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.620644 | 176868.0 | unsat | unsat |
433162554 | qf_shid_entl/ls_entail_ls2_06.sb.smt2 | 8318624 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.14171 | 0.204629 | 113176.0 | unsat | unsat |
433162592 | qf_shid_entl/ls_entail_ls_nonrec_01.sb.smt2 | 8318662 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052127 | 0.098134 | 113176.0 | unsat | unsat |
433162466 | qf_shid_entl/ls_entail_ls_nonrec_02.sb.smt2 | 8318536 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.071008 | 0.125862 | 113176.0 | unsat | unsat |
433162349 | qf_shid_entl/ls_entail_ls_nonrec_03.sb.smt2 | 8318419 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.7 | 1.73855 | 189096.0 | unsat | unsat |
433162552 | qf_shid_entl/ls_entail_ls_nonrec_04.sb.smt2 | 8318622 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.88 | 5.85306 | 252244.0 | unsat | unsat |
433162590 | qf_shid_entl/ls_entail_ls_nonrec_05.sb.smt2 | 8318660 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.41 | 6.42231 | 252532.0 | unsat | unsat |
433162465 | qf_shid_entl/ls_entail_ls_nonrec_06.sb.smt2 | 8318535 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.166977 | 0.27958 | 113176.0 | unsat | unsat |
433162344 | qf_shid_entl/ls_entail_ls_nonrec_07.sb.smt2 | 8318414 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.58 | 6.54821 | 252240.0 | unsat | unsat |
433162558 | qf_shid_entl/ls_entail_ls_nonrec_08.sb.smt2 | 8318628 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.06 | 6.04828 | 252544.0 | unsat | unsat |
433162587 | qf_shid_entl/ls_entail_ls_nonrec_09.sb.smt2 | 8318657 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.08 | 6.05995 | 252536.0 | unsat | unsat |
433162604 | qf_shid_entl/ls_entail_ls_nonrec_10.sb.smt2 | 8318674 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.07 | 6.06917 | 252516.0 | unsat | unsat |
433162495 | qf_shid_entl/ls_entail_ls_nonrec_11.sb.smt2 | 8318565 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 12.99 | 13.0011 | 279152.0 | unsat | unsat |
433162356 | qf_shid_entl/ls_entail_ls_nonrec_12.sb.smt2 | 8318426 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 35.06 | 34.9916 | 295700.0 | unsat | unsat |
433162404 | qf_shid_entl/ls_entail_ls_nonrec_13.sb.smt2 | 8318474 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 42.4 | 42.3173 | 295704.0 | unsat | unsat |
433162609 | qf_shid_entl/ls_entail_ls_nonrec_14.sb.smt2 | 8318679 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 31.92 | 31.8879 | 295708.0 | unsat | unsat |
433162497 | qf_shid_entl/ls_entail_ls_nonrec_15.sb.smt2 | 8318567 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 11.9 | 11.883 | 295716.0 | unsat | unsat |
433162361 | qf_shid_entl/ls_entail_ls_nonrec_16.sb.smt2 | 8318431 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 26.3 | 26.2075 | 337164.0 | unsat | unsat |
433162579 | qf_shid_entl/ls_even_append_tl_entails_ls.sb.smt2 | 8318649 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.072712 | 0.142319 | 113176.0 | unsat | unsat |
433162441 | qf_shid_entl/ls_even_append_tl_entails_ls_odd.sb.smt2 | 8318511 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.171362 | 0.316987 | 113176.0 | unsat | unsat |
433162328 | qf_shid_entl/ls_even_entails_ls.sb.smt2 | 8318398 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054207 | 0.109751 | 113176.0 | unsat | unsat |
433162530 | qf_shid_entl/ls_even_join_entails_ls.sb.smt2 | 8318600 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.92 | 0.941277 | 176864.0 | unsat | unsat |
433162336 | qf_shid_entl/ls_even_join_entails_ls_even.sb.smt2 | 8318406 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.36 | 4.35216 | 210020.0 | unsat | unsat |
433162588 | qf_shid_entl/ls_even_join_ls_entails_ls.sb.smt2 | 8318658 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.837522 | 175692.0 | unsat | unsat |
433162431 | qf_shid_entl/ls_even_odd_join_entails_ls.sb.smt2 | 8318501 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.938602 | 0.943871 | 176852.0 | unsat | unsat |
433162526 | qf_shid_entl/ls_even_odd_join_entails_ls_odd.sb.smt2 | 8318596 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.52 | 2.53241 | 195392.0 | unsat | unsat |
433162500 | qf_shid_entl/ls_join_entails_ls.sb.smt2 | 8318570 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.715837 | 174676.0 | unsat | unsat |
433162338 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_1.sb.smt2 | 8318408 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.44 | 51.9135 | 685684.0 | unsat | unsat |
433162536 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_2.sb.smt2 | 8318606 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.1 | 5.08342 | 241488.0 | unsat | unsat |
433162566 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_3.sb.smt2 | 8318636 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.13 | 5.11233 | 232028.0 | unsat | unsat |
433162459 | qf_shid_entl/ls_lsrev_concat_entail_lsrev_4.sb.smt2 | 8318529 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.26 | 5.26344 | 241808.0 | unsat | unsat |
433162430 | qf_shid_entl/ls_lsrev_concat_entail_ls_1.sb.smt2 | 8318500 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.2 | 5.12727 | 210016.0 | unsat | unsat |
433162620 | qf_shid_entl/ls_lsrev_concat_entail_ls_2.sb.smt2 | 8318690 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.18 | 5.09541 | 210152.0 | unsat | unsat |
433162499 | qf_shid_entl/ls_lsrev_concat_entail_ls_3.sb.smt2 | 8318569 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.12893 | 210020.0 | unsat | unsat |
433162399 | qf_shid_entl/ls_lsrev_concat_entail_ls_4.sb.smt2 | 8318469 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.35 | 5.27 | 210304.0 | unsat | unsat |
433162456 | qf_shid_entl/ls_nonrec_entail_ls_01.sb.smt2 | 8318526 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.44 | 4.4166 | 204600.0 | unsat | unsat |
433162569 | qf_shid_entl/ls_nonrec_entail_ls_02.sb.smt2 | 8318639 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.32 | 5.2623 | 216244.0 | unsat | unsat |
433162531 | qf_shid_entl/ls_nonrec_entail_ls_03.sb.smt2 | 8318601 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.44 | 5.41029 | 216244.0 | unsat | unsat |
433162340 | qf_shid_entl/ls_nonrec_entail_ls_04.sb.smt2 | 8318410 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 54.43 | 54.2992 | 297400.0 | unsat | unsat |
433162455 | qf_shid_entl/ls_nonrec_entail_ls_05.sb.smt2 | 8318525 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.49 | 52.4043 | 279088.0 | unsat | unsat |
433162568 | qf_shid_entl/ls_nonrec_entail_ls_06.sb.smt2 | 8318638 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.68 | 8.70239 | 216244.0 | unsat | unsat |
433162528 | qf_shid_entl/ls_nonrec_entail_ls_07.sb.smt2 | 8318598 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.68 | 5.66868 | 216248.0 | unsat | unsat |
433162332 | qf_shid_entl/ls_nonrec_entail_ls_08.sb.smt2 | 8318402 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.47 | 5.48431 | 210044.0 | unsat | unsat |
433162458 | qf_shid_entl/ls_nonrec_entail_ls_09.sb.smt2 | 8318528 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.33 | 52.1045 | 464980.0 | unsat | unsat |
433162440 | qf_shid_entl/ls_nonrec_entail_ls_10.sb.smt2 | 8318510 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 52.44 | 52.3797 | 270984.0 | unsat | unsat |
433162388 | qf_shid_entl/ls_nonrec_entail_ls_11.sb.smt2 | 8318458 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 53.54 | 53.4648 | 261568.0 | unsat | unsat |
433162510 | qf_shid_entl/ls_nonrec_entail_ls_12.sb.smt2 | 8318580 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.75 | 5.73754 | 216248.0 | unsat | unsat |
433162617 | qf_shid_entl/ls_nonrec_entail_ls_13.sb.smt2 | 8318687 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.27 | 6.23959 | 216244.0 | unsat | unsat |
433162442 | qf_shid_entl/ls_nonrec_entail_ls_14.sb.smt2 | 8318512 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.28 | 7.27489 | 241360.0 | unsat | unsat |
433162391 | qf_shid_entl/ls_nonrec_entail_ls_15.sb.smt2 | 8318461 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.7 | 8.68913 | 252252.0 | unsat | unsat |
433162512 | qf_shid_entl/ls_nonrec_entail_ls_16.sb.smt2 | 8318582 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 11.09 | 11.0834 | 279160.0 | unsat | unsat |
433162614 | qf_shid_entl/ls_odd_append_tl_entails_ls.sb.smt2 | 8318684 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069866 | 0.137843 | 113176.0 | unsat | unsat |
433162488 | qf_shid_entl/ls_odd_append_tl_entails_ls_even.sb.smt2 | 8318558 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.218234 | 0.371477 | 113176.0 | unsat | unsat |
433162630 | qf_shid_entl/ls_odd_entails_ls.sb.smt2 | 8318700 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052022 | 0.103327 | 113176.0 | unsat | unsat |
433162619 | qf_shid_entl/ls_odd_join_entails_ls.sb.smt2 | 8318689 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.94 | 0.991006 | 176864.0 | unsat | unsat |
433162382 | qf_shid_entl/ls_odd_join_entails_ls_even.sb.smt2 | 8318452 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.1 | 4.11109 | 216112.0 | unsat | unsat |
433162475 | qf_shid_entl/ls_odd_join_ls_entails_ls.sb.smt2 | 8318545 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.822252 | 175696.0 | unsat | unsat |
433162477 | qf_shid_entl/nll-vc01.smt2 | 8318547 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.070967 | 0.108654 | 113176.0 | unsat | unsat |
433162359 | qf_shid_entl/nll-vc02.smt2 | 8318429 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.070235 | 0.108826 | 113176.0 | unsat | unsat |
433162403 | qf_shid_entl/nll-vc03.smt2 | 8318473 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.720829 | 175804.0 | unsat | unsat |
433162624 | qf_shid_entl/nll-vc04.smt2 | 8318694 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.17 | 5.1953 | 232024.0 | unsat | unsat |
433162507 | qf_shid_entl/nll-vc05.smt2 | 8318577 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.02958 | 5.08022 | 231676.0 | unsat | unsat |
433162383 | qf_shid_entl/nll-vc06.smt2 | 8318453 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026733 | 0.050763 | 113176.0 | sat | sat |
433162428 | qf_shid_entl/nll-vc07.smt2 | 8318498 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.33 | 7.28525 | 252716.0 | unsat | unsat |
433162570 | qf_shid_entl/nll-vc08.smt2 | 8318640 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 13.85 | 13.7439 | 315876.0 | unsat | unsat |
433162538 | qf_shid_entl/nll-vc09.smt2 | 8318608 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.15 | 6.19343 | 241604.0 | unsat | unsat |
433162567 | qf_shid_entl/nll-vc10.smt2 | 8318637 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.87 | 6.89579 | 252512.0 | unsat | unsat |
433162533 | qf_shid_entl/nll-vc11.smt2 | 8318603 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.1 | 5.08466 | 231812.0 | unsat | unsat |
433162325 | qf_shid_entl/nll-vc12.smt2 | 8318395 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.42 | 3.46371 | 216172.0 | unsat | unsat |
433162448 | qf_shid_entl/nll-vc13.smt2 | 8318518 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.022425 | 0.042112 | 113176.0 | sat | sat |
433162583 | qf_shid_entl/nll-vc14.smt2 | 8318653 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04024 | 0.069052 | 113176.0 | sat | sat |
433162548 | qf_shid_entl/nll-vc15.smt2 | 8318618 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019473 | 0.0397021 | 113176.0 | sat | sat |
433162345 | qf_shid_entl/nll-vc16.smt2 | 8318415 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.023534 | 0.0434339 | 113176.0 | sat | sat |
433162468 | qf_shid_entl/nll-vc17.smt2 | 8318538 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 211.37 | 210.532 | 304828.0 | starexec-unknown | sat |
433162607 | qf_shid_entl/nll-vc18.smt2 | 8318677 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055652 | 0.084644 | 113176.0 | sat | sat |
433162494 | qf_shid_entl/nll-vc19.smt2 | 8318564 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.068236 | 0.104687 | 113176.0 | sat | sat |
433162425 | qf_shid_entl/node-dll-rev-dll-entails-dll.smt2 | 8318495 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.7 | 1.7054 | 188612.0 | unsat | unsat |
433162418 | qf_shid_entl/node-node-dll-entails-dll.smt2 | 8318488 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.79 | 1.79992 | 188708.0 | unsat | unsat |
433162539 | qf_shid_entl/node-tll-tll-entails-tll.smt2 | 8318609 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.02 | 5.09442 | 252472.0 | unsat | unsat |
433162427 | qf_shid_entl/odd-lseg3_slk-1.smt2 | 8318497 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01218 | 0.0254159 | 113176.0 | sat | sat |
433162622 | qf_shid_entl/odd-lseg3_slk-2.smt2 | 8318692 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011176 | 0.024129 | 113176.0 | unsat | unsat |
433162509 | qf_shid_entl/odd-lseg3_slk-3.smt2 | 8318579 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.094156 | 0.145967 | 113176.0 | unsat | unsat |
433162362 | qf_shid_entl/odd-lseg3_slk-4.smt2 | 8318432 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013636 | 0.0269999 | 113176.0 | sat | sat |
433162401 | qf_shid_entl/odd-lseg3_slk-5.smt2 | 8318471 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.09 | 2.11843 | 172992.0 | unsat | unsat |
433162593 | qf_shid_entl/odd-lseg3_slk-6.smt2 | 8318663 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013467 | 0.0270721 | 113176.0 | sat | sat |
433162479 | qf_shid_entl/odd-lseg3_slk-7.smt2 | 8318549 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011634 | 0.0237079 | 113176.0 | unsat | unsat |
433162423 | qf_shid_entl/skl2-vc01.smt2 | 8318493 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.023118 | 0.040157 | 113176.0 | unsat | unsat |
433162626 | qf_shid_entl/skl2-vc02.smt2 | 8318696 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.029166 | 0.0493071 | 113176.0 | unsat | unsat |
433162513 | qf_shid_entl/skl2-vc03.smt2 | 8318583 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.03 | 6.03761 | 243564.0 | unsat | unsat |
433162358 | qf_shid_entl/skl2-vc04.smt2 | 8318428 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.190075 | 0.307846 | 113176.0 | unsat | unsat |
433162400 | qf_shid_entl/skl2-vc05.smt2 | 8318470 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 191.98 | 191.795 | 325692.0 | starexec-unknown | sat |
433162597 | qf_shid_entl/skl2-vc06.smt2 | 8318667 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059741 | 0.0991101 | 113176.0 | sat | sat |
433162484 | qf_shid_entl/skl2-vc07.smt2 | 8318554 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069188 | 0.107191 | 113176.0 | sat | sat |
433162439 | qf_shid_entl/skl3-vc01.smt2 | 8318509 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.038272 | 0.0574821 | 113176.0 | unsat | unsat |
433162636 | qf_shid_entl/skl3-vc02.smt2 | 8318706 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 286.41 | 285.893 | 2697092.0 | starexec-unknown | sat |
433162522 | qf_shid_entl/skl3-vc03.smt2 | 8318592 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.47 | 6.48191 | 241336.0 | unsat | unsat |
433162367 | qf_shid_entl/skl3-vc04.smt2 | 8318437 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 375.9 | 374.972 | 3042784.0 | starexec-unknown | unsat |
433162414 | qf_shid_entl/skl3-vc05.smt2 | 8318484 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 376.31 | 375.555 | 2697036.0 | starexec-unknown | unsat |
433162608 | qf_shid_entl/skl3-vc06.smt2 | 8318678 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 374.17 | 373.37 | 2373800.0 | starexec-unknown | unsat |
433162491 | qf_shid_entl/skl3-vc07.smt2 | 8318561 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.62 | 5.63271 | 264804.0 | unsat | unsat |
433162346 | qf_shid_entl/skl3-vc08.smt2 | 8318416 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.65 | 5.63737 | 264796.0 | unsat | unsat |
433162467 | qf_shid_entl/skl3-vc09.smt2 | 8318537 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.56 | 5.59924 | 264796.0 | unsat | unsat |
433162352 | qf_shid_entl/skl3-vc10.smt2 | 8318422 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.3 | 5.31927 | 252268.0 | unsat | unsat |
433162476 | qf_shid_entl/skl3-vc11.smt2 | 8318546 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 477.49 | 476.738 | 3042788.0 | starexec-unknown | sat |
433162591 | qf_shid_entl/skl3-vc12.smt2 | 8318661 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.392544 | 0.470753 | 113176.0 | sat | sat |
433162469 | qf_shid_entl/sll-vc01.smt2 | 8318539 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 208.51 | 207.322 | 7585184.0 | starexec-unknown | sat |
433162580 | qf_shid_entl/sll-vc02.smt2 | 8318650 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.93 | 1.93753 | 204484.0 | sat | sat |
433162370 | qf_shid_entl/tll-pp-entails-tll-pp-rev.smt2 | 8318440 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.26973 | 189084.0 | unsat | unsat |
433162574 | qf_shid_entl/tll-pp-rev-entails-tll-pp.smt2 | 8318644 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 203.52 | 203.093 | 1205464.0 | starexec-unknown | unsat |
433162483 | qf_shid_entl/tll-ravioli.smt2 | 8318553 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 17.05 | 17.0883 | 264584.0 | unsat | unsat |
433162615 | qf_shid_entl/tll_slk-1.smt2 | 8318685 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.03318 | 0.126289 | 113176.0 | unsat | unsat |
433162327 | qf_shid_entl/tll_slk-10.smt2 | 8318397 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.21 | 5.22253 | 216672.0 | unsat | unsat |
433162449 | qf_shid_entl/tll_slk-11.smt2 | 8318519 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.22 | 5.21841 | 218208.0 | unsat | unsat |
433162560 | qf_shid_entl/tll_slk-12.smt2 | 8318630 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030695 | 0.126093 | 113176.0 | unsat | unsat |
433162527 | qf_shid_entl/tll_slk-13.smt2 | 8318597 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.34 | 5.37139 | 217132.0 | unsat | unsat |
433162420 | qf_shid_entl/tll_slk-2.smt2 | 8318490 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026161 | 0.119885 | 113176.0 | unsat | unsat |
433162379 | qf_shid_entl/tll_slk-3.smt2 | 8318449 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026424 | 0.118449 | 113176.0 | unsat | unsat |
433162487 | qf_shid_entl/tll_slk-4.smt2 | 8318557 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.2 | 5.23797 | 218036.0 | unsat | unsat |
433162600 | qf_shid_entl/tll_slk-5.smt2 | 8318670 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.025638 | 0.117937 | 113176.0 | unsat | unsat |
433162409 | qf_shid_entl/tll_slk-6.smt2 | 8318479 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.14 | 5.17423 | 216932.0 | unsat | unsat |
433162366 | qf_shid_entl/tll_slk-7.smt2 | 8318436 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.025516 | 0.118236 | 113176.0 | unsat | unsat |
433162553 | qf_shid_entl/tll_slk-8.smt2 | 8318623 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.2 | 5.23042 | 218036.0 | unsat | unsat |
433162586 | qf_shid_entl/tll_slk-9.smt2 | 8318656 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.12 | 5.17144 | 216708.0 | unsat | unsat |
433162632 | qf_shid_entl/tree-pp-entails-tree-pp-rev.smt2 | 8318702 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 181.11 | 180.045 | 2576876.0 | starexec-unknown | unsat |
433162472 | qf_shid_entl/tree-pp-rev-entails-tree-pp.smt2 | 8318542 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 73.29 | 73.1386 | 466620.0 | starexec-unknown | unsat |
433162478 | qf_shid_entl/tseg_join_2.sb.smt2 | 8318548 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.13 | 5.11418 | 264660.0 | unsat | unsat |
433162408 | qf_shid_entl/tseg_join_2_entail_tree.sb.smt2 | 8318478 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.18 | 5.15975 | 241396.0 | unsat | unsat |
433162333 | qf_shid_entl/tseg_join_tree.sb.smt2 | 8318403 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.14 | 5.1054 | 241396.0 | unsat | unsat |
433162589 | qf_shid_entl/tseg_join_tree_entail_tseg.sb.smt2 | 8318659 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.16 | 5.14252 | 264796.0 | unsat | unsat |