|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.22
|
11.53
|
|||
|
11.26
|
5.63
|
|||
|
11.13
|
11.43
|
|||
|
11.16
|
9.61
|
|||
|
11.36
|
11.23
|
|||
|
11.17
|
3.07
|
|||
|
11.06
|
10.13
|
|||
|
11.20
|
11.24
|
|||
|
11.16
|
6.05
|
|||
|
11.19
|
2.42
|
|||
|
11.35
|
11.17
|
|||
|
11.14
|
4.96
|
|||
|
11.15
|
4.27
|
|||
|
11.14
|
11.41
|
|||
|
11.23
|
2.74
|
|||
|
11.11
|
5.55
|
|||
|
11.45
|
4.73
|
|||
|
11.41
|
11.21
|
|||
|
11.39
|
5.91
|
|||
|
11.06
|
11.31
|
|||
|
11.19
|
3.01
|
|||
|
11.13
|
2.17
|
|||
|
11.22
|
5.52
|
|||
|
11.29
|
4.60
|
|||
|
11.10
|
10.63
|