|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.07
|
0.58
|
|||
|
0.05
|
6.74
|
|||
|
0.05
|
13.75
|
|||
|
0.11
|
0.64
|
|||
|
0.08
|
1.49
|
|||
|
0.06
|
0.49
|
|||
|
0.07
|
14.36
|
|||
|
0.08
|
15.04
|
|||
|
0.08
|
0.59
|
|||
|
0.05
|
1.69
|
|||
|
0.06
|
0.83
|
|||
|
0.08
|
3.56
|
|||
|
0.07
|
13.64
|
|||
|
0.07
|
12.91
|
|||
|
0.06
|
2.07
|
|||
|
0.06
|
0.63
|
|||
|
0.07
|
1.10
|
|||
|
0.08
|
0.29
|
|||
|
0.07
|
6.14
|
|||
|
0.10
|
13.59
|
|||
|
0.07
|
0.64
|
|||
|
0.05
|
0.91
|
|||
|
0.09
|
13.14
|
|||
|
0.10
|
1.36
|
|||
|
0.07
|
1.43
|