-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathsolvers.cfg
64 lines (64 loc) · 3.53 KB
/
solvers.cfg
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
z3-ref memory_max_size=1024 model_validate=true
cvc5-ref -q --check-models --check-unsat-cores --strings-exp
z3-old-ref memory_max_size=1024 model_validate=true unicode=false
cvc5-1.1.2 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.1.1 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.1.0 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.9 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.8 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.7 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.6 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.5 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.4 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.3 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.2 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.1 -q --check-models --check-unsat-cores --strings-exp
cvc5-1.0.0 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.12 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.11 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.10 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.8 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.7 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.6 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.5 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.4 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.3 -q --check-models --check-unsat-cores --strings-exp
cvc5-0.0.2 -q --check-models --check-unsat-cores --strings-exp
cvc4-1.8 -q --check-models --check-unsat-cores --strings-exp
cvc4-1.7 -q --check-models --check-unsat-cores --strings-exp
cvc4-1.6 -q --check-models --check-unsat-cores --strings-exp
cvc4-1.5 -q --check-models --check-unsat-cores --strings-exp
z3-4.13.0 memory_max_size=1024 model_validate=true
z3-4.12.6 memory_max_size=1024 model_validate=true
z3-4.12.5 memory_max_size=1024 model_validate=true
z3-4.12.4 memory_max_size=1024 model_validate=true
z3-4.12.3 memory_max_size=1024 model_validate=true
z3-4.12.2 memory_max_size=1024 model_validate=true
z3-4.12.1 memory_max_size=1024 model_validate=true
z3-4.12.0 memory_max_size=1024 model_validate=true
z3-4.11.2 memory_max_size=1024 model_validate=true
z3-4.11.0 memory_max_size=1024 model_validate=true
z3-4.10.2 memory_max_size=1024 model_validate=true
z3-4.10.1 memory_max_size=1024 model_validate=true
z3-4.10.0 memory_max_size=1024 model_validate=true
z3-4.9.1 memory_max_size=1024 model_validate=true
z3-4.9.0 memory_max_size=1024 model_validate=true
z3-4.8.17 memory_max_size=1024 model_validate=true
z3-4.8.16 memory_max_size=1024 model_validate=true
z3-4.8.15 memory_max_size=1024 model_validate=true
z3-4.8.14 memory_max_size=1024 model_validate=true
z3-4.8.13 memory_max_size=1024 model_validate=true
z3-4.8.12 memory_max_size=1024 model_validate=true unicode=true
z3-4.8.11 memory_max_size=1024 model_validate=true unicode=true
z3-4.8.10 memory_max_size=1024 model_validate=true
z3-4.8.9 memory_max_size=1024 model_validate=true
z3-4.8.8 memory_max_size=1024 model_validate=true
z3-4.8.7 memory_max_size=1024 model_validate=true
z3-4.8.6 memory_max_size=1024 model_validate=true
z3-4.8.5 memory_max_size=1024 model_validate=true
z3-4.8.4 memory_max_size=1024 model_validate=true
z3-4.8.3 memory_max_size=1024 model_validate=true
z3-4.8.1 memory_max_size=1024 model_validate=true
z3-4.7.1 memory_max_size=1024 model_validate=true
z3-4.6.0 memory_max_size=1024 model_validate=true
z3-4.5.0 memory_max_size=1024 model_validate=true