|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.08
|
2.10
|
|||
|
0.05
|
13.34
|
|||
|
7.34
|
14.68
|
|||
|
0.31
|
10.12
|
|||
|
0.21
|
14.72
|
|||
|
0.04
|
0.58
|
|||
|
0.13
|
2.97
|
|||
|
0.06
|
10.73
|
|||
|
10.83
|
9.06
|
|||
|
6.42
|
8.70
|
|||
|
0.19
|
7.85
|
|||
|
0.06
|
1.14
|
|||
|
0.15
|
7.16
|
|||
|
0.06
|
14.08
|
|||
|
11.58
|
8.78
|
|||
|
1.43
|
14.63
|
|||
|
1.39
|
11.16
|
|||
|
0.05
|
1.25
|
|||
|
0.42
|
8.01
|
|||
|
0.08
|
14.90
|
|||
|
11.62
|
6.55
|
|||
|
2.86
|
6.85
|
|||
|
0.31
|
14.16
|
|||
|
0.08
|
3.65
|
|||
|
0.37
|
15.70
|