|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.01
|
0.02
|
|||
|
1.50
|
0.02
|
|||
|
2.12
|
0.02
|
|||
|
4.98
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
1.67
|
0.02
|
|||
|
2.87
|
0.02
|
|||
|
5.48
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
1.83
|
0.02
|
|||
|
2.60
|
0.02
|
|||
|
4.16
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
1.88
|
0.02
|
|||
|
3.16
|
0.02
|
|||
|
5.97
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
2.76
|
0.02
|
|||
|
4.33
|
0.02
|
|||
|
6.13
|
0.02
|
|||
|
11.01
|
0.02
|
|||
|
2.42
|
0.02
|
|||
|
3.16
|
0.02
|
|||
|
4.52
|
0.02
|
|||
|
11.01
|
0.02
|