|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.54
|
12.63
|
|||
|
5.47
|
11.48
|
|||
|
11.73
|
11.70
|
|||
|
11.30
|
11.74
|
|||
|
11.45
|
11.62
|
|||
|
11.74
|
11.65
|
|||
|
12.21
|
12.00
|
|||
|
11.34
|
11.33
|
|||
|
9.48
|
11.46
|
|||
|
11.33
|
12.17
|
|||
|
11.49
|
11.25
|
|||
|
11.31
|
11.78
|
|||
|
11.91
|
8.99
|
|||
|
13.35
|
12.37
|
|||
|
11.43
|
11.94
|
|||
|
11.54
|
11.69
|
|||
|
11.53
|
11.67
|
|||
|
11.66
|
12.04
|
|||
|
11.56
|
11.36
|
|||
|
11.86
|
11.64
|
|||
|
11.26
|
11.75
|
|||
|
12.08
|
12.17
|
|||
|
11.69
|
11.82
|
|||
|
11.93
|
11.27
|
|||
|
11.83
|
11.82
|