|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.96
|
12.38
|
|||
|
12.22
|
11.71
|
|||
|
12.43
|
12.24
|
|||
|
12.34
|
11.81
|
|||
|
11.20
|
12.07
|
|||
|
11.74
|
11.79
|
|||
|
12.77
|
12.89
|
|||
|
11.83
|
10.42
|
|||
|
11.80
|
12.10
|
|||
|
11.73
|
11.93
|
|||
|
12.24
|
12.85
|
|||
|
11.93
|
11.94
|
|||
|
6.86
|
12.04
|
|||
|
11.72
|
10.96
|
|||
|
12.51
|
11.40
|
|||
|
11.25
|
11.63
|
|||
|
11.57
|
11.33
|
|||
|
12.58
|
12.15
|
|||
|
11.49
|
11.49
|
|||
|
13.57
|
12.93
|
|||
|
11.69
|
11.17
|
|||
|
11.79
|
12.57
|
|||
|
11.69
|
12.23
|
|||
|
9.76
|
11.73
|
|||
|
11.43
|
11.48
|