|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.45
|
11.31
|
|||
|
12.59
|
11.40
|
|||
|
13.01
|
7.77
|
|||
|
4.94
|
11.98
|
|||
|
12.17
|
12.48
|
|||
|
12.46
|
12.62
|
|||
|
11.87
|
11.81
|
|||
|
15.97
|
12.93
|
|||
|
12.08
|
11.85
|
|||
|
12.31
|
10.07
|
|||
|
12.56
|
12.21
|
|||
|
12.52
|
12.04
|
|||
|
12.25
|
12.63
|
|||
|
14.65
|
13.98
|
|||
|
17.14
|
14.30
|
|||
|
13.86
|
10.88
|
|||
|
11.14
|
8.56
|
|||
|
12.58
|
13.18
|
|||
|
13.66
|
12.77
|
|||
|
12.33
|
12.31
|
|||
|
12.50
|
12.48
|
|||
|
12.23
|
12.13
|
|||
|
13.80
|
12.77
|
|||
|
12.27
|
13.49
|
|||
|
12.76
|
12.25
|