|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.87
|
14.27
|
|||
|
1.72
|
13.03
|
|||
|
2.01
|
12.38
|
|||
|
1.66
|
13.27
|
|||
|
1.14
|
12.52
|
|||
|
1.63
|
12.18
|
|||
|
1.40
|
12.60
|
|||
|
1.52
|
12.70
|
|||
|
1.84
|
13.82
|
|||
|
1.18
|
12.20
|
|||
|
1.14
|
12.96
|
|||
|
1.09
|
12.54
|
|||
|
1.89
|
12.73
|
|||
|
1.64
|
13.39
|
|||
|
1.70
|
12.39
|
|||
|
3.22
|
13.72
|
|||
|
1.58
|
13.12
|
|||
|
1.65
|
12.57
|
|||
|
0.16
|
12.25
|
|||
|
0.07
|
11.98
|
|||
|
1.08
|
12.71
|
|||
|
0.47
|
12.12
|
|||
|
0.11
|
12.60
|
|||
|
0.15
|
12.30
|
|||
|
0.20
|
11.73
|