433168637 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018896 | 0.032629 | 113176.0 | unsat | unsat |
433168645 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.08095 | 0.100988 | 113176.0 | sat | sat |
433168641 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.02137 | 0.0360231 | 113176.0 | unsat | unsat |
433168652 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027756 | 0.041791 | 113176.0 | unsat | unsat |
433168649 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.100194 | 0.120882 | 113176.0 | sat | sat |
433168658 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.021195 | 0.036167 | 113176.0 | sat | sat |
433168655 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.132173 | 0.154242 | 113176.0 | sat | sat |
433168611 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026498 | 0.0403241 | 113176.0 | unsat | unsat |
433168616 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016284 | 0.030127 | 113176.0 | unsat | unsat |
433168674 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04056 | 0.0578419 | 113176.0 | sat | sat |
433168677 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.021714 | 0.0353431 | 113176.0 | unsat | unsat |
433168675 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030647 | 0.046631 | 113176.0 | sat | sat |
433168671 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.050127 | 0.0677589 | 113176.0 | sat | sat |
433168670 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.047097 | 0.061877 | 113176.0 | unsat | unsat |
433168667 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.071602 | 0.0896821 | 113176.0 | sat | sat |
433168664 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.385703 | 0.416605 | 113176.0 | sat | sat |
433168661 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027783 | 0.044475 | 113176.0 | unsat | unsat |
433168712 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04094 | 0.058019 | 113176.0 | sat | sat |
433168717 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035494 | 0.0599879 | 113176.0 | unsat | unsat |
433168644 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.158732 | 0.182242 | 113176.0 | sat | sat |
433168631 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026698 | 0.040977 | 113176.0 | unsat | unsat |
433168629 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.065686 | 0.0809571 | 113176.0 | unsat | unsat |
433168625 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027527 | 0.0416669 | 113176.0 | unsat | unsat |
433168624 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.034192 | 0.0488829 | 113176.0 | unsat | unsat |
433168620 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.085096 | 0.104339 | 113176.0 | sat | sat |
433168614 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033733 | 0.049141 | 113176.0 | unsat | unsat |
433168610 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.029171 | 0.043474 | 113176.0 | unsat | unsat |
433168654 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.216027 | 0.241228 | 113176.0 | sat | sat |
433168657 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030951 | 0.04614 | 113176.0 | sat | sat |
433168694 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.078738 | 0.0974429 | 113176.0 | sat | sat |
433168683 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033578 | 0.0479111 | 113176.0 | unsat | unsat |
433168696 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.05447 | 0.0718 | 113176.0 | sat | sat |
433168691 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.030672 | 0.045018 | 113176.0 | unsat | unsat |
433168707 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041344 | 0.0559381 | 113176.0 | unsat | unsat |
433168702 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056253 | 0.071145 | 113176.0 | unsat | unsat |
433168715 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.025307 | 0.039618 | 113176.0 | unsat | unsat |
433168711 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.156139 | 0.173051 | 113176.0 | unsat | unsat |
433168660 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.167117 | 0.192181 | 113176.0 | sat | sat |
433168663 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.066885 | 0.0827049 | 113176.0 | unsat | unsat |
433168628 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056298 | 0.0734369 | 113176.0 | sat | sat |
433168673 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.226207 | 0.254616 | 113176.0 | sat | sat |
433168681 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033485 | 0.0487069 | 113176.0 | unsat | unsat |
433168680 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035766 | 0.0508841 | 113176.0 | unsat | unsat |
433168662 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.342969 | 0.372435 | 113176.0 | sat | sat |
433168659 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04242 | 0.0576629 | 113176.0 | unsat | unsat |
433168669 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.029529 | 0.0436179 | 113176.0 | unsat | unsat |
433168666 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.096747 | 0.116377 | 113176.0 | sat | sat |
433168700 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.112001 | 0.128498 | 113176.0 | unsat | unsat |
433168706 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04447 | 0.059432 | 113176.0 | unsat | unsat |
433168638 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.034307 | 0.0490579 | 113176.0 | unsat | unsat |
433168643 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.243696 | 0.269626 | 113176.0 | sat | sat |
433168640 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056943 | 0.0724321 | 113176.0 | unsat | unsat |
433168639 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.261024 | 0.28796 | 113176.0 | sat | sat |
433168656 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.09971 | 0.12109 | 113176.0 | sat | sat |
433168653 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.043875 | 0.0591201 | 113176.0 | unsat | unsat |
433168651 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.202706 | 0.228616 | 113176.0 | sat | sat |
433168648 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.268836 | 0.297024 | 113176.0 | sat | sat |
433168618 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.048688 | 0.064754 | 113176.0 | unsat | unsat |
433168623 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.036866 | 0.0511889 | 113176.0 | unsat | unsat |
433168678 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.212286 | 0.235581 | 113176.0 | sat | sat |
433168692 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033973 | 0.0482699 | 113176.0 | unsat | unsat |
433168690 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.034741 | 0.0496799 | 113176.0 | unsat | unsat |
433168687 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.135629 | 0.16561 | 113176.0 | sat | sat |
433168713 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.09121 | 0.578485 | 188600.0 | sat | sat |
433168709 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.02627 | 0.04006 | 113176.0 | unsat | unsat |
433168704 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.196194 | 0.219621 | 113176.0 | sat | sat |
433168699 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.049063 | 0.064536 | 113176.0 | unsat | unsat |
433168665 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055914 | 0.071159 | 113176.0 | unsat | unsat |
433168668 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.151455 | 0.177114 | 113176.0 | sat | sat |
433168632 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.361695 | 0.393736 | 113176.0 | sat | sat |
433168627 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.473982 | 0.505854 | 113176.0 | sat | sat |
433168635 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.38187 | 1.43899 | 223076.0 | sat | sat |
433168633 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.053152 | 0.068801 | 113176.0 | unsat | unsat |
433168613 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.124575 | 0.144174 | 113176.0 | sat | sat |
433168609 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.612726 | 0.647503 | 191700.0 | sat | sat |
433168621 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.062082 | 0.0777471 | 113176.0 | unsat | unsat |
433168617 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.042461 | 0.0573861 | 113176.0 | unsat | unsat |
433168647 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.075618 | 0.0909679 | 113176.0 | unsat | unsat |
433168650 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.07325 | 1.12545 | 209684.0 | sat | sat |
433168684 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.561631 | 0.596932 | 188480.0 | sat | sat |
433168622 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.59 | 0.626523 | 185908.0 | sat | sat |
433168608 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.094534 | 0.110639 | 113176.0 | unsat | unsat |
433168612 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.106003 | 0.126343 | 113176.0 | sat | sat |
433168634 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.709528 | 0.750283 | 191700.0 | sat | sat |
433168636 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.439041 | 0.470478 | 113176.0 | sat | sat |
433168626 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.212446 | 0.237989 | 113176.0 | sat | sat |
433168630 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.76 | 0.787445 | 195264.0 | sat | sat |
433168646 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.091835 | 0.107657 | 113176.0 | unsat | unsat |
433168642 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.064005 | 0.0793189 | 113176.0 | unsat | unsat |
433168716 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.042961 | 0.0581021 | 113176.0 | unsat | unsat |
433168703 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.045625 | 0.0607589 | 113176.0 | unsat | unsat |
433168710 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.66 | 1.70314 | 231564.0 | sat | sat |
433168714 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.08522 | 0.106018 | 113176.0 | sat | sat |
433168686 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052476 | 0.0762689 | 113176.0 | unsat | unsat |
433168689 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.48 | 2.53372 | 264520.0 | sat | sat |
433168693 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.301337 | 0.328797 | 113176.0 | sat | sat |
433168697 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.051293 | 0.066145 | 113176.0 | unsat | unsat |
433168676 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.173335 | 0.198161 | 113176.0 | sat | sat |
433168672 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.113974 | 0.130567 | 113176.0 | unsat | unsat |
433168615 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.113645 | 0.130544 | 113176.0 | unsat | unsat |
433168708 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.049408 | 0.064223 | 113176.0 | unsat | unsat |
433168705 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.546156 | 0.584727 | 185916.0 | sat | sat |
433168701 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.870021 | 0.914608 | 195268.0 | sat | sat |
433168698 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.650895 | 0.6875 | 191696.0 | sat | sat |
433168695 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.071763 | 0.0872619 | 113176.0 | unsat | unsat |
433168688 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.105815 | 0.122214 | 113176.0 | unsat | unsat |
433168685 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.580275 | 0.61722 | 185900.0 | sat | sat |
433168679 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.511066 | 0.543481 | 188608.0 | sat | sat |
433168682 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.514375 | 0.549935 | 113176.0 | sat | sat |
433168619 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.069046 | 0.0839949 | 113176.0 | unsat | unsat |