|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.90
|
11.34
|
|||
|
11.42
|
11.26
|
|||
|
11.51
|
11.57
|
|||
|
11.37
|
9.16
|
|||
|
11.76
|
11.34
|
|||
|
14.16
|
14.29
|
|||
|
11.86
|
11.67
|
|||
|
11.76
|
11.48
|
|||
|
11.63
|
11.64
|
|||
|
11.49
|
11.47
|
|||
|
12.66
|
12.56
|
|||
|
11.57
|
11.55
|
|||
|
11.89
|
11.73
|
|||
|
12.09
|
11.43
|
|||
|
11.66
|
11.59
|
|||
|
11.95
|
11.77
|
|||
|
11.64
|
11.28
|
|||
|
11.77
|
11.59
|
|||
|
11.77
|
12.36
|
|||
|
11.44
|
11.91
|
|||
|
6.64
|
11.33
|
|||
|
11.64
|
11.68
|
|||
|
11.49
|
11.78
|
|||
|
11.65
|
11.49
|
|||
|
11.51
|
11.64
|