433167686 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.184468 | 0.286348 | 113176.0 | sat | sat |
433167677 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.82 | 1.90135 | 191808.0 | unsat | unsat |
433167667 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.4 | 5.39267 | 241380.0 | unsat | unsat |
433167649 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.121017 | 0.179144 | 113176.0 | sat | sat |
433167644 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.102675 | 0.147022 | 113176.0 | sat | sat |
433167635 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.065669 | 0.10266 | 113176.0 | sat | sat |
433167624 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.139543 | 0.220638 | 113176.0 | sat | sat |
433167745 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.093224 | 0.169158 | 113176.0 | sat | sat |
433167753 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.155165 | 0.252909 | 113176.0 | sat | sat |
433167570 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.27 | 5.28495 | 252028.0 | unsat | unsat |
433167559 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.33 | 5.30304 | 241236.0 | unsat | unsat |
433167589 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.35 | 5.32265 | 231804.0 | unsat | unsat |
433167578 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.44 | 5.41679 | 252044.0 | unsat | unsat |
433167597 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.65 | 4.62992 | 252008.0 | unsat | unsat |
433167592 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.101079 | 0.171915 | 113176.0 | sat | sat |
433167617 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.150351 | 0.215772 | 113176.0 | sat | sat |
433167606 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.6 | 3.60165 | 216008.0 | unsat | unsat |
433167467 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.32 | 5.32443 | 223308.0 | unsat | unsat |
433167477 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.9 | 2.92864 | 209796.0 | unsat | unsat |
433167659 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.160734 | 0.239748 | 113176.0 | sat | sat |
433167701 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.44 | 5.47069 | 241140.0 | unsat | unsat |
433167723 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.154658 | 0.242112 | 113176.0 | sat | sat |
433167715 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.204974 | 0.257261 | 113176.0 | sat | sat |
433167734 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.17571 | 0.283795 | 113176.0 | sat | sat |
433167725 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.44 | 3.49429 | 216028.0 | unsat | unsat |
433167756 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.5 | 2.50237 | 195508.0 | unsat | unsat |
433167747 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.119512 | 0.179613 | 113176.0 | sat | sat |
433167626 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.63 | 5.62604 | 241148.0 | unsat | unsat |
433167636 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.26 | 6.23828 | 225452.0 | unsat | unsat |
433167510 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.42 | 5.42623 | 231776.0 | unsat | unsat |
433167539 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.75 | 5.76248 | 252032.0 | unsat | unsat |
433167525 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.240176 | 0.385819 | 113176.0 | sat | sat |
433167514 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.63 | 5.67905 | 231800.0 | unsat | unsat |
433167496 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.17414 | 0.277662 | 113176.0 | sat | sat |
433167489 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.200279 | 0.315612 | 113176.0 | sat | sat |
433167482 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.16953 | 0.258689 | 113176.0 | sat | sat |
433167469 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.58 | 5.58307 | 252024.0 | unsat | unsat |
433167608 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.54 | 5.51206 | 223328.0 | unsat | unsat |
433167618 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.140398 | 0.238614 | 113176.0 | sat | sat |
433167711 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.223186 | 0.266283 | 113176.0 | sat | sat |
433167573 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.33 | 6.32574 | 218296.0 | unsat | unsat |
433167565 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.55 | 5.57507 | 223296.0 | unsat | unsat |
433167550 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.85663 | 5.85196 | 252144.0 | unsat | unsat |
433167619 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.73 | 5.7615 | 241252.0 | unsat | unsat |
433167612 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.287768 | 0.404142 | 113176.0 | sat | sat |
433167604 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.93 | 5.9909 | 252152.0 | unsat | unsat |
433167594 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.86111 | 5.83357 | 252128.0 | unsat | unsat |
433167494 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.22 | 7.20122 | 266720.0 | unsat | unsat |
433167500 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.99 | 6.04369 | 252112.0 | unsat | unsat |
433167683 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.340479 | 0.452372 | 113176.0 | sat | sat |
433167664 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.93 | 5.93271 | 241248.0 | unsat | unsat |
433167690 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.91 | 5.9579 | 264644.0 | unsat | unsat |
433167679 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.261299 | 0.362722 | 113176.0 | sat | sat |
433167638 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.77 | 15.7504 | 270360.0 | unsat | unsat |
433167630 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.84 | 6.82923 | 266712.0 | unsat | unsat |
433167657 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 9.94 | 9.94213 | 282472.0 | unsat | unsat |
433167645 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.75 | 6.78732 | 243448.0 | unsat | unsat |
433167732 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.274837 | 0.358056 | 113176.0 | sat | sat |
433167737 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.77 | 0.859743 | 191708.0 | sat | sat |
433167554 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.53 | 6.54211 | 243360.0 | unsat | unsat |
433167512 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.09 | 6.1044 | 252136.0 | unsat | unsat |
433167542 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.82 | 0.863052 | 185912.0 | sat | sat |
433167529 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.76 | 0.811284 | 188612.0 | sat | sat |
433167483 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.327537 | 0.527257 | 113176.0 | sat | sat |
433167471 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.87 | 6.91755 | 264648.0 | unsat | unsat |
433167506 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.278895 | 0.425577 | 113176.0 | sat | sat |
433167495 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 9.74 | 9.74296 | 268088.0 | unsat | unsat |
433167596 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 23.23 | 23.2344 | 287472.0 | unsat | unsat |
433167605 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.07 | 6.08691 | 231800.0 | unsat | unsat |
433167700 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.56 | 0.616171 | 183572.0 | sat | sat |
433167714 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.71964 | 6.77185 | 279088.0 | unsat | unsat |
433167703 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.64 | 0.70217 | 183572.0 | sat | sat |
433167694 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.265797 | 0.382093 | 113176.0 | sat | sat |
433167758 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.95 | 8.91072 | 281848.0 | unsat | unsat |
433167750 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.19 | 6.18702 | 241260.0 | unsat | unsat |
433167742 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.76 | 6.75794 | 264732.0 | unsat | unsat |
433167733 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.27 | 7.24335 | 254196.0 | unsat | unsat |
433167648 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.8 | 0.831652 | 185916.0 | sat | sat |
433167658 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.12 | 6.17197 | 252136.0 | unsat | unsat |
433167537 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.24 | 6.21166 | 264676.0 | unsat | unsat |
433167743 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.02 | 6.99884 | 254312.0 | unsat | unsat |
433167749 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.65 | 0.66698 | 183572.0 | sat | sat |
433167757 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.92 | 0.949684 | 195404.0 | sat | sat |
433167695 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.71 | 0.756643 | 188612.0 | sat | sat |
433167704 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.65 | 0.695654 | 186048.0 | sat | sat |
433167713 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.68 | 0.758408 | 183696.0 | sat | sat |
433167721 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.84 | 0.866299 | 188744.0 | sat | sat |
433167674 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.971043 | 195404.0 | sat | sat |
433167665 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.71 | 0.768546 | 186032.0 | sat | sat |
433167479 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.47 | 6.43238 | 264624.0 | unsat | unsat |
433167505 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.85 | 0.892325 | 188744.0 | sat | sat |
433167472 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.08 | 1.18228 | 195280.0 | sat | sat |
433167484 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.8794 | 188728.0 | sat | sat |
433167528 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.68 | 0.717528 | 183688.0 | sat | sat |
433167541 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.24 | 8.25842 | 254796.0 | unsat | unsat |
433167513 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.64 | 6.67037 | 264760.0 | unsat | unsat |
433167522 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.77 | 0.836136 | 191836.0 | sat | sat |
433167585 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 32.36 | 32.3548 | 347396.0 | unsat | unsat |
433167576 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.08 | 1.10973 | 204408.0 | sat | sat |
433167754 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.43 | 7.43875 | 295680.0 | unsat | unsat |
433167474 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.68 | 1.7706 | 209804.0 | sat | sat |
433167502 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.828104 | 186028.0 | sat | sat |
433167493 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.818601 | 186032.0 | sat | sat |
433167521 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.68 | 0.772481 | 186024.0 | sat | sat |
433167508 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.21 | 1.25094 | 204376.0 | sat | sat |
433167543 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.63 | 6.63265 | 264716.0 | unsat | unsat |
433167531 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.8 | 7.78283 | 266676.0 | unsat | unsat |
433167551 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.15 | 8.20933 | 337144.0 | unsat | unsat |
433167564 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.805693 | 188720.0 | sat | sat |
433167726 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.94 | 6.9381 | 264760.0 | unsat | unsat |
433167480 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010802 | 0.023605 | 113176.0 | unsat | unsat |
433167488 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011006 | 0.0238119 | 113176.0 | unsat | unsat |
433167497 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010927 | 0.0238909 | 113176.0 | unsat | unsat |
433167515 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010093 | 0.022727 | 113176.0 | unsat | unsat |
433167524 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011382 | 0.0246701 | 113176.0 | unsat | unsat |
433167538 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011532 | 0.024862 | 113176.0 | unsat | unsat |
433167548 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012852 | 0.0279931 | 113176.0 | sat | sat |
433167569 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014941 | 0.031019 | 113176.0 | sat | sat |
433167561 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014221 | 0.0307429 | 113176.0 | sat | sat |
433167741 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015253 | 0.0303159 | 113176.0 | sat | sat |
433167633 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011233 | 0.0242251 | 113176.0 | unsat | unsat |
433167641 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011124 | 0.024158 | 113176.0 | unsat | unsat |
433167652 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011015 | 0.0239461 | 113176.0 | unsat | unsat |
433167669 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010615 | 0.023358 | 113176.0 | unsat | unsat |
433167675 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012644 | 0.0266991 | 113176.0 | unsat | unsat |
433167684 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011204 | 0.024397 | 113176.0 | unsat | unsat |
433167692 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020707 | 0.0399239 | 113176.0 | sat | sat |
433167706 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.026818 | 0.0486101 | 113176.0 | sat | sat |
433167699 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027013 | 0.054182 | 113176.0 | sat | sat |
433167602 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020742 | 0.0397481 | 113176.0 | sat | sat |
433167614 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011191 | 0.0240151 | 113176.0 | unsat | unsat |
433167591 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01224 | 0.0257559 | 113176.0 | unsat | unsat |
433167599 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012905 | 0.0261599 | 113176.0 | unsat | unsat |
433167579 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011363 | 0.0244191 | 113176.0 | unsat | unsat |
433167586 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012683 | 0.0267191 | 113176.0 | unsat | unsat |
433167556 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012238 | 0.0251389 | 113176.0 | unsat | unsat |
433167568 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033451 | 0.0607681 | 113176.0 | sat | sat |
433167546 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.067787 | 0.105599 | 113176.0 | sat | sat |
433167536 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.053177 | 0.102564 | 113176.0 | sat | sat |
433167656 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.032794 | 0.0600739 | 113176.0 | sat | sat |
433167504 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012081 | 0.0252991 | 113176.0 | unsat | unsat |
433167470 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011081 | 0.0241231 | 113176.0 | unsat | unsat |
433167485 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011054 | 0.0240999 | 113176.0 | unsat | unsat |
433167530 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010378 | 0.023176 | 113176.0 | unsat | unsat |
433167540 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016915 | 0.0312449 | 113176.0 | unsat | unsat |
433167511 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011274 | 0.024531 | 113176.0 | unsat | unsat |
433167523 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.060493 | 0.101781 | 113176.0 | sat | sat |
433167584 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.125924 | 0.189012 | 113176.0 | sat | sat |
433167577 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.105798 | 0.192261 | 113176.0 | sat | sat |
433167755 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.061435 | 0.101739 | 113176.0 | sat | sat |
433167740 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013303 | 0.0270549 | 113176.0 | unsat | unsat |
433167748 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012866 | 0.0259339 | 113176.0 | unsat | unsat |
433167759 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011243 | 0.0243929 | 113176.0 | unsat | unsat |
433167696 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011196 | 0.024091 | 113176.0 | unsat | unsat |
433167702 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014675 | 0.0288649 | 113176.0 | unsat | unsat |
433167712 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011499 | 0.024508 | 113176.0 | unsat | unsat |
433167722 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.116666 | 0.181103 | 113176.0 | sat | sat |
433167673 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.238095 | 0.341496 | 113176.0 | sat | sat |
433167666 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.222958 | 0.365784 | 113176.0 | sat | sat |
433167481 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.116203 | 0.180444 | 113176.0 | sat | sat |
433167600 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011308 | 0.0270469 | 113176.0 | unsat | unsat |
433167610 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012805 | 0.0261511 | 113176.0 | unsat | unsat |
433167623 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013918 | 0.0279071 | 113176.0 | unsat | unsat |
433167552 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011412 | 0.0245601 | 113176.0 | unsat | unsat |
433167562 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016266 | 0.030991 | 113176.0 | unsat | unsat |
433167572 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011936 | 0.0253179 | 113176.0 | unsat | unsat |
433167583 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.222847 | 0.328015 | 113176.0 | sat | sat |
433167519 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.6 | 0.656713 | 183572.0 | sat | sat |
433167509 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.6 | 0.631763 | 179740.0 | sat | sat |
433167634 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.221595 | 0.328382 | 113176.0 | sat | sat |
433167654 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011739 | 0.0280851 | 113176.0 | unsat | unsat |
433167628 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016294 | 0.029346 | 113176.0 | unsat | unsat |
433167639 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013168 | 0.0263281 | 113176.0 | unsat | unsat |
433167681 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01019 | 0.0230701 | 113176.0 | unsat | unsat |
433167689 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01971 | 0.0356519 | 113176.0 | unsat | unsat |
433167661 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012557 | 0.026414 | 113176.0 | unsat | unsat |
433167671 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.402337 | 0.560626 | 113176.0 | sat | sat |
433167718 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.13 | 1.19333 | 195396.0 | sat | sat |
433167709 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.02 | 1.03946 | 185916.0 | sat | sat |
433167616 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.53 | 0.561814 | 181524.0 | sat | sat |
433167662 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012069 | 0.0256251 | 113176.0 | unsat | unsat |
433167688 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014368 | 0.0275589 | 113176.0 | unsat | unsat |
433167680 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012784 | 0.0265501 | 113176.0 | unsat | unsat |
433167640 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011136 | 0.0239999 | 113176.0 | unsat | unsat |
433167629 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.023153 | 0.0398159 | 113176.0 | unsat | unsat |
433167653 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011225 | 0.0243489 | 113176.0 | unsat | unsat |
433167647 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.930431 | 191712.0 | sat | sat |
433167729 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.06 | 2.1078 | 223320.0 | sat | sat |
433167738 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.55 | 1.63353 | 199696.0 | sat | sat |
433167558 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.925059 | 191712.0 | sat | sat |
433167571 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011527 | 0.025355 | 113176.0 | unsat | unsat |
433167563 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01494 | 0.0287199 | 113176.0 | unsat | unsat |
433167553 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012788 | 0.0261101 | 113176.0 | unsat | unsat |
433167622 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010655 | 0.0233249 | 113176.0 | unsat | unsat |
433167609 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.028554 | 0.04671 | 113176.0 | unsat | unsat |
433167601 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010161 | 0.0229629 | 113176.0 | unsat | unsat |
433167595 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.46 | 1.49325 | 209824.0 | sat | sat |
433167491 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.48 | 3.50608 | 252276.0 | sat | sat |
433167503 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.43 | 2.47799 | 216036.0 | sat | sat |
433167685 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.46 | 1.50085 | 209824.0 | sat | sat |
433167498 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013346 | 0.0267089 | 113176.0 | unsat | unsat |
433167466 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013549 | 0.0267539 | 113176.0 | unsat | unsat |
433167478 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012358 | 0.025692 | 113176.0 | unsat | unsat |
433167535 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011841 | 0.024651 | 113176.0 | unsat | unsat |
433167545 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033113 | 0.051986 | 113176.0 | unsat | unsat |
433167516 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012164 | 0.0261509 | 113176.0 | unsat | unsat |
433167527 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.16 | 2.23136 | 231780.0 | sat | sat |
433167588 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.3 | 5.34928 | 295936.0 | sat | sat |
433167581 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.57 | 3.66013 | 241300.0 | sat | sat |
433167761 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.12 | 2.22139 | 231780.0 | sat | sat |
433167744 | qf_shls_entl/ls-vc01.smt2 | 8317436 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013718 | 0.03113 | 113176.0 | sat | sat |
433167575 | qf_shls_entl/ls-vc02.smt2 | 8317267 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015372 | 0.0340779 | 113176.0 | sat | sat |
433167533 | qf_shls_entl/ls-vc03.smt2 | 8317225 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035464 | 0.0642029 | 113176.0 | sat | sat |
433167627 | qf_shls_entl/ls-vc04.smt2 | 8317319 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013367 | 0.028883 | 113176.0 | sat | sat |
433167731 | qf_shls_entl/ls-vc05.smt2 | 8317423 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.051025 | 0.122273 | 113176.0 | unsat | unsat |
433167560 | qf_shls_entl/ls-vc06.smt2 | 8317252 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.100361 | 0.239215 | 113176.0 | sat | sat |
433167518 | qf_shls_entl/ls-vc07.smt2 | 8317210 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.74 | 2.70794 | 195452.0 | sat | sat |
433167687 | qf_shls_entl/ls-vc08.smt2 | 8317379 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.331231 | 0.587792 | 113176.0 | unsat | unsat |
433167719 | qf_shls_entl/ls-vc09.smt2 | 8317411 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.975481 | 181532.0 | unsat | unsat |
433167549 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01385 | 0.027123 | 113176.0 | unsat | unsat |
433167582 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011258 | 0.0245129 | 113176.0 | unsat | unsat |
433167574 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010158 | 0.0229141 | 113176.0 | unsat | unsat |
433167603 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012581 | 0.0290891 | 113176.0 | unsat | unsat |
433167593 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011502 | 0.0242611 | 113176.0 | unsat | unsat |
433167620 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011451 | 0.024235 | 113176.0 | unsat | unsat |
433167613 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010657 | 0.023851 | 113176.0 | unsat | unsat |
433167473 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010557 | 0.023484 | 113176.0 | unsat | unsat |
433167487 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.83 | 0.901498 | 179756.0 | unsat | unsat |
433167668 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.082265 | 0.134585 | 113176.0 | unsat | unsat |
433167676 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.057239 | 0.10604 | 113176.0 | unsat | unsat |
433167682 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041752 | 0.0818921 | 113176.0 | unsat | unsat |
433167693 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059755 | 0.112194 | 113176.0 | unsat | unsat |
433167625 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012577 | 0.025525 | 113176.0 | unsat | unsat |
433167632 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011367 | 0.024708 | 113176.0 | unsat | unsat |
433167642 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04972 | 0.106906 | 113176.0 | unsat | unsat |
433167651 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010921 | 0.024175 | 113176.0 | unsat | unsat |
433167735 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054494 | 0.118501 | 113176.0 | unsat | unsat |
433167728 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011582 | 0.0247409 | 113176.0 | unsat | unsat |
433167468 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010495 | 0.023527 | 113176.0 | unsat | unsat |
433167476 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041933 | 0.0814521 | 113176.0 | unsat | unsat |
433167490 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013365 | 0.0281231 | 113176.0 | sat | sat |
433167499 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011957 | 0.0319541 | 113176.0 | sat | sat |
433167517 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015251 | 0.0298319 | 113176.0 | unsat | unsat |
433167526 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012118 | 0.026019 | 113176.0 | unsat | unsat |
433167534 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012242 | 0.029255 | 113176.0 | unsat | unsat |
433167547 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010446 | 0.0233491 | 113176.0 | unsat | unsat |
433167566 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.06806 | 0.120378 | 113176.0 | unsat | unsat |
433167557 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014053 | 0.0295701 | 113176.0 | sat | sat |
433167739 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016485 | 0.035525 | 113176.0 | sat | sat |
433167730 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017594 | 0.03802 | 113176.0 | sat | sat |
433167760 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014915 | 0.0319151 | 113176.0 | sat | sat |
433167751 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019803 | 0.0391811 | 113176.0 | sat | sat |
433167705 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.46 | 1.46858 | 183684.0 | unsat | unsat |
433167697 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014847 | 0.0318481 | 113176.0 | sat | sat |
433167717 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.062492 | 0.138079 | 113176.0 | unsat | unsat |
433167710 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015125 | 0.031054 | 113176.0 | sat | sat |
433167660 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.39 | 1.42181 | 183752.0 | unsat | unsat |
433167672 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015302 | 0.040794 | 0.0 | sat | sat |
433167724 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.021308 | 0.041486 | 113176.0 | sat | sat |
433167716 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.752741 | 178212.0 | unsat | unsat |
433167707 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.24374 | 186084.0 | unsat | unsat |
433167698 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020724 | 0.040479 | 113176.0 | sat | sat |
433167752 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.01 | 2.99679 | 204400.0 | unsat | unsat |
433167746 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.21 | 2.29604 | 175604.0 | unsat | unsat |
433167736 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.19 | 2.29333 | 175476.0 | unsat | unsat |
433167727 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01085 | 0.0237959 | 113176.0 | unsat | unsat |
433167643 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.741638 | 178208.0 | unsat | unsat |
433167650 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016174 | 0.032659 | 113176.0 | sat | sat |
433167532 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052712 | 0.102505 | 113176.0 | unsat | unsat |
433167544 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.049794 | 0.104575 | 113176.0 | unsat | unsat |
433167507 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.92 | 0.995698 | 179756.0 | unsat | unsat |
433167520 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.045977 | 0.0886939 | 113176.0 | unsat | unsat |
433167492 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01382 | 0.0288289 | 113176.0 | sat | sat |
433167501 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052733 | 0.102513 | 113176.0 | unsat | unsat |
433167475 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012901 | 0.027413 | 113176.0 | sat | sat |
433167486 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020176 | 0.0408171 | 113176.0 | sat | sat |
433167621 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.11 | 1.15575 | 179756.0 | unsat | unsat |
433167611 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.046806 | 0.0915769 | 113176.0 | unsat | unsat |
433167646 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059331 | 0.117523 | 113176.0 | unsat | unsat |
433167655 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013946 | 0.029088 | 113176.0 | sat | sat |
433167631 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013122 | 0.026419 | 113176.0 | unsat | unsat |
433167637 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.38 | 2.4264 | 175612.0 | unsat | unsat |
433167678 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011901 | 0.0253049 | 113176.0 | unsat | unsat |
433167691 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.66 | 0.733225 | 173956.0 | unsat | unsat |
433167663 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.048315 | 0.104237 | 113176.0 | unsat | unsat |
433167670 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055298 | 0.106108 | 113176.0 | unsat | unsat |
433167720 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013442 | 0.0277621 | 113176.0 | sat | sat |
433167708 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012152 | 0.02691 | 113176.0 | sat | sat |
433167615 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01804 | 0.0368429 | 113176.0 | sat | sat |
433167607 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.079353 | 0.183355 | 113176.0 | unsat | unsat |
433167598 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.0132 | 0.027912 | 113176.0 | sat | sat |
433167590 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012402 | 0.0269219 | 113176.0 | sat | sat |
433167587 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.17 | 1.15619 | 181704.0 | unsat | unsat |
433167580 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011414 | 0.0254179 | 113176.0 | unsat | unsat |
433167567 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012466 | 0.0277551 | 113176.0 | sat | sat |
433167555 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013951 | 0.0268659 | 113176.0 | unsat | unsat |