| 430512450 | qf_shlid_entl/dll-vc01.smt2 | 8318278 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01259 | 0.012648 | 113176.0 | unsat | unsat |
| 430512408 | qf_shlid_entl/dll-vc02.smt2 | 8318236 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012113 | 0.012172 | 113176.0 | unsat | unsat |
| 430512432 | qf_shlid_entl/dll-vc03.smt2 | 8318260 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012215 | 0.012245 | 113176.0 | unsat | unsat |
| 430512456 | qf_shlid_entl/dll-vc04.smt2 | 8318284 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013048 | 0.013114 | 113176.0 | sat | sat |
| 430512452 | qf_shlid_entl/dll-vc05.smt2 | 8318280 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01235 | 0.012407 | 113176.0 | unsat | unsat |
| 430512413 | qf_shlid_entl/dll-vc06.smt2 | 8318241 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013697 | 0.013762 | 113176.0 | sat | sat |
| 430512437 | qf_shlid_entl/dll-vc07.smt2 | 8318265 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012243 | 0.012283 | 113176.0 | unsat | unsat |
| 430512461 | qf_shlid_entl/dll-vc08.smt2 | 8318289 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012589 | 0.01267 | 113176.0 | sat | sat |
| 430512443 | qf_shlid_entl/dll-vc09.smt2 | 8318271 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012632 | 0.0126929 | 113176.0 | unsat | unsat |
| 430512459 | qf_shlid_entl/dll-vc10.smt2 | 8318287 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012228 | 0.012286 | 113176.0 | sat | sat |
| 430512440 | qf_shlid_entl/dll-vc11.smt2 | 8318268 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012813 | 0.013951 | 0.0 | unsat | unsat |
| 430512415 | qf_shlid_entl/dll-vc12.smt2 | 8318243 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012584 | 0.0126539 | 113176.0 | sat | sat |
| 430512423 | qf_shlid_entl/dll-vc13.smt2 | 8318251 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.01232 | 0.0123881 | 113176.0 | sat | sat |
| 430512465 | qf_shlid_entl/dll-vc14.smt2 | 8318293 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012163 | 0.012234 | 113176.0 | sat | sat |
| 430512447 | qf_shlid_entl/dll-vc15.smt2 | 8318275 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012031 | 0.012105 | 113176.0 | unsat | unsat |
| 430512420 | qf_shlid_entl/dll-vc16.smt2 | 8318248 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014504 | 0.0145641 | 113176.0 | sat | sat |
| 430512429 | qf_shlid_entl/dll-vc17.smt2 | 8318257 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.0134 | 0.013413 | 113176.0 | unsat | unsat |
| 430512441 | qf_shlid_entl/lss-vc01.smt2 | 8318269 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011663 | 0.0116929 | 113176.0 | unsat | unsat |
| 430512417 | qf_shlid_entl/lss-vc02.smt2 | 8318245 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012261 | 0.012294 | 113176.0 | unsat | unsat |
| 430512426 | qf_shlid_entl/lss-vc03.smt2 | 8318254 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.011874 | 0.012053 | 0.0 | unsat | unsat |
| 430512418 | qf_shlid_entl/nll-vc01.smt2 | 8318246 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014522 | 0.0145571 | 113176.0 | unsat | unsat |
| 430512445 | qf_shlid_entl/nll-vc02.smt2 | 8318273 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013164 | 0.0132411 | 113176.0 | unsat | unsat |
| 430512462 | qf_shlid_entl/nll-vc03.smt2 | 8318290 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014341 | 0.014379 | 113176.0 | unsat | unsat |
| 430512430 | qf_shlid_entl/nll-vc04.smt2 | 8318258 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015006 | 0.0150401 | 113176.0 | unsat | unsat |
| 430512422 | qf_shlid_entl/nll-vc05.smt2 | 8318250 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012855 | 0.0129231 | 113176.0 | unsat | unsat |
| 430512449 | qf_shlid_entl/nll-vc06.smt2 | 8318277 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013213 | 0.01327 | 113176.0 | sat | sat |
| 430512466 | qf_shlid_entl/nll-vc07.smt2 | 8318294 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013629 | 0.013661 | 113176.0 | unsat | unsat |
| 430512434 | qf_shlid_entl/nll-vc08.smt2 | 8318262 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012841 | 0.0128839 | 113176.0 | unsat | unsat |
| 430512410 | qf_shlid_entl/nll-vc09.smt2 | 8318238 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013025 | 0.0130981 | 113176.0 | unsat | unsat |
| 430512435 | qf_shlid_entl/nll-vc10.smt2 | 8318263 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012727 | 0.0127799 | 113176.0 | unsat | unsat |
| 430512411 | qf_shlid_entl/nll-vc11.smt2 | 8318239 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012884 | 0.0129101 | 113176.0 | unsat | unsat |
| 430512451 | qf_shlid_entl/nll-vc12.smt2 | 8318279 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012833 | 0.0128659 | 113176.0 | unsat | unsat |
| 430512455 | qf_shlid_entl/nll-vc13.smt2 | 8318283 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012976 | 0.013057 | 113176.0 | sat | sat |
| 430512438 | qf_shlid_entl/nll-vc14.smt2 | 8318266 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012674 | 0.01289 | 113176.0 | sat | sat |
| 430512414 | qf_shlid_entl/nll-vc15.smt2 | 8318242 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013008 | 0.013051 | 113176.0 | sat | sat |
| 430512453 | qf_shlid_entl/nll-vc16.smt2 | 8318281 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013227 | 0.013268 | 113176.0 | sat | sat |
| 430512458 | qf_shlid_entl/nll-vc17.smt2 | 8318286 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014151 | 0.0142209 | 113176.0 | sat | sat |
| 430512424 | qf_shlid_entl/nll-vc18.smt2 | 8318252 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013718 | 0.0137961 | 113176.0 | sat | sat |
| 430512416 | qf_shlid_entl/nll-vc19.smt2 | 8318244 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013896 | 0.0139741 | 113176.0 | sat | sat |
| 430512427 | qf_shlid_entl/skl2-vc01.smt2 | 8318255 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012584 | 0.012637 | 113176.0 | unsat | unsat |
| 430512463 | qf_shlid_entl/skl2-vc02.smt2 | 8318291 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012416 | 0.0124821 | 113176.0 | unsat | unsat |
| 430512444 | qf_shlid_entl/skl2-vc03.smt2 | 8318272 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.02008 | 0.0201051 | 113176.0 | unsat | unsat |
| 430512421 | qf_shlid_entl/skl2-vc04.smt2 | 8318249 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012824 | 0.01287 | 113176.0 | unsat | unsat |
| 430512431 | qf_shlid_entl/skl2-vc05.smt2 | 8318259 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013915 | 0.01397 | 113176.0 | sat | sat |
| 430512467 | qf_shlid_entl/skl2-vc06.smt2 | 8318295 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013616 | 0.0136939 | 113176.0 | sat | sat |
| 430512448 | qf_shlid_entl/skl2-vc07.smt2 | 8318276 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013493 | 0.0135661 | 113176.0 | sat | sat |
| 430512425 | qf_shlid_entl/skl3-vc01.smt2 | 8318253 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013374 | 0.0134371 | 113176.0 | unsat | unsat |
| 430512460 | qf_shlid_entl/skl3-vc02.smt2 | 8318288 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.012952 | 0.013033 | 113176.0 | sat | sat |
| 430512442 | qf_shlid_entl/skl3-vc03.smt2 | 8318270 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.013497 | 0.0135311 | 113176.0 | unsat | unsat |
| 430512419 | qf_shlid_entl/skl3-vc04.smt2 | 8318247 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.018368 | 0.0184079 | 113176.0 | unsat | unsat |
| 430512428 | qf_shlid_entl/skl3-vc05.smt2 | 8318256 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017435 | 0.0175169 | 113176.0 | unsat | unsat |
| 430512464 | qf_shlid_entl/skl3-vc06.smt2 | 8318292 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015439 | 0.0155181 | 113176.0 | unsat | unsat |
| 430512446 | qf_shlid_entl/skl3-vc07.smt2 | 8318274 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.016527 | 0.0165781 | 113176.0 | unsat | unsat |
| 430512412 | qf_shlid_entl/skl3-vc08.smt2 | 8318240 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.015622 | 0.0156951 | 113176.0 | unsat | unsat |
| 430512436 | qf_shlid_entl/skl3-vc09.smt2 | 8318264 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014195 | 0.0143259 | 113176.0 | unsat | unsat |
| 430512409 | qf_shlid_entl/skl3-vc10.smt2 | 8318237 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.014176 | 0.0142091 | 113176.0 | unsat | unsat |
| 430512433 | qf_shlid_entl/skl3-vc11.smt2 | 8318261 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017445 | 0.017469 | 113176.0 | sat | sat |
| 430512454 | qf_shlid_entl/skl3-vc12.smt2 | 8318282 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.017425 | 0.017508 | 113176.0 | sat | sat |
| 430512457 | qf_shlid_entl/sll-vc01.smt2 | 8318285 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.060464 | 0.060509 | 113176.0 | sat | sat |
| 430512439 | qf_shlid_entl/sll-vc02.smt2 | 8318267 | s2s.0.3.3 | 22440 | default | 326050 | complete | 0.042169 | 0.0422179 | 113176.0 | sat | sat |