|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
14.06
|
14.76
|
|||
|
13.62
|
11.96
|
|||
|
13.25
|
10.45
|
|||
|
12.52
|
16.75
|
|||
|
12.63
|
15.14
|
|||
|
13.43
|
14.79
|
|||
|
11.93
|
13.78
|
|||
|
12.75
|
15.03
|
|||
|
11.95
|
13.81
|
|||
|
13.64
|
16.99
|
|||
|
12.64
|
9.54
|
|||
|
14.42
|
17.20
|
|||
|
13.93
|
15.03
|
|||
|
6.48
|
11.25
|
|||
|
12.49
|
10.79
|
|||
|
13.71
|
15.17
|
|||
|
13.35
|
15.69
|
|||
|
13.01
|
14.07
|
|||
|
13.30
|
10.73
|
|||
|
14.05
|
15.99
|
|||
|
13.96
|
13.98
|
|||
|
12.04
|
8.63
|
|||
|
14.62
|
15.94
|
|||
|
12.88
|
15.05
|
|||
|
15.07
|
17.49
|