|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
8.39
|
13.83
|
|||
|
11.41
|
11.59
|
|||
|
11.47
|
11.69
|
|||
|
11.61
|
11.73
|
|||
|
11.80
|
11.76
|
|||
|
11.78
|
12.22
|
|||
|
11.24
|
11.48
|
|||
|
11.20
|
11.76
|
|||
|
12.07
|
11.59
|
|||
|
11.18
|
11.64
|
|||
|
12.08
|
11.86
|
|||
|
3.57
|
11.09
|
|||
|
11.17
|
11.40
|
|||
|
9.47
|
11.81
|
|||
|
9.35
|
11.38
|
|||
|
11.22
|
11.74
|
|||
|
11.29
|
11.48
|
|||
|
11.30
|
11.35
|
|||
|
3.36
|
13.06
|
|||
|
9.31
|
11.47
|
|||
|
11.78
|
11.48
|
|||
|
11.44
|
11.57
|
|||
|
11.37
|
9.94
|
|||
|
13.02
|
12.24
|
|||
|
11.98
|
11.39
|