|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.67
|
10.44
|
|||
|
1.58
|
14.46
|
|||
|
0.10
|
0.17
|
|||
|
11.74
|
13.56
|
|||
|
0.35
|
13.87
|
|||
|
11.88
|
12.78
|
|||
|
11.58
|
12.73
|
|||
|
11.78
|
12.78
|
|||
|
2.42
|
12.08
|
|||
|
11.25
|
11.87
|
|||
|
11.29
|
12.07
|
|||
|
1.14
|
12.13
|
|||
|
2.50
|
10.21
|
|||
|
11.28
|
12.39
|
|||
|
11.45
|
10.42
|
|||
|
11.28
|
12.17
|
|||
|
11.38
|
12.29
|
|||
|
11.40
|
10.63
|
|||
|
11.25
|
10.31
|
|||
|
2.31
|
10.49
|
|||
|
11.31
|
12.59
|
|||
|
11.35
|
12.42
|
|||
|
7.63
|
12.78
|
|||
|
2.38
|
12.69
|
|||
|
1.43
|
11.09
|