|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.64
|
15.97
|
|||
|
0.17
|
14.59
|
|||
|
0.50
|
6.24
|
|||
|
0.60
|
10.31
|
|||
|
9.07
|
10.34
|
|||
|
0.33
|
13.85
|
|||
|
0.40
|
7.08
|
|||
|
1.02
|
9.27
|
|||
|
12.08
|
13.51
|
|||
|
0.20
|
14.37
|
|||
|
0.52
|
5.85
|
|||
|
0.71
|
9.04
|
|||
|
11.53
|
14.27
|
|||
|
0.33
|
14.84
|
|||
|
0.40
|
6.48
|
|||
|
0.69
|
7.63
|
|||
|
11.49
|
8.96
|
|||
|
0.39
|
10.80
|
|||
|
0.84
|
9.10
|
|||
|
1.56
|
6.91
|
|||
|
11.68
|
14.94
|
|||
|
0.66
|
8.96
|
|||
|
0.80
|
8.88
|
|||
|
0.96
|
9.81
|
|||
|
11.58
|
15.05
|