|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.30
|
11.14
|
|||
|
0.01
|
0.01
|
|||
|
0.05
|
10.62
|
|||
|
0.03
|
10.50
|
|||
|
1.51
|
9.10
|
|||
|
0.01
|
0.01
|
|||
|
0.32
|
9.47
|
|||
|
0.04
|
6.42
|
|||
|
2.59
|
3.86
|
|||
|
0.02
|
0.02
|
|||
|
1.82
|
7.50
|
|||
|
0.04
|
6.23
|
|||
|
8.79
|
4.41
|
|||
|
0.01
|
0.01
|
|||
|
3.08
|
7.40
|
|||
|
0.04
|
9.08
|
|||
|
10.54
|
11.24
|
|||
|
0.01
|
0.01
|
|||
|
7.89
|
5.81
|
|||
|
0.10
|
5.63
|
|||
|
11.10
|
11.26
|
|||
|
0.01
|
0.01
|
|||
|
11.09
|
5.67
|
|||
|
0.13
|
6.11
|
|||
|
11.13
|
11.38
|