| 433168087 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | ASTERIX | 20618 | default | 304295 | complete | 0.012013 | 0.0120511 | 113176.0 | unsat | unsat |
| 433168095 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | ASTERIX | 20618 | default | 304295 | complete | 0.012364 | 0.012433 | 113176.0 | sat | sat |
| 433168091 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | ASTERIX | 20618 | default | 304295 | complete | 0.012506 | 0.012581 | 113176.0 | unsat | unsat |
| 433168102 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | ASTERIX | 20618 | default | 304295 | complete | 0.012102 | 0.0121591 | 113176.0 | unsat | unsat |
| 433168099 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | ASTERIX | 20618 | default | 304295 | complete | 0.012746 | 0.012821 | 113176.0 | sat | sat |
| 433168108 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | ASTERIX | 20618 | default | 304295 | complete | 0.011824 | 0.011852 | 113176.0 | sat | sat |
| 433168105 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | ASTERIX | 20618 | default | 304295 | complete | 0.012333 | 0.0124079 | 113176.0 | sat | sat |
| 433168061 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | ASTERIX | 20618 | default | 304295 | complete | 0.012175 | 0.0122059 | 113176.0 | unsat | unsat |
| 433168066 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | ASTERIX | 20618 | default | 304295 | complete | 0.012895 | 0.0129411 | 113176.0 | unsat | unsat |
| 433168124 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | ASTERIX | 20618 | default | 304295 | complete | 0.012084 | 0.012131 | 113176.0 | sat | sat |
| 433168127 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | ASTERIX | 20618 | default | 304295 | complete | 0.012002 | 0.012044 | 113176.0 | unsat | unsat |
| 433168125 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | ASTERIX | 20618 | default | 304295 | complete | 0.011857 | 0.011882 | 113176.0 | sat | sat |
| 433168121 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | ASTERIX | 20618 | default | 304295 | complete | 0.012424 | 0.012492 | 113176.0 | sat | sat |
| 433168120 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | ASTERIX | 20618 | default | 304295 | complete | 0.013076 | 0.0131431 | 113176.0 | unsat | unsat |
| 433168117 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | ASTERIX | 20618 | default | 304295 | complete | 0.012155 | 0.0121951 | 113176.0 | sat | sat |
| 433168114 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | ASTERIX | 20618 | default | 304295 | complete | 0.012816 | 0.0128879 | 113176.0 | sat | sat |
| 433168111 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | ASTERIX | 20618 | default | 304295 | complete | 0.01239 | 0.012411 | 113176.0 | unsat | unsat |
| 433168162 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | ASTERIX | 20618 | default | 304295 | complete | 0.012028 | 0.0120571 | 113176.0 | sat | sat |
| 433168167 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | ASTERIX | 20618 | default | 304295 | complete | 0.012498 | 0.01256 | 113176.0 | unsat | unsat |
| 433168094 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | ASTERIX | 20618 | default | 304295 | complete | 0.012546 | 0.0125911 | 113176.0 | sat | sat |
| 433168081 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | ASTERIX | 20618 | default | 304295 | complete | 0.012716 | 0.0127721 | 113176.0 | unsat | unsat |
| 433168079 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | ASTERIX | 20618 | default | 304295 | complete | 0.012872 | 0.0129391 | 113176.0 | unsat | unsat |
| 433168075 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | ASTERIX | 20618 | default | 304295 | complete | 0.012094 | 0.0121279 | 113176.0 | unsat | unsat |
| 433168074 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | ASTERIX | 20618 | default | 304295 | complete | 0.012739 | 0.0128251 | 113176.0 | unsat | unsat |
| 433168070 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | ASTERIX | 20618 | default | 304295 | complete | 0.012275 | 0.012331 | 113176.0 | sat | sat |
| 433168064 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | ASTERIX | 20618 | default | 304295 | complete | 0.012762 | 0.0128249 | 113176.0 | unsat | unsat |
| 433168060 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | ASTERIX | 20618 | default | 304295 | complete | 0.012606 | 0.0126819 | 113176.0 | unsat | unsat |
| 433168104 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | ASTERIX | 20618 | default | 304295 | complete | 0.012959 | 0.0129909 | 113176.0 | sat | sat |
| 433168107 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | ASTERIX | 20618 | default | 304295 | complete | 0.011979 | 0.012016 | 113176.0 | sat | sat |
| 433168144 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | ASTERIX | 20618 | default | 304295 | complete | 0.012685 | 0.0127561 | 113176.0 | sat | sat |
| 433168133 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | ASTERIX | 20618 | default | 304295 | complete | 0.012559 | 0.0126319 | 113176.0 | unsat | unsat |
| 433168146 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | ASTERIX | 20618 | default | 304295 | complete | 0.011954 | 0.0119961 | 113176.0 | sat | sat |
| 433168141 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | ASTERIX | 20618 | default | 304295 | complete | 0.013295 | 0.0134209 | 113176.0 | unsat | unsat |
| 433168157 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | ASTERIX | 20618 | default | 304295 | complete | 0.012978 | 0.0130819 | 113176.0 | unsat | unsat |
| 433168152 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | ASTERIX | 20618 | default | 304295 | complete | 0.013924 | 0.013952 | 113176.0 | unsat | unsat |
| 433168165 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | ASTERIX | 20618 | default | 304295 | complete | 0.012238 | 0.012299 | 113176.0 | unsat | unsat |
| 433168161 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | ASTERIX | 20618 | default | 304295 | complete | 0.013455 | 0.0135019 | 113176.0 | unsat | unsat |
| 433168110 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | ASTERIX | 20618 | default | 304295 | complete | 0.012769 | 0.012809 | 113176.0 | sat | sat |
| 433168113 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | ASTERIX | 20618 | default | 304295 | complete | 0.014014 | 0.0140691 | 113176.0 | unsat | unsat |
| 433168078 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | ASTERIX | 20618 | default | 304295 | complete | 0.01248 | 0.0125171 | 113176.0 | sat | sat |
| 433168123 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | ASTERIX | 20618 | default | 304295 | complete | 0.013025 | 0.0130779 | 113176.0 | sat | sat |
| 433168131 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | ASTERIX | 20618 | default | 304295 | complete | 0.012736 | 0.012802 | 113176.0 | unsat | unsat |
| 433168130 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | ASTERIX | 20618 | default | 304295 | complete | 0.012236 | 0.012272 | 113176.0 | unsat | unsat |
| 433168112 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | ASTERIX | 20618 | default | 304295 | complete | 0.012991 | 0.013067 | 113176.0 | sat | sat |
| 433168109 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | ASTERIX | 20618 | default | 304295 | complete | 0.013172 | 0.0132461 | 113176.0 | unsat | unsat |
| 433168119 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | ASTERIX | 20618 | default | 304295 | complete | 0.01224 | 0.0122869 | 113176.0 | unsat | unsat |
| 433168116 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | ASTERIX | 20618 | default | 304295 | complete | 0.012471 | 0.012528 | 113176.0 | sat | sat |
| 433168150 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | ASTERIX | 20618 | default | 304295 | complete | 0.015322 | 0.0153981 | 113176.0 | unsat | unsat |
| 433168156 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | ASTERIX | 20618 | default | 304295 | complete | 0.013077 | 0.0131171 | 113176.0 | unsat | unsat |
| 433168088 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | ASTERIX | 20618 | default | 304295 | complete | 0.01252 | 0.0125899 | 113176.0 | unsat | unsat |
| 433168093 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | ASTERIX | 20618 | default | 304295 | complete | 0.013182 | 0.0132199 | 113176.0 | sat | sat |
| 433168090 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | ASTERIX | 20618 | default | 304295 | complete | 0.012978 | 0.0130229 | 113176.0 | unsat | unsat |
| 433168089 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | ASTERIX | 20618 | default | 304295 | complete | 0.013287 | 0.013368 | 113176.0 | sat | sat |
| 433168106 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | ASTERIX | 20618 | default | 304295 | complete | 0.012152 | 0.0121939 | 113176.0 | sat | sat |
| 433168103 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | ASTERIX | 20618 | default | 304295 | complete | 0.014211 | 0.0142419 | 113176.0 | unsat | unsat |
| 433168101 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | ASTERIX | 20618 | default | 304295 | complete | 0.012835 | 0.0128921 | 113176.0 | sat | sat |
| 433168098 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | ASTERIX | 20618 | default | 304295 | complete | 0.01261 | 0.012665 | 113176.0 | sat | sat |
| 433168068 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | ASTERIX | 20618 | default | 304295 | complete | 0.01244 | 0.0124681 | 113176.0 | unsat | unsat |
| 433168073 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | ASTERIX | 20618 | default | 304295 | complete | 0.012389 | 0.0124459 | 113176.0 | unsat | unsat |
| 433168128 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | ASTERIX | 20618 | default | 304295 | complete | 0.012636 | 0.0126661 | 113176.0 | sat | sat |
| 433168142 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | ASTERIX | 20618 | default | 304295 | complete | 0.012979 | 0.0130421 | 113176.0 | unsat | unsat |
| 433168140 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | ASTERIX | 20618 | default | 304295 | complete | 0.012847 | 0.012928 | 113176.0 | unsat | unsat |
| 433168137 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | ASTERIX | 20618 | default | 304295 | complete | 0.012647 | 0.012684 | 113176.0 | sat | sat |
| 433168163 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | ASTERIX | 20618 | default | 304295 | complete | 0.01312 | 0.01315 | 113176.0 | sat | sat |
| 433168159 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | ASTERIX | 20618 | default | 304295 | complete | 0.012264 | 0.0123231 | 113176.0 | unsat | unsat |
| 433168154 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | ASTERIX | 20618 | default | 304295 | complete | 0.0125 | 0.0125369 | 113176.0 | sat | sat |
| 433168149 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | ASTERIX | 20618 | default | 304295 | complete | 0.013303 | 0.013349 | 113176.0 | unsat | unsat |
| 433168115 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | ASTERIX | 20618 | default | 304295 | complete | 0.012696 | 0.0127431 | 113176.0 | unsat | unsat |
| 433168118 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | ASTERIX | 20618 | default | 304295 | complete | 0.012732 | 0.012791 | 113176.0 | sat | sat |
| 433168082 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | ASTERIX | 20618 | default | 304295 | complete | 0.013237 | 0.013318 | 113176.0 | sat | sat |
| 433168077 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | ASTERIX | 20618 | default | 304295 | complete | 0.013164 | 0.0132049 | 113176.0 | sat | sat |
| 433168085 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | ASTERIX | 20618 | default | 304295 | complete | 0.013694 | 0.013745 | 113176.0 | sat | sat |
| 433168083 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | ASTERIX | 20618 | default | 304295 | complete | 0.013043 | 0.0130801 | 113176.0 | unsat | unsat |
| 433168063 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | ASTERIX | 20618 | default | 304295 | complete | 0.012521 | 0.0125599 | 113176.0 | sat | sat |
| 433168059 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | ASTERIX | 20618 | default | 304295 | complete | 0.014991 | 0.015008 | 113176.0 | sat | sat |
| 433168071 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | ASTERIX | 20618 | default | 304295 | complete | 0.013187 | 0.0132289 | 113176.0 | unsat | unsat |
| 433168067 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | ASTERIX | 20618 | default | 304295 | complete | 0.012636 | 0.0127059 | 113176.0 | unsat | unsat |
| 433168097 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | ASTERIX | 20618 | default | 304295 | complete | 0.013067 | 0.0131139 | 113176.0 | unsat | unsat |
| 433168100 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | ASTERIX | 20618 | default | 304295 | complete | 0.014223 | 0.0142941 | 113176.0 | sat | sat |
| 433168134 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | ASTERIX | 20618 | default | 304295 | complete | 0.013335 | 0.0134211 | 113176.0 | sat | sat |
| 433168072 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | ASTERIX | 20618 | default | 304295 | complete | 0.012833 | 0.014696 | 113176.0 | sat | sat |
| 433168058 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | ASTERIX | 20618 | default | 304295 | complete | 0.013315 | 0.013337 | 113176.0 | unsat | unsat |
| 433168062 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | ASTERIX | 20618 | default | 304295 | complete | 0.012725 | 0.0127671 | 113176.0 | sat | sat |
| 433168084 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | ASTERIX | 20618 | default | 304295 | complete | 0.013429 | 0.0134971 | 113176.0 | sat | sat |
| 433168086 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | ASTERIX | 20618 | default | 304295 | complete | 0.013163 | 0.0132671 | 113176.0 | sat | sat |
| 433168076 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | ASTERIX | 20618 | default | 304295 | complete | 0.012559 | 0.0126011 | 113176.0 | sat | sat |
| 433168080 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | ASTERIX | 20618 | default | 304295 | complete | 0.013627 | 0.0136831 | 113176.0 | sat | sat |
| 433168096 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | ASTERIX | 20618 | default | 304295 | complete | 0.013243 | 0.013313 | 113176.0 | unsat | unsat |
| 433168092 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | ASTERIX | 20618 | default | 304295 | complete | 0.013265 | 0.013327 | 113176.0 | unsat | unsat |
| 433168166 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | ASTERIX | 20618 | default | 304295 | complete | 0.0128 | 0.012836 | 113176.0 | unsat | unsat |
| 433168153 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | ASTERIX | 20618 | default | 304295 | complete | 0.012429 | 0.012458 | 113176.0 | unsat | unsat |
| 433168160 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | ASTERIX | 20618 | default | 304295 | complete | 0.015377 | 0.0154749 | 113176.0 | sat | sat |
| 433168164 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | ASTERIX | 20618 | default | 304295 | complete | 0.013675 | 0.0137511 | 113176.0 | sat | sat |
| 433168136 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | ASTERIX | 20618 | default | 304295 | complete | 0.012903 | 0.0129249 | 113176.0 | unsat | unsat |
| 433168139 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | ASTERIX | 20618 | default | 304295 | complete | 0.015097 | 0.0151829 | 113176.0 | sat | sat |
| 433168143 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | ASTERIX | 20618 | default | 304295 | complete | 0.013097 | 0.0131229 | 113176.0 | sat | sat |
| 433168147 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | ASTERIX | 20618 | default | 304295 | complete | 0.013046 | 0.0130971 | 113176.0 | unsat | unsat |
| 433168126 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | ASTERIX | 20618 | default | 304295 | complete | 0.012975 | 0.0130501 | 113176.0 | sat | sat |
| 433168122 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | ASTERIX | 20618 | default | 304295 | complete | 0.014056 | 0.0141381 | 113176.0 | unsat | unsat |
| 433168065 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | ASTERIX | 20618 | default | 304295 | complete | 0.014422 | 0.0145071 | 113176.0 | unsat | unsat |
| 433168158 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | ASTERIX | 20618 | default | 304295 | complete | 0.013177 | 0.0132541 | 113176.0 | unsat | unsat |
| 433168155 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | ASTERIX | 20618 | default | 304295 | complete | 0.015119 | 0.0151539 | 113176.0 | sat | sat |
| 433168151 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | ASTERIX | 20618 | default | 304295 | complete | 0.013434 | 0.013467 | 113176.0 | sat | sat |
| 433168148 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | ASTERIX | 20618 | default | 304295 | complete | 0.015331 | 0.0154071 | 113176.0 | sat | sat |
| 433168145 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | ASTERIX | 20618 | default | 304295 | complete | 0.013377 | 0.0134031 | 113176.0 | unsat | unsat |
| 433168138 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | ASTERIX | 20618 | default | 304295 | complete | 0.013451 | 0.0134881 | 113176.0 | unsat | unsat |
| 433168135 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | ASTERIX | 20618 | default | 304295 | complete | 0.0133 | 0.0133249 | 113176.0 | sat | sat |
| 433168129 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | ASTERIX | 20618 | default | 304295 | complete | 0.013917 | 0.0139961 | 113176.0 | sat | sat |
| 433168132 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | ASTERIX | 20618 | default | 304295 | complete | 0.012995 | 0.013026 | 113176.0 | sat | sat |
| 433168069 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | ASTERIX | 20618 | default | 304295 | complete | 0.012738 | 0.0127811 | 113176.0 | unsat | unsat |