|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.05
|
7.38
|
|||
|
1.73
|
14.16
|
|||
|
0.04
|
15.39
|
|||
|
0.54
|
15.75
|
|||
|
0.11
|
21.11
|
|||
|
0.70
|
10.11
|
|||
|
0.11
|
20.53
|
|||
|
0.36
|
15.67
|
|||
|
0.19
|
1.98
|
|||
|
0.27
|
17.51
|
|||
|
1.53
|
13.95
|
|||
|
0.10
|
16.35
|
|||
|
0.20
|
20.57
|
|||
|
0.86
|
14.42
|
|||
|
3.54
|
6.91
|
|||
|
3.09
|
13.80
|
|||
|
4.48
|
14.26
|
|||
|
0.84
|
14.29
|
|||
|
0.04
|
0.04
|
|||
|
0.02
|
0.04
|
|||
|
0.19
|
13.86
|
|||
|
11.48
|
13.65
|
|||
|
0.02
|
0.01
|
|||
|
11.25
|
12.18
|
|||
|
0.02
|
0.18
|