|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.10
|
4.36
|
|||
|
0.07
|
0.62
|
|||
|
0.26
|
3.36
|
|||
|
0.39
|
2.62
|
|||
|
0.06
|
0.59
|
|||
|
0.10
|
2.07
|
|||
|
0.10
|
2.52
|
|||
|
0.49
|
8.11
|
|||
|
0.08
|
3.60
|
|||
|
0.12
|
3.14
|
|||
|
0.15
|
3.66
|
|||
|
0.11
|
2.74
|
|||
|
0.33
|
3.80
|
|||
|
0.14
|
0.51
|
|||
|
0.57
|
6.87
|
|||
|
0.43
|
4.10
|
|||
|
0.39
|
2.89
|
|||
|
0.35
|
7.40
|
|||
|
0.15
|
2.32
|
|||
|
0.51
|
7.18
|
|||
|
0.64
|
9.44
|
|||
|
0.08
|
2.58
|
|||
|
0.07
|
3.12
|
|||
|
0.06
|
2.37
|
|||
|
0.07
|
0.92
|