|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.49
|
6.10
|
|||
|
0.52
|
5.41
|
|||
|
0.42
|
5.43
|
|||
|
0.40
|
2.83
|
|||
|
0.40
|
2.70
|
|||
|
0.30
|
2.29
|
|||
|
0.28
|
2.86
|
|||
|
0.31
|
2.56
|
|||
|
0.27
|
2.69
|
|||
|
0.43
|
3.40
|
|||
|
0.56
|
6.52
|
|||
|
0.46
|
2.98
|
|||
|
0.64
|
6.45
|
|||
|
0.69
|
5.41
|
|||
|
1.01
|
11.01
|
|||
|
0.70
|
10.32
|
|||
|
0.37
|
3.84
|
|||
|
0.88
|
9.09
|
|||
|
0.53
|
10.10
|
|||
|
0.65
|
3.79
|
|||
|
0.73
|
6.01
|
|||
|
0.60
|
3.44
|
|||
|
0.39
|
3.53
|
|||
|
0.10
|
1.28
|
|||
|
0.07
|
1.20
|