|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.42
|
0.52
|
|||
|
0.40
|
0.40
|
|||
|
0.94
|
14.50
|
|||
|
1.24
|
15.45
|
|||
|
0.70
|
0.71
|
|||
|
0.68
|
0.94
|
|||
|
1.38
|
14.37
|
|||
|
0.81
|
14.10
|
|||
|
0.64
|
13.94
|
|||
|
0.60
|
14.12
|
|||
|
1.36
|
13.50
|
|||
|
1.79
|
14.20
|
|||
|
1.12
|
13.26
|
|||
|
1.13
|
13.34
|
|||
|
1.57
|
14.69
|
|||
|
1.17
|
14.21
|
|||
|
0.62
|
1.44
|
|||
|
0.53
|
1.19
|
|||
|
0.63
|
0.76
|
|||
|
0.43
|
0.76
|
|||
|
0.52
|
1.40
|
|||
|
0.75
|
1.00
|
|||
|
0.77
|
0.93
|
|||
|
0.65
|
2.59
|
|||
|
0.43
|
14.02
|