|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
17.20
|
18.65
|
|||
|
11.49
|
12.23
|
|||
|
11.83
|
12.19
|
|||
|
4.70
|
11.79
|
|||
|
2.65
|
12.54
|
|||
|
7.54
|
11.72
|
|||
|
5.90
|
11.38
|
|||
|
11.69
|
12.78
|
|||
|
11.76
|
12.13
|
|||
|
11.16
|
10.65
|
|||
|
11.86
|
12.35
|
|||
|
11.62
|
11.75
|
|||
|
11.33
|
11.40
|
|||
|
13.25
|
12.38
|
|||
|
11.35
|
11.21
|
|||
|
11.42
|
11.39
|
|||
|
11.18
|
11.59
|
|||
|
11.61
|
11.54
|
|||
|
11.58
|
11.74
|
|||
|
3.50
|
11.72
|
|||
|
11.25
|
11.71
|
|||
|
11.58
|
11.54
|
|||
|
12.84
|
14.10
|
|||
|
3.16
|
11.32
|
|||
|
2.52
|
11.31
|