|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.35
|
10.45
|
|||
|
0.07
|
12.99
|
|||
|
0.47
|
12.97
|
|||
|
0.08
|
13.16
|
|||
|
0.65
|
13.50
|
|||
|
0.19
|
14.06
|
|||
|
0.89
|
14.01
|
|||
|
0.15
|
10.75
|
|||
|
1.31
|
14.51
|
|||
|
0.24
|
13.87
|
|||
|
2.05
|
10.44
|
|||
|
0.21
|
15.51
|
|||
|
1.80
|
16.23
|
|||
|
0.16
|
14.59
|
|||
|
3.21
|
14.90
|
|||
|
0.24
|
14.69
|
|||
|
4.39
|
15.16
|
|||
|
0.35
|
15.82
|
|||
|
5.08
|
6.34
|
|||
|
0.16
|
15.82
|
|||
|
0.24
|
8.26
|
|||
|
7.31
|
16.31
|
|||
|
0.35
|
14.51
|
|||
|
7.61
|
6.28
|
|||
|
0.61
|
9.91
|