|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.42
|
12.00
|
|||
|
11.45
|
12.51
|
|||
|
11.22
|
11.55
|
|||
|
11.95
|
11.71
|
|||
|
11.73
|
12.12
|
|||
|
11.82
|
11.76
|
|||
|
12.30
|
11.97
|
|||
|
13.73
|
13.71
|
|||
|
12.15
|
12.35
|
|||
|
12.25
|
13.04
|
|||
|
3.87
|
11.55
|
|||
|
12.21
|
13.20
|
|||
|
11.97
|
11.61
|
|||
|
2.31
|
13.56
|
|||
|
12.50
|
12.39
|
|||
|
13.44
|
13.56
|
|||
|
11.67
|
11.90
|
|||
|
13.26
|
13.77
|
|||
|
11.58
|
12.60
|
|||
|
11.45
|
12.24
|
|||
|
11.89
|
11.54
|
|||
|
12.37
|
12.69
|
|||
|
12.93
|
12.05
|
|||
|
13.17
|
13.04
|
|||
|
12.04
|
11.51
|