433168417 | qf_shls_sat/spaguetti-10-e01.tptp.smt2 | 8317077 | SLEEK | 20564 | default | 304221 | complete | 0.079591 | 0.0747661 | 113176.0 | unsat | unsat |
433168425 | qf_shls_sat/spaguetti-10-e02.tptp.smt2 | 8317085 | SLEEK | 20564 | default | 304221 | complete | 0.076528 | 0.071699 | 113176.0 | sat | sat |
433168421 | qf_shls_sat/spaguetti-10-e03.tptp.smt2 | 8317081 | SLEEK | 20564 | default | 304221 | complete | 0.080873 | 0.075931 | 113176.0 | unsat | unsat |
433168432 | qf_shls_sat/spaguetti-10-e04.tptp.smt2 | 8317092 | SLEEK | 20564 | default | 304221 | complete | 0.087053 | 0.081718 | 113176.0 | unsat | unsat |
433168429 | qf_shls_sat/spaguetti-10-e05.tptp.smt2 | 8317089 | SLEEK | 20564 | default | 304221 | complete | 0.081893 | 0.0768399 | 113176.0 | sat | sat |
433168438 | qf_shls_sat/spaguetti-10-e06.tptp.smt2 | 8317098 | SLEEK | 20564 | default | 304221 | complete | 0.072949 | 0.0688121 | 113176.0 | sat | sat |
433168435 | qf_shls_sat/spaguetti-10-e07.tptp.smt2 | 8317095 | SLEEK | 20564 | default | 304221 | complete | 0.075906 | 0.0715089 | 113176.0 | sat | sat |
433168391 | qf_shls_sat/spaguetti-10-e08.tptp.smt2 | 8317051 | SLEEK | 20564 | default | 304221 | complete | 0.083144 | 0.0780091 | 113176.0 | unsat | unsat |
433168396 | qf_shls_sat/spaguetti-10-e09.tptp.smt2 | 8317056 | SLEEK | 20564 | default | 304221 | complete | 0.080487 | 0.075637 | 113176.0 | unsat | unsat |
433168454 | qf_shls_sat/spaguetti-10-e10.tptp.smt2 | 8317114 | SLEEK | 20564 | default | 304221 | complete | 0.076565 | 0.072163 | 113176.0 | sat | sat |
433168457 | qf_shls_sat/spaguetti-11-e01.tptp.smt2 | 8317117 | SLEEK | 20564 | default | 304221 | complete | 0.080298 | 0.0752039 | 113176.0 | unsat | unsat |
433168455 | qf_shls_sat/spaguetti-11-e02.tptp.smt2 | 8317115 | SLEEK | 20564 | default | 304221 | complete | 0.072756 | 0.0684389 | 113176.0 | sat | sat |
433168451 | qf_shls_sat/spaguetti-11-e03.tptp.smt2 | 8317111 | SLEEK | 20564 | default | 304221 | complete | 0.073415 | 0.0687501 | 113176.0 | sat | sat |
433168450 | qf_shls_sat/spaguetti-11-e04.tptp.smt2 | 8317110 | SLEEK | 20564 | default | 304221 | complete | 0.092236 | 0.0867301 | 113176.0 | unsat | unsat |
433168447 | qf_shls_sat/spaguetti-11-e05.tptp.smt2 | 8317107 | SLEEK | 20564 | default | 304221 | complete | 0.080193 | 0.075523 | 113176.0 | sat | sat |
433168444 | qf_shls_sat/spaguetti-11-e06.tptp.smt2 | 8317104 | SLEEK | 20564 | default | 304221 | complete | 0.090496 | 0.085372 | 113176.0 | sat | sat |
433168441 | qf_shls_sat/spaguetti-11-e07.tptp.smt2 | 8317101 | SLEEK | 20564 | default | 304221 | complete | 0.084242 | 0.0790449 | 113176.0 | unsat | unsat |
433168492 | qf_shls_sat/spaguetti-11-e08.tptp.smt2 | 8317152 | SLEEK | 20564 | default | 304221 | complete | 0.073439 | 0.0687619 | 113176.0 | sat | sat |
433168497 | qf_shls_sat/spaguetti-11-e09.tptp.smt2 | 8317157 | SLEEK | 20564 | default | 304221 | complete | 0.08738 | 0.0821379 | 113176.0 | unsat | unsat |
433168424 | qf_shls_sat/spaguetti-11-e10.tptp.smt2 | 8317084 | SLEEK | 20564 | default | 304221 | complete | 0.083751 | 0.0788129 | 113176.0 | sat | sat |
433168411 | qf_shls_sat/spaguetti-12-e01.tptp.smt2 | 8317071 | SLEEK | 20564 | default | 304221 | complete | 0.080567 | 0.075627 | 113176.0 | unsat | unsat |
433168409 | qf_shls_sat/spaguetti-12-e02.tptp.smt2 | 8317069 | SLEEK | 20564 | default | 304221 | complete | 0.093724 | 0.088192 | 113176.0 | unsat | unsat |
433168405 | qf_shls_sat/spaguetti-12-e03.tptp.smt2 | 8317065 | SLEEK | 20564 | default | 304221 | complete | 0.083756 | 0.078586 | 113176.0 | unsat | unsat |
433168404 | qf_shls_sat/spaguetti-12-e04.tptp.smt2 | 8317064 | SLEEK | 20564 | default | 304221 | complete | 0.083081 | 0.078054 | 113176.0 | unsat | unsat |
433168400 | qf_shls_sat/spaguetti-12-e05.tptp.smt2 | 8317060 | SLEEK | 20564 | default | 304221 | complete | 0.075608 | 0.071276 | 113176.0 | sat | sat |
433168394 | qf_shls_sat/spaguetti-12-e06.tptp.smt2 | 8317054 | SLEEK | 20564 | default | 304221 | complete | 0.086044 | 0.081044 | 113176.0 | unsat | unsat |
433168390 | qf_shls_sat/spaguetti-12-e07.tptp.smt2 | 8317050 | SLEEK | 20564 | default | 304221 | complete | 0.08287 | 0.0777009 | 113176.0 | unsat | unsat |
433168434 | qf_shls_sat/spaguetti-12-e08.tptp.smt2 | 8317094 | SLEEK | 20564 | default | 304221 | complete | 0.083433 | 0.0783849 | 113176.0 | sat | sat |
433168437 | qf_shls_sat/spaguetti-12-e09.tptp.smt2 | 8317097 | SLEEK | 20564 | default | 304221 | complete | 0.073725 | 0.06937 | 113176.0 | sat | sat |
433168474 | qf_shls_sat/spaguetti-12-e10.tptp.smt2 | 8317134 | SLEEK | 20564 | default | 304221 | complete | 0.076616 | 0.0718281 | 113176.0 | sat | sat |
433168463 | qf_shls_sat/spaguetti-13-e01.tptp.smt2 | 8317123 | SLEEK | 20564 | default | 304221 | complete | 0.086527 | 0.081222 | 113176.0 | unsat | unsat |
433168476 | qf_shls_sat/spaguetti-13-e02.tptp.smt2 | 8317136 | SLEEK | 20564 | default | 304221 | complete | 0.075061 | 0.070735 | 113176.0 | sat | sat |
433168471 | qf_shls_sat/spaguetti-13-e03.tptp.smt2 | 8317131 | SLEEK | 20564 | default | 304221 | complete | 0.0864 | 0.0811271 | 113176.0 | unsat | unsat |
433168487 | qf_shls_sat/spaguetti-13-e04.tptp.smt2 | 8317147 | SLEEK | 20564 | default | 304221 | complete | 0.089781 | 0.0845499 | 113176.0 | unsat | unsat |
433168482 | qf_shls_sat/spaguetti-13-e05.tptp.smt2 | 8317142 | SLEEK | 20564 | default | 304221 | complete | 0.095345 | 0.089713 | 113176.0 | unsat | unsat |
433168495 | qf_shls_sat/spaguetti-13-e06.tptp.smt2 | 8317155 | SLEEK | 20564 | default | 304221 | complete | 0.081571 | 0.0764909 | 113176.0 | unsat | unsat |
433168491 | qf_shls_sat/spaguetti-13-e07.tptp.smt2 | 8317151 | SLEEK | 20564 | default | 304221 | complete | 0.115167 | 0.109172 | 113176.0 | unsat | unsat |
433168440 | qf_shls_sat/spaguetti-13-e08.tptp.smt2 | 8317100 | SLEEK | 20564 | default | 304221 | complete | 0.082279 | 0.0771651 | 113176.0 | sat | sat |
433168443 | qf_shls_sat/spaguetti-13-e09.tptp.smt2 | 8317103 | SLEEK | 20564 | default | 304221 | complete | 0.099038 | 0.09334 | 113176.0 | unsat | unsat |
433168408 | qf_shls_sat/spaguetti-13-e10.tptp.smt2 | 8317068 | SLEEK | 20564 | default | 304221 | complete | 0.076214 | 0.0715271 | 113176.0 | sat | sat |
433168453 | qf_shls_sat/spaguetti-14-e01.tptp.smt2 | 8317113 | SLEEK | 20564 | default | 304221 | complete | 0.082162 | 0.0770939 | 113176.0 | sat | sat |
433168461 | qf_shls_sat/spaguetti-14-e02.tptp.smt2 | 8317121 | SLEEK | 20564 | default | 304221 | complete | 0.082424 | 0.0771669 | 113176.0 | unsat | unsat |
433168460 | qf_shls_sat/spaguetti-14-e03.tptp.smt2 | 8317120 | SLEEK | 20564 | default | 304221 | complete | 0.085657 | 0.080517 | 113176.0 | unsat | unsat |
433168442 | qf_shls_sat/spaguetti-14-e04.tptp.smt2 | 8317102 | SLEEK | 20564 | default | 304221 | complete | 0.087845 | 0.0826921 | 113176.0 | sat | sat |
433168439 | qf_shls_sat/spaguetti-14-e05.tptp.smt2 | 8317099 | SLEEK | 20564 | default | 304221 | complete | 0.090649 | 0.0852951 | 113176.0 | unsat | unsat |
433168449 | qf_shls_sat/spaguetti-14-e06.tptp.smt2 | 8317109 | SLEEK | 20564 | default | 304221 | complete | 0.08035 | 0.0754519 | 113176.0 | unsat | unsat |
433168446 | qf_shls_sat/spaguetti-14-e07.tptp.smt2 | 8317106 | SLEEK | 20564 | default | 304221 | complete | 0.080671 | 0.0756941 | 113176.0 | sat | sat |
433168480 | qf_shls_sat/spaguetti-14-e08.tptp.smt2 | 8317140 | SLEEK | 20564 | default | 304221 | complete | 0.110827 | 0.104916 | 113176.0 | unsat | unsat |
433168486 | qf_shls_sat/spaguetti-14-e09.tptp.smt2 | 8317146 | SLEEK | 20564 | default | 304221 | complete | 0.098124 | 0.0926141 | 113176.0 | unsat | unsat |
433168418 | qf_shls_sat/spaguetti-14-e10.tptp.smt2 | 8317078 | SLEEK | 20564 | default | 304221 | complete | 0.084861 | 0.079876 | 113176.0 | unsat | unsat |
433168423 | qf_shls_sat/spaguetti-15-e01.tptp.smt2 | 8317083 | SLEEK | 20564 | default | 304221 | complete | 0.088283 | 0.0829019 | 113176.0 | sat | sat |
433168420 | qf_shls_sat/spaguetti-15-e02.tptp.smt2 | 8317080 | SLEEK | 20564 | default | 304221 | complete | 0.091799 | 0.086272 | 113176.0 | unsat | unsat |
433168419 | qf_shls_sat/spaguetti-15-e03.tptp.smt2 | 8317079 | SLEEK | 20564 | default | 304221 | complete | 0.09146 | 0.086217 | 113176.0 | sat | sat |
433168436 | qf_shls_sat/spaguetti-15-e04.tptp.smt2 | 8317096 | SLEEK | 20564 | default | 304221 | complete | 0.079369 | 0.074553 | 113176.0 | sat | sat |
433168433 | qf_shls_sat/spaguetti-15-e05.tptp.smt2 | 8317093 | SLEEK | 20564 | default | 304221 | complete | 0.095326 | 0.0898679 | 113176.0 | unsat | unsat |
433168431 | qf_shls_sat/spaguetti-15-e06.tptp.smt2 | 8317091 | SLEEK | 20564 | default | 304221 | complete | 0.084803 | 0.0795909 | 113176.0 | sat | sat |
433168428 | qf_shls_sat/spaguetti-15-e07.tptp.smt2 | 8317088 | SLEEK | 20564 | default | 304221 | complete | 0.083376 | 0.078373 | 113176.0 | sat | sat |
433168398 | qf_shls_sat/spaguetti-15-e08.tptp.smt2 | 8317058 | SLEEK | 20564 | default | 304221 | complete | 0.101101 | 0.0960329 | 113176.0 | unsat | unsat |
433168403 | qf_shls_sat/spaguetti-15-e09.tptp.smt2 | 8317063 | SLEEK | 20564 | default | 304221 | complete | 0.093501 | 0.088316 | 113176.0 | unsat | unsat |
433168458 | qf_shls_sat/spaguetti-15-e10.tptp.smt2 | 8317118 | SLEEK | 20564 | default | 304221 | complete | 0.088828 | 0.083515 | 113176.0 | sat | sat |
433168472 | qf_shls_sat/spaguetti-16-e01.tptp.smt2 | 8317132 | SLEEK | 20564 | default | 304221 | complete | 0.094147 | 0.08886 | 113176.0 | unsat | unsat |
433168470 | qf_shls_sat/spaguetti-16-e02.tptp.smt2 | 8317130 | SLEEK | 20564 | default | 304221 | complete | 0.089703 | 0.0842871 | 113176.0 | unsat | unsat |
433168467 | qf_shls_sat/spaguetti-16-e03.tptp.smt2 | 8317127 | SLEEK | 20564 | default | 304221 | complete | 0.085551 | 0.08046 | 113176.0 | sat | sat |
433168493 | qf_shls_sat/spaguetti-16-e04.tptp.smt2 | 8317153 | SLEEK | 20564 | default | 304221 | complete | 0.096036 | 0.0906429 | 113176.0 | sat | sat |
433168489 | qf_shls_sat/spaguetti-16-e05.tptp.smt2 | 8317149 | SLEEK | 20564 | default | 304221 | complete | 0.087192 | 0.0821551 | 113176.0 | unsat | unsat |
433168484 | qf_shls_sat/spaguetti-16-e06.tptp.smt2 | 8317144 | SLEEK | 20564 | default | 304221 | complete | 0.09298 | 0.0875961 | 113176.0 | sat | sat |
433168479 | qf_shls_sat/spaguetti-16-e07.tptp.smt2 | 8317139 | SLEEK | 20564 | default | 304221 | complete | 0.101633 | 0.0961571 | 113176.0 | unsat | unsat |
433168445 | qf_shls_sat/spaguetti-16-e08.tptp.smt2 | 8317105 | SLEEK | 20564 | default | 304221 | complete | 0.106179 | 0.100874 | 113176.0 | unsat | unsat |
433168448 | qf_shls_sat/spaguetti-16-e09.tptp.smt2 | 8317108 | SLEEK | 20564 | default | 304221 | complete | 0.083172 | 0.078148 | 113176.0 | sat | sat |
433168412 | qf_shls_sat/spaguetti-16-e10.tptp.smt2 | 8317072 | SLEEK | 20564 | default | 304221 | complete | 0.093316 | 0.087587 | 113176.0 | sat | sat |
433168407 | qf_shls_sat/spaguetti-17-e01.tptp.smt2 | 8317067 | SLEEK | 20564 | default | 304221 | complete | 0.089891 | 0.0845781 | 113176.0 | sat | sat |
433168415 | qf_shls_sat/spaguetti-17-e02.tptp.smt2 | 8317075 | SLEEK | 20564 | default | 304221 | complete | 0.104745 | 0.0989639 | 113176.0 | sat | sat |
433168413 | qf_shls_sat/spaguetti-17-e03.tptp.smt2 | 8317073 | SLEEK | 20564 | default | 304221 | complete | 0.101989 | 0.0964501 | 113176.0 | unsat | unsat |
433168393 | qf_shls_sat/spaguetti-17-e04.tptp.smt2 | 8317053 | SLEEK | 20564 | default | 304221 | complete | 0.085571 | 0.080472 | 113176.0 | sat | sat |
433168389 | qf_shls_sat/spaguetti-17-e05.tptp.smt2 | 8317049 | SLEEK | 20564 | default | 304221 | complete | 0.097298 | 0.0921529 | 113176.0 | sat | sat |
433168401 | qf_shls_sat/spaguetti-17-e06.tptp.smt2 | 8317061 | SLEEK | 20564 | default | 304221 | complete | 0.103115 | 0.0969581 | 113176.0 | unsat | unsat |
433168397 | qf_shls_sat/spaguetti-17-e07.tptp.smt2 | 8317057 | SLEEK | 20564 | default | 304221 | complete | 0.097665 | 0.092252 | 113176.0 | unsat | unsat |
433168427 | qf_shls_sat/spaguetti-17-e08.tptp.smt2 | 8317087 | SLEEK | 20564 | default | 304221 | complete | 0.108561 | 0.102786 | 113176.0 | unsat | unsat |
433168430 | qf_shls_sat/spaguetti-17-e09.tptp.smt2 | 8317090 | SLEEK | 20564 | default | 304221 | complete | 0.101021 | 0.095368 | 113176.0 | sat | sat |
433168464 | qf_shls_sat/spaguetti-17-e10.tptp.smt2 | 8317124 | SLEEK | 20564 | default | 304221 | complete | 0.093547 | 0.0882061 | 113176.0 | sat | sat |
433168402 | qf_shls_sat/spaguetti-18-e01.tptp.smt2 | 8317062 | SLEEK | 20564 | default | 304221 | complete | 0.109583 | 0.104215 | 113176.0 | sat | sat |
433168388 | qf_shls_sat/spaguetti-18-e02.tptp.smt2 | 8317048 | SLEEK | 20564 | default | 304221 | complete | 0.123978 | 0.117959 | 113176.0 | unsat | unsat |
433168392 | qf_shls_sat/spaguetti-18-e03.tptp.smt2 | 8317052 | SLEEK | 20564 | default | 304221 | complete | 0.084763 | 0.0798539 | 113176.0 | sat | sat |
433168414 | qf_shls_sat/spaguetti-18-e04.tptp.smt2 | 8317074 | SLEEK | 20564 | default | 304221 | complete | 0.107536 | 0.101916 | 113176.0 | sat | sat |
433168416 | qf_shls_sat/spaguetti-18-e05.tptp.smt2 | 8317076 | SLEEK | 20564 | default | 304221 | complete | 0.107863 | 0.102431 | 113176.0 | sat | sat |
433168406 | qf_shls_sat/spaguetti-18-e06.tptp.smt2 | 8317066 | SLEEK | 20564 | default | 304221 | complete | 0.095676 | 0.0909349 | 113176.0 | sat | sat |
433168410 | qf_shls_sat/spaguetti-18-e07.tptp.smt2 | 8317070 | SLEEK | 20564 | default | 304221 | complete | 0.10936 | 0.103757 | 113176.0 | sat | sat |
433168426 | qf_shls_sat/spaguetti-18-e08.tptp.smt2 | 8317086 | SLEEK | 20564 | default | 304221 | complete | 0.131084 | 0.12524 | 113176.0 | unsat | unsat |
433168422 | qf_shls_sat/spaguetti-18-e09.tptp.smt2 | 8317082 | SLEEK | 20564 | default | 304221 | complete | 0.109108 | 0.103584 | 113176.0 | unsat | unsat |
433168496 | qf_shls_sat/spaguetti-18-e10.tptp.smt2 | 8317156 | SLEEK | 20564 | default | 304221 | complete | 0.101609 | 0.0962219 | 113176.0 | unsat | unsat |
433168483 | qf_shls_sat/spaguetti-19-e01.tptp.smt2 | 8317143 | SLEEK | 20564 | default | 304221 | complete | 0.099372 | 0.0939949 | 113176.0 | unsat | unsat |
433168490 | qf_shls_sat/spaguetti-19-e02.tptp.smt2 | 8317150 | SLEEK | 20564 | default | 304221 | complete | 0.11481 | 0.109343 | 113176.0 | sat | sat |
433168494 | qf_shls_sat/spaguetti-19-e03.tptp.smt2 | 8317154 | SLEEK | 20564 | default | 304221 | complete | 0.079896 | 0.0749489 | 113176.0 | sat | sat |
433168466 | qf_shls_sat/spaguetti-19-e04.tptp.smt2 | 8317126 | SLEEK | 20564 | default | 304221 | complete | 0.102022 | 0.0994899 | 113176.0 | unsat | unsat |
433168469 | qf_shls_sat/spaguetti-19-e05.tptp.smt2 | 8317129 | SLEEK | 20564 | default | 304221 | complete | 0.122019 | 0.115779 | 113176.0 | sat | sat |
433168473 | qf_shls_sat/spaguetti-19-e06.tptp.smt2 | 8317133 | SLEEK | 20564 | default | 304221 | complete | 0.093627 | 0.088325 | 113176.0 | sat | sat |
433168477 | qf_shls_sat/spaguetti-19-e07.tptp.smt2 | 8317137 | SLEEK | 20564 | default | 304221 | complete | 0.098509 | 0.0930749 | 113176.0 | unsat | unsat |
433168456 | qf_shls_sat/spaguetti-19-e08.tptp.smt2 | 8317116 | SLEEK | 20564 | default | 304221 | complete | 0.088534 | 0.0834639 | 113176.0 | sat | sat |
433168452 | qf_shls_sat/spaguetti-19-e09.tptp.smt2 | 8317112 | SLEEK | 20564 | default | 304221 | complete | 0.136126 | 0.129711 | 113176.0 | unsat | unsat |
433168395 | qf_shls_sat/spaguetti-19-e10.tptp.smt2 | 8317055 | SLEEK | 20564 | default | 304221 | complete | 0.123306 | 0.117377 | 113176.0 | unsat | unsat |
433168488 | qf_shls_sat/spaguetti-20-e01.tptp.smt2 | 8317148 | SLEEK | 20564 | default | 304221 | complete | 0.097933 | 0.0924659 | 113176.0 | unsat | unsat |
433168485 | qf_shls_sat/spaguetti-20-e02.tptp.smt2 | 8317145 | SLEEK | 20564 | default | 304221 | complete | 0.100975 | 0.0955709 | 113176.0 | sat | sat |
433168481 | qf_shls_sat/spaguetti-20-e03.tptp.smt2 | 8317141 | SLEEK | 20564 | default | 304221 | complete | 0.114953 | 0.109084 | 113176.0 | sat | sat |
433168478 | qf_shls_sat/spaguetti-20-e04.tptp.smt2 | 8317138 | SLEEK | 20564 | default | 304221 | complete | 0.093402 | 0.0881429 | 113176.0 | sat | sat |
433168475 | qf_shls_sat/spaguetti-20-e05.tptp.smt2 | 8317135 | SLEEK | 20564 | default | 304221 | complete | 0.111931 | 0.106024 | 113176.0 | unsat | unsat |
433168468 | qf_shls_sat/spaguetti-20-e06.tptp.smt2 | 8317128 | SLEEK | 20564 | default | 304221 | complete | 0.115867 | 0.109799 | 113176.0 | unsat | unsat |
433168465 | qf_shls_sat/spaguetti-20-e07.tptp.smt2 | 8317125 | SLEEK | 20564 | default | 304221 | complete | 0.106645 | 0.101138 | 113176.0 | sat | sat |
433168459 | qf_shls_sat/spaguetti-20-e08.tptp.smt2 | 8317119 | SLEEK | 20564 | default | 304221 | complete | 0.091821 | 0.086422 | 113176.0 | sat | sat |
433168462 | qf_shls_sat/spaguetti-20-e09.tptp.smt2 | 8317122 | SLEEK | 20564 | default | 304221 | complete | 0.090264 | 0.084863 | 113176.0 | sat | sat |
433168399 | qf_shls_sat/spaguetti-20-e10.tptp.smt2 | 8317059 | SLEEK | 20564 | default | 304221 | complete | 0.108459 | 0.102746 | 113176.0 | unsat | unsat |