|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
6.78
|
7.86
|
|||
|
0.49
|
15.90
|
|||
|
1.01
|
10.90
|
|||
|
0.88
|
17.00
|
|||
|
1.14
|
0.57
|
|||
|
0.16
|
16.73
|
|||
|
0.78
|
6.77
|
|||
|
1.03
|
5.28
|
|||
|
2.22
|
9.68
|
|||
|
0.05
|
14.94
|
|||
|
11.62
|
9.81
|
|||
|
1.43
|
9.30
|
|||
|
4.05
|
7.69
|
|||
|
3.75
|
7.50
|
|||
|
0.92
|
15.32
|
|||
|
0.56
|
15.99
|
|||
|
1.27
|
5.35
|
|||
|
2.05
|
17.36
|
|||
|
0.31
|
14.16
|
|||
|
0.17
|
14.82
|
|||
|
0.22
|
14.27
|
|||
|
0.24
|
14.41
|
|||
|
0.88
|
15.22
|
|||
|
0.24
|
14.18
|
|||
|
0.23
|
17.91
|