Julia Version 1.9.0
Commit 8e630552924 (2023-05-07 11:25 UTC)
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × Intel(R) Core(TM) i7-6820HQ CPU @ 2.70GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-14.0.6 (ORCJIT, skylake)
  Threads: 1 on 8 virtual cores
Environment:
  JULIA_REVISE = manual

Satisfiability.jl on branch dev, commit hash 015079caa88995d8df40340f0e04908bffa7af0d
,Finding 5 solutions per n.n,sat_timing (seconds),z3_timing (seconds),filegen (seconds)
16,0.3576528525,0.0289877157,0.022373753
32,0.22950166480000003,0.0350754184,0.00986801
64,0.2999976552,0.07305929620000001,0.018737223
128,0.5139606798,0.2418998656,0.039540528000000005
256,1.48789177,1.240145854,0.089389488
512,5.526672974,4.380908629,0.212775449
1024,34.695014597000004,27.841162259,0.5751838450000001
2048,118.772447739,104.480650077,1.457049932
4096,499.22652491300005,407.08969699000005,4.836080606
