|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.03
|
1.03
|
|||
|
0.90
|
0.75
|
|||
|
1.29
|
1.74
|
|||
|
11.06
|
10.46
|
|||
|
11.18
|
11.37
|
|||
|
11.16
|
11.39
|
|||
|
11.10
|
9.92
|
|||
|
11.19
|
11.13
|
|||
|
11.06
|
10.00
|
|||
|
11.23
|
8.05
|
|||
|
5.40
|
5.76
|
|||
|
11.04
|
11.33
|
|||
|
6.24
|
2.68
|
|||
|
11.10
|
6.95
|
|||
|
10.24
|
1.66
|
|||
|
11.05
|
8.26
|
|||
|
1.18
|
11.12
|
|||
|
7.12
|
3.27
|
|||
|
1.17
|
0.85
|
|||
|
11.11
|
1.96
|
|||
|
11.05
|
10.63
|
|||
|
10.64
|
10.33
|
|||
|
11.15
|
0.34
|
|||
|
11.11
|
0.18
|
|||
|
11.09
|
0.44
|