|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.48
|
0.49
|
|||
|
0.55
|
0.55
|
|||
|
0.70
|
13.70
|
|||
|
0.92
|
14.21
|
|||
|
0.70
|
1.06
|
|||
|
0.81
|
1.39
|
|||
|
1.66
|
13.91
|
|||
|
1.21
|
13.93
|
|||
|
0.50
|
13.87
|
|||
|
0.70
|
14.22
|
|||
|
1.22
|
14.28
|
|||
|
1.33
|
14.87
|
|||
|
1.64
|
14.59
|
|||
|
1.24
|
13.29
|
|||
|
1.59
|
14.35
|
|||
|
1.52
|
10.96
|
|||
|
0.69
|
1.12
|
|||
|
0.62
|
2.15
|
|||
|
0.54
|
1.64
|
|||
|
0.66
|
1.95
|
|||
|
0.87
|
2.23
|
|||
|
0.89
|
2.27
|
|||
|
0.87
|
1.07
|
|||
|
0.69
|
3.75
|
|||
|
0.39
|
14.06
|