|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.55
|
10.25
|
|||
|
11.58
|
14.10
|
|||
|
11.50
|
14.24
|
|||
|
11.67
|
14.12
|
|||
|
12.12
|
15.28
|
|||
|
13.36
|
17.58
|
|||
|
11.64
|
11.19
|
|||
|
11.51
|
10.70
|
|||
|
3.52
|
11.13
|
|||
|
11.65
|
14.91
|
|||
|
11.88
|
16.75
|
|||
|
11.83
|
13.51
|
|||
|
11.99
|
8.22
|
|||
|
7.24
|
14.37
|
|||
|
12.20
|
8.05
|
|||
|
11.68
|
12.94
|
|||
|
11.31
|
10.69
|
|||
|
2.32
|
14.39
|
|||
|
3.70
|
13.32
|
|||
|
11.52
|
8.62
|
|||
|
11.89
|
16.59
|
|||
|
11.29
|
10.63
|
|||
|
11.34
|
10.18
|
|||
|
12.15
|
14.31
|
|||
|
12.31
|
14.29
|