Adding dirk-new to repo

[Benchmarks_CSolver.git] / dirk-new / org-traces / array.log

diff --git a/dirk-new/org-traces/array.log b/dirk-new/org-traces/array.log
new file mode 100644 (file)
index 0000000..dbd4e16
--- /dev/null
+++ b/dirk-new/org-traces/array.log
@@ -0,0 +1,119 @@
+WARNING: unknown parameter 'timeout'
+Legal parameters are:
+  auto_config (bool) (default: true)
+  debug_ref_count (bool) (default: false)
+  dump_models (bool) (default: false)
+  model (bool) (default: true)
+  model_validate (bool) (default: false)
+  proof (bool) (default: false)
+  rlimit (unsigned int) (default: 4294967295)
+  smtlib2_compliant (bool) (default: false)
+  timeout (unsigned int) (default: 4294967295)
+  trace (bool) (default: false)
+  trace_file_name (string) (default: z3.log)
+  type_check (bool) (default: true)
+  unsat_core (bool) (default: false)
+  well_sorted_check (bool) (default: false)
+
+
+ASSERTSTART
+(and (< O!0 O!1)
+     (< O!1 O!2)
+     (< O!2 O!3)
+     (< O!3 O!4)
+     (< O!4 O!5)
+     (< O!5 O!6)
+     (< O!6 O!7)
+     (< O!7 O!8)
+     (< O!9 O!10)
+     (< O!10 O!11)
+     (< O!11 O!12))
+ASSERTEND
+
+
+VARSTART
+(=> S!16 true)
+VAREND
+
+
+VARSTART
+(=> S!15 (and S!16 (or (< O!6 O!2) (< O!11 O!6))))
+VAREND
+
+
+VARSTART
+(=> S!18 true)
+VAREND
+
+
+VARSTART
+(=> S!17 S!18)
+VAREND
+
+
+VARSTART
+(=> S!24 true)
+VAREND
+
+
+VARSTART
+(=> S!23 S!24)
+VAREND
+
+
+VARSTART
+(=> S!22 (and S!15 S!17 S!19 S!23))
+VAREND
+
+
+VARSTART
+(let ((a!1 (and (or (< O!5 O!10) (and (< O!12 O!5) S!22)) true)))
+  (=> S!21 a!1))
+VAREND
+
+
+VARSTART
+(=> S!25 (< O!0 O!4))
+VAREND
+
+
+VARSTART
+(=> S!20 (and S!21 S!25))
+VAREND
+
+
+VARSTART
+(let ((a!1 (and (or (< O!10 O!5) (and (< O!7 O!10) S!20)) true)))
+  (=> S!19 a!1))
+VAREND
+
+
+VARSTART
+(=> S!26 (< O!1 O!8))
+VAREND
+
+
+SATSTART
+(and (= O!13 O!14)
+     S!15
+     S!17
+     S!19
+     S!23
+     (< O!11 O!13)
+     (< O!13 O!12)
+     S!26
+     S!21
+     S!25
+     (< O!8 O!14))
+SATEND
+
+
+TIMESTART
+2019-10-09 19:29:49.26367 UTC
+TIMESTART
+
+
+TIMEEND
+2019-10-09 19:29:49.263865 UTC
+TIMEEND
+