|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.86
|
6.41
|
|||
|
6.62
|
5.32
|
|||
|
4.25
|
11.34
|
|||
|
12.65
|
15.37
|
|||
|
11.13
|
11.19
|
|||
|
11.22
|
11.24
|
|||
|
11.13
|
11.36
|
|||
|
13.10
|
10.87
|
|||
|
11.33
|
11.31
|
|||
|
11.19
|
11.41
|
|||
|
0.82
|
8.41
|
|||
|
7.98
|
11.26
|
|||
|
6.96
|
13.58
|
|||
|
11.60
|
11.47
|
|||
|
13.09
|
12.80
|
|||
|
13.16
|
13.49
|
|||
|
12.49
|
12.89
|
|||
|
11.40
|
11.26
|
|||
|
11.33
|
11.42
|
|||
|
11.41
|
11.37
|
|||
|
11.40
|
11.24
|
|||
|
11.37
|
11.52
|
|||
|
11.11
|
11.69
|
|||
|
11.63
|
11.61
|
|||
|
11.66
|
11.41
|