|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.61
|
0.02
|
|||
|
1.37
|
0.02
|
|||
|
0.99
|
0.02
|
|||
|
11.10
|
0.02
|
|||
|
0.32
|
0.01
|
|||
|
0.92
|
0.02
|
|||
|
1.47
|
0.01
|
|||
|
11.05
|
0.02
|
|||
|
0.52
|
0.02
|
|||
|
0.96
|
0.02
|
|||
|
1.38
|
0.01
|
|||
|
11.18
|
0.01
|
|||
|
0.57
|
0.02
|
|||
|
1.42
|
0.03
|
|||
|
1.02
|
0.01
|
|||
|
11.15
|
0.01
|
|||
|
0.31
|
0.03
|
|||
|
2.13
|
0.02
|
|||
|
1.63
|
0.01
|
|||
|
11.14
|
0.02
|
|||
|
1.75
|
0.02
|
|||
|
1.68
|
0.03
|
|||
|
1.87
|
0.02
|
|||
|
11.12
|
0.01
|
|||
|
0.56
|
0.01
|