433168747 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012347 | 0.012402 | 113176.0 | unsat | unsat |
433168755 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012708 | 0.012783 | 113176.0 | sat | sat |
433168751 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013222 | 0.0132691 | 113176.0 | unsat | unsat |
433168762 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013001 | 0.0130709 | 113176.0 | unsat | unsat |
433168759 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013485 | 0.013509 | 113176.0 | sat | sat |
433168768 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011866 | 0.0119 | 113176.0 | sat | sat |
433168765 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012762 | 0.012784 | 113176.0 | sat | sat |
433168721 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013666 | 0.013745 | 113176.0 | unsat | unsat |
433168726 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012274 | 0.0123209 | 113176.0 | unsat | unsat |
433168784 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012713 | 0.0127461 | 113176.0 | sat | sat |
433168787 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0137 | 0.0137491 | 113176.0 | unsat | unsat |
433168785 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012062 | 0.0144001 | 0.0 | sat | sat |
433168781 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012661 | 0.012744 | 113176.0 | sat | sat |
433168780 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.019042 | 0.0191071 | 113176.0 | unsat | unsat |
433168777 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012023 | 0.0120499 | 113176.0 | sat | sat |
433168774 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012497 | 0.0125489 | 113176.0 | sat | sat |
433168771 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013749 | 0.013782 | 113176.0 | unsat | unsat |
433168822 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012232 | 0.0123019 | 113176.0 | sat | sat |
433168827 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01318 | 0.013252 | 113176.0 | unsat | unsat |
433168754 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01293 | 0.0129889 | 113176.0 | sat | sat |
433168741 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013634 | 0.0148189 | 0.0 | unsat | unsat |
433168739 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013575 | 0.013615 | 113176.0 | unsat | unsat |
433168735 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012476 | 0.012505 | 113176.0 | unsat | unsat |
433168734 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012693 | 0.012718 | 113176.0 | unsat | unsat |
433168730 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012026 | 0.0120771 | 113176.0 | sat | sat |
433168724 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014896 | 0.0149249 | 113176.0 | unsat | unsat |
433168720 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015795 | 0.015889 | 113176.0 | unsat | unsat |
433168764 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012415 | 0.012472 | 113176.0 | sat | sat |
433168767 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012696 | 0.012765 | 113176.0 | sat | sat |
433168804 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012252 | 0.0122861 | 113176.0 | sat | sat |
433168793 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013948 | 0.0139829 | 113176.0 | unsat | unsat |
433168806 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012911 | 0.0129611 | 113176.0 | sat | sat |
433168801 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014944 | 0.014977 | 113176.0 | unsat | unsat |
433168817 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016947 | 0.0170321 | 113176.0 | unsat | unsat |
433168812 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013768 | 0.0138381 | 113176.0 | unsat | unsat |
433168825 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014235 | 0.014301 | 113176.0 | unsat | unsat |
433168821 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012972 | 0.013048 | 113176.0 | unsat | unsat |
433168770 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012307 | 0.0123729 | 113176.0 | sat | sat |
433168773 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013933 | 0.0139829 | 0.0 | unsat | unsat |
433168738 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012028 | 0.0120611 | 113176.0 | sat | sat |
433168783 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013369 | 0.013425 | 113176.0 | sat | sat |
433168791 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018087 | 0.018124 | 113176.0 | unsat | unsat |
433168790 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012985 | 0.0130299 | 113176.0 | unsat | unsat |
433168772 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01315 | 0.0131809 | 113176.0 | sat | sat |
433168769 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013249 | 0.01331 | 113176.0 | unsat | unsat |
433168779 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013736 | 0.0138041 | 113176.0 | unsat | unsat |
433168776 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013242 | 0.0133289 | 113176.0 | sat | sat |
433168810 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016166 | 0.0162011 | 113176.0 | unsat | unsat |
433168816 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016213 | 0.0162789 | 113176.0 | unsat | unsat |
433168748 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018294 | 0.0183269 | 113176.0 | unsat | unsat |
433168753 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012421 | 0.012447 | 113176.0 | sat | sat |
433168750 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013897 | 0.0139589 | 113176.0 | unsat | unsat |
433168749 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013372 | 0.013402 | 113176.0 | sat | sat |
433168766 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012966 | 0.0129939 | 113176.0 | sat | sat |
433168763 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014613 | 0.0146489 | 113176.0 | unsat | unsat |
433168761 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012514 | 0.012548 | 113176.0 | sat | sat |
433168758 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012519 | 0.012567 | 113176.0 | sat | sat |
433168728 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013894 | 0.0139151 | 113176.0 | unsat | unsat |
433168733 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013312 | 0.01338 | 113176.0 | unsat | unsat |
433168788 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012576 | 0.0126319 | 113176.0 | sat | sat |
433168802 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013351 | 0.0133771 | 113176.0 | unsat | unsat |
433168800 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014689 | 0.014756 | 113176.0 | unsat | unsat |
433168797 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012838 | 0.039825 | 0.0 | sat | sat |
433168823 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013635 | 0.0136679 | 113176.0 | sat | sat |
433168819 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012683 | 0.01274 | 113176.0 | unsat | unsat |
433168814 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01295 | 0.01302 | 113176.0 | sat | sat |
433168809 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014887 | 0.0149141 | 113176.0 | unsat | unsat |
433168775 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013552 | 0.013611 | 113176.0 | unsat | unsat |
433168778 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013321 | 0.0133579 | 113176.0 | sat | sat |
433168742 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012849 | 0.012907 | 113176.0 | sat | sat |
433168737 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012986 | 0.0130191 | 113176.0 | sat | sat |
433168745 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013502 | 0.0135691 | 113176.0 | sat | sat |
433168743 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013027 | 0.0130651 | 113176.0 | unsat | unsat |
433168723 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014336 | 0.0144099 | 113176.0 | sat | sat |
433168719 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01358 | 0.013653 | 113176.0 | sat | sat |
433168731 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.022113 | 0.0221449 | 113176.0 | unsat | unsat |
433168727 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016849 | 0.016875 | 113176.0 | unsat | unsat |
433168757 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015932 | 0.0160321 | 113176.0 | unsat | unsat |
433168760 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015235 | 0.0152909 | 113176.0 | sat | sat |
433168794 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012939 | 0.0130631 | 113176.0 | sat | sat |
433168732 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014143 | 0.0141761 | 113176.0 | sat | sat |
433168718 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014602 | 0.0146521 | 113176.0 | unsat | unsat |
433168722 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013048 | 0.013082 | 113176.0 | sat | sat |
433168744 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013918 | 0.0139929 | 113176.0 | sat | sat |
433168746 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013656 | 0.0136659 | 113176.0 | sat | sat |
433168736 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01325 | 0.0132981 | 113176.0 | sat | sat |
433168740 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014504 | 0.0145401 | 113176.0 | sat | sat |
433168756 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013917 | 0.0139541 | 113176.0 | unsat | unsat |
433168752 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016154 | 0.016233 | 113176.0 | unsat | unsat |
433168826 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013899 | 0.013982 | 113176.0 | unsat | unsat |
433168813 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013543 | 0.013586 | 113176.0 | unsat | unsat |
433168820 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017002 | 0.017042 | 113176.0 | sat | sat |
433168824 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013143 | 0.0131781 | 113176.0 | sat | sat |
433168796 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014011 | 0.0140449 | 113176.0 | unsat | unsat |
433168799 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.031844 | 0.031892 | 113176.0 | sat | sat |
433168803 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013405 | 0.01345 | 113176.0 | sat | sat |
433168807 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014298 | 0.0143561 | 113176.0 | unsat | unsat |
433168786 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012916 | 0.012971 | 113176.0 | sat | sat |
433168782 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013344 | 0.013387 | 113176.0 | unsat | unsat |
433168725 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.03547 | 0.0354971 | 113176.0 | unsat | unsat |
433168818 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012896 | 0.0129669 | 113176.0 | unsat | unsat |
433168815 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012745 | 0.0127689 | 113176.0 | sat | sat |
433168811 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013474 | 0.0135051 | 113176.0 | sat | sat |
433168808 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01315 | 0.0132109 | 113176.0 | sat | sat |
433168805 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.045163 | 0.0452399 | 113176.0 | unsat | unsat |
433168798 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014776 | 0.014857 | 113176.0 | unsat | unsat |
433168795 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013139 | 0.0131851 | 113176.0 | sat | sat |
433168789 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012461 | 0.0125479 | 113176.0 | sat | sat |
433168792 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012883 | 0.012948 | 113176.0 | sat | sat |
433168729 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014379 | 0.0144549 | 113176.0 | unsat | unsat |