|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.17
|
2.56
|
|||
|
0.28
|
6.15
|
|||
|
0.08
|
0.64
|
|||
|
1.21
|
14.21
|
|||
|
1.48
|
12.62
|
|||
|
0.91
|
12.44
|
|||
|
0.58
|
7.48
|
|||
|
0.31
|
4.22
|
|||
|
1.73
|
24.67
|
|||
|
0.44
|
10.12
|
|||
|
0.35
|
11.12
|
|||
|
0.45
|
11.87
|
|||
|
0.26
|
12.05
|
|||
|
0.71
|
13.51
|
|||
|
0.73
|
13.23
|
|||
|
0.47
|
11.24
|
|||
|
0.27
|
2.40
|
|||
|
0.84
|
11.27
|
|||
|
0.43
|
6.63
|
|||
|
0.73
|
12.61
|
|||
|
0.18
|
4.59
|
|||
|
1.12
|
11.12
|
|||
|
0.23
|
1.76
|
|||
|
0.08
|
1.08
|
|||
|
0.14
|
1.02
|