|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.26
|
12.54
|
|||
|
11.67
|
11.70
|
|||
|
12.46
|
12.05
|
|||
|
15.48
|
11.94
|
|||
|
11.33
|
11.40
|
|||
|
14.65
|
12.75
|
|||
|
11.42
|
10.79
|
|||
|
11.39
|
11.19
|
|||
|
14.99
|
15.34
|
|||
|
11.28
|
11.48
|
|||
|
11.37
|
11.56
|
|||
|
13.59
|
14.05
|
|||
|
13.20
|
13.44
|
|||
|
7.87
|
16.02
|
|||
|
12.04
|
11.78
|
|||
|
11.71
|
11.63
|
|||
|
11.55
|
11.65
|
|||
|
11.07
|
11.50
|
|||
|
11.06
|
11.46
|
|||
|
11.27
|
11.41
|
|||
|
11.82
|
12.21
|
|||
|
11.83
|
11.63
|
|||
|
14.27
|
14.00
|
|||
|
15.14
|
17.00
|
|||
|
14.74
|
15.05
|