|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.23
|
14.85
|
|||
|
2.47
|
15.19
|
|||
|
0.17
|
15.40
|
|||
|
3.06
|
14.89
|
|||
|
0.25
|
15.69
|
|||
|
4.75
|
15.53
|
|||
|
0.37
|
15.35
|
|||
|
5.30
|
16.00
|
|||
|
0.24
|
14.81
|
|||
|
0.36
|
15.98
|
|||
|
7.23
|
16.05
|
|||
|
0.47
|
15.92
|
|||
|
7.97
|
15.35
|
|||
|
0.61
|
15.50
|
|||
|
9.56
|
15.83
|
|||
|
0.50
|
15.23
|
|||
|
9.73
|
15.69
|
|||
|
0.87
|
15.73
|
|||
|
11.94
|
16.49
|
|||
|
0.46
|
16.54
|
|||
|
11.49
|
16.02
|
|||
|
0.47
|
15.70
|
|||
|
11.73
|
17.12
|
|||
|
0.58
|
16.26
|
|||
|
11.78
|
16.26
|