| 433164900 | qf_shlid_entl/dll-vc01.smt2 | 8318278 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290618 | 0.321734 | 113176.0 | unsat | unsat |
| 433164858 | qf_shlid_entl/dll-vc02.smt2 | 8318236 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291517 | 0.282448 | 113176.0 | unsat | unsat |
| 433164882 | qf_shlid_entl/dll-vc03.smt2 | 8318260 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291145 | 0.325504 | 113176.0 | unsat | unsat |
| 433164906 | qf_shlid_entl/dll-vc04.smt2 | 8318284 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.306871 | 0.296398 | 113176.0 | starexec-unknown | sat |
| 433164902 | qf_shlid_entl/dll-vc05.smt2 | 8318280 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289642 | 0.280452 | 113176.0 | starexec-unknown | unsat |
| 433164863 | qf_shlid_entl/dll-vc06.smt2 | 8318241 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.369928 | 0.36047 | 113176.0 | starexec-unknown | sat |
| 433164887 | qf_shlid_entl/dll-vc07.smt2 | 8318265 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290191 | 0.282701 | 113176.0 | starexec-unknown | unsat |
| 433164911 | qf_shlid_entl/dll-vc08.smt2 | 8318289 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.349988 | 0.339258 | 113176.0 | starexec-unknown | sat |
| 433164893 | qf_shlid_entl/dll-vc09.smt2 | 8318271 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.303687 | 0.326464 | 113176.0 | starexec-unknown | unsat |
| 433164909 | qf_shlid_entl/dll-vc10.smt2 | 8318287 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.342514 | 0.335083 | 113176.0 | starexec-unknown | sat |
| 433164890 | qf_shlid_entl/dll-vc11.smt2 | 8318268 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290746 | 0.281244 | 113176.0 | starexec-unknown | unsat |
| 433164865 | qf_shlid_entl/dll-vc12.smt2 | 8318243 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.36866 | 0.359329 | 113176.0 | starexec-unknown | sat |
| 433164873 | qf_shlid_entl/dll-vc13.smt2 | 8318251 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.368945 | 0.359818 | 113176.0 | starexec-unknown | sat |
| 433164915 | qf_shlid_entl/dll-vc14.smt2 | 8318293 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.294405 | 0.316376 | 113176.0 | starexec-unknown | sat |
| 433164897 | qf_shlid_entl/dll-vc15.smt2 | 8318275 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290253 | 0.281114 | 113176.0 | unsat | unsat |
| 433164870 | qf_shlid_entl/dll-vc16.smt2 | 8318248 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29136 | 0.282386 | 113176.0 | starexec-unknown | sat |
| 433164879 | qf_shlid_entl/dll-vc17.smt2 | 8318257 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.370805 | 0.36206 | 113176.0 | starexec-unknown | unsat |
| 433164891 | qf_shlid_entl/lss-vc01.smt2 | 8318269 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.304199 | 0.308424 | 113176.0 | unsat | unsat |
| 433164867 | qf_shlid_entl/lss-vc02.smt2 | 8318245 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.308248 | 0.314224 | 113176.0 | unsat | unsat |
| 433164876 | qf_shlid_entl/lss-vc03.smt2 | 8318254 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.559373 | 0.55521 | 414756.0 | unsat | unsat |
| 433164868 | qf_shlid_entl/nll-vc01.smt2 | 8318246 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.350126 | 0.341376 | 113176.0 | starexec-unknown | unsat |
| 433164895 | qf_shlid_entl/nll-vc02.smt2 | 8318273 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.350305 | 0.341807 | 113176.0 | starexec-unknown | unsat |
| 433164912 | qf_shlid_entl/nll-vc03.smt2 | 8318290 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.08928 | 1.08097 | 414612.0 | starexec-unknown | unsat |
| 433164880 | qf_shlid_entl/nll-vc04.smt2 | 8318258 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.40899 | 0.399922 | 113176.0 | starexec-unknown | unsat |
| 433164872 | qf_shlid_entl/nll-vc05.smt2 | 8318250 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293107 | 0.28975 | 113176.0 | starexec-unknown | unsat |
| 433164899 | qf_shlid_entl/nll-vc06.smt2 | 8318277 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.350256 | 0.341126 | 113176.0 | starexec-unknown | sat |
| 433164916 | qf_shlid_entl/nll-vc07.smt2 | 8318294 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.326434 | 0.355338 | 113176.0 | starexec-unknown | unsat |
| 433164884 | qf_shlid_entl/nll-vc08.smt2 | 8318262 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292552 | 0.28351 | 113176.0 | starexec-unknown | unsat |
| 433164860 | qf_shlid_entl/nll-vc09.smt2 | 8318238 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291021 | 0.282017 | 113176.0 | starexec-unknown | unsat |
| 433164885 | qf_shlid_entl/nll-vc10.smt2 | 8318263 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292691 | 0.284258 | 113176.0 | starexec-unknown | unsat |
| 433164861 | qf_shlid_entl/nll-vc11.smt2 | 8318239 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291742 | 0.282224 | 113176.0 | starexec-unknown | unsat |
| 433164901 | qf_shlid_entl/nll-vc12.smt2 | 8318279 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291373 | 0.282008 | 113176.0 | starexec-unknown | unsat |
| 433164905 | qf_shlid_entl/nll-vc13.smt2 | 8318283 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29089 | 0.314887 | 113176.0 | starexec-unknown | sat |
| 433164888 | qf_shlid_entl/nll-vc14.smt2 | 8318266 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291377 | 0.282411 | 113176.0 | starexec-unknown | sat |
| 433164864 | qf_shlid_entl/nll-vc15.smt2 | 8318242 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291459 | 0.282459 | 113176.0 | starexec-unknown | sat |
| 433164903 | qf_shlid_entl/nll-vc16.smt2 | 8318281 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293465 | 0.284863 | 113176.0 | starexec-unknown | sat |
| 433164908 | qf_shlid_entl/nll-vc17.smt2 | 8318286 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.393521 | 0.405933 | 113176.0 | starexec-unknown | sat |
| 433164874 | qf_shlid_entl/nll-vc18.smt2 | 8318252 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.417813 | 0.409163 | 113176.0 | starexec-unknown | sat |
| 433164866 | qf_shlid_entl/nll-vc19.smt2 | 8318244 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292815 | 0.284562 | 113176.0 | starexec-unknown | sat |
| 433164877 | qf_shlid_entl/skl2-vc01.smt2 | 8318255 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293843 | 0.353342 | 113176.0 | starexec-unknown | unsat |
| 433164913 | qf_shlid_entl/skl2-vc02.smt2 | 8318291 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29 | 0.2811 | 113176.0 | starexec-unknown | unsat |
| 433164894 | qf_shlid_entl/skl2-vc03.smt2 | 8318272 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.418344 | 0.409713 | 113176.0 | starexec-unknown | unsat |
| 433164871 | qf_shlid_entl/skl2-vc04.smt2 | 8318249 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291578 | 0.282618 | 113176.0 | starexec-unknown | unsat |
| 433164881 | qf_shlid_entl/skl2-vc05.smt2 | 8318259 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.398195 | 0.38929 | 113176.0 | starexec-unknown | sat |
| 433164917 | qf_shlid_entl/skl2-vc06.smt2 | 8318295 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.399751 | 0.427489 | 113176.0 | starexec-unknown | sat |
| 433164898 | qf_shlid_entl/skl2-vc07.smt2 | 8318276 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29242 | 0.283306 | 113176.0 | starexec-unknown | sat |
| 433164875 | qf_shlid_entl/skl3-vc01.smt2 | 8318253 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291178 | 0.281907 | 113176.0 | starexec-unknown | unsat |
| 433164910 | qf_shlid_entl/skl3-vc02.smt2 | 8318288 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.304753 | 0.293843 | 113176.0 | starexec-unknown | sat |
| 433164892 | qf_shlid_entl/skl3-vc03.smt2 | 8318270 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.303721 | 0.292617 | 113176.0 | starexec-unknown | unsat |
| 433164869 | qf_shlid_entl/skl3-vc04.smt2 | 8318247 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290613 | 0.281453 | 113176.0 | starexec-unknown | unsat |
| 433164878 | qf_shlid_entl/skl3-vc05.smt2 | 8318256 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293252 | 0.284013 | 113176.0 | starexec-unknown | unsat |
| 433164914 | qf_shlid_entl/skl3-vc06.smt2 | 8318292 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291302 | 0.282041 | 113176.0 | starexec-unknown | unsat |
| 433164896 | qf_shlid_entl/skl3-vc07.smt2 | 8318274 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293171 | 0.441028 | 113176.0 | starexec-unknown | unsat |
| 433164862 | qf_shlid_entl/skl3-vc08.smt2 | 8318240 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29324 | 0.326046 | 113176.0 | starexec-unknown | unsat |
| 433164886 | qf_shlid_entl/skl3-vc09.smt2 | 8318264 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293424 | 0.284611 | 113176.0 | starexec-unknown | unsat |
| 433164859 | qf_shlid_entl/skl3-vc10.smt2 | 8318237 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.454806 | 0.445772 | 113176.0 | starexec-unknown | unsat |
| 433164883 | qf_shlid_entl/skl3-vc11.smt2 | 8318261 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.294197 | 0.284773 | 113176.0 | starexec-unknown | sat |
| 433164904 | qf_shlid_entl/skl3-vc12.smt2 | 8318282 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299133 | 0.331213 | 113176.0 | starexec-unknown | sat |
| 433164907 | qf_shlid_entl/sll-vc01.smt2 | 8318285 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.788475 | 0.780202 | 414620.0 | starexec-unknown | sat |
| 433164889 | qf_shlid_entl/sll-vc02.smt2 | 8318267 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.868264 | 0.85937 | 414756.0 | starexec-unknown | sat |