Parallel String Solving on SMT-LIB QF_SLIA (test)
1,022Solved CountZ3seq(Owl)
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Z3seq(Owl)Threads=322026.06 | 1,022 | 8.55 | 9,226 | |
| Z3seq(Owl)Threads=162026.06 | 1,021 | 8.77 | 9,680 | |
| Z3seq(Owl)Threads=82026.06 | 1,013 | 9.07 | 11,831 | |
| Z3seqThreads=322026.06 | 1,008 | 12.43 | 16,134 | |
| Z3seq(Owl)Threads=42026.06 | 999 | 10.38 | 16,370 | |
| Z3seqThreads=162026.06 | 996 | 12.74 | 19,165 | |
| Z3seqThreads=82026.06 | 978 | 12.81 | 23,333 | |
| Z3str4Threads=322026.06 | 960 | 3.57 | 10,703 | |
| Z3str4(Owl)Threads=322026.06 | 958 | 2.25 | 6,814 | |
| Z3str4(Owl)Threads=162026.06 | 956 | 2.21 | 7,487 | |
| Z3seqThreads=42026.06 | 953 | 12.96 | 29,152 | |
| Z3str4(Owl)Threads=82026.06 | 949 | 2.07 | 7,594 | |
| Z3str4Threads=82026.06 | 948 | 3.5 | 12,274 | |
| Z3str4(Owl)Threads=42026.06 | 945 | 2.09 | 7,374 | |
| Z3str4Threads=162026.06 | 937 | 3.85 | 11,637 | |
| Z3str4Threads=42026.06 | 936 | 3.25 | 13,931 |