|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.64
|
0.90
|
|||
|
0.71
|
0.67
|
|||
|
1.08
|
5.37
|
|||
|
1.14
|
10.41
|
|||
|
0.67
|
0.78
|
|||
|
0.78
|
0.87
|
|||
|
1.83
|
8.67
|
|||
|
1.67
|
7.33
|
|||
|
0.62
|
6.43
|
|||
|
0.74
|
6.78
|
|||
|
1.80
|
11.49
|
|||
|
1.86
|
11.91
|
|||
|
1.49
|
12.05
|
|||
|
1.54
|
11.81
|
|||
|
1.50
|
11.38
|
|||
|
1.50
|
11.42
|
|||
|
0.83
|
1.29
|
|||
|
0.67
|
1.10
|
|||
|
0.58
|
1.61
|
|||
|
0.66
|
1.64
|
|||
|
0.75
|
1.83
|
|||
|
0.75
|
1.32
|
|||
|
0.70
|
1.69
|
|||
|
0.74
|
3.04
|
|||
|
0.70
|
2.38
|