|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.04
|
0.22
|
|||
|
0.13
|
8.87
|
|||
|
0.81
|
13.29
|
|||
|
11.64
|
12.80
|
|||
|
0.12
|
7.72
|
|||
|
3.45
|
13.86
|
|||
|
12.11
|
15.36
|
|||
|
11.63
|
16.22
|
|||
|
11.81
|
14.99
|
|||
|
11.60
|
15.25
|
|||
|
3.04
|
11.38
|
|||
|
11.55
|
13.77
|
|||
|
0.45
|
6.24
|
|||
|
2.91
|
19.86
|
|||
|
12.05
|
16.58
|
|||
|
11.61
|
15.63
|
|||
|
0.13
|
2.21
|
|||
|
0.67
|
12.78
|
|||
|
10.01
|
13.25
|
|||
|
11.60
|
11.71
|
|||
|
0.04
|
0.17
|
|||
|
0.08
|
1.27
|
|||
|
0.11
|
18.83
|
|||
|
0.06
|
17.88
|
|||
|
0.04
|
1.76
|