|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.28
|
4.99
|
|||
|
0.13
|
0.93
|
|||
|
0.26
|
5.45
|
|||
|
0.23
|
1.63
|
|||
|
0.22
|
2.69
|
|||
|
0.95
|
13.14
|
|||
|
0.22
|
1.96
|
|||
|
0.18
|
1.25
|
|||
|
0.16
|
1.50
|
|||
|
0.39
|
6.08
|
|||
|
0.37
|
7.32
|
|||
|
0.24
|
7.77
|
|||
|
0.07
|
3.22
|
|||
|
0.06
|
0.60
|
|||
|
0.08
|
4.51
|
|||
|
0.06
|
4.10
|
|||
|
0.52
|
5.82
|
|||
|
0.07
|
1.42
|
|||
|
0.07
|
1.98
|
|||
|
0.19
|
3.01
|
|||
|
0.07
|
1.51
|
|||
|
0.06
|
0.43
|
|||
|
0.13
|
7.83
|
|||
|
0.50
|
8.32
|
|||
|
0.27
|
1.01
|