430495834 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.183479 | 0.285658 | 113176.0 | sat | sat |
430495825 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.84 | 1.89376 | 191808.0 | unsat | unsat |
430495815 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.36 | 5.40034 | 241252.0 | unsat | unsat |
430495797 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.12044 | 0.177672 | 113176.0 | sat | sat |
430495792 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.105348 | 0.150284 | 113176.0 | sat | sat |
430495783 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.067441 | 0.103817 | 113176.0 | sat | sat |
430495772 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.140085 | 0.222014 | 113176.0 | sat | sat |
430495893 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.087466 | 0.163324 | 113176.0 | sat | sat |
430495901 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.155818 | 0.25297 | 113176.0 | sat | sat |
430495718 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.32 | 5.29773 | 252028.0 | unsat | unsat |
430495707 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.28 | 5.29923 | 241236.0 | unsat | unsat |
430495737 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.29 | 5.32199 | 231804.0 | unsat | unsat |
430495726 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.46 | 5.45621 | 252044.0 | unsat | unsat |
430495745 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 4.69 | 4.68265 | 252008.0 | unsat | unsat |
430495740 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.100311 | 0.171255 | 113176.0 | sat | sat |
430495765 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.149593 | 0.214734 | 113176.0 | sat | sat |
430495754 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.64 | 3.62521 | 216008.0 | unsat | unsat |
430495615 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.34 | 5.31752 | 223308.0 | unsat | unsat |
430495625 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.94 | 2.95666 | 209796.0 | unsat | unsat |
430495807 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.160309 | 0.237825 | 113176.0 | sat | sat |
430495849 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.58 | 5.57426 | 252024.0 | unsat | unsat |
430495871 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.16324 | 0.251911 | 113176.0 | sat | sat |
430495863 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.206242 | 0.25742 | 113176.0 | sat | sat |
430495882 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.177174 | 0.286178 | 113176.0 | sat | sat |
430495873 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.46 | 3.48162 | 216028.0 | unsat | unsat |
430495904 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.46 | 2.51062 | 195508.0 | unsat | unsat |
430495895 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.116992 | 0.178487 | 113176.0 | sat | sat |
430495774 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.63 | 5.64036 | 231684.0 | unsat | unsat |
430495784 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.25 | 6.25221 | 225488.0 | unsat | unsat |
430495658 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.4 | 5.38569 | 231776.0 | unsat | unsat |
430495687 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.83 | 5.7934 | 241148.0 | unsat | unsat |
430495673 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.238764 | 0.385689 | 113176.0 | sat | sat |
430495662 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.68 | 5.688 | 231804.0 | unsat | unsat |
430495644 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.172932 | 0.275163 | 113176.0 | sat | sat |
430495637 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.203323 | 0.319045 | 113176.0 | sat | sat |
430495630 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.168175 | 0.257401 | 113176.0 | sat | sat |
430495617 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.55 | 5.5977 | 252024.0 | unsat | unsat |
430495756 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.47 | 5.50703 | 223328.0 | unsat | unsat |
430495766 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.14111 | 0.240056 | 113176.0 | sat | sat |
430495859 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.223376 | 0.26681 | 113176.0 | sat | sat |
430495721 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.35 | 6.3339 | 218348.0 | unsat | unsat |
430495713 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.53 | 5.57178 | 223296.0 | unsat | unsat |
430495698 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.83 | 5.84823 | 252144.0 | unsat | unsat |
430495767 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.73 | 5.74633 | 241252.0 | unsat | unsat |
430495760 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.284868 | 0.400449 | 113176.0 | sat | sat |
430495752 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.98 | 5.9875 | 252152.0 | unsat | unsat |
430495742 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.82 | 5.81883 | 241248.0 | unsat | unsat |
430495642 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.15 | 7.17779 | 266792.0 | unsat | unsat |
430495648 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.03 | 6.04922 | 252120.0 | unsat | unsat |
430495831 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.337748 | 0.449748 | 113176.0 | sat | sat |
430495812 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.95 | 5.9311 | 241240.0 | unsat | unsat |
430495838 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 9.58484 | 5.9107 | 264644.0 | unsat | unsat |
430495827 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.264495 | 0.366732 | 113176.0 | sat | sat |
430495786 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 15.71 | 15.7228 | 270360.0 | unsat | unsat |
430495778 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.85 | 6.82492 | 266784.0 | unsat | unsat |
430495805 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 9.96 | 9.93924 | 282472.0 | unsat | unsat |
430495793 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.78 | 6.78932 | 243412.0 | unsat | unsat |
430495880 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.278468 | 0.362719 | 113176.0 | sat | sat |
430495885 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.83 | 0.861332 | 195272.0 | sat | sat |
430495702 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.57 | 6.54601 | 243484.0 | unsat | unsat |
430495660 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.09 | 6.11927 | 252136.0 | unsat | unsat |
430495690 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.84 | 0.864158 | 185912.0 | sat | sat |
430495677 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.78 | 0.81792 | 185916.0 | sat | sat |
430495631 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.329167 | 0.529804 | 113176.0 | sat | sat |
430495619 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.95 | 6.92342 | 252132.0 | unsat | unsat |
430495654 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.279773 | 0.429016 | 113176.0 | sat | sat |
430495643 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 9.84 | 9.79553 | 268044.0 | unsat | unsat |
430495744 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 23.37 | 23.3309 | 287340.0 | unsat | unsat |
430495753 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.05 | 6.07794 | 231800.0 | unsat | unsat |
430495848 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.620305 | 183572.0 | sat | sat |
430495862 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.79 | 6.78286 | 279088.0 | unsat | unsat |
430495851 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.704941 | 183572.0 | sat | sat |
430495842 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.268134 | 0.385086 | 113176.0 | sat | sat |
430495906 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.85 | 8.89802 | 281892.0 | unsat | unsat |
430495898 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.16 | 6.20255 | 241260.0 | unsat | unsat |
430495890 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.73 | 6.72594 | 264732.0 | unsat | unsat |
430495881 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.24 | 7.26939 | 254204.0 | unsat | unsat |
430495796 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.827832 | 185916.0 | sat | sat |
430495806 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.14 | 6.15136 | 252136.0 | unsat | unsat |
430495685 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.16 | 6.19091 | 264676.0 | unsat | unsat |
430495891 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.01 | 7.01218 | 254264.0 | unsat | unsat |
430495897 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.662903 | 183700.0 | sat | sat |
430495905 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.9 | 0.951139 | 195404.0 | sat | sat |
430495843 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.75 | 0.75699 | 185916.0 | sat | sat |
430495852 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.6 | 0.688015 | 186048.0 | sat | sat |
430495861 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.73 | 0.767841 | 183696.0 | sat | sat |
430495869 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.83 | 0.873493 | 188744.0 | sat | sat |
430495822 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.91 | 0.968125 | 195404.0 | sat | sat |
430495813 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.67 | 0.767855 | 186032.0 | sat | sat |
430495627 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.41 | 6.43387 | 264624.0 | unsat | unsat |
430495653 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.87 | 0.888178 | 188744.0 | sat | sat |
430495620 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.11 | 1.1923 | 195280.0 | sat | sat |
430495632 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.81 | 0.880917 | 191828.0 | sat | sat |
430495676 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.67 | 0.730191 | 183688.0 | sat | sat |
430495689 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.28461 | 8.29319 | 254744.0 | unsat | unsat |
430495661 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.65 | 6.67279 | 264752.0 | unsat | unsat |
430495670 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.76 | 0.841534 | 191836.0 | sat | sat |
430495733 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 32.41 | 32.3751 | 347420.0 | unsat | unsat |
430495724 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.08 | 1.10351 | 204408.0 | sat | sat |
430495902 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.45 | 7.44322 | 295680.0 | unsat | unsat |
430495622 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.71 | 1.76452 | 209804.0 | sat | sat |
430495650 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.76 | 0.839102 | 183684.0 | sat | sat |
430495641 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.76 | 0.805558 | 186032.0 | sat | sat |
430495669 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.71 | 0.776135 | 186024.0 | sat | sat |
430495656 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.22 | 1.25559 | 204376.0 | sat | sat |
430495691 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.63 | 6.61025 | 279108.0 | unsat | unsat |
430495679 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 7.79 | 7.78568 | 266676.0 | unsat | unsat |
430495699 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 8.26 | 8.28108 | 337172.0 | unsat | unsat |
430495712 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.77 | 0.802694 | 188720.0 | sat | sat |
430495874 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 6.95 | 6.91526 | 264756.0 | unsat | unsat |
430495628 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01035 | 0.023026 | 113176.0 | unsat | unsat |
430495636 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011043 | 0.0238491 | 113176.0 | unsat | unsat |
430495645 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011009 | 0.02388 | 113176.0 | unsat | unsat |
430495663 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010621 | 0.0233719 | 113176.0 | unsat | unsat |
430495672 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011243 | 0.024411 | 113176.0 | unsat | unsat |
430495686 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011518 | 0.024275 | 113176.0 | unsat | unsat |
430495696 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012436 | 0.027424 | 113176.0 | sat | sat |
430495717 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013749 | 0.030085 | 113176.0 | sat | sat |
430495709 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015183 | 0.032189 | 113176.0 | sat | sat |
430495889 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013832 | 0.0287411 | 113176.0 | sat | sat |
430495781 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010174 | 0.0230491 | 113176.0 | unsat | unsat |
430495789 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012357 | 0.0253411 | 113176.0 | unsat | unsat |
430495800 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011266 | 0.0243859 | 113176.0 | unsat | unsat |
430495817 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011833 | 0.0257631 | 113176.0 | unsat | unsat |
430495823 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011989 | 0.0266869 | 113176.0 | unsat | unsat |
430495832 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010748 | 0.023392 | 113176.0 | unsat | unsat |
430495840 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019878 | 0.039448 | 113176.0 | sat | sat |
430495854 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.0252 | 0.047243 | 113176.0 | sat | sat |
430495847 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.02762 | 0.053977 | 113176.0 | sat | sat |
430495750 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019385 | 0.0384371 | 113176.0 | sat | sat |
430495762 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011166 | 0.0247451 | 113176.0 | unsat | unsat |
430495739 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01188 | 0.0249091 | 113176.0 | unsat | unsat |
430495747 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012587 | 0.0260181 | 113176.0 | unsat | unsat |
430495727 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010635 | 0.023296 | 113176.0 | unsat | unsat |
430495734 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01344 | 0.027277 | 113176.0 | unsat | unsat |
430495704 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010318 | 0.0235021 | 113176.0 | unsat | unsat |
430495716 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.032427 | 0.062239 | 113176.0 | sat | sat |
430495694 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.062924 | 0.100391 | 113176.0 | sat | sat |
430495684 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.052944 | 0.102079 | 113176.0 | sat | sat |
430495804 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033092 | 0.0597071 | 113176.0 | sat | sat |
430495652 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011907 | 0.0253101 | 113176.0 | unsat | unsat |
430495618 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012228 | 0.025232 | 113176.0 | unsat | unsat |
430495633 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011371 | 0.0243731 | 113176.0 | unsat | unsat |
430495678 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01484 | 0.028022 | 113176.0 | unsat | unsat |
430495688 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015941 | 0.029957 | 113176.0 | unsat | unsat |
430495659 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010759 | 0.0237831 | 113176.0 | unsat | unsat |
430495671 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.061274 | 0.102371 | 113176.0 | sat | sat |
430495732 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.125793 | 0.186956 | 113176.0 | sat | sat |
430495725 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.10677 | 0.194039 | 113176.0 | sat | sat |
430495903 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.060921 | 0.101158 | 113176.0 | sat | sat |
430495888 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011906 | 0.0254591 | 113176.0 | unsat | unsat |
430495896 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011563 | 0.0247131 | 113176.0 | unsat | unsat |
430495907 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011457 | 0.025392 | 113176.0 | unsat | unsat |
430495844 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011373 | 0.0243781 | 113176.0 | unsat | unsat |
430495850 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014494 | 0.0287371 | 113176.0 | unsat | unsat |
430495860 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010869 | 0.0236329 | 113176.0 | unsat | unsat |
430495870 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.116294 | 0.181473 | 113176.0 | sat | sat |
430495821 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.241059 | 0.34399 | 113176.0 | sat | sat |
430495814 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.225846 | 0.367525 | 113176.0 | sat | sat |
430495629 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.117583 | 0.181827 | 113176.0 | sat | sat |
430495748 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011239 | 0.0240471 | 113176.0 | unsat | unsat |
430495758 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012896 | 0.0260769 | 113176.0 | unsat | unsat |
430495771 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014756 | 0.0284681 | 113176.0 | unsat | unsat |
430495700 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010368 | 0.0232379 | 113176.0 | unsat | unsat |
430495710 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015399 | 0.030383 | 113176.0 | unsat | unsat |
430495720 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010915 | 0.0237891 | 113176.0 | unsat | unsat |
430495731 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.22028 | 0.323236 | 113176.0 | sat | sat |
430495667 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.6 | 0.654116 | 183572.0 | sat | sat |
430495657 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.61 | 0.630016 | 179740.0 | sat | sat |
430495782 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.224569 | 0.329152 | 113176.0 | sat | sat |
430495802 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010651 | 0.0236109 | 113176.0 | unsat | unsat |
430495776 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011356 | 0.0246061 | 113176.0 | unsat | unsat |
430495787 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013933 | 0.027577 | 113176.0 | unsat | unsat |
430495829 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01034 | 0.0231939 | 113176.0 | unsat | unsat |
430495837 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018696 | 0.034212 | 113176.0 | unsat | unsat |
430495809 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011387 | 0.024343 | 113176.0 | unsat | unsat |
430495819 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.51 | 0.557519 | 181524.0 | sat | sat |
430495866 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.17 | 1.19976 | 199688.0 | sat | sat |
430495857 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.0 | 1.02796 | 185916.0 | sat | sat |
430495764 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.53 | 0.558915 | 183564.0 | sat | sat |
430495810 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011659 | 0.0250489 | 113176.0 | unsat | unsat |
430495836 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.0135 | 0.0268859 | 113176.0 | unsat | unsat |
430495828 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01166 | 0.0249091 | 113176.0 | unsat | unsat |
430495788 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010371 | 0.023279 | 113176.0 | unsat | unsat |
430495777 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.023085 | 0.0394769 | 113176.0 | unsat | unsat |
430495801 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010945 | 0.024089 | 113176.0 | unsat | unsat |
430495795 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.893249 | 0.924498 | 191712.0 | sat | sat |
430495877 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.07 | 2.10543 | 223320.0 | sat | sat |
430495886 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.55 | 1.64872 | 199696.0 | sat | sat |
430495706 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.9 | 0.920639 | 191712.0 | sat | sat |
430495719 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013888 | 0.0277431 | 113176.0 | unsat | unsat |
430495711 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012631 | 0.026388 | 113176.0 | unsat | unsat |
430495701 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013283 | 0.0303219 | 113176.0 | unsat | unsat |
430495770 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012236 | 0.024943 | 113176.0 | unsat | unsat |
430495757 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.027042 | 0.044503 | 113176.0 | unsat | unsat |
430495749 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010684 | 0.0233799 | 113176.0 | unsat | unsat |
430495743 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.48 | 1.49075 | 209824.0 | sat | sat |
430495639 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.41 | 3.48768 | 252276.0 | sat | sat |
430495651 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.41 | 2.48834 | 216036.0 | sat | sat |
430495833 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.47 | 1.49238 | 209824.0 | sat | sat |
430495646 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011997 | 0.0249811 | 113176.0 | unsat | unsat |
430495614 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012436 | 0.0260469 | 113176.0 | unsat | unsat |
430495626 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01263 | 0.026439 | 113176.0 | unsat | unsat |
430495683 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010041 | 0.0227331 | 113176.0 | unsat | unsat |
430495693 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.033309 | 0.0525819 | 113176.0 | unsat | unsat |
430495664 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01045 | 0.0235741 | 113176.0 | unsat | unsat |
430495675 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.21 | 2.22349 | 231780.0 | sat | sat |
430495736 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 5.27 | 5.33839 | 279388.0 | sat | sat |
430495729 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 3.64 | 3.67157 | 241300.0 | sat | sat |
430495909 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.2 | 2.2512 | 231780.0 | sat | sat |
430495892 | qf_shls_entl/ls-vc01.smt2 | 8317436 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01379 | 0.031604 | 113176.0 | sat | sat |
430495723 | qf_shls_entl/ls-vc02.smt2 | 8317267 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015129 | 0.0336289 | 113176.0 | sat | sat |
430495681 | qf_shls_entl/ls-vc03.smt2 | 8317225 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.035445 | 0.0648 | 113176.0 | sat | sat |
430495775 | qf_shls_entl/ls-vc04.smt2 | 8317319 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012197 | 0.0274289 | 113176.0 | sat | sat |
430495879 | qf_shls_entl/ls-vc05.smt2 | 8317423 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.049868 | 0.121737 | 113176.0 | unsat | unsat |
430495708 | qf_shls_entl/ls-vc06.smt2 | 8317252 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.10026 | 0.240558 | 113176.0 | sat | sat |
430495666 | qf_shls_entl/ls-vc07.smt2 | 8317210 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.75 | 2.7397 | 195452.0 | sat | sat |
430495835 | qf_shls_entl/ls-vc08.smt2 | 8317379 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.57 | 0.581287 | 176868.0 | unsat | unsat |
430495867 | qf_shls_entl/ls-vc09.smt2 | 8317411 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.95 | 0.980441 | 181532.0 | unsat | unsat |
430495697 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010434 | 0.0229231 | 113176.0 | unsat | unsat |
430495730 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.009993 | 0.0226999 | 113176.0 | unsat | unsat |
430495722 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011246 | 0.024078 | 113176.0 | unsat | unsat |
430495751 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013341 | 0.0268259 | 113176.0 | unsat | unsat |
430495741 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011908 | 0.024812 | 113176.0 | unsat | unsat |
430495768 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011574 | 0.0245749 | 113176.0 | unsat | unsat |
430495761 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010543 | 0.023351 | 113176.0 | unsat | unsat |
430495621 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01062 | 0.0232431 | 113176.0 | unsat | unsat |
430495635 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.86 | 0.898651 | 179756.0 | unsat | unsat |
430495816 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.081322 | 0.1363 | 113176.0 | unsat | unsat |
430495824 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056263 | 0.104628 | 113176.0 | unsat | unsat |
430495830 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.041932 | 0.0819739 | 113176.0 | unsat | unsat |
430495841 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.06206 | 0.113315 | 113176.0 | unsat | unsat |
430495773 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011844 | 0.025068 | 113176.0 | unsat | unsat |
430495780 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01086 | 0.023766 | 113176.0 | unsat | unsat |
430495790 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.050788 | 0.107736 | 113176.0 | unsat | unsat |
430495799 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011906 | 0.025362 | 113176.0 | unsat | unsat |
430495883 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.054646 | 0.120637 | 113176.0 | unsat | unsat |
430495876 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01013 | 0.0230409 | 113176.0 | unsat | unsat |
430495616 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011904 | 0.025946 | 113176.0 | unsat | unsat |
430495624 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.042046 | 0.0820659 | 113176.0 | unsat | unsat |
430495638 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013119 | 0.027727 | 113176.0 | sat | sat |
430495647 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011163 | 0.024366 | 113176.0 | sat | sat |
430495665 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.016128 | 0.031387 | 113176.0 | unsat | unsat |
430495674 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012978 | 0.0272001 | 113176.0 | unsat | unsat |
430495682 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012106 | 0.0258209 | 113176.0 | unsat | unsat |
430495695 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011382 | 0.0249261 | 113176.0 | unsat | unsat |
430495714 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.066693 | 0.120415 | 113176.0 | unsat | unsat |
430495705 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012885 | 0.0276919 | 113176.0 | sat | sat |
430495887 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018711 | 0.0373029 | 113176.0 | sat | sat |
430495878 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.019006 | 0.0392879 | 113176.0 | sat | sat |
430495908 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015091 | 0.03239 | 113176.0 | sat | sat |
430495899 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014875 | 0.0329231 | 113176.0 | sat | sat |
430495853 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.4 | 1.43893 | 181644.0 | unsat | unsat |
430495845 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014806 | 0.0313659 | 113176.0 | sat | sat |
430495865 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.062994 | 0.135714 | 113176.0 | unsat | unsat |
430495858 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015627 | 0.031764 | 113176.0 | sat | sat |
430495808 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.38 | 1.41065 | 183752.0 | unsat | unsat |
430495820 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013214 | 0.029053 | 113176.0 | sat | sat |
430495872 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.020763 | 0.0409691 | 113176.0 | sat | sat |
430495864 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.7 | 0.749813 | 178212.0 | unsat | unsat |
430495855 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.24 | 1.25301 | 186084.0 | unsat | unsat |
430495846 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01967 | 0.039841 | 113176.0 | sat | sat |
430495900 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.99 | 2.98427 | 204400.0 | unsat | unsat |
430495894 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.20142 | 2.29642 | 175604.0 | unsat | unsat |
430495884 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.28 | 2.29773 | 175476.0 | unsat | unsat |
430495875 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010348 | 0.023318 | 113176.0 | unsat | unsat |
430495791 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.71 | 0.743832 | 178208.0 | unsat | unsat |
430495798 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.015799 | 0.031834 | 113176.0 | sat | sat |
430495680 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.055214 | 0.105504 | 113176.0 | unsat | unsat |
430495692 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.050272 | 0.1051 | 113176.0 | unsat | unsat |
430495655 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.92 | 0.980481 | 179756.0 | unsat | unsat |
430495668 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.045496 | 0.0878099 | 113176.0 | unsat | unsat |
430495640 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012802 | 0.0274351 | 113176.0 | sat | sat |
430495649 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.053725 | 0.10348 | 113176.0 | unsat | unsat |
430495623 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013046 | 0.0274701 | 113176.0 | sat | sat |
430495634 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.018575 | 0.0387229 | 113176.0 | sat | sat |
430495769 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.16 | 1.14655 | 179756.0 | unsat | unsat |
430495759 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.047398 | 0.0919109 | 113176.0 | unsat | unsat |
430495794 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.059836 | 0.118629 | 113176.0 | unsat | unsat |
430495803 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012808 | 0.027776 | 113176.0 | sat | sat |
430495779 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012917 | 0.0257601 | 113176.0 | unsat | unsat |
430495785 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 2.39 | 2.42225 | 175612.0 | unsat | unsat |
430495826 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012826 | 0.0262409 | 113176.0 | unsat | unsat |
430495839 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.69 | 0.728983 | 173984.0 | unsat | unsat |
430495811 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.04802 | 0.104332 | 113176.0 | unsat | unsat |
430495818 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.056065 | 0.106002 | 113176.0 | unsat | unsat |
430495868 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.01309 | 0.028155 | 113176.0 | sat | sat |
430495856 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.012771 | 0.027267 | 113176.0 | sat | sat |
430495763 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.017655 | 0.035749 | 113176.0 | sat | sat |
430495755 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.07628 | 0.181298 | 113176.0 | unsat | unsat |
430495746 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.014024 | 0.0293841 | 113176.0 | sat | sat |
430495738 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013256 | 0.027802 | 113176.0 | sat | sat |
430495735 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 1.09 | 1.14476 | 181704.0 | unsat | unsat |
430495728 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.011872 | 0.025746 | 113176.0 | unsat | unsat |
430495715 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.013573 | 0.0291579 | 113176.0 | sat | sat |
430495703 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | Songbird v2 | 20617 | songbird.sh | 304292 | complete | 0.010929 | 0.02379 | 113176.0 | unsat | unsat |