|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
9.07
|
11.45
|
|||
|
17.61
|
17.43
|
|||
|
8.99
|
15.80
|
|||
|
15.07
|
14.94
|
|||
|
14.09
|
15.48
|
|||
|
5.34
|
14.45
|
|||
|
15.91
|
14.27
|
|||
|
14.37
|
15.34
|
|||
|
13.90
|
14.20
|
|||
|
13.12
|
10.92
|
|||
|
5.81
|
13.66
|
|||
|
14.10
|
16.61
|
|||
|
13.53
|
14.92
|
|||
|
14.69
|
18.08
|
|||
|
5.44
|
15.87
|
|||
|
16.49
|
15.47
|
|||
|
13.91
|
14.27
|
|||
|
13.72
|
15.04
|
|||
|
0.15
|
15.32
|
|||
|
0.92
|
13.92
|
|||
|
0.14
|
13.78
|
|||
|
1.12
|
16.50
|
|||
|
1.36
|
16.20
|
|||
|
5.01
|
18.22
|
|||
|
0.67
|
13.18
|