|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
13.60
|
12.98
|
|||
|
0.44
|
12.92
|
|||
|
11.63
|
10.36
|
|||
|
2.59
|
14.45
|
|||
|
12.42
|
12.92
|
|||
|
1.20
|
13.82
|
|||
|
14.69
|
14.80
|
|||
|
0.77
|
14.44
|
|||
|
11.56
|
12.35
|
|||
|
0.79
|
12.04
|
|||
|
14.39
|
13.23
|
|||
|
0.76
|
12.23
|
|||
|
12.64
|
12.52
|
|||
|
2.96
|
12.35
|
|||
|
13.98
|
14.39
|
|||
|
0.94
|
10.00
|
|||
|
11.30
|
11.60
|
|||
|
1.10
|
11.06
|
|||
|
12.07
|
12.10
|
|||
|
1.32
|
12.81
|
|||
|
10.00
|
10.00
|
|||
|
2.20
|
12.96
|
|||
|
12.73
|
12.81
|
|||
|
1.99
|
10.64
|
|||
|
12.63
|
12.28
|