|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.48
|
12.69
|
|||
|
0.88
|
10.74
|
|||
|
0.73
|
9.04
|
|||
|
2.24
|
12.92
|
|||
|
0.85
|
12.35
|
|||
|
0.80
|
10.52
|
|||
|
0.65
|
12.09
|
|||
|
0.25
|
5.70
|
|||
|
0.27
|
6.95
|
|||
|
1.57
|
12.21
|
|||
|
1.59
|
12.29
|
|||
|
0.52
|
11.93
|
|||
|
0.83
|
10.56
|
|||
|
0.98
|
10.26
|
|||
|
1.19
|
12.08
|
|||
|
0.76
|
10.13
|
|||
|
1.41
|
12.39
|
|||
|
1.24
|
10.14
|
|||
|
0.57
|
6.35
|
|||
|
1.50
|
10.32
|
|||
|
0.68
|
12.28
|
|||
|
1.36
|
12.45
|
|||
|
0.67
|
12.32
|
|||
|
1.01
|
11.21
|
|||
|
0.10
|
1.18
|