|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.28
|
4.79
|
|||
|
1.32
|
7.98
|
|||
|
1.02
|
9.10
|
|||
|
1.13
|
7.97
|
|||
|
1.77
|
10.64
|
|||
|
0.64
|
5.01
|
|||
|
0.92
|
10.60
|
|||
|
0.69
|
12.53
|
|||
|
0.95
|
12.08
|
|||
|
0.48
|
7.90
|
|||
|
0.94
|
4.37
|
|||
|
0.47
|
4.74
|
|||
|
0.21
|
2.23
|
|||
|
0.16
|
2.62
|
|||
|
0.25
|
2.06
|
|||
|
0.21
|
1.61
|
|||
|
0.31
|
4.48
|
|||
|
0.18
|
2.09
|
|||
|
1.37
|
12.10
|
|||
|
0.31
|
5.57
|
|||
|
0.09
|
0.98
|
|||
|
1.13
|
12.44
|
|||
|
0.43
|
10.68
|
|||
|
0.27
|
12.56
|
|||
|
0.49
|
10.59
|