|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.44
|
4.02
|
|||
|
0.30
|
2.72
|
|||
|
0.28
|
3.20
|
|||
|
0.31
|
9.39
|
|||
|
0.63
|
10.46
|
|||
|
0.37
|
3.41
|
|||
|
0.26
|
3.12
|
|||
|
0.31
|
7.85
|
|||
|
0.29
|
1.55
|
|||
|
0.30
|
1.27
|
|||
|
0.62
|
5.40
|
|||
|
0.56
|
11.47
|
|||
|
2.03
|
3.79
|
|||
|
0.32
|
1.90
|
|||
|
0.28
|
2.05
|
|||
|
0.34
|
2.28
|
|||
|
0.36
|
2.29
|
|||
|
0.32
|
2.00
|
|||
|
0.44
|
3.94
|
|||
|
0.36
|
11.81
|
|||
|
0.37
|
11.31
|
|||
|
0.37
|
2.23
|
|||
|
0.37
|
3.18
|
|||
|
0.45
|
1.59
|
|||
|
0.39
|
4.30
|